How adaptive and reliable is your program?

DOI10.1007/978-3-030-78089-0_4zbMATH Open1489.68139OpenAlexW3168806575WikidataQ124438955 ScholiaQ124438955MaRDI QIDQ2117013FDOQ2117013

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

Recommendations

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

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)

Cites Work

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

Cited In (2)

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

Uses Software

• Bio-PEPA
• Wasserstein GAN

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)