Rudolf Schlatte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
12
Active years
2008–2024
Best venue rank
C
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | UCC | Maximizing the Application Utility in the Computing Continuum by Feasible Site Selection. | Geir Horn, Marta Rzanska, Rudolf Schlatte |
| 2023 | FM | 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 |
| 2022 | AINA | Digital Twins for Autonomic Cloud Application Management. | Geir Horn, Rudolf Schlatte, Einar Broch Johnsen |
| 2022 | ISoLA | Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. | Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2022 | ISoLA | Digital Twin Reconfiguration Using Asset Models. | Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David B. Cameron, Einar Broch Johnsen |
| 2021 | Coordination | Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. | Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa |
| 2020 | FASE | Global Reproducibility Through Local Control for Distributed Active Objects. | Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte |
| 2020 | ISoLA | Designing Distributed Control with Hybrid Active Objects. | Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2018 | SEFM | Program Verification for Exception Handling on Active Objects Using Futures. | Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen |
| 2017 | FASE | EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. | Jess Domnech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte |
| 2014 | ISoLA | Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. | Georg Gri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz |
| 2014 | ISoLA | Deployment Variability in Delta-Oriented Models. | Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2014 | ISoLA | Fault Model Design Space for Cooperative Concurrency. | Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro |
| 2012 | ICFEM | Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. | Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2012 | SAC | Programming and deployment of active objects with application-level scheduling. | Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte |
| 2011 | FM | Simulating Concurrent Behaviors with Worst-Case Cost Bounds. | Elvira Albert, Samir Genaim, Miguel Gmez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2010 | ICFEM | Dynamic Resource Reallocation between Deployment Components. | Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2009 | FORTE | Dynamic Symbolic Execution of Distributed Concurrent Objects. | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
| 2009 | TAP | Dynamic Symbolic Execution for Testing Distributed Objects. | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
| 2008 | ICTAC | Testing Concurrent Objects with Application-Specific Schedulers. | Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen |