|
СТ |
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 |
|
СТ |
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems |
1993 |
Corbett J. C., Avrunin G. S. |
|
|
|
Software Engineering Notes |
29.09.1993 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
Improving the Precision of INCA by Preventing Spurious Cycles |
2000 |
Siegel S. F., Avrunin G. S. |
|
|
|
Software Engineering Notes |
14.12.2000 |
|
СТ |
Verification of MPI-Based Software for Scientific Computation |
2004 |
Siegel S. F., Avrunin G. S. |
|
|
|
Lecture Notes in Computer Science |
29.04.2004 |
