Rudolf Schlatte

Image of Rudolf Schlatte
Norwegian version of this page
Phone +47 22852971
Room 8465
Username
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.

Teaching

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

Publications

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 p.

View all works in Cristin

  • Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert; Haulund, Tue; Hoey, James & Cservenka, Martin Holm [Show all 11 contributors for this article] (2020). Software and Reversible Systems: A Survey of Recent Activities, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer. ISSN 978-3-030-47360-0. p. 41–59. doi: https%3A/doi.org/10.1007/978-3-030-47361-7_2.
  • Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf & Neuenstadt, Christian [Show all 11 contributors for this article] (2016). Ontology-based Visual Querying with OptiqueVQS: Statoil and Siemens Cases. CEUR Workshop Proceedings. ISSN 1613-0073. 1818.
  • Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Christel; Blechmann, Tobias & Boer, de Frank [Show all 24 contributors for this article] (2009). Credo methodology - Modeling and analyzing a peer-to-peer system in Credo.
  • Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch & Giese, Martin (2021). Programming and Debugging with Semantically Lifted States (Full Paper). Universitetet i Oslo. Institutt for informatikk. ISSN 978-82-7368-464-6. Full text in Research Archive
  • Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf & Griesmayer, Andreas (2010). Validation of Creol Models for Routing Algorithms in Wireless Sensor Networks. Norsk Regnesentral. ISSN 978-82-539-0534-1.

View all works in Cristin

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

Projects

No ongoing projects

Research groups