Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Formal Requirements Analysis of an Avionics Control System
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking of systems with many identical timed processes
Theoretical Computer Science
On the Existence of Network Invariants for Verifying Parameterized Systems
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Verification of fault tolerance and real time
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Rteq: modeling and validating infinite-state hard-real-time systems
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Validating Real Time Specifications using Real Time Event Queue Modeling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Decidability of invariant validation for paramaterized systems
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Theorem prover approach to semistructured data design
Formal Methods in System Design
Interoperability of constrained finite state automata
ACM SIGSOFT Software Engineering Notes
Timing tolerances in safety-critical software
FM'05 Proceedings of the 2005 international conference on Formal Methods
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Hi-index | 0.00 |