- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j4 |      | Olga Grinchtein, Bengt Jonsson, Martin Leucker: Learning of event-recording automata. Theor. Comput. Sci. 411(47): 4029-4054 (2010) |
| 2008 | ||
| j3 | | Olga Grinchtein, Martin Leucker: Network invariants for real-time systems. Formal Asp. Comput. 20(6): 619-635 (2008) |
| 2006 | ||
| c6 | | Olga Grinchtein, Martin Leucker, Nir Piterman: Inferring Network Invariants Automatically. IJCAR 2006: 483-497 |
| c5 | | Olga Grinchtein, Bengt Jonsson, Paul Pettersson: Inference of Event-Recording Automata Using Timed Decision Trees. CONCUR 2006: 435-449 |
| c4 | | Olga Grinchtein, Martin Leucker: Learning Finite-State Machines from Inexperienced Teachers. ICGI 2006: 344-345 |
| c3 | | Johannes Borgström, Olga Grinchtein, Simon Kramer: Timed Calculus of Cryptographic Communication. Formal Aspects in Security and Trust 2006: 16-30 |
| 2005 | ||
| j2 | | Olga Grinchtein, Bengt Jonsson, Martin Leucker: Inference of Timed Transition Systems. Electr. Notes Theor. Comput. Sci. 138(3): 87-99 (2005) |
| c2 | | 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 |
| 2004 | ||
| j1 | | Olga Grinchtein, Martin Leucker: Network Invariants for Real-Time Systems. Electr. Notes Theor. Comput. Sci. 98: 57-74 (2004) |
| c1 | | Olga Grinchtein, Bengt Jonsson, Martin Leucker: Learning of Event-Recording Automata. FORMATS/FTRTFT 2004: 379-396 |
| 1 | Therese Berg | |
| 2 | Johannes Borgström | |
| 3 | Bengt Jonsson | |
| 4 | Simon Kramer | |
| 5 | Martin Leucker | |
| 6 | Paul Pettersson | |
| 7 | Nir Piterman | |
| 8 | Harald Raffelt | |
| 9 | Bernhard Steffen |
Colors in the list of coauthors
Last update Wed May 22 03:52:02 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page