Olga Grinchtein
| E-mail: |
olgag@csd.uu.se |
| Office: |
1440 |
| Office phone: |
0184715777 |
| Position: |
PHD student |
Publications
-
Olga Grinchtein and Martin Leucker. Learning
Finite-State Machines from Inexperienced Teacher. In Proceedings of
International Colloquium on Grammatical Inference, Lecture Notes in Computer
Science, 2006.
-
Olga Grinchtein, Bengt Jonsson and Paul Pettersson. Inference
of Event-Recording Automata using Timed Decision Trees. In Proceedings
of the International Conference on Concurrency Theory, Lecture Notes
in Computer Science, 2006.
-
Olga Grinchtein, Martin Leucker and Nir Piterman. Inferring
Network Invariants Automatically. In Proceedings of the International
Joint Conference on Automated Reasoning, Lecture Notes in Computer
Science, 2006.
-
Olga Grinchtein, Bengt Jonsson and Martin Leucker. Inference
of timed transition systems.In
Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers,
2004.
-
Olga Grinchtein, Bengt Jonsson, and Martin Leucker. Learning
of event-recording automata. In Proceedings of the Joint Conferences
FORMATS and FTRTFT, Lecture Notes in Computer Science, September 2004.
-
Olga Grinchtein, Martin Leucker. Network
invariants for real-time systems.In Electronic Notes in Theoretical
Computer Science, volume 98. Elsevier Science Publishers, 2004.
Talks
-
Dense-time analysis with fractional adjustment step, joint work with Amir
Pnueli NWPT'02 Tallin,
November, 2002
-
Network invariants for real-time systems, joint work with Martin Leucker
INFINITY'03
Marseilles, September, 2003
-
Inference of Timed Transition Systems, joint work with Bengt Jonsson and
Martin Leucker INFINITY'04
London, September, 2004, NWPT'04
Uppsala, October, 2004
-
Learning of event-recording automata, joint work with Bengt Jonsson and
Martin Leucker GAMES'04
Bordeaux, September, 2004, FORMATS-FTRTFT'04
Grenoble, September, 2004
-
Inference of event-recording automata using timed decision trees, joint
work with Bengt Jonsson and Paul Pettersson GAMES'05
Paris, September, 2005, CONCUR'06
Bonn, August, 2006
Teaching:
Cryptology and data security,
winter VT07
Cryptology and data
security, spring VT06
Cryptology and data security,
winter VT06
Cryptology and data security,
spring VT05
Cryptology and data
security, winter VT05
Operating systems, spring VT04
Cryptology and data security,
spring VT04
Operating systems, winter VT04
Cryptology and data security,
winter VT04
Department of Computer Systems Box 337, S-75105
Uppsala, Sweden