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. NEW
  • 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. NEW
  • 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