Olga Grinchtein

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 2

Top Venues

SMT

SEFM

ICST Workshops

QRS Companion

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. SEFM (2018)
Mats Carlsson, Olga Grinchtein, Justin Pearson
Modelling and Verification of User Interactions Using Constraint Programming. QRS Companion (2017)
Olga Grinchtein, Mats Carlsson, Justin Pearson
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. TAP@STAF (2015)
Olga Grinchtein, Mats Carlsson, Justin Pearson
Testing of a telecommunication protocol using constraint programming. ICST Workshops (2015)
Mats Carlsson, Olga Grinchtein, Justin Pearson
Protocol Log Analysis with Constraint Programming. SMT (2014)
Kenneth Balck, Olga Grinchtein, Justin Pearson
Model-based protocol log generation for testing a telecommunication test harness using CLP. DATE (2014)
Olga Grinchtein, Bengt Jonsson, Martin Leucker
Learning of event-recording automata. Theor. Comput. Sci. 411 (47) (2010)
Olga Grinchtein, Martin Leucker
Network invariants for real-time systems. Formal Aspects Comput. 20 (6) (2008)
Olga Grinchtein, Martin Leucker
Learning Finite-State Machines from Inexperienced Teachers. ICGI (2006)
Johannes Borgström, Olga Grinchtein, Simon Kramer
Timed Calculus of Cryptographic Communication. Formal Aspects in Security and Trust (2006)
Olga Grinchtein, Bengt Jonsson, Paul Pettersson
Inference of Event-Recording Automata Using Timed Decision Trees. CONCUR (2006)
Olga Grinchtein, Martin Leucker, Nir Piterman
Inferring Network Invariants Automatically. IJCAR (2006)
Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
On the Correspondence Between Conformance Testing and Regular Inference. FASE (2005)
Olga Grinchtein, Bengt Jonsson, Martin Leucker
Learning of Event-Recording Automata. FORMATS/FTRTFT (2004)
Olga Grinchtein, Bengt Jonsson, Martin Leucker
Inference of Timed Transition Systems. INFINITY (2004)
Olga Grinchtein, Martin Leucker
Network Invariants for Real-Time Systems. INFINITY (2003)

Olga Grinchtein.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olga Grinchtein