| 2015 | Towards a Boosted Route Planner Using Individual Mobility Models. | Riccardo Guidotti, Paolo Cintia |
| 2015 | Clustering Formulation Using Constraint Optimization. | Valerio Grossi, Anna Monreale, Mirco Nanni, Dino Pedreschi, Franco Turini |
| 2015 | Quantitative Modelling of Residential Smart Grids. | Vashti Galpin |
| 2015 | GuideForce: Type-Based Enforcement of Programming Guidelines. | Serdar Erbatur, Martin Hofmann |
| 2015 | Design of a Business-to-Government Information Sharing Architecture Using Business Rules. | Slinde van Engelenburg, Marijn Janssen, Bram Klievink |
| 2015 | An Extensible Operational Semantics for UML Activity Diagrams. | Zamira Daw, Rance Cleaveland |
| 2015 | Investigating Instrumentation Techniques for ESB Runtime Verification. | Christian Colombo, Gabriel Dimech, Adrian Francalanza |
| 2015 | Towards Domain Refinement for UML/OCL Bounded Verification. | Robert Claris, Carlos A. Gonzlez, Jordi Cabot |
| 2015 | Probabilistic Modelling and Analysis of a Fish Population. | Chiara Cini, Luca Tesei, Giuseppe Scarcella, Cesar Augusto Nieto Coria, Emanuela Merelli |
| 2015 | An Experimental Spatio-Temporal Model Checker. | Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink |
| 2015 | Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management. | Antonio Cerone |
| 2015 | Automated Synthesis of Protocol Converters with BALM-II. | Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko |
| 2015 | NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. | Gustavo Carvalho, Flvia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio |
| 2015 | History-Based Verification of Functional Behaviour of Concurrent Programs. | Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski |
| 2015 | Behavioral Types for Component-Based Development of Cyber-Physical Systems. | Jan Olaf Blech, Peter Herrmann |
| 2015 | Towards Automatic Decision Support for Bike-Sharing System Design. | Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink |
| 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 | Distributed Coordinated Adaptation of Cloud-Based Applications. | Luciano Baresi, Sam Guinea, Giovanni Quattrocchi |
| 2015 | Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. | Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, Giovanni Pardini |
| 2015 | Specification and Verification of Atomic Operations in GPGPU Programs. | Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman |
| 2015 | Refactoring Proofs with Tactician. | Mark Adams |
| 2014 | Translating Event-B Machines to Database Applications. | Qi Wang, Tim Wahls |
| 2014 | Completeness of Separation Logic with Inductive Definitions for Program Verification. | Makoto Tatsuta, Wei-Ngan Chin |
| 2014 | Tool Support for Teaching Hoare Logic. | Tadeusz Sznuk, Aleksy Schubert |
| 2014 | Modelling and Verifying Smell-Free Architectures with the Archery Language. | Alejandro Sanchez, Lus Soares Barbosa, Alexandre Madeira |