| 2007 | Product Line Enabled Intelligent Mobile Middleware. | Weishan Zhang, Thomas Kunz, Klaus Marius Hansen |
| 2007 | A light-weight static approach to analyzing UML behavioral properties. | Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano |
| 2007 | Achieving Discrete Relative Timing with Untimed Process Algebra. | Anton Wijs |
| 2007 | A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). | Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun |
| 2007 | Architectural Design Methodologies for Complex Evolving Systems. | Urjaswala Vora |
| 2007 | Selecting V&V Technology Combinations: How to Pick a Winner? | Paul A. Strooper, Margaret A. Wojcicki |
| 2007 | The Imminent Complexity Quagmire in Pervasive Computing - Autonomic Agents a Solution? | Roy Sterritt, Sarah Eowyn, Patricia O'Hagan, Edward Hanna |
| 2007 | Experiments in Verifying Low Level Concurrent C Code. | Wolfram Schulte |
| 2007 | Pex - An Intelligent Assistant for Rigorous Developer Testing. | Wolfram Schulte |
| 2007 | What Use is Verified Software? | John M. Rushby |
| 2007 | Just-in-Time Certification. | John M. Rushby |
| 2007 | Linking Object-Z with Spec#. | Shengchao Qin, Guanhua He |
| 2007 | A Co-Modeling Methodology Designed for RT Architecture Models Integration. | Isabelle Perseil, Laurent Pautet |
| 2007 | The Registry for Sensor Network Discovery. | Jeongkyu Park, Jiung Han, Kibong Kang, Keung Hae Lee |
| 2007 | Communicating Software Architecture using a Unified Single-View Visualization. | Thomas Panas, Thomas Epperly, Daniel J. Quinlan, Andreas Sbjrnsen, Richard W. Vuduc |
| 2007 | EmVC: Managing Changes and Configurations in Designs of Complex, Embedded Computing Systems. | Tien Nguyen |
| 2007 | Model Checking-based Verification of Web Application. | Huaikou Miao, Hongwei Zeng |
| 2007 | A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware. | Tim McComb, Luke Wildman |
| 2007 | The LearnLib in FMICS-jETI. | Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker |
| 2007 | Modular Synthesis of Discrete Controllers. | Petra Malik, Robi Malik, David Streader, Steve Reeves |
| 2007 | A Formal Model for Compensable Transactions. | Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He |
| 2007 | A Novel Approach to the Detection of Cheating in Multiplayer Online Games. | Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers |
| 2007 | Formally Counting Electronic Votes (But Still Only Trusting Paper). | Joseph Kiniry |
| 2007 | What Can the pi-calculus Tell Us About the Mondex Purse System? | Cliff B. Jones, Ken G. Pierce |
| 2007 | Reasoning about Nonblocking Concurrency using Reduction. | Lindsay Groves |