|
СТ |
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification |
1999 |
Naumovich G., Clarke L. A., Cobleigh J. M. |
|
|
|
Software Engineering Notes |
02.11.1999 |
|
СТ |
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs |
1999 |
Naumovich G., Avrunin G. S., Clarke L. A. |
|
|
|
Lecture Notes in Computer Science |
14.10.1999 |
|
СТ |
A Conservative Data Flow Algorithm for Detecting All Pairs of Statements that May Happen in Parallel |
1998 |
Naumovich G., Avrunin G. S. |
|
|
|
Software Engineering Notes |
26.03.1999 |
|
СТ |
Efficient Composite Data Flow Analysis Applied to Concurrent Programs |
1998 |
Naumovich G., Clarke L. A., Osterweil L. J. |
|
|
|
SIGPLAN Notices |
16.09.1998 |
|
СТ |
Applying Static Analysis to Software Architectures |
1997 |
Naumovich G., Avrunin G. S., Clarke L. A., Osterweil L. J. |
|
|
|
Lecture Notes in Computer Science |
03.10.1997 |
