Formal Modeling and Analysis of Timed Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Performance Evaluation of Schedulers in a Probabilistic Setting
3. Altmetric Badge
   Chapter 2 Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?
4. Altmetric Badge
   Chapter 3 Interfaces for Control Components
5. Altmetric Badge
   Chapter 4 Time-Bounded Verification of CTMCs against Real-Time Specifications
6. Altmetric Badge
   Chapter 5 Performance Model Checking Scenario-Aware Dataflow
7. Altmetric Badge
   Chapter 6 Probabilistic Real-Time Rewrite Theories and Their Expressive Power
8. Altmetric Badge
   Chapter 7 Statistical Model Checking for Networks of Priced Timed Automata
9. Altmetric Badge
   Chapter 8 Robust Model-Checking of Timed Automata via Pumping in Channel Machines
10. Altmetric Badge
    Chapter 9 Thin and Thick Timed Regular Languages
11. Altmetric Badge
    Chapter 10 Robust Specification of Real Time Components
12. Altmetric Badge
    Chapter 11 Minimum Attention Controller Synthesis for Omega-Regular Objectives
13. Altmetric Badge
    Chapter 12 Crossing the Bridge between Similar Games
14. Altmetric Badge
    Chapter 13 Exact Incremental Analysis of Timed Automata with an SMT-Solver
15. Altmetric Badge
    Chapter 14 Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems
16. Altmetric Badge
    Chapter 15 Event Clock Automata: From Theory to Practice
17. Altmetric Badge
    Chapter 16 On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections
18. Altmetric Badge
    Chapter 17 Craig Interpolation in the Presence of Non-linear Constraints
19. Altmetric Badge
    Chapter 18 On the Verification of Timed Ad Hoc Networks
20. Altmetric Badge
    Chapter 19 Incremental Computation of Succinct Abstractions for Hybrid Systems
21. Altmetric Badge
    Chapter 20 Composing Stability Proofs for Hybrid Systems
22. Altmetric Badge
    Chapter 21 Rigorous Discretization of Hybrid Systems Using Process Calculi
23. Altmetric Badge
    Chapter 22 Model-Based Dependability Analysis of Programmable Drug Infusion Pumps
24. Altmetric Badge
    Chapter 23 A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface