|
СТ |
"Don t Know" in the Mu-Calculus |
2005 |
Grumberg O., Lange M., Leucker M., Sholam Sh. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.03.2005 |
|
СТ |
A Framework for Translating Models and Specifications |
2002 |
Katz S., Grumberg O. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
|
СТ |
Translations between Textual Transition Systems and Petri Nets |
2002 |
Korenblat K., Grumberg O., Katz S. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
|
М |
Model Checking |
1999 |
Clarke E. M., Grumberg O., Peled D. A. |
|
|
|
|
11.07.2001 |
|
СТ |
Progress on the State Explosion Problem in Model Checking |
2001 |
Clarke E., Grumberg O., Jha S., Lu Y., Veith H. |
|
|
|
Lecture Notes in Computer Science |
04.04.2001 |
|
СТ |
Modular Model Checking of Software |
1998 |
Laster K., Grumberg O. |
|
|
|
Lecture Notes in Computer Science |
29.04.1998 |
|
СТ |
Verifying Parameterized Networks using Abstraction and Regular Languages |
1995 |
Clarke E. M., Grumberg O., Jha S. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
17.10.1995 |
|
СТ |
Model Checking and Modular Verification |
1994 |
Grumberg O., Long D. E. |
|
|
|
ACM Trans. Programming Languages and Systems |
01.09.1994 |
|
СТ |
How Linear Can Branching-time Be? |
1994 |
Grumberg O., Kurshan R. P. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1994 |
|
СТ |
Buy One, Get One Free!!! |
1994 |
Bernholtz O., Grumberg O. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1994 |
|
СТ |
Verification Tools for Finite-State Concurrent Systems |
1994 |
Clarke E., Grumberg O., Long D. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
|
СТ |
Branching Time Temporal Logic and Amorphous Tree Automata |
1993 |
Bernholtz O., Grumberg O. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
Generation of Reduced Models for Checking Fragments of CTL |
1993 |
Dams D., Grumberg O., Gerth R. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
Modular Abstractions for Verifying Real-Time Distributed Systems |
1993 |
De-Leon H., Grumberg O. |
|
|
|
Lecture Notes in Computer Science |
07.05.1993 |
|
СТ |
Program Composition and Modular Verification |
1991 |
Fix L., Francez N., Grumberg O. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
