Verifying infinite state processes with sequential and parallel composition
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Model checking of hierarchical state machines
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation
Model checking of hierarchical state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Local model checking for context-free processes
Nordic Journal of Computing
Composition, decomposition and model checking of pushdown processes
Nordic Journal of Computing
Model Checking and Higher-Order Recursion
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Demand-Driven Model Checking for Context-Free Processes
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Model Checking of Unrestricted Hierarchical State Machines
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis
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
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Model Checking Linear Properties of Prefix-Recognizable Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Analysis of SPKI/SDSI Certificates Using Model Checking
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Automata logics, and infinite games
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
An optimizing compiler for batches of temporal logic formulas
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Trace effects and object orientation
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Analysis of recursive state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software partitioning for effective automated unit testing
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Journal of Computer Security - Special issue on CSFW15
The word problem for visibly pushdown languages described by grammars
Formal Methods in System Design
Types and trace effects of higher order programs
Journal of Functional Programming
Model Checking: From Tools to Theory
25 Years of Model Checking
Types and trace effects for object orientation
Higher-Order and Symbolic Computation
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Adding nesting structure to words
Journal of the ACM (JACM)
A Type and Effect System for Flexible Abstract Interpretation of Java
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
Complete SAT-based model checking for context-free processes
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Program analysis using weighted pushdown systems
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Querying structural and behavioral properties of business processes
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Model Checking of Component Protocol Conformance -- Optimizations by Reducing False Negatives
Electronic Notes in Theoretical Computer Science (ENTCS)
An automata-theoretic approach to infinite-state systems
Time for verification
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
Automatic checking of component protocols in component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
On the membership problem for visibly pushdown languages
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Protocol conformance checking of services with exceptions
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |