↓ 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 Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency
  3. Altmetric Badge
    Chapter 2 On the Expressiveness of Parametric Timed Automata
  4. Altmetric Badge
    Chapter 3 Modelling Attack-defense Trees Using Timed Automata
  5. Altmetric Badge
    Chapter 4 Input/Output Stochastic Automata
  6. Altmetric Badge
    Chapter 5 On Optimal Control of Stochastic Linear Hybrid Systems
  7. Altmetric Badge
    Chapter 6 Scheduling of Controllers’ Update-Rates for Residual Bandwidth Utilization
  8. Altmetric Badge
    Chapter 7 Real-Time Synthesis is Hard!
  9. Altmetric Badge
    Chapter 8 A Boyer-Moore Type Algorithm for Timed Pattern Matching
  10. Altmetric Badge
    Chapter 9 Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata
  11. Altmetric Badge
    Chapter 10 Distributed Algorithms for Time Optimal Reachability Analysis
  12. Altmetric Badge
    Chapter 11 Scenario-Aware Workload Characterization Based on a Max-Plus Linear Representation
  13. Altmetric Badge
    Chapter 12 A Novel WCET Semantics of Synchronous Programs
  14. Altmetric Badge
    Chapter 13 Worst-Case Execution Time Analysis for Many-Core Architectures with NoC
  15. Altmetric Badge
    Chapter 14 Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (52nd percentile)
  • Average Attention Score compared to outputs of the same age and source

Mentioned by

twitter
3 X users

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
46 Mendeley
Summary X Dimensions citations

This page is provided by Altmetric.