The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model checking and modular verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Compositional verification by model checking for counter-examples
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Data flow analysis is model checking of abstract interpretations
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Local model checking for context-free processes
Nordic Journal of Computing
A new logic for electronic commerce protocols
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
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)
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Probabilistic Temporal Logics via the Modal Mu-Calculus
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
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
Distributed Symbolic Model Checking for µ-Calculus
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Truth/SLC - A Parallel Verification Platform for Concurrent Systems
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
Bisimulation analysis of SDL-expressed protocols: a case study
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Efficient model checking via the equational /spl mu/-calculus
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
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
Efficient temporal-logic query checking for presburger systems
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Probabilistic temporal logics via the modal mu-calculus
Theoretical Computer Science
The alternation hierarchy in fixpoint logic with chop is strict too
Information and Computation
Bounded model checking of infinite state systems
Formal Methods in System Design
Local Module Checking for CTL Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
When not losing is better than winning: Abstraction and refinement for the full μ-calculus
Information and Computation
Forensic analysis of logs: Modeling and verification
Knowledge-Based Systems
Computer Standards & Interfaces
Model checking communicative agent-based systems
Knowledge-Based Systems
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Communicative Agent-Based Systems
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Assume-Guarantee Verification of Concurrent Systems
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Model Checking for Hybrid Logic
Journal of Logic, Language and Information
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
Performance evaluation and verification of communication protocol for railway signaling systems
Computer Standards & Interfaces
On the Proof Theory of Regular Fixed Points
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
μ-Calculus Model Checking in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Reasoning about nondeterministic and concurrent actions: a process algebra approach
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Compositional model checking of software product lines using variation point obligations
Automated Software Engineering
Decidability and undecidability results for propositional schemata
Journal of Artificial Intelligence Research
A tableau method for verifying dialogue game protocols for agent communication
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Automatic verification of a model checker by reflection
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
A modal semantics for an argumentation-based pragmatics for agent communication
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Solving parity games by a reduction to SAT
Journal of Computer and System Sciences
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
A computational model for conversation policies for agent communication
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
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
Complexity of the satisfiability problem for a class of propositional schemata
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Analyzing multiple logs for forensic evidence
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Minimal proof search for modal logic k model checking
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |