Olga Grinchtein

According to our database, Olga Grinchtein authored at least 15 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover.

Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017

Modelling and Verification of User Interactions Using Constraint Programming.

Mats Carlsson, Olga Grinchtein, Justin Pearson

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2015

A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs.

Olga Grinchtein, Mats Carlsson, Justin Pearson

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Testing of a telecommunication protocol using constraint programming.

Olga Grinchtein, Mats Carlsson, Justin Pearson

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014

Protocol Log Analysis with Constraint Programming.

Mats Carlsson, Olga Grinchtein, Justin Pearson

Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

Model-based protocol log generation for testing a telecommunication test harness using CLP.

Kenneth Balck, Olga Grinchtein, Justin Pearson

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2010

Learning of event-recording automata.

Olga Grinchtein, Bengt Jonsson, Martin Leucker

Theor. Comput. Sci., 2010

2008

Learning of Timed Systems.

Olga Grinchtein

PhD thesis, 2008

Network invariants for real-time systems.

Olga Grinchtein, Martin Leucker

Formal Aspects Comput., 2008

2006

Timed Calculus of Cryptographic Communication.

Johannes Borgström, Olga Grinchtein, Simon Kramer

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

Learning Finite-State Machines from Inexperienced Teachers.

Olga Grinchtein, Martin Leucker

Proceedings of the Grammatical Inference: Algorithms and Applications, 2006

Inference of Event-Recording Automata Using Timed Decision Trees.

Olga Grinchtein, Bengt Jonsson, Paul Pettersson

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Inferring Network Invariants Automatically.

Olga Grinchtein, Martin Leucker, Nir Piterman

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

On the Correspondence Between Conformance Testing and Regular Inference.

Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

Inference of Timed Transition Systems.

Olga Grinchtein, Bengt Jonsson, Martin Leucker

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004