Abstract interpretation of reactive systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
On-the-Fly Model Checking Under Fairness that Exploits Symmetry
Formal Methods in System Design
An automata-theoretic approach to modular model checking
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic Based Abstractions of Real-Time Systems
Formal Methods in System Design
Automatic abstraction for model checking software systems with interrelated numeric constraints
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Formula-Dependent Equivalence for Compositional CTL Model Checking
Formal Methods in System Design
Bisimulation Minimization and Symbolic Model Checking
Formal Methods in System Design
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
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
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
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
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Model Checking with Formula-Dependent Abstract Models
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Counterexample-guided abstraction refinement for symbolic model checking
Journal of the ACM (JACM)
From Bisimulation to Simulation: Coarsest Partition Problems
Journal of Automated Reasoning
Formula-Dependent Abstraction for CTL Model Checking
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
Correcting a Space-Efficient Simulation Algorithm
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
An efficient simulation algorithm based on abstract interpretation
Information and Computation
| Hi-index | 0.00 |