research
∙
07/28/2023
Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems
Cyber-Physical Systems (CPSs), comprising both software and physical com...
share
research
∙
09/06/2021
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification
Model-based approaches to the verification of non-terminating Cyber-Phys...
research
∙
08/15/2021
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries
Within electrical distribution networks, substation constraints manageme...
research
∙
06/20/2021
MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
In critical infrastructures like airports, much care has to be devoted i...
research
∙
06/20/2021
Optimal personalised treatment computation through in silico clinical trials on patient digital twins
In Silico Clinical Trials (ISTC), i.e., clinical experimental campaigns ...
research
∙
06/01/2021
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems
Motivation: SBML is the most widespread language for the definition of b...
research
∙
06/01/2021
Reconciling interoperability with efficient Verification and Validation within open source simulation environments
A Cyber-Physical System (CPS) comprises physical as well as software sub...
research
∙
01/15/2014