Carlo Bellettini

55 papers A 2B 6C 1Misc 7Journal 12Unranked 26

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