DATE '00 Proceedings of the conference on Design, automation and test in Europe
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
Using MTBDDs for Compostion and Model Checking of Real-Time Systems
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
On the Representation of Timed Polyhedra
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Modleing and Checking Networks of Communicating Real-Time Process
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Timed Verification of Asynchronous Circuits
Concurrency and Hardware Design, Advances in Petri Nets
Improvements in BDD-Based Reachability Analysis of Timed Automata
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Efficient Timed Reachability Analysis Using Clock Difference Diagrams
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Engineering of distributed control systems
Nordic Journal of Computing
A toolsuite for the verification of real-time systems in Eclipse
eclipse '06 Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange
Making the right cut in model checking data-intensive timed systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Timed automata can always be made implementable
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
On sampled semantics of timed systems
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Symbolic model checking of finite precision timed automata
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Formal Methods in System Design
| Hi-index | 0.00 |