|
СТ |
Summarizing Procedures in Concurrent Programs |
2004 |
Qadeer S., Rajamani S. K., Rehof J. |
|
|
|
POPL 2004 |
09.06.2004 |
|
СТ |
Thread-Modular Model Checking |
2003 |
Flanagan C., Qadeer S. |
|
|
|
Lecture Notes in Computer Science |
29.05.2003 |
|
П |
Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking |
2001 |
Qadeer S. |
|
|
Systems Research Center |
|
17.07.2002 |
|
СТ |
Thread-Modular Verification for Shared-Memory Programs |
2002 |
Flaagan C., Freund S. N., Qadeer S. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
|
СТ |
Assume-Guarantee Refinement between Different Time Scales |
1999 |
Henzinger T. A., Qadeer S., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
|
СТ |
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems |
1999 |
Henzinger T. A., Qadeer S., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
|
СТ |
From Pre-historic to Post-modern Symbolic Model Checking |
1998 |
Henzinger T. A., Kupferman O., Qadeer S. |
|
|
|
Lecture Notes in Computer Science |
03.07.1998 |
