Rudolf Schlatte

Image of Rudolf Schlatte
Norwegian version of this page
Phone +47-22852971
Room 8465
Username
Visiting address Gaustadalleen 23 B None 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

  • Domenech, Jesus; Genaim, Samir; Johnsen, Einar Broch & Schlatte, Rudolf (2017). EASYINTERFACE: A toolkit for rapid development of GUIs for research prototype tools. Lecture Notes in Computer Science.  ISSN 0302-9743.  10202 LNCS, s 379- 383 . doi: 10.1007/978-3-662-54494-5_22
  • Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Özçep, Özgür; Neuenstadt, Christian & Brandt, Sebastian (2017). Querying industrial stream-temporal data: An ontology-based visual approach. Journal of Ambient Intelligence and Smart Environments.  ISSN 1876-1364.  9(1), s 77- 95 . doi: 10.3233/AIS-160415 Full text in Research Archive.
  • Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-Ruiz, Ernesto; Giese, Martin; Skjæveland, Martin G; Hovland, Dag; Schlatte, Rudolf; Brandt, Sebastian; Lie, Hallstein & Horrocks, Ian (2017). OptiqueVQS: a Visual Query System over Ontologies for Industry. Semantic Web.  ISSN 1570-0844.  s 1- 28
  • Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Ozcep, Ozgur; 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, s 34- 39
  • Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Özcep, Özgür & Brandt, Sebastian (2016). A visual query system for stream data access over ontologies. Lecture Notes in Computer Science.  ISSN 0302-9743.  9989, s 161- 166 . doi: 10.1007/978-3-319-47602-5_32
  • Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Ozcep, Ozgur & Brandt, Sebastian (2016). Domain experts surfing on stream sensor data over ontologies. CEUR Workshop Proceedings.  ISSN 1613-0073.  1588, s 11- 20
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2015). Integrating deployment architectures and resource consumption in timed object-oriented models. The Journal of logical and algebraic methods in programming.  ISSN 2352-2216.  84(1), s 67- 91 . doi: 10.1016/j.jlamp.2014.07.001
  • Albert, Elvira; de Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth & Wong, Peter Y. H. (2014). Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Service Oriented Computing and Applications.  ISSN 1863-2386.  8(4), s 323- 339 . doi: 10.1007/s11761-013-0148-0
  • Göri, Georg; Johnsen, Einar Broch; Schlatte, Rudolf & Stolz, Volker (2014). Erlang-style error recovery for concurrent objects with cooperative scheduling. Lecture Notes in Computer Science.  ISSN 0302-9743.  8803(2), s 5- 21 . doi: 10.1007/978-3-662-45231-8_2
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2014). Deployment variability in delta-oriented models. Lecture Notes in Computer Science.  ISSN 0302-9743.  8802, s 304- 319 . doi: 10.1007/978-3-662-45234-9_22
  • Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker & Zavattaro, Gianluigi (2014). Fault Model Design Space for Cooperative Concurrency. Lecture Notes in Computer Science.  ISSN 0302-9743.  8803(2), s 22- 36 . doi: 10.1007/978-3-662-45231-8_3
  • Giese, Martin; Calvanese, Diego; Haase, Peter; Horrocks, Ian; Ioannidis, Yannis; Kllapi, Herald; Koubarakis, Manolis; Lenzerini, Maurizio; Moeller, Ralf; Oezcep, Oezguer; Rodriguez-muro, Mariano; Rosati, Riccardo; Schlatte, Rudolf; Schmidt, Michael; Soylu, Ahmet & Waaler, Arild (2013). Scalable End-user Access to Big Data, In Rajendra Akerkar (ed.),  Big Data Computing.  Taylor & Francis.  ISBN 978-1-46-657837-1.  Section II.
  • Kharlamov, Evgeny; Jimenez-ruiz, Ernesto; Zheleznyakov, Dmitriy; Bilidas, Dimitris; Giese, Martin; Haase, Peter; Horrocks, Ian; Kllapi, Herald; Koubarakis, Manolis; Oezcep, Oezguer; Rodriguez-muro, Mariano; Rosati, Riccardo; Schmidt, Michael; Schlatte, Rudolf; Soylu, Ahmet & Waaler, Arild (2013). Optique: Towards OBDA Systems for Industry. Lecture Notes in Computer Science.  ISSN 0302-9743.  7955, s 125- 140 . doi: 10.1007/978-3-642-41242-4_11
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2013). Modeling Application-Level Management of Virtualized Resources in ABS. Lecture Notes in Computer Science.  ISSN 0302-9743.  7542, s 89- 108 . doi: 10.1007/978-3-642-35887-6_5
  • Bjørk, Joakim; de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2012). User-defined Schedulers for Real-Time Concurrent Objects. Innovations in Systems and Software Engineering.  ISSN 1614-5046. . doi: 10.1007/s11334-012-0184-5
  • de Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf & Wong, Peter Y. H. (2012). Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. Lecture Notes in Computer Science.  ISSN 0302-9743.  7592, s 91- 106 . doi: 10.1007/978-3-642-33427-6_7
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2012). A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. Lecture Notes in Computer Science.  ISSN 0302-9743.  7253, s 187- 204 . doi: 10.1007/978-3-642-35743-5_12
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2012). A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. Lecture Notes in Computer Science.  ISSN 0302-9743.  7421, s 196- 213 . doi: 10.1007/978-3-642-31762-0_13
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2012). Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. Lecture Notes in Computer Science.  ISSN 0302-9743.  7635, s 71- 86 . doi: 10.1007/978-3-642-34281-3_8
  • Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Johnsen, Einar Broch & Griesmayer, Andreas (2012). Exploiting Model Variability in ABS to Verify Distributed Algorithms. International Journal On Advances in Telecommunications.  ISSN 1942-2601.  5(1&2), s 55- 68 Show summary
  • Nobakht, Behrooz; de Boer, Frank S.; Jaghoori, Mohammad Mahdi & Schlatte, Rudolf (2012). Programming and deployment of active objects with application-level scheduling, In Sascha Ossowski & Paola Lecca (ed.),  Proceedings of the 27th Annual ACM Symposium on Applied Computing.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-0857-1.  Conference Presentation.  s 1883 - 1888 Show summary
  • Wong, Peter Y. H.; Albert, Elvira; Muschevici, Radu; Proenca, Jose; Schäfer, Jan & Schlatte, Rudolf (2012). The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. International Journal on Software Tools for Technology Transfer (STTT).  ISSN 1433-2779.  14(5), s 567- 588 . doi: 10.1007/s10009-012-0250-1 Show summary
  • Albert, Elvira; Genaim, Samir; Gómez-Zamalloa, Miguel; Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2011). Simulating Concurrent Behaviors with Worst-Case Cost Bounds. Lecture Notes in Computer Science.  ISSN 0302-9743.  6664, s 353- 368
  • Clarke, Dave; Diakov, Nikolay; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina; Schäfer, Jan; Schlatte, Rudolf & Wong, Peter Y. H. (2011). Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. Lecture Notes in Computer Science.  ISSN 0302-9743.  6659, s 417- 457
  • Clarke, Dave; Muschevici, Radu; Proenca, Jose; Schaefer, Ina & Schlatte, Rudolf (2011). Variability Modelling in the ABS Language. Lecture Notes in Computer Science.  ISSN 0302-9743.  6957, s 204- 224 . doi: 10.1007/978-3-642-25271-6_11 Show summary
  • Johnsen, Einar Broch; Hähnle, Reiner; Schäfer, Jan; Schlatte, Rudolf & Steffen, Martin (2011). ABS: A Core Language for Abstract Behavioral Specification. Lecture Notes in Computer Science.  ISSN 0302-9743.  6957
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2011). Validating Timed Models of Deployment Components with Parametric Concurrency. Lecture Notes in Computer Science.  ISSN 0302-9743.  6528, s 46- 60
  • Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2011). Integrating Aspects of Software Deployment in High-Level Executable Models, In  Norsk Informatikkonferanse NIK 2011.  Tapir Akademisk Forlag.  ISBN 978-82-519-2843-4.  Kap XX.
  • Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf & Griesmayer, Andreas (2011). Verifying Distributed Algorithms with Executable Creol Models, In  PESARO 2011 The First International Conference on Performance, Safety and Robustness in Complex Systems and Applications, April 17-22, 2011, Budapest, Hungary.  International Academy, Research and Industry Association (IARIA).  ISBN 978-1-61208-005-5.  article.
  • Schlatte, Rudolf; Johnsen, Einar Broch; Kazemeyni, Fatemeh Sadat & Tapia Tarifa, Silvia Lizeth (2011). Models of Rate Restricted Communication for Concurrent Objects. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  274, s 67- 81 . doi: 10.1016/j.entcs.2011.07.007
  • Bjørk, Joakim; Johnsen, Einar Broch; Owe, Olaf & Schlatte, Rudolf (2010). Lightweight Time Modeling in Timed Creol. Electronic Proceedings in Theoretical Computer Science.  ISSN 2075-2180.  36, s 67- 81
  • Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Cristel; Blechmann, Tobias; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Klein, Joachim; Klüppelholz, Sascha; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Stam, Andries; Steffen, Martin; Tschirner, Simon; Liang, Xuedong & Yi, Wang (2010). Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  266, s 33- 48
  • Grabe, Immo; Jaghoori, Mohammad Mahdi; Klein, Joachim; Klüppelholz, Sascha; Stam, Andries; Baier, Christel; Blechmann, Tobias; Aichernig, Bernhard; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Steffen, Martin; Tschirner, Simon; Liang, Xuedong & Yi, Wang (2010). The Credo Methodology (Extended Version). Lecture Notes in Computer Science.  ISSN 0302-9743.  6286, s 41- 69
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2010). Deployment Components with Parametric Concurrency, In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  Extended abstract.  s 23 - 25
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2010). Dynamic Resource Reallocation between Deployment Components. Lecture Notes in Computer Science.  ISSN 0302-9743.  6447, s 646- 661
  • Schlatte, Rudolf; Aichernig, Bernhard K.; Griesmayer, Andreas & Kyas, Marcel (2010). Resource Modeling for Timed Creol Models. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  266, s 63- 75 . doi: http://dx.doi.org/10.1016/j.entcs.2010.08.049 Show summary

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. 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. Full text in Research Archive. 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 June 28, 2011 1:00 PM

Projects

No ongoing projects