A unified model for real-time systems: symbolic techniques and implementation
From MaRDI portal
Publication:6535636
DOI10.1007/978-3-031-37706-8_14zbMATH Open1547.683MaRDI QIDQ6535636
Rakesh Govind, Aniruddha R. Joshi, S. Akshay, B. Srivathsan, Paul Gastin
Publication date: 1 February 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On regions and zones for event-clock automata
- Fast zone-based algorithms for reachability in pushdown timed automata
- Event-clock automata: a determinizable class of timed automata
- A theory of timed automata
- Forward analysis of updatable timed automata
- Updatable timed automata
- Complexity issues for timeline-based planning over dense time under future and minimal semantics
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Event clock message passing automata: a logical characterization and an emptiness checking algorithm
- A partial order semantics approach to the clock explosion problem of timed automata
- Event Clock Automata: From Theory to Practice
- Symbolic Optimal Reachability in Weighted Timed Automata
- Timed Automata with Disjoint Activity
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Lectures on Concurrency and Petri Nets
- Analysis of timed systems using time-abstracting bisimulations
- Fast algorithms for handling diagonal constraints in timed automata
- Simulations for event-clock automata
Related Items (1)
This page was built for publication: A unified model for real-time systems: symbolic techniques and implementation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535636)
