| 2024 | SIGCSE | To Be Or Not To Be . . . An Algorithm: The Notion According to Students and Teachers. | Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo |
| 2023 | CSEDU | Davinci Goes to Bebras: A Study on the Problem Solving Ability of GPT-3. | Carlo Bellettini, Michael Lodi, Violetta Lonati, Mattia Monga, Anna Morpurgo |
| 2019 | CSEDU | How Pupils Solve Online Problems: An Analytical View. | Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo |
| 2019 | CSEDU | Behind the Shoulders of Bebras Teams: Analyzing How They Interact with the Platform to Solve Tasks. | Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo |
| 2018 | CSEDU | A Platform for the Italian Bebras. | Carlo Bellettini, Fabrizio Carimati, Violetta Lonati, Riccardo Macoratti, Dario Malchiodi, Mattia Monga, Anna Morpurgo |
| 2018 | ECSA | A high-level petri net-based formal model of distributed self-adaptive systems. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra |
| 2018 | ISSRE | Online Model-Based Testing under Uncertainty. | Matteo Camilli, Carlo Bellettini, Angelo Gargantini, Patrizia Scandurra |
| 2017 | SEFM | Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). | Matteo Camilli, Carlo Bellettini, Lorenzo Capra |
| 2017 | SEFM | A Formal Framework for Specifying and Verifying Microservices Based Process Flows. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
| 2017 | SEFM | Towards Inverse Uncertainty Quantification in Software Development (Short Paper). | Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini |
| 2016 | SYNASC | Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
| 2015 | ITiCSE | How Challenging are Bebras Tasks?: An IRT Analysis Based on the Performance of Italian Students. | Carlo Bellettini, Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo, Mauro Torelli |
| 2014 | SYNASC | CTL Model Checking in the Cloud Using MapReduce. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
| 2012 | SYNASC | Symbolic State Space Exploration of RT Systems in the Cloud. | Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga |
| 2011 | SYNASC | Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach. | Carlo Bellettini, Lorenzo Capra |
| 2008 | ICCCN | Reliable Automatic Recognition for Pitch-Shifted Audio. | Carlo Bellettini, Gianluca Mazzini |
| 2008 | SEC | A Product Machine Model for Anomaly Detection of Interposition Attacks on Cyber-Physical Systems. | Carlo Bellettini, Julian L. Rrushi |
| 2005 | SAC | TestUml: user-metrics driven web applications testing. | Carlo Bellettini, Alessandro Marchetto, Andrea Trentini |
| 2004 | MASCOTS | A Quotient Graph for Asymmetric Distributed Systems. | Carlo Bellettini, Lorenzo Capra |
| 2004 | SAC | WebUml: reverse engineering of web applications. | Carlo Bellettini, Alessandro Marchetto, Andrea Trentini |
| 2000 | FQAS | Querying UML/XML Design Information. | Carlo Bellettini, Ernesto Damiani, Maria Grazia Fugini |