↓ Skip to main content
What is this page? Embed badge

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
Attention for Chapter 7: ParetoLib: A Python Library for Parameter Synthesis
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
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.
Chapter title
ParetoLib: A Python Library for Parameter Synthesis
Chapter number 7
Book title
Formal Modeling and Analysis of Timed Systems
Published by
Springer, Cham, August 2019
DOI 10.1007/978-3-030-29662-9_7
Book ISBNs
978-3-03-029661-2, 978-3-03-029662-9
Authors

Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo

View on publisher site

This page is provided by Altmetric.