Rudolf Schlatte

Senior Engineer - Reliable Systems
Image of Rudolf Schlatte
Norwegian version of this page
Phone +47 22852971
Room 8465
Username
Visiting address Gaustadalléen 23B 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

  • Stenseth, Nils Christian; Schlatte, Rudolf; Liu, Xiaoli; Pielke, Roger Jr.; Chen, Ben & Bjørnstad, Ottar Nordal [Show all 13 contributors for this article] (2023). Reply to Ekström and Ottersen: Real-time access to data during outbreaks is a key to avoid a local epidemic becoming a global pandemic. Proceedings of the National Academy of Sciences of the United States of America. ISSN 0027-8424. 120(40). doi: 10.1073/pnas.2312649120. Full text in Research Archive
  • 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:/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). Springer. 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

Research groups