Carlo Bellettini

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 19

Top Topics

Distributed Systems

Teacher Professional Development

Computational Thinking

Top Venues

Publications

Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo
To Be Or Not To Be . . . An Algorithm: The Notion According to Students and Teachers. SIGCSE (1) (2024)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo
All Green: How Different Age Groups Solved the Same Bebras Task. ISSEP (2023)
Carlo Bellettini, Michael Lodi, Violetta Lonati, Mattia Monga, Anna Morpurgo
Davinci Goes to Bebras: A Study on the Problem Solving Ability of GPT-3. CSEDU (2) (2023)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo
How is Two Better Than One? An Observational Study on the Impact of Working in Pairs When Solving Bebras Tasks. ISSEP (2022)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo, Martina Palazzolo
Situated Learning with Bebras Tasklets. ISSEP (2019)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo
How Pupils Solve Online Problems: An Analytical View. CSEDU (2) (2019)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo
An Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI. TACKLE@EC-TEL (2019)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo
Behind the Shoulders of Bebras Teams: Analyzing How They Interact with the Platform to Solve Tasks. CSEDU (Selected Papers) (2019)
Matteo Camilli, Lorenzo Capra, Carlo Bellettini
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. Petri Nets (2019)
Carlo Bellettini, Fabrizio Carimati, Violetta Lonati, Riccardo Macoratti, Dario Malchiodi, Mattia Monga, Anna Morpurgo
A Platform for the Italian Bebras. CSEDU (1) (2018)
Matteo Camilli, Carlo Bellettini, Angelo Gargantini, Patrizia Scandurra
Online Model-Based Testing under Uncertainty. ISSRE (2018)
Carlo Bellettini, Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo
Informatics and Computational Thinking: A Teacher Professional Development Proposal Based on Social-Constructivism. ISSEP (2018)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra
A high-level petri net-based formal model of distributed self-adaptive systems. ECSA (Companion) (2018)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra
Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). SEFM Workshops (2017)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). SEFM (2017)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. NFM (2017)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
A Formal Framework for Specifying and Verifying Microservices Based Process Flows. SEFM Workshops (2017)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. SYNASC (2016)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Distributed CTL model checking using MapReduce: theory and practice. Concurr. Comput. Pract. Exp. 28 (11) (2016)
Carlo Bellettini, Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo, Mauro Torelli
How Challenging are Bebras Tasks?: An IRT Analysis Based on the Performance of Italian Students. ITiCSE (2015)
Carlo Bellettini, Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo, Mauro Torelli, Luisa Zecca
Informatics Education in Italian Secondary Schools. ACM Trans. Comput. Educ. 14 (2) (2014)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
CTL Model Checking in the Cloud Using MapReduce. SYNASC (2014)
Carlo Bellettini, Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo, Mauro Torelli, Luisa Zecca
Extracurricular Activities for Improving the Perception of Informatics in Secondary Schools. ISSEP (2014)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Distributed CTL Model Checking in the Cloud. CoRR (2013)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. RP (2013)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
State Space Exploration of RT Systems in the Cloud CoRR (2012)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Symbolic State Space Exploration of RT Systems in the Cloud. SYNASC (2012)
Carlo Bellettini, Mattia Monga, Violetta Lonati, Anna Morpurgo, Dario Malchiodi, Mauro Torelli
Exploring the processing of formatted texts by a kynesthetic approach. WiPSCE (2012)
Carlo Bellettini, Lorenzo Capra
Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach CoRR (2011)
Carlo Bellettini, Lorenzo Capra
Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach. SYNASC (2011)
Carlo Bellettini, Gianluca Mazzini
A Framework for Robust Audio Fingerprinting. J. Commun. 5 (5) (2010)
Carlo Bellettini, Gianluca Mazzini
Reliable Automatic Recognition for Pitch-Shifted Audio. ICCCN (2008)
Carlo Bellettini, Julian L. Rrushi
Combating Memory Corruption Attacks On Scada Devices. Critical Infrastructure Protection (2008)
Carlo Bellettini, Julian L. Rrushi
A Product Machine Model for Anomaly Detection of Interposition Attacks on Cyber-Physical Systems. SEC (2008)
Carlo Bellettini, Lorenzo Capra, Mattia Monga
Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management. Perform. Evaluation 64 (3) (2007)
Ernesto Damiani, Alberto Colombo, Fulvio Frati, Carlo Bellettini
A Metamodel for Modeling and Measuring Scrum Development Process. XP (2007)
Carlo Bellettini, Lorenzo Capra, Mattia Monga
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets. Electron. Notes Theor. Comput. Sci. 128 (4) (2005)
Carlo Bellettini, Alessandro Marchetto, Andrea Trentini
Validation of Reverse Engineered Web Application Models. WEC (2) (2005)
Carlo Bellettini, Lorenzo Capra
Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches. IPDPS (2005)
Carlo Bellettini, Alessandro Marchetto, Andrea Trentini
Multi-Dimensional Concerns Mining for Web Applications via Concept-Analysis. WEC (2) (2005)
Carlo Bellettini, Alessandro Marchetto, Andrea Trentini
TestUml: user-metrics driven web applications testing. SAC (2005)
Sebastian Blom, Carlo Bellettini, Anna Sinigalliesi, Luca Stabellini, Michele Rossi, Gianluca Mazzini
Transmission Power Measurements for Wireless Sensor Nodes and their Relationship to the Battery Level. ISWCS (2005)
Carlo Bellettini, Alessandro Marchetto, Andrea Trentini
WebUml: reverse engineering of web applications. SAC (2004)
Carlo Bellettini, Lorenzo Capra
A Quotient Graph for Asymmetric Distributed Systems. MASCOTS (2004)
Carlo Bellettini, Ernesto Damiani, Maria Grazia Fugini
Software reuse in-the-small: automating group rewarding. Inf. Softw. Technol. 43 (11) (2001)
Carlo Bellettini, Elisa Bertino, Elena Ferrari
Role Based Access Control Models. Inf. Secur. Tech. Rep. 6 (2) (2001)
Carlo Bellettini, Ernesto Damiani, Maria Grazia Fugini
Querying UML/XML Design Information. FQAS (2000)
Carlo Bellettini, Ernesto Damiani, Maria Grazia Fugini
User Opinions and Rewards in a Reuse-Based Development System. SSR (1999)
Ernesto Damiani, Maria Grazia Fugini, Carlo Bellettini
A Hierarchy-aware Approach to Faceted Classification of Objected-Oriented Components. ACM Trans. Softw. Eng. Methodol. 8 (3) (1999)
Ernesto Damiani, Maria Grazia Fugini, Carlo Bellettini
Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components. ACM Trans. Softw. Eng. Methodol. 8 (4) (1999)
Flavio De Paoli, Francesco Tisato, Carlo Bellettini
TDA: A Time Driven Engine for Predictable Execution of Realtime Systems. ECOOP Workshops (1998)
Flavio De Paoli, Francesco Tisato, Carlo Bellettini
HyperReal: A modular control architecture for HRT systems. J. Syst. Archit. 42 (6-7) (1996)
Carlo Bellettini, Miguel Felder, Mauro Pezzè
Merlot: A Tool for Analysis of Real-Time Specifications. IWSSD (1993)
Carlo Ghezzi, Miguel Felder, Carlo Bellettini
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. ESEC (1993)