An extension of the inverse method to probabilistic timed automata

This publication has 13 references indexed in Scilit:

• IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems
  2012
• Behavioral Cartography of Timed Automata
  Lecture Notes in Computer Science, 2010
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
  International Journal of Foundations of Computer Science, 2009
• Symbolic model checking for probabilistic timed automata
  Information and Computation, 2007
• Parametric probabilistic transition systems for system design and analysis
  Formal Aspects of Computing, 2007
• Performance analysis of probabilistic timed automata using digital clocks
  Formal Methods in System Design, 2006
• Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol
  Formal Aspects of Computing, 2003
• Linear parametric model checking of timed automata
  The Journal of Logic and Algebraic Programming, 2002
• Automatic verification of real-time systems with discrete probability distributions
  Theoretical Computer Science, 2002
• A theory of timed automata
  Theoretical Computer Science, 1994