Olga Grinchtein

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