| 2013 | Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. | Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi |
| 2013 | Program Transformation Based on Symbolic Execution and Deduction. | Ran Ji, Reiner Hhnle, Richard Bubel |
| 2013 | Verification of Scheme Plans Using CSP $$||$$ | | B. | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams |
| 2013 | Verification of Solid State Interlocking Programs. | Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick |
| 2013 | SMT-Constrained Symbolic Execution for Eclipse CDT/Codan. | Andreas Ibing |
| 2013 | Ensuring Faultless Communication Behaviour in A Commercial Cloud. | Ross Horne, Timur Umarov |
| 2013 | Applied Bounded Model Checking for Interlocking System Designs. | Anne E. Haxthausen, Jan Peleska, Ralf Pinger |
| 2013 | Lifting Verification Results for Preemption Statements. | Manuel Gesell, Andreas Morgenstern, Klaus Schneider |
| 2013 | A Concurrent Programming Language with Refined Session Types. | Juliana Franco, Vasco Thudichum Vasconcelos |
| 2013 | Analysis of FLOSS Communities as Learning Contexts. | Sara Fernandes, Antonio Cerone, Lus Soares Barbosa |
| 2013 | Twenty-Five Years of Formal Methods and Railways: What Next? | Alessandro Fantechi |
| 2013 | A Type System for Components. | Ornela Dardha, Elena Giachino, Michael Lienhardt |
| 2013 | {log} as a Test Case Generator for the Test Template Framework. | Maximiliano Cristi, Gianfranco Rossi, Claudia S. Frydman |
| 2013 | Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems. | Yunja Choi |
| 2013 | Towards Knowledge Modeling for Sustainable Transport. | Paloma Cceres, Carlos E. Cuesta, Jos Mara Cavero, Beln Vela, Almudena Sierra-Alonso |
| 2013 | Soundness and Completeness of the NRB Verification Logic. | Peter T. Breuer, Simon Pickin |
| 2013 | Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky. | Peter T. Breuer, Jonathan P. Bowen |
| 2013 | Towards Global and Local Types for Adaptation. | Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Prez, Gianluigi Zavattaro |
| 2013 | Model Checking of Security-Critical Applications in a Model-Driven Approach. | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
| 2013 | Validation of Railway Interlocking Systems by Formal Verification, A Case Study. | Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani |
| 2013 | Run-Time Verification of Coboxes. | Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong |
| 2013 | Small World Characteristics of FLOSS Distributions. | Jaap Boender, Sara Fernandes |
| 2013 | Compliance and Testing Preorders Differ. | Giovanni Bernardi, Matthew Hennessy |
| 2013 | Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. | Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson |
| 2013 | A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. | Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |