| 2008 |
|---|
| 9 | EE | Olga Grinchtein,
Martin Leucker:
Network invariants for real-time systems.
Formal Asp. Comput. 20(6): 619-635 (2008) |
| 2006 |
|---|
| 8 | EE | Olga Grinchtein,
Bengt Jonsson,
Paul Pettersson:
Inference of Event-Recording Automata Using Timed Decision Trees.
CONCUR 2006: 435-449 |
| 7 | EE | Johannes Borgström,
Olga Grinchtein,
Simon Kramer:
Timed Calculus of Cryptographic Communication.
Formal Aspects in Security and Trust 2006: 16-30 |
| 6 | EE | Olga Grinchtein,
Martin Leucker:
Learning Finite-State Machines from Inexperienced Teachers.
ICGI 2006: 344-345 |
| 5 | EE | Olga Grinchtein,
Martin Leucker,
Nir Piterman:
Inferring Network Invariants Automatically.
IJCAR 2006: 483-497 |
| 2005 |
|---|
| 4 | EE | Therese Berg,
Olga Grinchtein,
Bengt Jonsson,
Martin Leucker,
Harald Raffelt,
Bernhard Steffen:
On the Correspondence Between Conformance Testing and Regular Inference.
FASE 2005: 175-189 |
| 3 | EE | Olga Grinchtein,
Bengt Jonsson,
Martin Leucker:
Inference of Timed Transition Systems.
Electr. Notes Theor. Comput. Sci. 138(3): 87-99 (2005) |
| 2004 |
|---|
| 2 | EE | Olga Grinchtein,
Bengt Jonsson,
Martin Leucker:
Learning of Event-Recording Automata.
FORMATS/FTRTFT 2004: 379-396 |
| 1 | EE | Olga Grinchtein,
Martin Leucker:
Network Invariants for Real-Time Systems.
Electr. Notes Theor. Comput. Sci. 98: 57-74 (2004) |
