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

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

1 2 next

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

1 2 next