On regions and zones for event-clock automata

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

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

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

Recommendations

• Discretization of timed automata in timed \(\mu\)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
• scientific article; zbMATH DE number 1390065
• 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

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 (5)

• Adding Invariants to Event Zone Automata
• 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
• Event clock automata: from theory to practice

Uses Software

• Kronos
• Tempo

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)