Publications
PHD thesis
MA thesis in Art History
Photographic Portraits of Sculptors at the turn of 1900
BA thesis in Art History
Portraits of Sculptors in Modernism
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
Olga Grinchtein and Johan Karlsson. Customizing characteristics of multi-queue multi-server systems. In Proceedings of International Conference on Optimization and Decision Science, ODS2024, AIRO Springer Series, to appear.
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.