How adaptive and reliable is your program?

DOI10.1007/978-3-030-78089-0_4MaRDI QIDQ2117013zbMATH OpenOpenAlexWikidataFDO

Authors Valentina Castiglioni, Michele Loreti, Simone Tini

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

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

Recommendations

• Adaptable processes
• Adaptive functional programming
• A contract-based approach to adaptivity
• Continuity analysis of programs
• scientific article; zbMATH DE number 1864592

Cites work

• scientific article; zbMATH DE number 1444349 (Why is no real title available?)
• scientific article; zbMATH DE number 3429908 (Why is no real title available?)
• scientific article; zbMATH DE number 5685899 (Why is no real title available?)
• A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Approximate Abstractions of Stochastic Hybrid Systems
• Approximate model checking of stochastic hybrid systems
• Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
• CONCUR 2005 – Concurrency Theory
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Generalized Bisimulation Metrics
• Measuring masking fault-tolerance
• Metrics for labelled Markov processes
• On the empirical estimation of integral probability metrics
• Optimal Transport
• Quantifying conformance using the Skorokhod metric
• Reactive, generative, and stratified models of probabilistic processes
• Risk excess measures induced by hemi-metrics
• Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
• Simulation distances
• Stochastic Hybrid Systems
• Stochastic hybrid systems. Theory and safety critical applications.
• The methods of distances in the theory of probability and statistics.
• The metric linear-time branching-time spectrum on nondeterministic probabilistic processes

Cited in

(3)

• A framework to measure the robustness of programs in the unpredictable environment
• RobTL: robustness temporal logic for CPS
• Robustness for biochemical networks: step-by-step approach

Describes a project that uses

Uses Software

• Wasserstein GAN
• Bio-PEPA

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117013)