The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
On the complexity of bounded-variable queries (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the verification of open distributed systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
An automata-theoretic approach to branching-time model checking
Journal of the ACM (JACM)
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)
Demand-Driven Model Checking for Context-Free Processes
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A New Unfolding Approach to LTL Model Checking
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
A Decidable Fixpoint Logic for Time-Outs
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Compositional Verification of CCS Processes
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Constraint Logic Programming for Local and Symbolic Model-Checking
CL '00 Proceedings of the First International Conference on Computational Logic
Error Detection with Directed Symbolic Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
An Approximation Semantics for the Propositional Mu-Calculus
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
A graphical µ-calculus and local model checking
Journal of Computer Science and Technology
Handbook of automated reasoning
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
Compositionality and locality for improving model checking in the selective mu-calculus
Science of Computer Programming
A local approach for temporal model checking of Java bytecode
Journal of Computer and System Sciences
Distributed Symbolic Model Checking for μ-Calculus
Formal Methods in System Design
Reduced Models for Efficient CCS Verification
Formal Methods in System Design
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
DELFIN+: An efficient deadlock detection tool for CCS processes
Journal of Computer and System Sciences
Bounded model checking of infinite state systems
Formal Methods in System Design
Formal Verification of Concurrent Systems via Directed Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Web Semantics: Science, Services and Agents on the World Wide Web
Polynomial-Time Under-Approximation of Winning Regions in Parity Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking for Hybrid Logic
Journal of Logic, Language and Information
A Tableau System for the Modal μ-Calculus
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
On the structure of inductive reasoning: circular and tree-shaped proofs in the µ-calculus
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
A new approach to bounded model checking for branching time logics
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Relationship-based access control: protection model and policy language
Proceedings of the first ACM conference on Data and application security and privacy
The Recursion Scheme from the Cofree Recursive Comonad
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-valued model checking games
Journal of Computer and System Sciences
Proving ∀µ-calculus properties with SAT-based model checking
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Dynamic model checking for multi-agent systems
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Formal specification and verification of vehicular handoff using π-calculus
Proceedings of the 1st International Conference on Wireless Technologies for Humanitarian Relief
Incremental, inductive CTL model checking
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
| Hi-index | 0.00 |