| 2013 | Proof Theory of a Multi-Lane Spatial Logic. | Sven Linker, Martin Hilscher |
| 2013 | Advances in Quantitative Verification for Ubiquitous Computing. | Marta Z. Kwiatkowska |
| 2013 | On Refinements of Boolean and Parametric Modal Transition Systems. | Jan Kretnsk, Salomon Sickert |
| 2013 | FORMULA 2.0: A Language for Formal Specifications. | Ethan K. Jackson, Wolfram Schulte |
| 2013 | A Clock-Based Framework for Construction of Hybrid Systems. | Jifeng He |
| 2013 | Preemptive Type Checking in Dynamically Typed Languages. | Neville Grech, Julian Rathke, Bernd Fischer |
| 2013 | Unifying Theories of Programming in Isabelle. | Simon Foster, Jim Woodcock |
| 2013 | Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. | Uli Fahrenberg, Kim G. Larsen, Axel Legay |
| 2013 | An Interface Model of Software Components. | Ruzhen Dong, Naijun Zhan, Liang Zhao |
| 2013 | A High-Level Semantics for Program Execution under Total Store Order Memory. | Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim |
| 2013 | rCOS: Defining Meanings of Component-Based Software Architectures. | Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu |
| 2013 | A Probabilistic Logic for pTiMo. | Gabriel Ciobanu, Armand Stefan Rotaru |
| 2013 | Random Walks on Some Basic Classes of Digraphs. | Wen-Ju Cheng, Jim Cox, Stathis Zachos |
| 2013 | Stochastic Pi-calculus Revisited. | Luca Cardelli, Radu Mardare |
| 2013 | hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. | Achim D. Brucker, Lukas Brgger, Burkhart Wolff |
| 2013 | From Distributions to Probabilistic Reactive Programs. | Riccardo Bresciani, Andrew Butterfield |
| 2013 | Cruise Control in Hybrid Event-B. | Richard Banach, Michael J. Butler |
| 2013 | Mobile Membranes: Computability and Complexity. | Bogdan Aman, Gabriel Ciobanu |
| 2012 | Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling. | Kenro Yatake, Toshiaki Aoki |
| 2012 | Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. | David M. Williams, Joeri de Ruiter, Wan J. Fokkink |
| 2012 | How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. | Csar Snchez, Julin Samborski-Forlese |
| 2012 | A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. | Lidia Snchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Malln |
| 2012 | A Conformance Checker Tool CSPConCheck. | Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos |
| 2012 | S-Narrowing for Constructor Systems. | Adrin Riesco, Juan Rodrguez-Hortal |
| 2012 | Using Semantics Specified in Maude to Generate Test Cases. | Adrin Riesco |