Volgen
Orna Grumberg
Orna Grumberg
Professor of Computer Science, Technion
Geverifieerd e-mailadres voor cs.technion.ac.il
Titel
Geciteerd door
Geciteerd door
Jaar
Model checking
EM Clarke
Foundations of Software Technology and Theoretical Computer Science: 17th …, 1997
157371997
Counterexample-guided abstraction refinement
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
26162000
Model checking and abstraction
EM Clarke, O Grumberg, DE Long
ACM transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1512-1542, 1994
23621994
Counterexample-guided abstraction refinement for symbolic model checking
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Journal of the ACM (JACM) 50 (5), 752-794, 2003
12842003
Model checking and modular verification
O Grumberg, DE Long
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 843-871, 1994
7301994
Abstract interpretation of reactive systems
D Dams, R Gerth, O Grumberg
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (2), 253-291, 1997
699*1997
Characterizing finite Kripke structures in propositional temporal logic
MC Browne, EM Clarke, O Grümberg
Theoretical computer science 59 (1-2), 115-131, 1988
6001988
Verification tools for finite-state concurrent systems
E Clarke, O Grumberg, D Long
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994
4591994
Verification of the Futurebus+ cache coherence protocol
EM Clarke, O Grumberg, H Hiraishi, S Jha, DE Long, KL McMillan, ...
Computer Hardware Description Languages and Their Applications, 15-30, 1993
4401993
Progress on the state explosion problem in model checking
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Informatics: 10 Years Back, 10 Years Ahead, 176-194, 2001
3542001
Efficient generation of counterexamples and witnesses in symbolic model checking
EM Clarke, O Grumberg, KL McMillan, X Zhao
Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 427-432, 1995
3511995
Reasoning about networks with many identical finite-state processes
EM Clarke, O Grumberg, MC Browne
Proceedings of the fifth annual ACM symposium on Principles of distributed …, 1986
3501986
State space reduction using partial order techniques
EM Clarke, O Grumberg, M Minea, D Peled
International Journal on Software Tools for Technology Transfer 2, 279-287, 1999
2671999
Another look at LTL model checking
E Clarke, O Grumberg, K Hamaguchi
Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994
2361994
Model checking and modular verification
O Grumberg, DE Long
International Conference on Concurrency Theory, 250-265, 1991
2311991
Another look at LTL model checking
EM Clarke, O Grumberg, K Hamaguchi
Formal Methods in System Design 10, 47-71, 1997
2211997
Efficient on-the-fly model checking for CTL
G Bhat, R Cleaveland, O Grumberg
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 388-397, 1995
2161995
Avoiding the state explosion problem in temporal logic model checking
EM Clarke, O Grumberg
Proceedings of the sixth annual ACM Symposium on Principles of distributed …, 1987
2121987
Verifying parameterized networks using abstraction and regular languages
EM Clarke, O Grumberg, S Jha
CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995
1691995
25 years of model checking: history, achievements, perspectives
O Grumberg, H Veith
Springer, 2008
1612008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20