| 2018 | SEFM | Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. | Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson |
| 2017 | QRS | Modelling and Verification of User Interactions Using Constraint Programming. | Mats Carlsson, Olga Grinchtein, Justin Pearson |
| 2015 | ICST | Testing of a telecommunication protocol using constraint programming. | Olga Grinchtein, Mats Carlsson, Justin Pearson |
| 2015 | TAP | A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. | Olga Grinchtein, Mats Carlsson, Justin Pearson |
| 2014 | DATE | Model-based protocol log generation for testing a telecommunication test harness using CLP. | Kenneth Balck, Olga Grinchtein, Justin Pearson |
| 2006 | CADE | Inferring Network Invariants Automatically. | Olga Grinchtein, Martin Leucker, Nir Piterman |
| 2006 | CONCUR | Inference of Event-Recording Automata Using Timed Decision Trees. | Olga Grinchtein, Bengt Jonsson, Paul Pettersson |
| 2005 | FASE | On the Correspondence Between Conformance Testing and Regular Inference. | Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen |