| 2007 | An Inconsistency Free Formalization of B/S Architecture. | Qin Li, Huibiao Zhu, Jifeng He |
| 2007 | Modeling and Verifying Web Services Choreography Using Process Algebra. | Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu |
| 2007 | A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed Environment. | Weidong Liao, Benjamin J. Koonse |
| 2007 | Abstracting Pointers for a Verifying Compiler. | Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide |
| 2007 | An AOP-based Performance Evaluation Framework for UML Models. | Dong Kwan Kim, Shawn A. Bohner |
| 2007 | A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases. | Janice Hill |
| 2007 | A Framework for Flexible and Executable Usability Patterns Standards. | Scott Henninger |
| 2007 | A Generative Approach to Building a Framework for Hard Real-Time Applications. | Irfan Hamid, Elie Najm, Jrme Hugues |
| 2007 | A Reference Net Based Formalization of Concurrent Cognitive Decision Making. | Johann Duscher, Amine El Malki |
| 2007 | Architecting Network-Centric Software Systems: A Style-Based Beginning. | Amine Chigani, James D. Arthur, Shawn A. Bohner |
| 2007 | Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. | John D. Carter, William B. Gardner |
| 2007 | Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. | Peter T. Breuer, Simon Pickin |
| 2006 | Integrating Probability with Time and Shared-Variable Concurrency. | Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen |
| 2006 | Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques. | Jianli Xu |
| 2006 | First Steps in the Verified Software Grand Challenge. | Jim Woodcock |
| 2006 | A Comparative Study of Monitoring Tools for Pattern-Centric Behavior. | Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan |
| 2006 | Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. | R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends |
| 2006 | Targeting Prediction: Engineering a Distributed Event Processor for an Autonomic Biometric System. | Roy Sterritt, Edward Hanna, Patricia O'Hagan, Grainne Garrity |
| 2006 | Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. | Zo R. Stephenson, John A. McDermid, Jason Choy |
| 2006 | Understanding Open Source Software through Software Archaeology: The Case of Nethack. | Melissa M. Simmons, Pamela Vercellone-Smith, Phillip A. Laplante |
| 2006 | Formal Verification of Abstract System and Protocol Specifications. | Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knblein, Reynaldo Zavala |
| 2006 | Goal-Driven Software Development. | Ingo Schnabel, Markus Pizka |
| 2006 | An Operational Semantics of an Event-Driven System-Level Simulator. | Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin |
| 2006 | Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. | Pavel Parzek, Frantisek Plsil, Jan Kofron |
| 2006 | Unified Software Method: An Engineering Approach to Software Engineering. | Stphane Mercier, Michel Lavoie, Roger Champagne |