Journal of the ACM (JACM) - The MIT Press scientific computation series
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Countable nondeterminism and random assignment
Journal of the ACM (JACM)
Automatic Verification of Sequential Circuits Using Temporal Logic
IEEE Transactions on Computers
Avoiding the state explosion problem in temporal logic model checking
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A predicate transformer approach to semantics of parallel programs
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Predicates are predicate transformers: a unified compositional theory for concurrency
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Symbolic model checking for event-driven real-time systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modalities for model checking (extended abstract): branching time strikes back
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Efficient Detection of Vacuity in Temporal Model Checking
Formal Methods in System Design - Special issue on CAV '97
From model checking to a temporal proof
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
An infinite hierarchy of temporal logics over branching time
Information and Computation
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
"Sometimes" and "not never" revisited: on branching versus linear time (preliminary report)
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Formal Methods in System Design
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
A Fixpoint Based Encoding for Bounded Model Checking
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Temporal Debugging for Concurrent Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Expressive Power of Temporal Logics
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Model Checking CTL+ and FCTL is Hard
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
From Falsification to Verification
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
A Combined Testing and Verification Approach for Software Reliability
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Handbook of automated reasoning
Decision procedures and expressiveness in the temporal logic of branching time
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
A general result on infinite trees and its applications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
On temporal logic versus datalog
Theoretical Computer Science - Logic and complexity in computer science
Mu-depth 3 is more than 2: a game-theoretic proof
Mathematical Structures in Computer Science
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Combining supervisor synthesis and model checking
ACM Transactions on Embedded Computing Systems (TECS)
The open family of temporal logics: Annotating temporal operators with input constraints
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Bridging the gap between fair simulation and trace inclusion
Information and Computation
Probabilistic temporal logics via the modal mu-calculus
Theoretical Computer Science
BTL2 and the expressive power of ECTL+
Information and Computation
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Properties Incompleteness Evaluation by Functional Verification
IEEE Transactions on Computers
Arity hierarchy for temporal logics
Theoretical Computer Science
25 Years of Model Checking
The Beginning of Model Checking: A Personal Perspective
25 Years of Model Checking
25 Years of Model Checking
DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
25 Years of Model Checking
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Impartial Anticipation in Runtime-Verification
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
From Philosophical to Industrial Logics
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
VerICS 2007 - a Model Checker for Knowledge and Real-Time
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
SAT-based Unbounded Model Checking of Timed Automata
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Model Checking Driven Heuristic Search for Correct Programs
Model Checking and Artificial Intelligence
Priority Scheduling of Distributed Systems Based on Model Checking
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Model checking: algorithmic verification and debugging
Communications of the ACM - Scratch Programming for All
Bridging the gap between fair simulation and trace inclusion
Information and Computation
Model checking and testing combined
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Automata-theoretic model checking revisited
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
The Büchi complementation saga
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Branching vs. linear time: semantical perspective
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
On the characterization of until as a fixed point under clocked semantics
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
From model-checking to temporal logic constraint solving
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Pillars of computer science
On the complexity of branching-time logics
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Finding unity in computational logic
Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference
Developer-friendly verification of process-based systems
Knowledge-Based Systems
Journal of Logic, Language and Information
Knowledge based scheduling of distributed systems
Time for verification
Methods for knowledge based controlling of distributed systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
A security policy oracle: detecting security holes using multiple API implementations
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Formalization and automated verification of RESTful behavior
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Priority scheduling of distributed systems based on model checking
Formal Methods in System Design
A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Regular linear temporal logic with past
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Verifying multi-agent systems via unbounded model checking
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
HASL: an expressive language for statistical verification of stochastic models
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Verification of multi-linked heaps
Journal of Computer and System Sciences
Journal of Computer and System Sciences
Proving the refuted: symbolic model checkers as proof generators
Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
Coupling and importance sampling for statistical model checking
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
SAT-based Unbounded Model Checking of Timed Automata
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
VerICS 2007 - a Model Checker for Knowledge and Real-Time
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Expressive statistical model checking of genetic networks with delayed stochastic dynamics
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Hi-index | 0.01 |