Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. - Carlo Ghezzi; Miguel Felder; Carlo Bellettini (ESEC, 1993)

Merlot: A Tool for Analysis of Real-Time Specifications. - Carlo Bellettini; Miguel Felder; Mauro Pezzè (IWSSD, 1993)

HyperReal: A modular control architecture for HRT systems. - Flavio De Paoli; Francesco Tisato; Carlo Bellettini (J. Syst. Archit., 1996)

TDA: A Time Driven Engine for Predictable Execution of Realtime Systems. - Flavio De Paoli; Francesco Tisato; Carlo Bellettini (ECOOP Workshops, 1998)

User Opinions and Rewards in a Reuse-Based Development System. - Carlo Bellettini; Ernesto Damiani; Maria Grazia Fugini (SSR, 1999)

A Hierarchy-aware Approach to Faceted Classification of Objected-Oriented Components. - Ernesto Damiani; Maria Grazia Fugini; Carlo Bellettini (ACM Trans. Softw. Eng. Methodol., 1999)

Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components. - Ernesto Damiani; Maria Grazia Fugini; Carlo Bellettini (ACM Trans. Softw. Eng. Methodol., 1999)

Querying UML/XML Design Information. - Carlo Bellettini; Ernesto Damiani; Maria Grazia Fugini (FQAS, 2000)

Software reuse in-the-small: automating group rewarding. - Carlo Bellettini; Ernesto Damiani; Maria Grazia Fugini (Inf. Softw. Technol., 2001)

Role Based Access Control Models. - Carlo Bellettini; Elisa Bertino; Elena Ferrari 001 (Inf. Secur. Tech. Rep., 2001)

A Quotient Graph for Asymmetric Distributed Systems. - Carlo Bellettini; Lorenzo Capra (MASCOTS, 2004)

WebUml: reverse engineering of web applications. - Carlo Bellettini; Alessandro Marchetto 001; Andrea Trentini (SAC, 2004)

Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets. - Carlo Bellettini; Lorenzo Capra; Mattia Monga (PASM, 2004)

Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches. - Carlo Bellettini; Lorenzo Capra (IPDPS, 2005)

Transmission Power Measurements for Wireless Sensor Nodes and their Relationship to the Battery Level. - Sebastian Blom; Carlo Bellettini; Anna Sinigalliesi; Luca Stabellini; Michele Rossi; Gianluca Mazzini (ISWCS, 2005)

TestUml: user-metrics driven web applications testing. - Carlo Bellettini; Alessandro Marchetto 001; Andrea Trentini (SAC, 2005)

Validation of Reverse Engineered Web Application Models. - Carlo Bellettini; Alessandro Marchetto 001; Andrea Trentini (WEC (2), 2005)

Multi-Dimensional Concerns Mining for Web Applications via Concept-Analysis. - Carlo Bellettini; Alessandro Marchetto 001; Andrea Trentini (WEC (2), 2005)

A Metamodel for Modeling and Measuring Scrum Development Process. - Ernesto Damiani; Alberto Colombo; Fulvio Frati; Carlo Bellettini (XP, 2007)

Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management. - Carlo Bellettini; Lorenzo Capra; Mattia Monga (Perform. Evaluation, 2007)

Reliable Automatic Recognition for Pitch-Shifted Audio. - Carlo Bellettini; Gianluca Mazzini (ICCCN, 2008)

Combating Memory Corruption Attacks On Scada Devices. - Carlo Bellettini; Julian L. Rrushi (Critical Infrastructure Protection, 2008)

A Product Machine Model for Anomaly Detection of Interposition Attacks on Cyber-Physical Systems. - Carlo Bellettini; Julian L. Rrushi (SEC, 2008)

A Framework for Robust Audio Fingerprinting. - Carlo Bellettini; Gianluca Mazzini (J. Commun., 2010)

Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach. - Carlo Bellettini; Lorenzo Capra (SYNASC, 2011)

Symbolic State Space Exploration of RT Systems in the Cloud. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (SYNASC, 2012)

Exploring the processing of formatted texts by a kynesthetic approach. - Carlo Bellettini; Mattia Monga; Violetta Lonati; Anna Morpurgo; Dario Malchiodi; Mauro Torelli (WiPSCE, 2012)

State Space Exploration of RT Systems in the Cloud - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (CoRR, 2012)

MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (RP, 2013)

Distributed CTL Model Checking in the Cloud. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (CoRR, 2013)

Extracurricular Activities for Improving the Perception of Informatics in Secondary Schools. - Carlo Bellettini; Violetta Lonati; Dario Malchiodi; Mattia Monga; Anna Morpurgo; Mauro Torelli; Luisa Zecca (ISSEP, 2014)

CTL Model Checking in the Cloud Using MapReduce. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra; Mattia Monga (SYNASC, 2014)

Informatics Education in Italian Secondary Schools. - Carlo Bellettini; Violetta Lonati; Dario Malchiodi; Mattia Monga; Anna Morpurgo; Mauro Torelli; Luisa Zecca (ACM Trans. Comput. Educ., 2014)

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 (ITiCSE, 2015)

Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra; Mattia Monga (SYNASC, 2016)

Distributed CTL model checking using MapReduce: theory and practice. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (Concurr. Comput. Pract. Exp., 2016)

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra; Carlo Bellettini (NFM, 2017)

Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). - Matteo Camilli; Carlo Bellettini; Lorenzo Capra (SEFM Workshops, 2017)

A Formal Framework for Specifying and Verifying Microservices Based Process Flows. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra; Mattia Monga (SEFM Workshops, 2017)

Towards Inverse Uncertainty Quantification in Software Development (Short Paper). - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra; Carlo Bellettini (SEFM, 2017)

A Platform for the Italian Bebras. - Carlo Bellettini; Fabrizio Carimati; Violetta Lonati; Riccardo Macoratti; Dario Malchiodi; Mattia Monga; Anna Morpurgo (CSEDU (1), 2018)

A high-level petri net-based formal model of distributed self-adaptive systems. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra (ECSA (Companion), 2018)

Informatics and Computational Thinking: A Teacher Professional Development Proposal Based on Social-Constructivism. - Carlo Bellettini; Violetta Lonati; Dario Malchiodi; Mattia Monga; Anna Morpurgo (ISSEP, 2018)

Online Model-Based Testing under Uncertainty. - Matteo Camilli; Carlo Bellettini; Angelo Gargantini; Patrizia Scandurra (ISSRE, 2018)

PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. - Matteo Camilli; Lorenzo Capra; Carlo Bellettini (Petri Nets, 2019)

How Pupils Solve Online Problems: An Analytical View. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo (CSEDU (2), 2019)

Behind the Shoulders of Bebras Teams: Analyzing How They Interact with the Platform to Solve Tasks. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo (CSEDU (Selected Papers), 2019)

An Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo (TACKLE@EC-TEL, 2019)

Situated Learning with Bebras Tasklets. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo; Martina Palazzolo (ISSEP, 2019)

How is Two Better Than One? An Observational Study on the Impact of Working in Pairs When Solving Bebras Tasks. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo (ISSEP, 2022)

Davinci Goes to Bebras: A Study on the Problem Solving Ability of GPT-3. - Carlo Bellettini; Michael Lodi; Violetta Lonati; Mattia Monga; Anna Morpurgo (CSEDU (2), 2023)

All Green: How Different Age Groups Solved the Same Bebras Task. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo (ISSEP, 2023)

To Be Or Not To Be . . . An Algorithm: The Notion According to Students and Teachers. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo (SIGCSE (1), 2024)