The ever-increasing deployment of autonomous Cyber-Physical Systems (CPSs)(eg,
autonomous cars, UAV) exacerbates the need for efficient formal verification methods. In this …

Research on novel tools for model-based development differs from a mere engineering task
by not only develo** a new tool, but by providing some form of evidence that it is effective …

Motivation Model-based approaches to safety and efficacy assessment of pharmacological
drugs, treatment strategies or medical devices (In Silico Clinical Trial, ISCT) aim to decrease …

In Silico Clinical Trials (ISCT), ie clinical experimental campaigns carried out by means of
computer simulations, hold the promise to decrease time and cost for the safety and efficacy …

The increasing spreading of small commercial unmanned aerial vehicles (UAVs, also known
as drones) presents serious threats for critical areas, such as airports, power plants, and …

Model-based approaches to the verification of non-terminating Cyber-Physical Systems
(CPSs) usually rely on numerical simulation of the System Under Verification (SUV) model …

Abstract A Cyber–Physical System (CPS) comprises physical as well as software
subsystems. Simulation-based approaches are typically used to support design and …

Cyber-Physical Systems (CPSs), comprising both software and physical components, arise
in many industry-relevant domains and are often mission-or safety-critical. System-Level …

Motivation SBML is the most widespread language for the definition of biochemical models.
Although dozens of SBML simulators are available, there is a general lack of support to the …

Abstract Model-based formal verification of industry-relevant Cyber-Physical Systems
(CPSs) is often a computationally prohibitive task. In most cases, the complexity of the …