|
СТ |
Checking Strong Specifications Using an Extensible Software Model Checking Framework |
2004 |
Robby., Rodriguez E., Dwyer M. B., Hatcliff J. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
|
СТ |
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking |
2004 |
Hatcliff J., Robby., Dwyer M. B. |
|
|
|
Lecture Notes in Computer Science |
12.02.2004 |
|
СТ |
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software |
2003 |
Deng X., Dwyer M. B., Hatcliff J., Jung G., Robby., Singh G. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
|
СТ |
Foundations of the Bandera Abstraction Tools |
2002 |
Hatcliff J., Dwyer M. B., Pasareanu C. S., Robby. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
|
СТ |
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs |
2001 |
Pasareanu C., Dwyer M. B., Visser W. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.05.2001 |
|
СТ |
A Language Framework for Expressing Checkable Properties of Dynamic Software |
2000 |
Corbett J. C., Dwyer M. B., Hatcliff J., Robby. |
|
|
|
Lecture Notes in Computer Science |
26.09.2000 |
|
СТ |
Assume-Guarantee Model Checking of Software: A Comparative Case Study |
1999 |
Pasareanu C. S., Dwyer M. B., Huth M. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
Filter-Based Model Checking of Partial Systems |
1998 |
Dwyer M. B., Pasareanu C. S. |
|
|
|
Software Engineering Notes |
26.03.1999 |
|
СТ |
Model Checking Graphical User Interfaces Using Abstractions |
1997 |
Dwyer M. B., Carr V., Hines L. |
|
|
|
Lecture Notes in Computer Science |
07.10.1997 |
|
СТ |
A Compact Petri Net Representation and Its Implications for Analysis |
1996 |
Dwyer M. B., Clarke L. A. |
|
|
|
IEEE Transactions on Software Engineering |
15.03.1997 |
|
СТ |
A Flexible Architecture for Building Data Flow Analyzers |
1996 |
Dwyer M. B., Clarke L. A. |
|
|
|
Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 |
19.06.1996 |
