| 2015 | A Formal Study of Backward Compatible Dynamic Software Updates. Jun Shen, Rida A. Bazzi |
| 2015 | An Extensible Operational Semantics for UML Activity Diagrams. Zamira Daw, Rance Cleaveland |
| 2015 | An Interface Theory for the Internet of Things. Marten Lohstroh, Edward A. Lee |
| 2015 | Certification of Distributed Algorithms Solving Problems with Optimal Substructure. Kim Völlinger, Wolfgang Reisig |
| 2015 | Efficient Testing of Different Loop Paths. Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2015 | Formal Analysis of Proactive, Distributed Routing. Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre |
| 2015 | Formalizing a Secure Foreign Function Interface. Adriaan Larmuseau, Dave Clarke |
| 2015 | From Failure to Proof: The ProB Disprover for B and Event-B. Sebastian Krings, Jens Bendisposto, Michael Leuschel |
| 2015 | From Featured Transition Systems to Modal Transition Systems with Variability Constraints. Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2015 | Generating None-Plans in Order to Find Plans. Michal Knapik, Artur Niewiadomski, Wojciech Penczek |
| 2015 | History-Based Verification of Functional Behaviour of Concurrent Programs. Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski |
| 2015 | Investigating Instrumentation Techniques for ESB Runtime Verification. Christian Colombo, Gabriel Dimech, Adrian Francalanza |
| 2015 | Learning Assertions to Verify Linked-List Programs. Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens |
| 2015 | Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro |
| 2015 | Model-Based Robustness Testing in Event-B Using Mutation. Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet |
| 2015 | NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio |
| 2015 | On the Testability of Properties Patterns. Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2015 | Reasoning about Separation Using Abstraction and Reification. Cliff B. Jones, Nisansala Yatapanage |
| 2015 | Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings Radu Calinescu, Bernhard Rumpe |
| 2015 | Specification and Verification of Atomic Operations in GPGPU Programs. Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman |
| 2015 | Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. Marie-Christine Jakobs |
| 2015 | Task Planning of Cyber-Human Systems. Roykrong Sukkerd, David Garlan, Reid G. Simmons |
| 2015 | Techniques for Memory-Efficient Model Checking of C and C++ Code. Petr Rockai, Vladimír Still, Jiri Barnat |
| 2015 | Towards Domain Refinement for UML/OCL Bounded Verification. Robert Clarisó, Carlos A. González, Jordi Cabot |
| 2015 | Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi |
| 2015 | Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications. Gijs Vanspauwen, Bart Jacobs |