Formal Modeling and Analysis of Timed Systems

DOI10.1007/b12025zbMath1099.68652OpenAlexW2610516344MaRDI QIDQ5717503

Holger Hermanns, Suzana Andova, Joost-Pieter Katoen

Publication date: 10 January 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b12025

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)

Related Items (13)

Runtime monitors for Markov decision processes ⋮ Performance analysis of probabilistic timed automata using digital clocks ⋮ Cost vs. time in stochastic games and Markov automata ⋮ Ratio and Weight Quantiles ⋮ Multiphase until formulas over Markov reward models: an algebraic approach ⋮ Multi-cost bounded tradeoff analysis in MDP ⋮ Architecture-based resilience evaluation for self-adaptive systems ⋮ Model Checking Exact Cost for Attack Scenarios ⋮ Automatic verification of competitive stochastic systems ⋮ Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking ⋮ Computation tree measurement language (CTML) ⋮ Weighted versus Probabilistic Logics ⋮ Verification of multiplayer stochastic games via abstract dependency graphs

This page was built for publication: Formal Modeling and Analysis of Timed Systems