|
СТ |
Extending JML for Modular Specification and Verification of Multi-threaded Programs |
2005 |
Rodriguez E., Dwyer M., Flanagan C., Hatcliff J., Leavens G. T., Robby Fnu. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
13.09.2005 |
|
СТ |
SyncGen: An Aspect-Oriented Framework for Synchronization |
2004 |
Deng X., Dwyer M., Hatcliff J., Mizuno M. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
|
СТ |
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems |
2004 |
Childs A., Greenwald J., Ranganath V. P., Deng X., Dwyer M., Hatcliff J., Jung G., Shanti P., Singh G. |
|
|
|
Lecture Notes in Computer Science |
16.04.2004 |
|
СТ |
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software |
2001 |
Hatcliff J., Dwyer M. |
|
|
|
Lecture Notes in Computer Science |
04.10.2001 |
|
СТ |
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives |
1999 |
Hatcliff J., Corbett J., Dwyer M., Sokolowski S., Zheng H. |
|
|
|
Lecture Notes in Computer Science |
19.10.1999 |
|
СТ |
Staging Static Analyses Using Abstraction-Based Program Specialization |
1998 |
Hatcliff J., Dwyer M., Laubach S. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
