| 2017 | Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives. | Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani |
| 2017 | Combining Trust and Aggregate Computing. | Roberto Casadei, Alessandro Aldini, Mirko Viroli |
| 2017 | Learning Decision Trees from Synthetic Data Models for Human Security Behaviour. | Peter Carmichael, Charles Morisset |
| 2017 | Towards Inverse Uncertainty Quantification in Software Development (Short Paper). | Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini |
| 2017 | A Formal Framework for Specifying and Verifying Microservices Based Process Flows. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
| 2017 | Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). | Matteo Camilli, Carlo Bellettini, Lorenzo Capra |
| 2017 | Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. | Javier Cmara, Wenxin Peng, David Garlan, Bradley R. Schmerl |
| 2017 | Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper). | Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto |
| 2017 | Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines. | Andreea Buga, Sorana Tania Nemes |
| 2017 | From (Incomplete) TOSCA Specifications to Running Applications, with Docker. | Antonio Brogi, Davide Neri, Luca Rinaldi, Jacopo Soldani |
| 2017 | Towards a Reference Dataset of Microservice-Based Applications. | Antonio Brogi, Andrea Canciani, Davide Neri, Luca Rinaldi, Jacopo Soldani |
| 2017 | An Algorithm for Simulating Human Selective Attention. | Giovanna Broccia, Paolo Milazzo, Peter Csaba lveczky |
| 2017 | An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2017 | Intercepting Blackhole Attacks in MANETs: An ASM-based Model. | Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio |
| 2017 | From Model Checking to a Temporal Proof for Partial Models. | Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi |
| 2017 | A Refinement Approach to Analyse Critical Cyber-Physical Systems. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | Student Performance Prediction and Optimal Course Selection: An MDP Approach. | Michael Backenkhler, Verena Wolf |
| 2017 | Trace Partitioning and Local Monitoring for Asynchronous Components. | Duncan Paul Attard, Adrian Francalanza |
| 2017 | Temporal Analytics for Software Usage Models. | Oana Andrei, Muffy Calder |
| 2016 | Coq Implementation of OO Verification Framework VeriJ. | Ke Zhang, Zongyan Qiu |
| 2016 | Towards a Proof Framework for Information Systems with Weak Consistency. | Peter Zeller, Arnd Poetzsch-Heffter |
| 2016 | Combining Predicate Abstraction with Fixpoint Approximations. | Tuba Yavuz |
| 2016 | Model Checking Simulation Rules for Linearizability. | Graeme Smith |
| 2016 | Automatic Derivation of Platform Noninterference Properties. | Oliver Schwarz, Mads Dam |
| 2016 | BMotionWeb: A Tool for Rapid Creation of Formal Prototypes. | Lukas Ladenberger, Michael Leuschel |