Rudolf Schlatte

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 19

Top Topics

Resource Consumption

Partial Order Reduction

Top Venues

ESWC (Satellite Events)

Publications

Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen
Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM (2023)
Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) (2022)
Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
The ABS simulator toolchain. Sci. Comput. Program. 223 (2022)
Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen
Digital Twin Reconfiguration Using Asset Models. ISoLA (4) (2022)
Rudolf Schlatte
A Note on Idleness Detection of Actor Systems. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Geir Horn, Rudolf Schlatte, Einar Broch Johnsen
Digital Twins for Autonomic Cloud Application Management. AINA (3) (2022)
Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese
Programming and Debugging with Semantically Lifted States. ESWC (2021)
Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. COORDINATION (2021)
Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Designing Distributed Control with Hybrid Active Objects. ISoLA (4) (2020)
Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte
Global Reproducibility Through Local Control for Distributed Active Objects. FASE (2020)
Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. Gabbrielli's Festschrift (2020)
Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen
Program Verification for Exception Handling on Active Objects Using Futures. SEFM (2018)
Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Martin G. Skjæveland, Dag Hovland, Rudolf Schlatte, Sebastian Brandt, Hallstein Lie, Ian Horrocks
OptiqueVQS: A visual query system over ontologies for industry. Semantic Web 9 (5) (2018)
Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination (2018)
Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. FASE (2017)
Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte
EasyInterface: A toolkit for rapid development of GUIs for research prototype tools. CoRR (2017)
Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Özgür L. Özçep, Christian Neuenstadt, Sebastian Brandt
Querying industrial stream-temporal data: An ontology-based visual approach. J. Ambient Intell. Smart Environ. 9 (1) (2017)
Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgür L. Özçep, Sebastian Brandt
Domain Experts Surfing on Stream Sensor Data over Ontologies. SEMPER@ESWC (2016)
Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgür L. Özçep, Sebastian Brandt
A Visual Query System for Stream Data Access over Ontologies. ESWC (Satellite Events) (2016)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Integrating deployment architectures and resource consumption in timed object-oriented models. J. Log. Algebraic Methods Program. 84 (1) (2015)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Deployment Variability in Delta-Oriented Models. ISoLA (1) (2014)
Georg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. ISoLA (2) (2014)
Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
Fault Model Design Space for Cooperative Concurrency. ISoLA (2) (2014)
Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8 (4) (2014)
Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Dmitriy Zheleznyakov, Dimitris Bilidas, Martin Giese, Peter Haase, Ian Horrocks, Herald Kllapi, Manolis Koubarakis, Özgür L. Özçep, Mariano Rodriguez-Muro, Riccardo Rosati, Michael Schmidt, Rudolf Schlatte, Ahmet Soylu, Arild Waaler
Optique: Towards OBDA Systems for Industry. ESWC (Satellite Events) (2013)
Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. 9 (1) (2013)
Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte
Programming and deployment of active objects with application-level scheduling. SAC (2012)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. ICFEM (2012)
Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Int. J. Softw. Tools Technol. Transf. 14 (5) (2012)
Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC (2012)
Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa
Models of Rate Restricted Communication for Concurrent Objects. Electron. Notes Theor. Comput. Sci. 274 (2011)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Modeling Application-Level Management of Virtualized Resources in ABS. FMCO (2011)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. FACS (2011)
Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM (2011)
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM (2011)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. FoVeOOS (2011)
Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte
Lightweight Time Modeling in Timed Creol RTRTS (2010)
Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte
Variability Modelling in the ABS Language. FMCO (2010)
Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen
ABS: A Core Language for Abstract Behavioral Specification. FMCO (2010)
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas
Resource Modeling for Timed Creol Models. Electron. Notes Theor. Comput. Sci. 266 (2010)
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Dynamic Resource Reallocation between Deployment Components. ICFEM (2010)
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS (2010)
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electron. Notes Theor. Comput. Sci. 266 (2010)
Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte
Model-checking user behaviour using interacting components. Formal Aspects Comput. 21 (6) (2009)
Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. Electron. Notes Theor. Comput. Sci. 243 (2009)
Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte
Dynamic Symbolic Execution for Testing Distributed Objects. TAP@TOOLS (2009)
Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte
Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE (2009)
Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam
Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO (2008)
Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen
Testing Concurrent Objects with Application-Specific Schedulers. ICTAC (2008)
Raphaël Troncy, Werner Bailer, Michael Hausenblas, Philip Hofmair, Rudolf Schlatte
Enabling Multimedia Metadata Interoperability by Defining Formal Semantics of MPEG-7 Profiles. SAMT (2006)