IMITATOR

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 31 articles , 2 standard articles )

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

1 2 next

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

1 2 next