On regions and zones for event-clock automata

DOI10.1007/S10703-014-0212-1zbMATH Open1314.68176OpenAlexW2070002955MaRDI QIDQ487253FDOQ487253

Jean-François Raskin, Nathalie Sznajder, G. Geeraerts

Publication date: 19 January 2015

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://dipot.ulb.ac.be/dspace/bitstream/2013/160783/3/regzonesECA.pdf

zbMATH Keywords

verificationregionsreal-timeformal methodstimed automataDBMsevent-clock automatazones

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• The octagon abstract domain
• Title not available (Why is that?)
• A theory of timed automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Model-checking in dense real-time
• Forward analysis of updatable timed automata
• Event-clock automata: a determinizable class of timed automata
• Event-Clock Visibly Pushdown Automata
• Title not available (Why is that?)
• Removing ε-transitions in timed automata
• Formal Modeling and Analysis of Timed Systems
• Title not available (Why is that?)
• Automated verification of an audio-control protocol using UPPAAL
• Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26--28, 2005. Proceedings
• Event Clock Automata: From Theory to Practice
• Safraless Procedures for Timed Specifications
• Title not available (Why is that?)

Cited In (3)

• Simulations for event-clock automata
• On the determinization of event-clock input-driven pushdown automata
• A unified model for real-time systems: symbolic techniques and implementation

Uses Software

• Kronos
• Tempo

   Recommendations

• Discretization of Timed Automata in Timed μCRL à la Regions and Zones 👍 👎
• A Logical Characterisation of Event Clock Automata 👍 👎
• Zone-Based Universality Analysis for Single-Clock Timed Automata 👍 👎
• Event-clock automata: a determinizable class of timed automata 👍 👎
• Event clock automata: from theory to practice 👍 👎
• Title not available (Why is that?) 👍 👎
• Tools and Algorithms for the Construction and Analysis of Systems 👍 👎
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems 👍 👎
• Adding Invariants to Event Zone Automata 👍 👎

This page was built for publication: On regions and zones for event-clock automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q487253)