• Publications
  • Influence
The experiment model and validity frame in M&S
This work describes the process of capturing the context of models and systems to provide truly reproducible experiment descriptions and how this information can be used for different purposes and in different scenarios. Expand
Modeling Frames
A framework for the definition of model frames, which capture the context an activity/model is executed in and facilitate re-use, replacement, validation and verification of models, is described. Expand
CREST - A DSL for Reactive Cyber-Physical Systems
CREST is a novel domain-specific language for the modelling of cyber-physical systems designed for the simple and clear modelling, simulation and verification of small-scale systems such as home and office automation, smart gardening systems and similar. Expand
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning
This paper introduces mcc4mcc, the Model Checker Collection for the Model Checking Contest, a tool that wraps multiple model checking solutions, and applies the most appropriate one based on theExpand
Considering Execution Environment Resilience: A White-Box Approach
ITEC is introduced, a tool for automated test case generation to support execution environment resilience in large-scaled, complex systems and one of its corner stones is a technique called semi-purification, a source code transformation technique to overcome limitations of existing tools and to set up the required system state for software testing. Expand
CREST - A Continuous, REactive SysTems DSL
This paper introduces CREST, a domain-specific language for modeling entity behavior and resource transfers in CPS that aims to support CPS architects through clarity, comprehensiveness and analyzability. Expand
An integrated ontology for multi-paradigm modelling for cyber-physical systems
This chapter presents the Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS) ontology, which includes cross-cutting notions such as viewpoints, model-based development processes and modelling paradigms that together relate the formalisms and workflows to the part of CPSs developed with these formalisms. Expand
Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems
This chapter provides a pragmatic introduction to the creation and analysis of concurrent and parallel system models using the popular Petri nets formalism and offers an overview of the most important Petrinets concepts, analysis techniques and model checking approaches. Expand
On the Need for Multi-Level ADS Scenarios
Currently, most existing approaches for the design of automated driving system (ADS) scenarios focus on the description at one particular abstraction level—typically the most detailed one. ThisExpand