Time Separation of Events: An Inverse Method

DOI10.1016/j.entcs.2008.04.008zbMath1279.68256OpenAlexW2169860399MaRDI QIDQ2870195

Emmanuelle Encrenaz, Laurent Fribourg

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.008

zbMATH Keywords

inverse methodtiming constraintsexecution time analysistime separation problem

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Parameter synthesis for hierarchical concurrent real-time systems ⋮ An Inverse Method for Parametric Timed Automata

Cites Work

• A theory of timed automata
• Efficient algorithms for approximate time separation of events
• Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata

This page was built for publication: Time Separation of Events: An Inverse Method