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

  • 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.
  • Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf & Griesmayer, Andreas (2010). Validation of Creol Models for Routing Algorithms in Wireless Sensor Networks .
  • 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 June 28, 2011 1:00 PM