Publications

 
PHD thesis
 
 
Journal papers
  • Olga Grinchtein, Bengt Jonsson, and Martin Leucker. Learning of event-recording automata. Theoretical Computer Science 411 (2010) 4029–4054
  • Olga Grinchtein, Martin  Leucker. Network invariants for real-time systems. Formal Aspects of Computing 20(6): 619-635, 2008
Conference and Workshop papers
  • Catherine Dubois, Olga Grinchtein, Justin Pearson and Mats Carlsson. Exploring properties of a telecommunication protocol with message delay using interactive theorem prover. In Proceedings of  International Conference on Software Engineering and Formal Methods, Lecture Notes in Computer Science, 2018. 
  • Mats Carlsson, Olga Grinchtein and Justin Pearson. Modelling and verification of user interactions using constraint programming. In Proceedings of IEEE International Conference on Software Quality, Reliability and Security Companion, 2017.
  • Olga Grinchtein, Mats Carlsson and Justin Pearson. A constraint optimization model for analysis of telecommunication protocol logs. In Proceedings of 9th International Conference on Tests and Proofs, 2015.
  • Kenneth Balck, Olga Grinchtein and Justin Pearson.  Model-based protocol log generation for testing a telecommunication test harness using CLP. In Proceedings of Design, Automation and Test in Europe, 2014.
  • Johannes Borgström, Olga Grinchtein and Simon Kramer. Timed Calculus of Cryptographic Communication. In Proceedings of the Workshop on Formal Aspects in Security and Trust, Lecture Notes in Computer Science, 2006.
  • Olga Grinchtein and Martin Leucker. Learning Finite-State Machines from Inexperienced Teacher. In Proceedings of International Colloquium on Grammatical Inference, Lecture Notes in Computer Science, 2006.
  • Olga Grinchtein, Bengt Jonsson and Paul Pettersson. Inference of Event-Recording Automata using Timed Decision Trees. In Proceedings of  the International Conference on Concurrency Theory, Lecture Notes in Computer Science, 2006.
  • Olga Grinchtein, Martin Leucker and Nir Piterman. Inferring Network Invariants Automatically. In Proceedings of the International Joint Conference on Automated Reasoning,  Lecture Notes in Computer Science, 2006.
  • Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen: On the Correspondence Between Conformance Testing and Regular Inference. In Proceedings of  the International Conference on Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, 2005.
  • Olga Grinchtein, Bengt Jonsson and Martin Leucker. Inference of timed transition systems.In Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2004.
  • Olga Grinchtein, Bengt Jonsson, and Martin Leucker. Learning of event-recording automata. In Proceedings of the Joint Conferences FORMATS and FTRTFT, Lecture Notes in Computer Science, September 2004.
  • Olga Grinchtein, Martin Leucker. Network invariants for real-time systems.In Electronic Notes in Theoretical Computer Science, volume 98. Elsevier Science Publishers, 2004.
    Map Locations of visitors to this page
                                                                                  
     
       
    Comments