IMITATOR is a software tool for parametric verification and robustness analysis of real-time systems with parameters. It relies on the formalism of networks of parametric timed automata, augmented with integer variables and stopwatches. It implemented several algorithms including safety synthesis, robustness, untimed language preservation, non-Zeno or deadlock-free parameter synthesis, accepting cycle synthesis, etc. It features distributed capabilities.

References in zbMATH (referenced in 29 articles , 2 standard articles )

Showing results 1 to 20 of 29.
Sorted by year (citations)

1 2 next

  1. André, Étienne; Lime, Didier; Ramparison, Mathias: Parametric updates in parametric timed automata (2021)
  2. Cassez, Franck; Jensen, Peter Gjøl; Guldstrand, Larsen Kim: Verification and parameter synthesis for real-time programs using refinement of trace abstraction (2021)
  3. André, Étienne; Lime, Didier; Markey, Nicolas: Language preservation problems in parametric timed automata (2020)
  4. André, Étienne; Jerray, Jawher; Mhiri, Sahar: Time4sys2imi: a tool to formalize real-time system models under uncertainty (2019)
  5. André, Étienne; Sun, Jun: Parametric timed model checking for guaranteeing timed opacity (2019)
  6. André, Étienne: Parametric deadlock-freeness checking timed automata (2016)
  7. André, Étienne: What’s decidable about parametric timed automata? (2016)
  8. André, Étienne; Liu, Yang; Sun, Jun; Dong, Jin-Song: Parameter synthesis for hierarchical concurrent real-time systems (2014)
  9. André, Étienne; Fribourg, Laurent; Soulat, Romain: Merge and conquer: state merging in parametric timed automata (2013)
  10. André, Étienne; Fribourg, Laurent; Sproston, Jeremy: An extension of the inverse method to probabilistic timed automata (2013)
  11. Waez, Md Tawhid Bin; Dingel, Juergen; Rudie, Karen: A survey of timed automata for the development of real-time systems (2013)
  12. André, Étienne; Fribourg, Laurent; Kühne, Ulrich; Soulat, Romain: IMITATOR 2.5: a tool for analyzing robustness in scheduling problems (2012) ioport
  13. André, Étienne; Soulat, Romain: Synthesis of timing parameters satisfying safety properties (2011)
  14. Fribourg, Laurent; Kühne, Ulrich: Parametric verification and test coverage for hybrid automata using the inverse method (2011)
  15. Palokangas, Tapio: Optimal patent length and breadth in an economy with creative destruction and non-diversifiable risk (2011)
  16. André, Étienne; Fribourg, Laurent: Behavioral cartography of timed automata (2010)
  17. Matsushima, Noriaki; Matsumura, Toshihiro: Profit-enhancing parallel imports (2010)
  18. Roshtkhari, Mehrsan Javan; Arami, Arash; Lucas, Caro: Imitative learning based emotional controller for unknown systems with unstable equilibrium (2010)
  19. André, Étienne: IMITATOR: a tool for synthesizing constraints on timing bounds of timed automata (2009) ioport
  20. André, Étienne; Chatain, Thomas; Fribourg, Laurent; Encrenaz, Emmanuelle: An inverse method for parametric timed automata (2009)

1 2 next