What Will Be Eventually True of Polynomial Hybrid Automata?
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Robust safety of timed automata
Formal Methods in System Design
Reachability in Stochastic Timed Games
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Closed, Open, and Robust Timed Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamical properties of timed automata revisited
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Probabilistic and topological semantics for timed automata
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Robust analysis of timed automata via channel machines
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Robust computations with dynamical systems
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Distributed event clock automata
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Robust specification of real time components
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Quantifying similarities between timed systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Symbolic robustness analysis of timed automata
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
A robust interpretation of duration calculus
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Robust model-checking of linear-time properties in timed automata
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Timed concurrent game structures
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Computation with perturbed dynamical systems
Journal of Computer and System Sciences
Robust synthesis for real-time systems
Theoretical Computer Science
Hi-index | 0.00 |