| 2008 | Orthographic Modeling Environment. | Colin Atkinson, Dietmar Stoll |
| 2008 | Object Composition in Scenario-Based Programming. | Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz |
| 2008 | Deriving Non-zeno Behavior Models from Goal Models Using ILP. | Dalal Alrajeh, Alessandra Russo, Sebastin Uchitel |
| 2008 | Correctness-Preserving Configuration of Business Process Models. | Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling |
| 2007 | A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement. | Xin Zhou, Hui Yu |
| 2007 | Precise Specification of Use Case Scenarios. | Jon Whittle |
| 2007 | Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software. | Chouki Tibermacine, Didier Hoareau, Reda Kadri |
| 2007 | A Simulation-Oriented Formalization for a Psychological Theory. | Paulo Salem da Silva, Ana Cristina Vieira de Melo |
| 2007 | A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. | Csar Snchez, Henny B. Sipma, Zohar Manna |
| 2007 | An Approach to Software Evolution Based on Semantic Change. | Romain Robbes, Michele Lanza, Mircea Lungu |
| 2007 | Integration Testing in Software Product Line Engineering: A Model-Based Technique. | Sacha Reis, Andreas Metzger, Klaus Pohl |
| 2007 | EQ-Mine: Predicting Short-Term Defects for Software Evolution. | Jacek Ratzinger, Martin Pinzger, Harald C. Gall |
| 2007 | Ensuring Consistency Within Distributed Graph Transformation Systems. | Ulrike Ranger, Thorsten Hermes |
| 2007 | Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. | Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel |
| 2007 | A Prioritization Approach for Software Test Cases Based on Bayesian Networks. | Siavash Mirarab, Ladan Tahvildari |
| 2007 | Contract-Driven Development. | Bertrand Meyer |
| 2007 | Towards Normal Design for Safety-Critical Systems. | Derek Mannering, Jon G. Hall, Lucia Rapanotti |
| 2007 | Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies. | Roberto E. Lopez-Herrejon, Sven Apel |
| 2007 | Testing Scenario-Based Models. | Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard |
| 2007 | Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. | Florian Klein, Holger Giese |
| 2007 | Activity-Driven Synthesis of State Machines. | Rolf Hennicker, Alexander Knapp |
| 2007 | S2A: A Compiler for Multi-modal UML Sequence Diagrams. | David Harel, Asaf Kleinbort, Shahar Maoz |
| 2007 | A Service Composition Construct to Support Iterative Development. | Roy Grnmo, Michael C. Jaeger, Andreas Wombacher |
| 2007 | SDL Profiles - Formal Semantics and Tool Support. | Rdiger Grammes, Reinhard Gotzhein |
| 2007 | Flexible and Extensible Notations for Modeling Languages. | Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk |