Rudolf Schlatte

Image of Rudolf Schlatte
Norwegian version of this page
Phone +47 22852971
Room 8465
Visiting address Gaustadalleen 23 B 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO

Academic Interests

My current main area of interest is the specification and implementation of formal languages for concurrent, distributed software systems modeling.


Higher education and employment history

After finishing a master's degree at Graz University of Technology, I worked for several years at the Austrian research center Joanneum Research as researcher and programmer.  From 2007 to 2010, I studied for a PhD at Graz University of Technology, during which time I was employed at the International Institute for Software Technology, United Nations University, in Macao.  After finishing my PhD, I was hired as a Postdoc researcher in Oslo.

Tags: formal methods, computer science, programming language semantics, concurrency


View all works in Cristin

  • Schlatte, Rudolf (2020). Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer.  ISBN 978-3-030-47360-0.  237 s.

View all works in Cristin

  • Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch & Giese, Martin (2021). Programming and Debugging with Semantically Lifted States (Full Paper). Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 499.
  • Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert; Haulund, Tue; Hoey, James; Cservenka, Martin Holm; Lanese, Ivan; Mogensen, Torben Æ.; Siljak, Harun; Schultz, Ulrik Pagh & Ulidowski, Irek (2020). Software and Reversible Systems: A Survey of Recent Activities, In  Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405.  Springer.  ISBN 978-3-030-47360-0.  Chapter 2.  s 41 - 59
  • Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Özcep, Özgür; Lie, Hallstein; Klungre, Vidar Norstein; Brandt, Sebastian & Horrocks, Ian (2016). Ontology-based Visual Querying with OptiqueVQS: Statoil and Siemens Cases. CEUR Workshop Proceedings.  ISSN 1613-0073.  1818
  • Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf & Griesmayer, Andreas (2010). Validation of Creol Models for Routing Algorithms in Wireless Sensor Networks. Report at the Norwegian Computing Center. NR-rapport nr 1024. Show summary
  • Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Christel; Blechmann, Tobias; Boer, de Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Klein, Joachim; Klüppelholz, Sascha, Sascha; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Stam, Andries; Steffen, Martin; Tschirner, Simon; Liang, Xuedong; Wang, Yi; Grabe, Immo; Boer, Frank de; Broch Johnsen, Einar; Klüppelholz, Sascha; Kyas, Marcel & Yi, Wang (2009). Credo methodology - Modeling and analyzing a peer-to-peer system in Credo.

View all works in Cristin

Published Mar. 3, 2011 8:37 PM - Last modified Nov. 12, 2018 1:56 PM


No ongoing projects

Research groups