| 2013 | A Tool for Behaviour-Based Discovery of Approximately Matching Web Services. Mahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh |
| 2013 | A Transformation Approach for Multiform Time Requirements. Nadia Menad, Philippe Dhaussy |
| 2013 | A Type System for Components. Ornela Dardha, Elena Giachino, Michael Lienhardt |
| 2013 | A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. Marcel Vinícius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock |
| 2013 | Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson |
| 2013 | Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. Thi Mai Thuong Tran, Martin Steffen, Hoang Truong |
| 2013 | Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems. Yunja Choi |
| 2013 | Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi |
| 2013 | From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models. Radoslaw Klimek |
| 2013 | Inferring Physical Units in B Models. Sebastian Krings, Michael Leuschel |
| 2013 | Lifting Verification Results for Preemption Statements. Manuel Gesell, Andreas Morgenstern, Klaus Schneider |
| 2013 | Model Checking of Security-Critical Applications in a Model-Driven Approach. Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
| 2013 | Program Transformation Based on Symbolic Execution and Deduction. Ran Ji, Reiner Hähnle, Richard Bubel |
| 2013 | Real-Time Migration Properties of rTiMo Verified in Uppaal. Bogdan Aman, Gabriel Ciobanu |
| 2013 | Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. Christian Percebois, Martin Strecker, Hanh Nhi Tran |
| 2013 | Run-Time Verification of Coboxes. Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong |
| 2013 | Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti |
| 2013 | Sound Symbolic Linking in the Presence of Preprocessing. Gijs Vanspauwen, Bart Jacobs |
| 2013 | Static Detection of Implementation Errors Using Formal Code Specification. Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei |
| 2013 | Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson |
| 2013 | Zero Overhead Runtime Monitoring. Daniel Wonisch, Alexander Schremmer, Heike Wehrheim |
| 2013 | {log} as a Test Case Generator for the Test Template Framework. Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman |