Tearing based automatic abstraction for CTL model checking
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Multiple State and Single State Tableaux for Combining Local and Global Model Checking
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Proofs Methods for Bisimulation Based Information Flow Security
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Model-Checking: A Tutorial Introduction
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Distributed Symbolic Model Checking for µ-Calculus
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Handbook of automated reasoning
A Modal Mu-Calculus for Durational Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Automata logics, and infinite games
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
Combining supervisor synthesis and model checking
ACM Transactions on Embedded Computing Systems (TECS)
Distributed Symbolic Model Checking for μ-Calculus
Formal Methods in System Design
Bridging the gap between fair simulation and trace inclusion
Information and Computation
On the universal and existential fragments of the μ-calculus
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Probabilistic temporal logics via the modal mu-calculus
Theoretical Computer Science
When not losing is better than winning: Abstraction and refinement for the full μ-calculus
Information and Computation
The Beginning of Model Checking: A Personal Perspective
25 Years of Model Checking
Monitoring Interfaces for Faults
Electronic Notes in Theoretical Computer Science (ENTCS)
Automata Games for Multiple-model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Bridging the gap between fair simulation and trace inclusion
Information and Computation
On the universal and existential fragments of the µ-calculus
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Synthesis of Reactive(1) designs
Journal of Computer and System Sciences
Concurrency, Compositionality, and Correctness
Verifying persistent security properties
Computer Languages, Systems and Structures
| Hi-index | 0.00 |