| 2005 | Indicators of Structural Stability of Object-Oriented Designs: A Case Study. | Mahmoud O. Elish, David C. Rine |
| 2005 | Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis. | Paolo Donzelli, Daniel Hirschbach, Victor R. Basili |
| 2005 | Is My Software "Good Enough" to Release? - A Probabilistic Assessment. | Susan K. Donohue, Joanne Bechta Dugan, Charles L. Brown |
| 2005 | On the Use of Specification-Based Assertions as Test Oracles. | David Coppit, Jennifer M. Haddox-Schatz |
| 2005 | Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. | Ugo A. Buy, Mihai Lehene, Houshang Darabi |
| 2005 | Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing. | Lisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman |
| 2005 | ADLARS: An Architecture Description Language for Software Product Lines. | Rabih Bashroush, T. John Brown, Ivor T. A. Spence, Peter Kilpatrick |
| 2005 | Information Fusion from Databases, Sensors and Simulations: A Collaborative Research Program. | Sten F. Andler, Lars Niklasson, Bjrn Olsson, Anne Persson, Leo J. De Vin, Benkt Wangler, Tom Ziemke, Tomas Planstedt |
| 2005 | Experimenting with Software Architecture Flexibility Using an Implementation of the Tactical Separation Assisted Flight Environment. | Bettina Anders, Jrg Fellmann, Mikael Lindvall, Ioana Rus |
| 2003 | Software Dynamics: A New Measure of Performance for Real-Time Software. | Janusz Zalewski |
| 2003 | A Stress-Point Resolution System Based on Module Signatures. | Dolores Zage, Wayne Zage |
| 2003 | A Metrics Based Approach for Identifying Requirements Risks. | Valerie Wyatt, Justin S. Di Stefano, Mike Chapman, Edward Aycoth |
| 2003 | Validation of Object Oriented Software Design With Fault Tree Analysis. | Massood Towhidnejad, Dolores R. Wallace, Albert M. Gallo |
| 2003 | On the Run-time Verification of Autonomy Software. | Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran |
| 2003 | RGML: A Markup Language for Characterizing Requirements Generation Processes. | Ahmed Samy Sidky, James D. Arthur |
| 2003 | Automated Safety Critical Care Software Development for Distributed Control Systems: A COTS Approach. | Martin Schwarz |
| 2003 | Applying Fault Correction Profiles. | Norman F. Schneidewind |
| 2003 | Decision Support for Using Software Inspections. | Ioana Rus, Forrest Shull, Paolo Donzelli |
| 2003 | Formal Approaches to Intelligent Swarms. | Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey |
| 2003 | Generating MC/DC Adequate Test Sequences Through Model Checking. | Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2003 | Assessing IV&V Benefits Using Simulation. | David M. Raffo, Wayne W. Wakeland |
| 2003 | Establishing a Generic and Multidimensional Measurement Repository in CMMI context. | Edgardo Palza, Christopher P. Fuhrman, Alain Abran |
| 2003 | On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. | David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao |
| 2003 | Adopting a Software Component Model in Real-Time Systems Development. | Frank Lders |
| 2003 | Software Development for Real-Time Safety-Critical Applications. | Andrew J. Kornecki, Janusz Zalewski |