Rudolf Schlatte

According to our database1, Rudolf Schlatte authored at least 38 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
OptiqueVQS: A visual query system over ontologies for industry.
Semantic Web, 2018

Program Verification for Exception Handling on Active Objects Using Futures.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Release the Beasts: When Formal Methods Meet Real World Data.
Proceedings of the It's All About Coordination, 2018

2017
Querying industrial stream-temporal data: An ontology-based visual approach.
JAISE, 2017

EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016
A Visual Query System for Stream Data Access over Ontologies.
Proceedings of the Semantic Web - ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29, 2016

Domain Experts Surfing on Stream Sensor Data over Ontologies.
Proceedings of the 1st Workshop on Semantic Web Technologies for Mobile and Pervasive Environments co-located with the 13th Extended Semantic Web Conference (ESWC 2016), 2016

2015
Integrating deployment architectures and resource consumption in timed object-oriented models.
J. Log. Algebr. Meth. Program., 2015

2014
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
Service Oriented Computing and Applications, 2014

Fault Model Design Space for Cooperative Concurrency.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Deployment Variability in Delta-Oriented Models.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013
User-defined schedulers for real-time concurrent objects.
ISSE, 2013


2012
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
STTT, 2012

Programming and deployment of active objects with application-level scheduling.
Proceedings of the ACM Symposium on Applied Computing, 2012

Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS.
Proceedings of the Formal Methods and Software Engineering, 2012

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011
Models of Rate Restricted Communication for Concurrent Objects.
Electr. Notes Theor. Comput. Sci., 2011

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios.
Proceedings of the Formal Verification of Object-Oriented Software, 2011

Modeling Application-Level Management of Virtualized Resources in ABS.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Simulating Concurrent Behaviors with Worst-Case Cost Bounds.
Proceedings of the FM 2011: Formal Methods, 2011

A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010
Resource Modeling for Timed Creol Models.
Electr. Notes Theor. Comput. Sci., 2010

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010

Lightweight Time Modeling in Timed Creol
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Dynamic Resource Reallocation between Deployment Components.
Proceedings of the Formal Methods and Software Engineering, 2010

Validating Timed Models of Deployment Components with Parametric Concurrency.
Proceedings of the Formal Verification of Object-Oriented Software, 2010

ABS: A Core Language for Abstract Behavioral Specification.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Variability Modelling in the ABS Language.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009
Model-checking user behaviour using interacting components.
Formal Asp. Comput., 2009

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol.
Electr. Notes Theor. Comput. Sci., 2009

Dynamic Symbolic Execution for Testing Distributed Objects.
Proceedings of the Tests and Proofs, Third International Conference, 2009

Dynamic Symbolic Execution of Distributed Concurrent Objects.
Proceedings of the Formal Techniques for Distributed Systems, 2009

2008
Testing Concurrent Objects with Application-Specific Schedulers.
Proceedings of the Theoretical Aspects of Computing, 2008

Conformance Testing of Distributed Concurrent Systems with Executable Designs.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2006
Enabling Multimedia Metadata Interoperability by Defining Formal Semantics of MPEG-7 Profiles.
Proceedings of the Semantic Multimedia, 2006


  Loading...