| 2011 | Systematic Development of UMLsec Design Models Based on Security Requirements. | Denis Hatebur, Maritta Heisel, Jan Jrjens, Holger Schmidt |
| 2011 | Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? | Bashar Gharaibeh, Hridesh Rajan, J. Morris Chang |
| 2011 | A Step-Wise Approach for Integrating QoS throughout Software Development. | Stphanie Gatti, Emilie Balland, Charles Consel |
| 2011 | An Interface Theory for Service-Oriented Design. | Jos Luiz Fiadeiro, Antnia Lopes |
| 2011 | Automated Learning of Probabilistic Assumptions for Compositional Reasoning. | Lu Feng, Marta Z. Kwiatkowska, David Parker |
| 2011 | Semantic Quality Attributes for Big-Step Modelling Languages. | Shahram Esmaeilsabzali, Nancy A. Day |
| 2011 | Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior. | Claudia Ermel, Jrgen Gall, Leen Lambers, Gabriele Taentzer |
| 2011 | A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. | Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer |
| 2011 | Formalizing and Operationalizing Industrial Standards. | Dominik Dietrich, Lutz Schrder, Ewaryst Schulz |
| 2011 | Type-Safe Evolution of Spreadsheets. | Jcome Cunha, Joost Visser, Tiago L. Alves, Joo Saraiva |
| 2011 | Smart Reduction. | Pepijn Crouzen, Frdric Lang |
| 2011 | An Empirical Study of Long-Lived Code Clones. | Dongxiang Cai, Miryung Kim |
| 2011 | Automatic Flow Analysis for Event-B. | Jens Bendisposto, Michael Leuschel |
| 2011 | The Dependability of Complex Socio-technical Systems. | Ross J. Anderson |
| 2010 | Dynamic Resource Scheduling in Disruption-Prone Software Development Environments. | Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li |
| 2010 | Stochastic Simulation of Graph Transformation Systems. | Paolo Torrini, Reiko Heckel, Istvn Rth |
| 2010 | A Formalisation of Constraint-Aware Model Transformations. | Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter |
| 2010 | Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation. | Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Tien N. Nguyen |
| 2010 | Incremental Service Composition Based on Partial Matching of Visual Contracts. | Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann |
| 2010 | A Lightweight and Portable Approach to Making Concurrent Failures Reproducible. | Qingzhou Luo, Sai Zhang, Jianjun Zhao, Min Hu |
| 2010 | An Automata-Theoretic Approach to Hardware/Software Co-verification. | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey |
| 2010 | Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. | Hermann Lehner, Peter Mller |
| 2010 | Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. | Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha |
| 2010 | A Verifiable Modeling Approach to Configurable Role-Based Access Control. | Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim |
| 2010 | A Modular Model Composition Technique. | Pierre Kelsen, Qin Ma |