↓ Skip to main content

Formal Modeling and Analysis of Timed Systems

Overview of attention for book
Cover of 'Formal Modeling and Analysis of Timed Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata
  3. Altmetric Badge
    Chapter 2 Assessing the Robustness of Arrival Curves Models for Real-Time Systems
  4. Altmetric Badge
    Chapter 3 Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring
  5. Altmetric Badge
    Chapter 4 Mixed-Time Signal Temporal Logic
  6. Altmetric Badge
    Chapter 5 A State Class Construction for Computing the Intersection of Time Petri Nets Languages
  7. Altmetric Badge
    Chapter 6 Stability and Performance Bounds in Cyclic Networks Using Network Calculus
  8. Altmetric Badge
    Chapter 7 ParetoLib: A Python Library for Parameter Synthesis
  9. Altmetric Badge
    Chapter 8 Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
  10. Altmetric Badge
    Chapter 9 Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions
  11. Altmetric Badge
    Chapter 10 Reachability Analysis for High-Index Linear Differential Algebraic Equations
  12. Altmetric Badge
    Chapter 11 The Timestamp of Timed Automata
  13. Altmetric Badge
    Chapter 12 On the Distance Between Timed Automata
  14. Altmetric Badge
    Chapter 13 Time to Learn – Learning Timed Automata from Tests
  15. Altmetric Badge
    Chapter 14 Munta: A Verified Model Checker for Timed Automata
  16. Altmetric Badge
    Chapter 15 Sandboxing Controllers for Stochastic Cyber-Physical Systems
  17. Altmetric Badge
    Chapter 16 Proportional Lumpability
  18. Altmetric Badge
    Chapter 17 Expected Reachability-Price Games
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
6 X users

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Formal Modeling and Analysis of Timed Systems
Published by
Springer International Publishing, November 2019
DOI 10.1007/978-3-030-29662-9
ISBNs
978-3-03-029661-2, 978-3-03-029662-9
Editors

André, Étienne, Stoelinga, Mariëlle

X Demographics

X Demographics

The data shown below were collected from the profiles of 6 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 1 100%
Readers by discipline Count As %
Engineering 1 100%