Rudolf Schlatte

According to our database, Rudolf Schlatte authored at least 51 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Simulating User Journeys with Active Objects.

Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Emerging Challenges in Compositionality and Correctness for Digital Twins.

Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

2022

The ABS simulator toolchain.

Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa

Sci. Comput. Program., 2022

Digital Twin Reconfiguration Using Asset Models.

Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins.

Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

A Note on Idleness Detection of Actor Systems.

Rudolf Schlatte

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

Digital Twins for Autonomic Cloud Application Management.

Geir Horn, Rudolf Schlatte, Einar Broch Johnsen

Proceedings of the Advanced Information Networking and Applications, 2022

2021

Programming and Debugging with Semantically Lifted States.

Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese

Proceedings of the Semantic Web - 18th International Conference, 2021

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction.

Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa

Proceedings of the Coordination Models and Languages, 2021

2020

Software and Reversible Systems: A Survey of Recent Activities.

Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik Pagh Schultz, Irek Ulidowski

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Designing Distributed Control with Hybrid Active Objects.

Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Global Reproducibility Through Local Control for Distributed Active Objects.

Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte

Proceedings of the Fundamental Approaches to Software Engineering, 2020

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages.

Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2018

OptiqueVQS: A visual query system over ontologies for industry.

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

Semantic Web, 2018

Program Verification for Exception Handling on Active Objects Using Futures.

Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Release the Beasts: When Formal Methods Meet Real World Data.

Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu

Proceedings of the It's All About Coordination, 2018

2017

Querying industrial stream-temporal data: An ontology-based visual approach.

Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Özgür L. Özçep, Christian Neuenstadt, Sebastian Brandt

J. Ambient Intell. Smart Environ., 2017

EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools.

Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

A Visual Query System for Stream Data Access over Ontologies.

Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgür L. Özçep, Sebastian Brandt

Proceedings of the Semantic Web - ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29, 2016

Domain Experts Surfing on Stream Sensor Data over Ontologies.

Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgür L. Özçep, Sebastian Brandt

Proceedings of the 1st Workshop on Semantic Web Technologies for Mobile and Pervasive Environments co-located with the 13th Extended Semantic Web Conference (ESWC 2016), 2016

2015

Integrating deployment architectures and resource consumption in timed object-oriented models.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

J. Log. Algebraic Methods Program., 2015

2014

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.

Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong

Serv. Oriented Comput. Appl., 2014

Fault Model Design Space for Cooperative Concurrency.

Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Deployment Variability in Delta-Oriented Models.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling.

Georg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

User-defined schedulers for real-time concurrent objects.

Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Innov. Syst. Softw. Eng., 2013

Optique: Towards OBDA Systems for Industry.

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

Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

2012

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.

Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte

Int. J. Softw. Tools Technol. Transf., 2012

Programming and deployment of active objects with application-level scheduling.

Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte

Proceedings of the ACM Symposium on Applied Computing, 2012

Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods and Software Engineering, 2012

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.

Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Verification of Object-Oriented Software, 2011

Modeling Application-Level Management of Virtualized Resources in ABS.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Simulating Concurrent Behaviors with Worst-Case Cost Bounds.

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the FM 2011: Formal Methods, 2011

A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

Models of Rate Restricted Communication for Concurrent Objects.

Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa

Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

Lightweight Time Modeling in Timed Creol

Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Dynamic Resource Reallocation between Deployment Components.

Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods and Software Engineering, 2010

Validating Timed Models of Deployment Components with Parametric Concurrency.

Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Verification of Object-Oriented Software, 2010

ABS: A Core Language for Abstract Behavioral Specification.

Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Variability Modelling in the ABS Language.

Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Model-checking user behaviour using interacting components.

Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte

Formal Aspects Comput., 2009

Resource Modeling for Timed Creol Models.

Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.

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

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Dynamic Symbolic Execution for Testing Distributed Objects.

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

Dynamic Symbolic Execution of Distributed Concurrent Objects.

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol.

Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Testing Concurrent Objects with Application-Specific Schedulers.

Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen

Proceedings of the Theoretical Aspects of Computing, 2008

Conformance Testing of Distributed Concurrent Systems with Executable Designs.

Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2006

Enabling Multimedia Metadata Interoperability by Defining Formal Semantics of MPEG-7 Profiles.

Raphaël Troncy, Werner Bailer, Michael Hausenblas, Philip Hofmair, Rudolf Schlatte

Proceedings of the Semantic Multimedia, 2006