![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Rudolf Schlatte
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [p2]Paul Kobialka
, Rudolf Schlatte
, Gunnar Rye Bergersen
, Einar Broch Johnsen
, Silvia Lizeth Tapia Tarifa
:
Simulating User Journeys with Active Objects. Active Object Languages: Current Research Trends 2024: 199-225 - 2023
- [c41]Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen:
Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM 2023 - 2022
- [j8]Rudolf Schlatte
, Einar Broch Johnsen, Eduard Kamburjan
, Silvia Lizeth Tapia Tarifa:
The ABS simulator toolchain. Sci. Comput. Program. 223: 102861 (2022) - [c40]Geir Horn
, Rudolf Schlatte, Einar Broch Johnsen:
Digital Twins for Autonomic Cloud Application Management. AINA (3) 2022: 141-152 - [c39]Rudolf Schlatte
:
A Note on Idleness Detection of Actor Systems. The Logic of Software. A Tasting Menu of Formal Methods 2022: 437-445 - [c38]Eduard Kamburjan
, Vidar Norstein Klungre
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
, David Cameron
, Einar Broch Johnsen
:
Digital Twin Reconfiguration Using Asset Models. ISoLA (4) 2022: 71-88 - [c37]Eduard Kamburjan
, Crystal Chang Din
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
, Einar Broch Johnsen
:
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) 2022: 188-204 - 2021
- [c36]Rudolf Schlatte
, Einar Broch Johnsen
, Eduard Kamburjan
, Silvia Lizeth Tapia Tarifa
:
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. COORDINATION 2021: 3-19 - [c35]Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte
, Einar Broch Johnsen, Martin Giese:
Programming and Debugging with Semantically Lifted States. ESWC 2021: 126-142 - 2020
- [c34]Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito:
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. Gabbrielli's Festschrift 2020: 10:1-10:18 - [c33]Lars Tveito, Einar Broch Johnsen
, Rudolf Schlatte
:
Global Reproducibility Through Local Control for Distributed Active Objects. FASE 2020: 140-160 - [c32]Eduard Kamburjan
, Rudolf Schlatte
, Einar Broch Johnsen
, Silvia Lizeth Tapia Tarifa
:
Designing Distributed Control with Hybrid Active Objects. ISoLA (4) 2020: 88-108 - [p1]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:
Software and Reversible Systems: A Survey of Recent Activities. Selected Results of the COST Action IC1405 2020: 41-59
2010 – 2019
- 2018
- [j7]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:
OptiqueVQS: A visual query system over ontologies for industry. Semantic Web 9(5): 627-660 (2018) - [c31]Rudolf Schlatte
, Einar Broch Johnsen
, Jacopo Mauro
, Silvia Lizeth Tapia Tarifa
, Ingrid Chieh Yu:
Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination 2018: 107-121 - [c30]Crystal Chang Din
, Rudolf Schlatte
, Tzu-Chun Chen:
Program Verification for Exception Handling on Active Objects Using Futures. SEFM 2018: 73-88 - 2017
- [j6]Ahmet Soylu
, Martin Giese, Rudolf Schlatte
, Ernesto Jiménez-Ruiz
, Evgeny Kharlamov, Özgür L. Özçep, Christian Neuenstadt, Sebastian Brandt:
Querying industrial stream-temporal data: An ontology-based visual approach. J. Ambient Intell. Smart Environ. 9(1): 77-95 (2017) - [c29]Jesús Doménech, Samir Genaim
, Einar Broch Johnsen
, Rudolf Schlatte
:
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. FASE 2017: 379-383 - [i1]Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte:
EasyInterface: A toolkit for rapid development of GUIs for research prototype tools. CoRR abs/1702.00364 (2017) - 2016
- [c28]Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgür L. Özçep, Sebastian Brandt:
Domain Experts Surfing on Stream Sensor Data over Ontologies. SEMPER@ESWC 2016: 11-20 - [c27]Ahmet Soylu
, Martin Giese, Rudolf Schlatte
, Ernesto Jiménez-Ruiz
, Özgür L. Özçep, Sebastian Brandt:
A Visual Query System for Stream Data Access over Ontologies. ESWC (Satellite Events) 2016: 161-166 - 2015
- [j5]Einar Broch Johnsen
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
:
Integrating deployment architectures and resource consumption in timed object-oriented models. J. Log. Algebraic Methods Program. 84(1): 67-91 (2015) - 2014
- [j4]Elvira Albert, Frank S. de Boer, Reiner Hähnle
, Einar Broch Johnsen
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
, Peter Y. H. Wong:
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8(4): 323-339 (2014) - [c26]Georg Göri, Einar Broch Johnsen, Rudolf Schlatte
, Volker Stolz:
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. ISoLA (2) 2014: 5-21 - [c25]Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte
, Volker Stolz, Gianluigi Zavattaro:
Fault Model Design Space for Cooperative Concurrency. ISoLA (2) 2014: 22-36 - [c24]Einar Broch Johnsen, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa:
Deployment Variability in Delta-Oriented Models. ISoLA (1) 2014: 304-319 - 2013
- [j3]Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
:
User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. 9(1): 29-43 (2013) - [c23]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:
Optique: Towards OBDA Systems for Industry. ESWC (Satellite Events) 2013: 125-140 - 2012
- [j2]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. Int. J. Softw. Tools Technol. Transf. 14(5): 567-588 (2012) - [c22]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 - [c21]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 - [c20]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 - 2011
- [c19]Einar Broch Johnsen
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
:
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. FACS 2011: 187-204 - [c18]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 - [c17]Einar Broch Johnsen, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa:
Modeling Application-Level Management of Virtualized Resources in ABS. FMCO 2011: 89-108 - [c16]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 - [c15]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 - 2010
- [c14]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 - [c13]Dave Clarke, Radu Muschevici, José Proença
, Ina Schaefer, Rudolf Schlatte
:
Variability Modelling in the ABS Language. FMCO 2010: 204-224 - [c12]Einar Broch Johnsen, Olaf Owe
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa:
Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS 2010: 46-60 - [c11]Einar Broch Johnsen
, Olaf Owe
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
:
Dynamic Resource Reallocation between Deployment Components. ICFEM 2010: 646-661 - [c10]Joakim Bjørk, Einar Broch Johnsen, Olaf Owe
, Rudolf Schlatte:
Lightweight Time Modeling in Timed Creol. RTRTS 2010: 67-81 - [c9]Rudolf Schlatte
, Einar Broch Johnsen
, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa:
Models of Rate Restricted Communication for Concurrent Objects. TTSS 2010: 67-81
2000 – 2009
- 2009
- [j1]Thomas Anung Basuki
, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte
:
Model-checking user behaviour using interacting components. Formal Aspects Comput. 21(6): 571-588 (2009) - [c8]Andreas Griesmayer, Bernhard K. Aichernig
, Einar Broch Johnsen
, Rudolf Schlatte
:
Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE 2009: 225-230 - [c7]Andreas Griesmayer, Bernhard K. Aichernig
, Einar Broch Johnsen
, Rudolf Schlatte
:
Dynamic Symbolic Execution for Testing Distributed Objects. TAP@TOOLS 2009: 105-120 - [c6]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. TTSS 2009: 33-48 - [c5]Rudolf Schlatte
, Bernhard K. Aichernig
, Andreas Griesmayer, Marcel Kyas
:
Resource Modeling for Timed Creol Models. TTSS 2009: 63-75 - 2008
- [c4]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 - [c3]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 - [c2]Bernhard K. Aichernig
, Andreas Griesmayer, Rudolf Schlatte
, Andries Stam:
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. TTSS 2008: 3-14 - 2006
- [c1]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
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint