Enabling Multimedia Metadata Interoperability by Defining Formal Semantics of MPEG-7 Profiles. - Raphaël Troncy; Werner Bailer; Michael Hausenblas; Philip Hofmair; Rudolf Schlatte (SAMT, 2006)

Conformance Testing of Distributed Concurrent Systems with Executable Designs. - Bernhard K. Aichernig; Andreas Griesmayer; Einar Broch Johnsen; Rudolf Schlatte; Andries Stam (FMCO, 2008)

Testing Concurrent Objects with Application-Specific Schedulers. - Rudolf Schlatte; Bernhard K. Aichernig; Frank S. de Boer; Andreas Griesmayer; Einar Broch Johnsen (ICTAC, 2008)

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. - Bernhard K. Aichernig; Andreas Griesmayer; Rudolf Schlatte; Andries Stam (TTSS, 2008)

Dynamic Symbolic Execution of Distributed Concurrent Objects. - Andreas Griesmayer; Bernhard K. Aichernig; Einar Broch Johnsen; Rudolf Schlatte (FMOODS/FORTE, 2009)

Dynamic Symbolic Execution for Testing Distributed Objects. - Andreas Griesmayer; Bernhard K. Aichernig; Einar Broch Johnsen; Rudolf Schlatte (TAP@TOOLS, 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 001; Frank S. de Boer; Andreas Griesmayer; Einar Broch Johnsen; Joachim Klein 001; Sascha Klüppelholz; Marcel Kyas; Wolfgang Leister; et al. (TTSS, 2009)

Resource Modeling for Timed Creol Models. - Rudolf Schlatte; Bernhard K. Aichernig; Andreas Griesmayer; Marcel Kyas (TTSS, 2009)

Model-checking user behaviour using interacting components. - Thomas Anung Basuki; Antonio Cerone; Andreas Griesmayer; Rudolf Schlatte (Formal Aspects Comput., 2009)

Variability Modelling in the ABS Language. - Dave Clarke 001; Radu Muschevici; José Proença; Ina Schaefer; Rudolf Schlatte (FMCO, 2010)

ABS: A Core Language for Abstract Behavioral Specification. - Einar Broch Johnsen; Reiner Hähnle; Jan Schäfer 002; Rudolf Schlatte; Martin Steffen (FMCO, 2010)

Validating Timed Models of Deployment Components with Parametric Concurrency. - Einar Broch Johnsen; Olaf Owe; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (FoVeOOS, 2010)

Dynamic Resource Reallocation between Deployment Components. - Einar Broch Johnsen; Olaf Owe; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (ICFEM, 2010)

Lightweight Time Modeling in Timed Creol - Joakim Bjørk; Einar Broch Johnsen; Olaf Owe; Rudolf Schlatte (RTRTS, 2010)

Models of Rate Restricted Communication for Concurrent Objects. - Rudolf Schlatte; Einar Broch Johnsen; Fatemeh Kazemeyni; Silvia Lizeth Tapia Tarifa (TTSS, 2010)

A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. - Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (FACS, 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 (FM, 2011)

Modeling Application-Level Management of Virtualized Resources in ABS. - Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (FMCO, 2011)

A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. - Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (FoVeOOS, 2011)

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. - Dave Clarke 001; Nikolay Diakov; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer; Jan Schäfer 002; Rudolf Schlatte; Peter Y. H. Wong (SFM, 2011)

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 (ESOCC, 2012)

Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. - Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (ICFEM, 2012)

Programming and deployment of active objects with application-level scheduling. - Behrooz Nobakht; Frank S. de Boer; Mohammad Mahdi Jaghoori; Rudolf Schlatte (SAC, 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 002; Rudolf Schlatte (Int. J. Softw. Tools Technol. Transf., 2012)

Optique: Towards OBDA Systems for Industry. - Evgeny Kharlamov; Ernesto Jiménez-Ruiz; Dmitriy Zheleznyakov; Dimitris Bilidas; Martin Giese; Peter Haase 001; Ian Horrocks 001; Herald Kllapi; Manolis Koubarakis; Özgür L. Özçep; Mariano Rodriguez-Muro; Riccardo Rosati 001; et al. (ESWC (Satellite Events), 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)

Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. - Georg Göri; Einar Broch Johnsen; Rudolf Schlatte; Volker Stolz (ISoLA (2), 2014)

Deployment Variability in Delta-Oriented Models. - Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (ISoLA (1), 2014)

Fault Model Design Space for Cooperative Concurrency. - Ivan Lanese; Michael Lienhardt; Mario Bravetti; Einar Broch Johnsen; Rudolf Schlatte; Volker Stolz; Gianluigi Zavattaro (ISoLA (2), 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)

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)

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 001 (SEMPER@ESWC, 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 001 (ESWC (Satellite Events), 2016)

EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. - Jesús Doménech; Samir Genaim; Einar Broch Johnsen; Rudolf Schlatte (FASE, 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 001 (J. Ambient Intell. Smart Environ., 2017)

Release the Beasts: When Formal Methods Meet Real World Data. - Rudolf Schlatte; Einar Broch Johnsen; Jacopo Mauro; Silvia Lizeth Tapia Tarifa; Ingrid Chieh Yu (It's All About Coordination, 2018)

Program Verification for Exception Handling on Active Objects Using Futures. - Crystal Chang Din; Rudolf Schlatte; Tzu-Chun Chen (SEFM, 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 001; Hallstein Lie; Ian Horrocks 001 (Semantic Web, 2018)

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 (Gabbrielli's Festschrift, 2020)

Global Reproducibility Through Local Control for Distributed Active Objects. - Lars Tveito; Einar Broch Johnsen; Rudolf Schlatte (FASE, 2020)

Designing Distributed Control with Hybrid Active Objects. - Eduard Kamburjan; Rudolf Schlatte; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (ISoLA (4), 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 (Selected Results of the COST Action IC1405, 2020)

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. - Rudolf Schlatte; Einar Broch Johnsen; Eduard Kamburjan; Silvia Lizeth Tapia Tarifa (COORDINATION, 2021)

Programming and Debugging with Semantically Lifted States. - Eduard Kamburjan; Vidar Norstein Klungre; Rudolf Schlatte; Einar Broch Johnsen; Martin Giese (ESWC, 2021)

Digital Twins for Autonomic Cloud Application Management. - Geir Horn; Rudolf Schlatte; Einar Broch Johnsen (AINA (3), 2022)

A Note on Idleness Detection of Actor Systems. - Rudolf Schlatte (The Logic of Software. A Tasting Menu of Formal Methods, 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 (ISoLA (1), 2022)

Digital Twin Reconfiguration Using Asset Models. - Eduard Kamburjan; Vidar Norstein Klungre; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa; David B. Cameron; Einar Broch Johnsen (ISoLA (4), 2022)

The ABS simulator toolchain. - Rudolf Schlatte; Einar Broch Johnsen; Eduard Kamburjan; Silvia Lizeth Tapia Tarifa (Sci. Comput. Program., 2022)

Emerging Challenges in Compositionality and Correctness for Digital Twins. - Eduard Kamburjan; Vidar Norstein Klungre; Silvia Lizeth Tapia Tarifa; Rudolf Schlatte; Martin Giese; David B. Cameron; Einar Broch Johnsen (FMDT@FM, 2023)

Simulating User Journeys with Active Objects. - Paul Kobialka; Rudolf Schlatte; Gunnar Rye Bergersen; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Active Object Languages: Current Research Trends, 2024)

Maximizing the Application Utility in the Computing Continuum by Feasible Site Selection. - Geir Horn; Marta Rózanska; Rudolf Schlatte (UCC, 2024)

Inside Every Multithreaded Program There Are Active Objects Struggling To Get Out. - Frank S. de Boer; Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (Rebeca for Actor Analysis in Action, 2025)

Semantic Reflection and Digital Twins: A Comprehensive Overview. - Eduard Kamburjan; Andrea Pferscher; Rudolf Schlatte; Riccardo Sieve; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (The Combined Power of Research, Education, and Dissemination, 2025)

BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins. - Riccardo Sieve; Paul Kobialka; Laura Slaughter; Rudolf Schlatte; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (ASQAP, 2025)