Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract interpretation of reactive systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data flow analysis is model checking of abstract interpretations
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Isomorph-free model enumeration: a new method for checking relational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Worst-case analysis of discrete systems
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Logic Based Abstractions of Real-Time Systems
Formal Methods in System Design
Information and Computation
On the complexity of verifying concurrent transition systems
Information and Computation
Searching for points-to analysis
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
STARS in VCC: complementing simulation with worst-case analysis
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Searching for points-to analysis
ACM SIGSOFT Software Engineering Notes
Divide, Abstract, and Model-Check
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Verification of Automotive Control Units
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Verification of Data-Insensitive CIrcuits: An In-Order-Retirement Case Study
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Applicability of Fair Simulation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Combining Theorem Proving and Model Checking through Symbolic Analysis
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Symbolic Semantics for Abstract Model Checking
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Model Checking Partial State Spaces with 3-Valued Temporal Logics
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Verifying Liveness by Augmented Abstraction
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Handbook of automated reasoning
Counterexample-guided abstraction refinement for symbolic model checking
Journal of the ACM (JACM)
Using Forward Reachability Analysis for Verification of Lossy Channel Systems
Formal Methods in System Design
Static Analysis for State-Space Reductions Preserving Temporal Logics
Formal Methods in System Design
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
Applicability of fair simulation
Information and Computation
Compositionality and locality for improving model checking in the selective mu-calculus
Science of Computer Programming
Distributed Computing - Special issue: Verification of lazy caching
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
25 Years of Model Checking
A Uniform Approach to Three-Valued Semantics for μ-Calculus on Abstractions of Hybrid Automata
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Model Checking Multithreaded Programs by Means of Reduced Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Applicability of fair simulation
Information and Computation
Latticed simulation relations and games
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Translation validation of system abstractions
RV'07 Proceedings of the 7th international conference on Runtime verification
| Hi-index | 0.00 |