Travelled to:1 × Austria
1 × Germany
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:J.Pearson M.Carlsson M.Leucker K.Balck N.Piterman T.Berg B.Jonsson H.Raffelt B.Steffen
Talks about:protocol (3) test (3) log (3) telecommun (2) constraint (2) analysi (2) model (2) infer (2) correspond (1) regular (1)
Person: Olga Grinchtein
DBLP: Grinchtein:Olga
Contributed to:
2015
2014
2014
2006
2005Wrote 5 papers:
- TAP-2015-GrinchteinCP #analysis #constraints #optimisation #protocol
- A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs (OG, MC, JP), pp. 137–154.
- DATE-2014-BalckGP #generative #modelling #protocol #testing #using
- Model-based protocol log generation for testing a telecommunication test harness using CLP (KB, OG, JP), pp. 1–4.
- SMT-2014-CarlssonGP #analysis #constraints #programming #protocol
- Protocol Log Analysis with Constraint Programming (MC, OG, JP), pp. 17–26.
- IJCAR-2006-GrinchteinLP #automation #invariant #network
- Inferring Network Invariants Automatically (OG, ML, NP), pp. 483–497.
- FASE-2005-BergGJLRS #consistency #on the #testing
- On the Correspondence Between Conformance Testing and Regular Inference (TB, OG, BJ, ML, HR, BS), pp. 175–189.