Inference of Timed Transition Systems. - Olga Grinchtein; Bengt Jonsson 001; Martin Leucker (INFINITY, 2004)

On the Correspondence Between Conformance Testing and Regular Inference. - Therese Berg; Olga Grinchtein; Bengt Jonsson 001; Martin Leucker; Harald Raffelt; Bernhard Steffen (FASE, 2005)

Inferring Network Invariants Automatically. - Olga Grinchtein; Martin Leucker; Nir Piterman (IJCAR, 2006)

Inference of Event-Recording Automata Using Timed Decision Trees. - Olga Grinchtein; Bengt Jonsson 001; Paul Pettersson (CONCUR, 2006)

Learning Finite-State Machines from Inexperienced Teachers. - Olga Grinchtein; Martin Leucker (ICGI, 2006)

Timed Calculus of Cryptographic Communication. - Johannes Borgström; Olga Grinchtein; Simon Kramer 001 (Formal Aspects in Security and Trust, 2006)

Network invariants for real-time systems. - Olga Grinchtein; Martin Leucker (Formal Aspects Comput., 2008)

Learning of Timed Systems. - Olga Grinchtein (2008)

Learning of event-recording automata. - Olga Grinchtein; Bengt Jonsson 001; Martin Leucker (Theor. Comput. Sci., 2010)

Model-based protocol log generation for testing a telecommunication test harness using CLP. - Kenneth Balck; Olga Grinchtein; Justin Pearson (DATE, 2014)

Protocol Log Analysis with Constraint Programming. - Mats Carlsson; Olga Grinchtein; Justin Pearson (SMT, 2014)

Testing of a telecommunication protocol using constraint programming. - Olga Grinchtein; Mats Carlsson; Justin Pearson (ICST Workshops, 2015)

A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. - Olga Grinchtein; Mats Carlsson; Justin Pearson (TAP@STAF, 2015)

Modelling and Verification of User Interactions Using Constraint Programming. - Mats Carlsson; Olga Grinchtein; Justin Pearson (QRS Companion, 2017)

Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. - Catherine Dubois; Olga Grinchtein; Justin Pearson; Mats Carlsson (SEFM, 2018)