Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Abstraction from counters: an application on real-time systems
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Specifying and analysing multimedia systems
Formal methods for distributed processing
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Process Algebra versus Axiomatic Specification of a Real-Time Protocol
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Symbolic Model Checking for Rectangular Hybrid Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Accurate Widenings and Boundedness Properties of Timed Systems
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Analysis of Slope-Parametric Rectangular Automata
Hybrid Systems V
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Model Checking for Timed Logic Processes
CL '00 Proceedings of the First International Conference on Computational Logic
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Polyhedral Flows in Hybrid Automata
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The power of reachability testing for timed automata
Theoretical Computer Science
Polyhedral Flows in Hybrid Automata
Formal Methods in System Design
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Deep random search for efficient model checking of timed automata
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Automatic test case generation with region-related coverage annotations for real-time systems
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Systematic implementation of real-time models
FM'05 Proceedings of the 2005 international conference on Formal Methods
Reachability analysis of non-linear planar autonomous systems
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
| Hi-index | 0.00 |