scientific article; zbMATH DE number 1304998

MaRDI QIDQ4251920zbMATH OpenFDO

Authors Eugene Asarin, Oded Maler, Amir Pnueli

Publication date 23 September 1999

zbMATH Keywords

timed automatadigital circuitreal-valued delays

Mathematics Subject Classification ID

Recommendations

• What good are digital clocks?
• Formal Modeling and Analysis of Timed Systems
• A nonarchimedian discretization for timed languages
• scientific article; zbMATH DE number 2080039
• Formal Modeling and Analysis of Timed Systems

Cited in

(23)

• scientific article; zbMATH DE number 2112987 (Why is no real title available?)
• Thin and thick timed regular languages
• Verification of asynchronous circuits using timed automata
• Entropy of regular timed languages
• A survey of timed automata for the development of real-time systems
• Tweaking the odds in probabilistic timed automata
• Timed Automata Can Always Be Made Implementable
• Model Checking Real-Time Systems
• Parameter synthesis for hierarchical concurrent real-time systems
• Formal Modeling and Analysis of Timed Systems
• Abstract State Machines 2004. Advances in Theory and Practice
• Weak bisimulation for probabilistic timed automata
• Timed CSP = closed timed automata
• Shrinking timed automata
• Volume and Entropy of Regular Timed Languages: Discretization Approach
• On specifications and proofs of timed circuits
• Improvements for the Symbolic Verification of Timed Automata
• Specifications for decidable hybrid games
• Model checking for probabilistic timed automata
• Performance analysis of probabilistic timed automata using digital clocks
• A note on the verification of automata specifications of probabilistic real-time systems
• Temporal Robustness of Stochastic Signals
• Robust safety of timed automata

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 Q4251920)