What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Constraint Database Models Characterizing Timed Bisimilarity
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Expressiveness of Updatable Timed Automata
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
The Impressive Power of Stopwatches
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Conformance Testing Techniques for Timed Systems
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
A Kleene/Büchi-like theorem for clock languages
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Forward Analysis of Updatable Timed Automata
Formal Methods in System Design
Theoretical Computer Science
Efficient timed model checking for discrete-time systems
Theoretical Computer Science
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Unifying behavioral equivalences of timed transition systems
Programming and Computing Software
Timed Modal Logics for Real-Time Systems
Journal of Logic, Language and Information
Ordinal theory for expressiveness of well structured transition systems
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
A categorical view of timed weak bisimulation
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Integrated tool for testing timed systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
A comparison of distributed test generation techniques
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Analysis of Timed Concurrent Models Based on Testing Equivalence
Fundamenta Informaticae
Characterization of the Expressive Power of Silent Transitions in Timed Automata
Fundamenta Informaticae
Ordinal theory for expressiveness of well-structured transition systems
Information and Computation
| Hi-index | 0.00 |