How adaptive and reliable is your program?

DOI10.1007/978-3-030-78089-0_4zbMath1489.68139OpenAlexW3168806575WikidataQ124438955 ScholiaQ124438955MaRDI QIDQ2117013

Valentina Castiglioni, Simone Tini, Michele Loreti

Publication date: 21 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-78089-0_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (max. 100)

A framework to measure the robustness of programs in the unpredictable environment

Uses Software

• Bio-PEPA
• Wasserstein GAN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Metrics for labelled Markov processes
• Approximate model checking of stochastic hybrid systems
• Simulation distances
• Reactive, generative, and stratified models of probabilistic processes
• On the empirical estimation of integral probability metrics
• The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
• Risk excess measures induced by hemi-metrics
• Stochastic hybrid systems. Theory and safety critical applications.
• Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
• The Methods of Distances in the Theory of Probability and Statistics
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
• Generalized Bisimulation Metrics
• Stochastic Hybrid Systems
• Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system
• A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
• Approximate Abstractions of Stochastic Hybrid Systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Quantifying conformance using the Skorokhod metric
• CONCUR 2005 – Concurrency Theory
• Optimal Transport
• Measuring masking fault-tolerance

This page was built for publication: How adaptive and reliable is your program?