Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Formal Methods in System Design
Local model checking of Java bytecode
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Composition, decomposition and model checking of pushdown processes
Nordic Journal of Computing
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)
Verifying Properties of Neural Networks
IWANN '01 Proceedings of the 6th International Work-Conference on Artificial and Natural Neural Networks: Connectionist Models of Neurons, Learning Processes and Artificial Intelligence-Part I
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
A local approach for temporal model checking of Java bytecode
Journal of Computer and System Sciences
Model-checking processes with data
Science of Computer Programming
Efficient temporal-logic query checking for presburger systems
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Computer Standards & Interfaces
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
Experiences in the logical specification of the HIPAA and GLBA privacy laws
Proceedings of the 9th annual ACM workshop on Privacy in the electronic society
Decidability and undecidability results for propositional schemata
Journal of Artificial Intelligence Research
Cyclic proofs for first-order logic with inductive definitions
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Fast generic model-checking for data-based systems
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
State space representation for verification of open systems
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
| Hi-index | 0.00 |