scientific article; zbMATH DE number 5228180

MaRDI QIDQ5437180zbMATH OpenFDO

Authors Patricia Bouyer, Fabrice Chevalier

Publication date 18 January 2008

zbMATH Keywords

diagonal constraintsconcise timed models

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(16)

• A survey of timed automata for the development of real-time systems
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• Reachability in timed automata with diagonal constraints
• Robust safety of timed automata
• scientific article; zbMATH DE number 1759410 (Why is no real title available?)
• scientific article; zbMATH DE number 5201490 (Why is no real title available?)
• Configurable verification of timed automata with discrete variables
• Robust model-checking of timed automata via pumping in channel machines
• Corrections to “A Menagerie of Timed Automata”
• scientific article; zbMATH DE number 5622695 (Why is no real title available?)
• Reachability for updatable timed automata made faster and more effective
• Model checking for probabilistic timed automata
• CONCUR 2005 – Concurrency Theory
• A unified model for real-time systems: symbolic techniques and implementation
• An introduction to timed automata
• Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication:

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