An Inverse Method for Parametric Timed Automata

DOI10.1016/j.entcs.2008.12.029zbMath1337.68150OpenAlexW2118313618MaRDI QIDQ4982084

Emmanuelle Encrenaz, Étienne André, Thomas Chatain, Laurent Fribourg

Publication date: 23 March 2015

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.12.029

zbMATH Keywords

parametersverificationtimed automataasynchronous circuits

Mathematics Subject Classification ID

Related Items (1)

Language Emptiness of Continuous-Time Parametric Timed Automata

Uses Software

• VINAS-P
• HyTech
• Uppaal

Cites Work

• A theory of timed automata
• Uppaal in a nutshell
• Timing verification by successive approximation
• Time Separation of Events: An Inverse Method
• Timing Parameter Characterization of Real-Time Systems
• Parametric real-time reasoning
• Static Analysis
• On Interleaving in Timed Automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Inverse Method for Parametric Timed Automata