STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Journal of the ACM (JACM)
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Lifting Temporal Proofs through Abstractions
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Precongruence formats for decorated trace semantics
ACM Transactions on Computational Logic (TOCL)
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Description Logics for Shape Analysis
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Proceedings of the 2006 ACM symposium on Applied computing
An abstract interpretation toolkit for μCRL
Formal Methods in System Design
25 Years of Model Checking
From Philosophical to Industrial Logics
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
A Logic Based Approach to the Static Analysis of Production Systems
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
An Abstract Interpretation Toolkit for μCRL
Electronic Notes in Theoretical Computer Science (ENTCS)
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Pillars of computer science
Developing model-checking mechanisms for ASSL: an experience report
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Regular linear temporal logic with past
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
PDL with intersection and converse is decidable
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Compositional and quantitative model checking (extended abstract)
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Specification in PDL with recursion
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Towards an incremental automata-based approach for software product-line model checking
Proceedings of the 16th International Software Product Line Conference - Volume 2
Coinductive Axiomatization of Recursive Type Equality and Subtyping
Fundamenta Informaticae
Concurrent small progress measures
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
| Hi-index | 0.00 |