swMATH439MaRDI QIDQ13197FDOQ13197
Author name not available (Why is that?)
Official website: http://www.lsv.ens-cachan.fr/Software/imitator/
Cited In (49)
- A survey of timed automata for the development of real-time systems
- Time4sys2imi: a tool to formalize real-time system models under uncertainty
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability
- Spotlight abstraction in model checking real-time task schedulability
- Synthesis of timing parameters satisfying safety properties
- Efficient convex zone merging in parametric timed automata
- Optimal patent length and breadth in an economy with creative destruction and non-diversifiable risk
- A case study on parametric verification of failure detectors
- Explaining fashion cycles: imitators chasing innovators in product space
- LIKE ME?- MEASURES OF CORRESPONDENCE AND IMITATION
- Title not available (Why is that?)
- Language preservation problems in parametric timed automata
- What's decidable about parametric timed automata?
- Profit-enhancing parallel imports
- One-way spillovers, endogenous innovator/imitator roles, and research joint ventures
- An extension of the inverse method to probabilistic timed automata
- Imitators and optimizers in a changing environment
- An automated system repair framework with signal temporal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rabbit
- VINAS-P
- TREX
- TIMES
- PPL
- DREAM Tool
- McAiT
- CoVer
- Shrinktech
- Tempo
- PAT
- SemFix
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
- Parametric Deadlock-Freeness Checking Timed Automata
- PSyHCoS
- Time4sys2imi
- CacheAudit
- Parametric Timed Model Checking for Guaranteeing Timed Opacity
- Title not available (Why is that?)
- TarTar
- Parametric verification and test coverage for hybrid automata using the inverse method
- Parameter synthesis for hierarchical concurrent real-time systems
- Verification and parameter synthesis for real-time programs using refinement of trace abstraction
- One unresolvable algorithmic problem
- Imitative learning based emotional controller for unknown systems with unstable equilibrium
- Behavioral cartography of timed automata
- Merge and conquer: state merging in parametric timed automata
- Evolution game analysis of the unbalance in human capital investment
- Title not available (Why is that?)
This page was built for software: IMITATOR
