| 2026 | FM | Asynchronous Team Automata. | Davide Basile, Maurice H. ter Beek, Jos Proena |
| 2025 | BPM | Secrecy Preservation for Online Process Monitoring with Trusted Execution Environment. | Davide Basile, Claudio Di Ciccio |
| 2024 | CaiSE | Trusted Execution Environment for Decentralized Process Mining. | Valerio Goretti, Davide Basile, Luca Barbaro, Claudio Di Ciccio |
| 2024 | Coordination | Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal. | Davide Basile |
| 2024 | ICPM | CONFINE: Preserving Data Secrecy in Decentralized Process Mining. | Valerio Goretti, Davide Basile, Luca Barbaro, Claudio Di Ciccio |
| 2024 | ISoLA | An Integrated Perspective on the Evaluation of Complex Railway Systems. | Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori |
| 2023 | FM | A Runtime Environment for Contract Automata. | Davide Basile, Maurice H. ter Beek |
| 2023 | FMICS | Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. | Davide Basile, Franco Mazzanti, Alessio Ferrari |
| 2023 | ICDCS | A Blockchain-driven Architecture for Usage Control in Solid. | Davide Basile, Claudio Di Ciccio, Valerio Goretti, Sabrina Kirrane |
| 2022 | ISoLA | An Experimental Toolchain for Strategy Synthesis with Spatial Properties. | Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia |
| 2021 | BPM | Enhancing Blockchain-Based Processes with Decentralized Oracles. | Davide Basile, Valerio Goretti, Claudio Di Ciccio, Sabrina Kirrane |
| 2021 | Coordination | A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. | Davide Basile, Maurice H. ter Beek |
| 2021 | FMICS | Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. | Davide Basile, Alessandro Fantechi, Irene Rosadi |
| 2021 | FORTE | Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. | Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico |
| 2020 | FORTE | Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. | Davide Basile, Maurice H. ter Beek, Axel Legay |
| 2020 | ICSE | Comparing formal tools for system design: a judgment study. | Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi |
| 2020 | ISoLA | Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. | Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini |
| 2020 | ISoLA | 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Mbius and Uppaal SMC. | Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo |
| 2020 | SPLC | Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. | Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay |
| 2019 | Coordination | Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. | Davide Basile, Maurice H. ter Beek, Rosario Pugliese |
| 2019 | FMICS | Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. | Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay |
| 2019 | SAFECOMP | The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. | Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mand, Nicola Nostro, Luigi Rucher |
| 2018 | IFM | On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. | Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari |
| 2018 | ISoLA | Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. | Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia |
| 2018 | SPLC | Modelling and analysis with featured modal contract automata. | Davide Basile, Maurice H. ter Beek, Stefania Gnesi |
| 2018 | VECoS | Orchestration Synthesis for Real-Time Service Contracts. | Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez |
| 2017 | MODELSWARD | Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | SAC | Statistical model checking of an energy-saving cyber-physical system in the railway domain. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | SEFM | A Refinement Approach to Analyse Critical Cyber-Physical Systems. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | SPLC | Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. | Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | SPLC | FMCAT: Supporting Dynamic Service-based Product Lines. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2016 | FORTE | Playing with Our CAT and Communication-Centric Applications. | Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto |
| 2016 | ISoLA | Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2013 | PACT | Secure and Unfailing Services. | Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari |