SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems
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 …
Although dozens of SBML simulators are available, there is a general lack of support to the …
Optimal personalised treatment computation through in silico clinical trials on patient digital twins
Abstract 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 …
means of computer simulations, hold the promise to decrease time and cost for the safety …
Reconciling interoperability with efficient verification and validation within open source simulation environments
Abstract A Cyber–Physical System (CPS) comprises physical as well as software
subsystems. Simulation-based approaches are typically used to support design and …
subsystems. Simulation-based approaches are typically used to support design and …
SyLVaaS: System level formal verification as a service
Abstract The goal of System Level Formal Verification is to show system correctness
notwithstanding uncontrollable events (disturbances), as for example faults, variations in …
notwithstanding uncontrollable events (disturbances), as for example faults, variations in …
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-Physical Systems
(CPSs) usually rely on numerical simulation of the System Under Verification (SUV) model …
(CPSs) usually rely on numerical simulation of the System Under Verification (SUV) model …
Computing personalised treatments through in silico clinical trials. A case study on downregulation in assisted reproduction
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 …
computer simulations, hold the promise to decrease time and cost for the safety and efficacy …
Computing biological model parameters by parallel statistical model checking
Biological models typically depend on many parameters. Assigning suitable values to such
parameters enables model individualisation. In our clinical setting, this means finding a …
parameters enables model individualisation. In our clinical setting, this means finding a …
User flexibility aware price policy synthesis for smart grids
In order to optimally manage a modern electricity distribution network, peaks in residential
users demand should be avoided, as this can reduce energy and network asset …
users demand should be avoided, as this can reduce energy and network asset …
Demand-aware price policy synthesis and verification services for smart grids
In management tasks for modern electricity networks the stakeholders face typically two
conflicting objectives: maximization of income (increasing demand) and reduction of …
conflicting objectives: maximization of income (increasing demand) and reduction of …
Patient-specific models from inter-patient biological models and clinical records
One of the main goals of systems biology models in a health-care context is to individualise
models in order to compute patient-specific predictions for the time evolution of species (eg …
models in order to compute patient-specific predictions for the time evolution of species (eg …