| 2014 | Lightweight Program Construction and Verification Tools in Isabelle/HOL. | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
| 2014 | Automated Error-Detection and Repair for Compositional Software Specifications. | Dalal Alrajeh, Robert Craven |
| 2013 | Zero Overhead Runtime Monitoring. | Daniel Wonisch, Alexander Schremmer, Heike Wehrheim |
| 2013 | Modeling and Simulating Interaction Protocols Using Nested Petri Nets. | Mirtha Lina Fernndez Venero, Flvio Soares Corra da Silva |
| 2013 | Sound Symbolic Linking in the Presence of Preprocessing. | Gijs Vanspauwen, Bart Jacobs |
| 2013 | Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. | Thi Mai Thuong Tran, Martin Steffen, Hoang Truong |
| 2013 | Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. | Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frdric Mallet, Paul Pettersson |
| 2013 | PetriCode: A Tool for Template-Based Code Generation from CPN Models. | Kent Inge Fagerland Simonsen |
| 2013 | Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality. | Suryana Setiawan, Antonio Cerone |
| 2013 | A Tool for Behaviour-Based Discovery of Approximately Matching Web Services. | Mahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh |
| 2013 | Static Detection of Implementation Errors Using Formal Code Specification. | Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei |
| 2013 | Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. | Anna Philippou, Mauricio Toro |
| 2013 | The Role of Linked Data and Semantic-Technologies for Sustainability Idea Management. | Alain Perez, Felix Larrinaga, Edward Curry |
| 2013 | Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. | Christian Percebois, Martin Strecker, Hanh Nhi Tran |
| 2013 | DISPAS: An Agent-Based Tool for the Management of Fishing Effort. | Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli |
| 2013 | A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. | Marcel Vincius Medeiros Oliveira, Ivan Soares de Medeiros Jnior, Jim Woodcock |
| 2013 | Scalable Session Programming for Heterogeneous High-Performance Systems. | Nicholas Ng, Nobuko Yoshida, Wayne Luk |
| 2013 | A Transformation Approach for Multiform Time Requirements. | Nadia Menad, Philippe Dhaussy |
| 2013 | What IS a BoK? Large - Extended Abstract -. | Tom Maibaum |
| 2013 | IOCO as a Simulation. | Luis Llana, Rafael Martnez-Torres |
| 2013 | Inferring Physical Units in B Models. | Sebastian Krings, Michael Leuschel |
| 2013 | A Typing System for Privacy. | Dimitrios Kouzapas, Anna Philippou |
| 2013 | XBRL-Driven Business Process Improvement: A Simulation Study in the Accounting Domain. | Martin Kloos, Joris Hulstijn, Mamadou D. Seck, Marijn Janssen |
| 2013 | From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models. | Radoslaw Klimek |
| 2013 | A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data. | Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski |