Rudolf Schlatte

Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: User-defined schedulers for real-time concurrent objects. ISSE 9(1): 29-43 (2013)

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. STTT 14(5): 567-588 (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: 91-106

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

Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte: Programming and deployment of active objects with application-level scheduling. SAC 2012: 1883-1888

Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa: Models of Rate Restricted Communication for Concurrent Objects. Electr. Notes Theor. Comput. Sci. 274: 67-81 (2011)

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. FACS 2011: 187-204

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: 353-368

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Modeling Application-Level Management of Virtualized Resources in ABS. FMCO 2011: 89-108

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

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: 417-457

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. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010)

Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas: Resource Modeling for Timed Creol Models. Electr. Notes Theor. Comput. Sci. 266: 63-75 (2010)

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

Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte: Variability Modelling in the ABS Language. FMCO 2010: 204-224

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

Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Dynamic Resource Reallocation between Deployment Components. ICFEM 2010: 646-661

Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte: Lightweight Time Modeling in Timed Creol. RTRTS 2010: 67-81

Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam: Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. Electr. Notes Theor. Comput. Sci. 243: 3-14 (2009)

Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte: Model-checking user behaviour using interacting components. Formal Asp. Comput. 21(6): 571-588 (2009)

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

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution for Testing Distributed Objects. TAP 2009: 105-120

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

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

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: 41-55