| 2004 | 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 3-4 December 2003, Greenbelt, Maryland, USA |
| 2003 | A Component-Based Model for Building Reliable Multi-Agent Systems. Aluizio Haendchen Filho, Arndt von Staa, Carlos José Pereira de Lucena |
| 2003 | A Metrics Based Approach for Identifying Requirements Risks. Valerie Wyatt, Justin S. Di Stefano, Mike Chapman, Edward Aycoth |
| 2003 | A Stress-Point Resolution System Based on Module Signatures. Dolores Zage, Wayne Zage |
| 2003 | Addressing Software Security and Mitigations in the Life Cycle. David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop |
| 2003 | Adopting a Software Component Model in Real-Time Systems Development. Frank Lüders |
| 2003 | Applying Fault Correction Profiles. Norman F. Schneidewind |
| 2003 | Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine. Doron Drusinsky, Garth Watney |
| 2003 | Assessing IV&V Benefits Using Simulation. David M. Raffo, Wayne W. Wakeland |
| 2003 | Decision Support for Using Software Inspections. Ioana Rus, Forrest Shull, Paolo Donzelli |
| 2003 | Design Tool Assessment for Safety-Critical Software Development. Andrew J. Kornecki, Janusz Zalewski |
| 2003 | Diagnosing architectural degeneration. Lorin Hochstein, Mikael Lindvall |
| 2003 | Establishing a Generic and Multidimensional Measurement Repository in CMMI context. Edgardo Palza, Christopher P. Fuhrman, Alain Abran |
| 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 | Instrumentation of Intermediate Code for Runtime Verification. Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach |
| 2003 | Maintaining Verification Test Consistency Between Executable Specifications and Embedded Software in a Virtual System Integration Laboratory Environment. Ted Bennett, Paul Wennberg |
| 2003 | Model-Based Software Testing via Incremental Treatment Learning. Dustin Geletko, Tim Menzies |
| 2003 | Modelling and Analysing Fault Propagation in Safety-Related Systems. Frantz Iwu, Ian Toyn |
| 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 | On the Run-time Verification of Autonomy Software. Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran |
| 2003 | Optimal Software Release Time Incorporating Fault Correction. Swapna S. Gokhale |
| 2003 | RGML: A Markup Language for Characterizing Requirements Generation Processes. Ahmed Samy Sidky, James D. Arthur |
| 2003 | Sensitivity of Software Usage to Changes in the Operational Profile. Sunil Kamavaram, Katerina Goseva-Popstojanova |
| 2003 | Software Dynamics: A New Measure of Performance for Real-Time Software. Janusz Zalewski |
| 2003 | Software Impact Analysis in a Virtual Environment. Shawn A. Bohner, Denis Gracanin |
| 2003 | Software Verification and Validation within the (Rational) Unified Process. Christopher P. Fuhrman, Fatime Djlive, Edgardo Palza |
| 2003 | Tailorable Architecture Methods. Rick Kazman, Mark Klein, Robert L. Nord |
| 2003 | Validation of Object Oriented Software Design With Fault Tree Analysis. Massood Towhidnejad, Dolores R. Wallace, Albert M. Gallo |