↓ 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
Attention for Chapter 1: Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
9 Mendeley
Summary Dimensions citations
So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.