| 2008 |
|---|
| 6 | EE | James Ivers,
Gabriel A. Moreno:
PACC starter kit: developing software with predictable behavior.
ICSE Companion 2008: 949-950 |
| 2007 |
|---|
| 5 | EE | Sagar Chaki,
James Ivers,
Peter Lee,
Kurt C. Wallnau,
Noam Zeilberger:
Model-Driven Construction of Certified Binaries.
MoDELS 2007: 666-681 |
| 4 | EE | James Ivers,
Gabriel A. Moreno:
Model-driven development with predictable quality.
OOPSLA Companion 2007: 874-875 |
| 2005 |
|---|
| 3 | EE | Sagar Chaki,
James Ivers,
Natasha Sharygina,
Kurt C. Wallnau:
The ComFoRT Reasoning Framework.
CAV 2005: 164-169 |
| 2 | EE | Len Bass,
James Ivers,
Mark Klein,
Paulo Merson,
Kurt C. Wallnau:
Encapsulating Quality Attribute Knowledge.
WICSA 2005: 193-194 |
| 1999 |
|---|
| 1 | EE | Annette L. Wilson,
James Ivers,
Timothy C. Hyon,
John A. Tufarolo,
Jeff Nielsen,
Susan Symington,
Richard M. Weatherly:
Automated distributed system testing: application of an RTI verification system.
Winter Simulation Conference 1999: 1103-1108 |
