| 2026 | FASE | Model Checking in Space with Applications to Medical Image Analysis - Invited Abstract. | Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2024 | FORTE | Weak Simplicial Bisimilarity for Polyhedral Models and SLCS | Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2024 | ISoLA | Towards Hybrid-AI in Imaging Using VoxLogicA. | Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2023 | FM | Minimisation of Spatial Models Using Branching Bisimilarity. | Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2023 | FORTE | On Bisimilarity for Polyhedral Models and SLCS. | Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2022 | HCI | Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues. | Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2022 | ISoLA | On Binding in the Spatial Logics for Closure Spaces. | Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink |
| 2021 | FMICS | Spatial Model Checking for Smart Stations - Research Challenges. | Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo |
| 2021 | ICSE | Feasibility of Spatial Model Checking for Nevus Segmentation. | Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2021 | MEDI | Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). | Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2020 | Coordination | Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited. | Nicolas Gast, Diego Latella, Mieke Massink |
| 2019 | TACAS | VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. | Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2017 | TACAS | FlyFast: A Mean Field Model Checker. | Diego Latella, Michele Loreti, Mieke Massink |
| 2016 | Coordination | On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. | Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2016 | ISoLA | A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. | Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin |
| 2015 | Coordination | Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. | Diego Latella, Michele Loreti, Mieke Massink |
| 2015 | RV | Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. | Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink |
| 2015 | SEFM | Towards Automatic Decision Support for Bike-Sharing System Design. | Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink |
| 2015 | SEFM | An Experimental Spatio-Temporal Model Checker. | Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink |
| 2013 | Coordination | Stochastic Process Algebra and Stability Analysis of Collective Systems. | Luca Bortolussi, Diego Latella, Mieke Massink |
| 2012 | Coordination | Fluid Analysis of Foraging Ants. | Mieke Massink, Diego Latella |
| 2011 | FASE | Modelling Non-linear Crowd Dynamics in Bio-PEPA. | Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston |
| 2010 | LICS | Reconciling Population and Agent Models for Crowd Dynamics. | Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink |
| 2010 | SAC | Scalable analysis of collective behaviour in smart service systems. | Mieke Massink, Michael D. Harrison, Diego Latella |
| 2010 | SEFM | A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. | Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison |
| 2009 | EICS | Engineering crowd interaction within smart environments. | Michael D. Harrison, Mieke Massink, Diego Latella |
| 2009 | EICS | A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. | Philippe A. Palanque, Marco Winckler, Jean-Franois Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink |
| 2009 | FMICS | On a Uniform Framework for the Definition of Stochastic Process Languages. | Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink |
| 2009 | ICALP | Rate-Based Transition Systems for Stochastic Process Calculi. | Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink |
| 2009 | Interact | Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. | Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler |
| 2005 | ICSE | A case study on the automated verification of groupware protocols. | Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis |
| 2005 | SAC | Formal modeling and quantitative analysis of KLAIM-based mobile systems. | Rocco De Nicola, Diego Latella, Mieke Massink |
| 2004 | DSN | Model Checking Dependability Attributes of Wireless Group Communication. | Mieke Massink, Joost-Pieter Katoen, Diego Latella |
| 2004 | ICECCS | Formal Test-Case Generation for UML Statecharts. | Stefania Gnesi, Diego Latella, Mieke Massink |
| 2002 | ISSTA | On testing and conformance relations for UML statechart diagrams behaviours. | Diego Latella, Mieke Massink |
| 2001 | HCI | Continuous interaction with computers: issues and requirements. | Giorgio P. Faconti, Mieke Massink |
| 2001 | ICECCS | Modelling Free Flight with Collision Avoidance. | Mieke Massink, Nicoletta De Francesco |
| 2001 | TACAS | First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. | Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink |
| 2000 | CHI | Continuity in human computer interaction. | Giorgio P. Faconti, Mieke Massink |