Rudolf Schlatte

58 papers B 5C 4Misc 2Journal 11Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Semantically Reflected Programs. TGDK Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, Einar Broch Johnsen
2025	—	`conf`	BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins. ASQAP Riccardo Sieve, Paul Kobialka, Laura Slaughter, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Inside Every Multithreaded Program There Are Active Objects Struggling To Get Out. Rebeca for Actor Analysis in Action Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Semantic Reflection and Digital Twins: A Comprehensive Overview. The Combined Power of Research, Education, and Dissemination Eduard Kamburjan, Andrea Pferscher, Rudolf Schlatte, Riccardo Sieve, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025	J	`jnl`	Semantically Reflected Programs. CoRR Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, Einar Broch Johnsen
2024	Misc	`conf`	Maximizing the Application Utility in the Computing Continuum by Feasible Site Selection. UCC Geir Horn, Marta Rózanska, Rudolf Schlatte
2024	—	`ch.`	Simulating User Journeys with Active Objects. Active Object Languages: Current Research Trends Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2023	—	`conf`	Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David B. Cameron, Einar Broch Johnsen
2022	—	`conf`	A Note on Idleness Detection of Actor Systems. The Logic of Software. A Tasting Menu of Formal Methods Rudolf Schlatte
2022	—	`conf`	Digital Twin Reconfiguration Using Asset Models. ISoLA (4) Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David B. Cameron, Einar Broch Johnsen
2022	—	`conf`	Digital Twins for Autonomic Cloud Application Management. AINA (3) Geir Horn, Rudolf Schlatte, Einar Broch Johnsen
2022	J	`jnl`	The ABS simulator toolchain. Sci. Comput. Program. Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
2022	—	`conf`	Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2021	C	`conf`	Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. COORDINATION Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
2021	B	`conf`	Programming and Debugging with Semantically Lifted States. ESWC Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese
2020	—	`conf`	Designing Distributed Control with Hybrid Active Objects. ISoLA (4) Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2020	B	`conf`	Global Reproducibility Through Local Control for Distributed Active Objects. FASE Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte
2020	—	`conf`	Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. Gabbrielli's Festschrift Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito
2020	—	`ch.`	Software and Reversible Systems: A Survey of Recent Activities. Selected Results of the COST Action IC1405 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
2018	J	`jnl`	OptiqueVQS: A visual query system over ontologies for industry. Semantic Web 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
2018	B	`conf`	Program Verification for Exception Handling on Active Objects Using Futures. SEFM Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen
2018	—	`conf`	Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
2017	B	`conf`	EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. FASE Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte
2017	J	`jnl`	EasyInterface: A toolkit for rapid development of GUIs for research prototype tools. CoRR Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte
2017	J	`jnl`	Querying industrial stream-temporal data: An ontology-based visual approach. J. Ambient Intell. Smart Environ. Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Özgür L. Özçep, Christian Neuenstadt, Sebastian Brandt
2016	—	`conf`	A Visual Query System for Stream Data Access over Ontologies. ESWC (Satellite Events) Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgür L. Özçep, Sebastian Brandt
2016	—	`conf`	Domain Experts Surfing on Stream Sensor Data over Ontologies. SEMPER@ESWC Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgür L. Özçep, Sebastian Brandt
2015	J	`jnl`	Integrating deployment architectures and resource consumption in timed object-oriented models. J. Log. Algebraic Methods Program. Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2014	—	`conf`	Deployment Variability in Delta-Oriented Models. ISoLA (1) Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2014	—	`conf`	Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. ISoLA (2) Georg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz
2014	—	`conf`	Fault Model Design Space for Cooperative Concurrency. ISoLA (2) Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
2014	J	`jnl`	Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong
2013	—	`conf`	Optique: Towards OBDA Systems for Industry. ESWC (Satellite Events) 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
2013	J	`jnl`	User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2012	—	`conf`	Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong
2012	C	`conf`	Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. ICFEM Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2012	Misc	`conf`	Programming and deployment of active objects with application-level scheduling. SAC Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte
2012	J	`jnl`	The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Int. J. Softw. Tools Technol. Transf. Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte
2011	—	`conf`	A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. FACS Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011	—	`conf`	A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. FoVeOOS Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011	—	`conf`	Modeling Application-Level Management of Virtualized Resources in ABS. FMCO Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011	—	`conf`	Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong
2011	B	`conf`	Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2010	—	`conf`	ABS: A Core Language for Abstract Behavioral Specification. FMCO Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen
2010	C	`conf`	Dynamic Resource Reallocation between Deployment Components. ICFEM Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2010	—	`conf`	Lightweight Time Modeling in Timed Creol RTRTS Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte
2010	—	`conf`	Models of Rate Restricted Communication for Concurrent Objects. TTSS Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa
2010	—	`conf`	Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2010	—	`conf`	Variability Modelling in the ABS Language. FMCO Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte
2009	—	`conf`	Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. TTSS 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
2009	—	`conf`	Dynamic Symbolic Execution for Testing Distributed Objects. TAP@TOOLS Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte
2009	—	`conf`	Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte
2009	J	`jnl`	Model-checking user behaviour using interacting components. Formal Aspects Comput. Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte
2009	—	`conf`	Resource Modeling for Timed Creol Models. TTSS Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas
2008	—	`conf`	Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam
2008	—	`conf`	Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. TTSS Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam
2008	C	`conf`	Testing Concurrent Objects with Application-Specific Schedulers. ICTAC Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen
2006	—	`conf`	Enabling Multimedia Metadata Interoperability by Defining Formal Semantics of MPEG-7 Profiles. SAMT Raphaël Troncy, Werner Bailer, Michael Hausenblas, Philip Hofmair, Rudolf Schlatte