A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance
Formal Methods in System Design
Expressiveness of Updatable Timed Automata
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Modelisation of Timed Automata in Coq
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Timed Automata with Asynchronous Processes: Schedulability and Decidability
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Widening the Boundary between Decidable and Undecidable Hybrid Systems
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Decidability of Safety Properties of Timed Multiset Rewriting
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Timed Verification of Asynchronous Circuits
Concurrency and Hardware Design, Advances in Petri Nets
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
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
The power of reachability testing for timed automata
Theoretical Computer Science
Theoretical Computer Science
Forward Analysis of Updatable Timed Automata
Formal Methods in System Design
Information flow in hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Theoretical Computer Science
LTL Over integer periodicity constraints
Theoretical Computer Science
A Timed Extension for ALTARICA
Fundamenta Informaticae
Task automata: Schedulability, decidability and undecidability
Information and Computation
Removing All Silent Transitions from Timed Automata
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Structural Translation from Time Petri Nets to Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Static guard analysis in timed automata verification
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
From nonpreemptive to preemptive scheduling: from single-processor to multi-processor?
Proceedings of the 2011 ACM Symposium on Applied Computing
Low dimensional hybrid systems - decidable, undecidable, don't know
Information and Computation
On sampled semantics of timed systems
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
A Timed Extension for ALTARICA
Fundamenta Informaticae
| Hi-index | 0.00 |