This paper provides a comprehensive overview and analysis of research work on how
uncertainty is currently represented in software models. The survey presents the definitions …

We present SGR (1), a novel synthesis technique and methodological guidelines for
automatically constructing event-based behavior models. Our approach works for an …

ABS TRA CT A main memory database system holds all data in semiconductor memory. For
recovery purposes, a backup copy of the database is maintained in secondary storage. The …

Robot applications are increasingly based on teams of robots that collaborate to perform a
desired mission. Such applications ask for decentralized techniques that allow for tractable …

Early stages of system development involve outlining desired features such as functionality,
availability, or usability. Specifications are derived from these features that concretize vague …

In the near future we will be surrounded by a virtually infinite number of software
applications that provide services in the digital space. This situation promotes reuse-based …

ScenarioTools is an Eclipse-based tool suite for the scenario-based modeling and analysis
of reactive systems. ScenarioTools especially targets the modeling and analysis of systems …

Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive
system from its temporal logic specification. Despite its attractiveness and major research …

The process of Requirements Engineering (RE) includes many activities, from goal
elicitation to requirements specification. The aim is to develop an operational requirements …

We revisit synthesis of live controllers for event-based operational models. We remove one
aspect of an idealised problem domain by allowing to integrate failures of controller actions …