![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Carlo Bellettini
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2016
- [j9]Carlo Bellettini
, Matteo Camilli
, Lorenzo Capra
, Mattia Monga
:
Distributed CTL model checking using MapReduce: theory and practice. Concurr. Comput. Pract. Exp. 28(11): 3025-3041 (2016) - 2014
- [j8]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): 15:1-15:6 (2014) - 2010
- [j7]Carlo Bellettini, Gianluca Mazzini:
A Framework for Robust Audio Fingerprinting. J. Commun. 5(5): 409-424 (2010) - 2007
- [j6]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): 229-246 (2007) - 2001
- [j5]Carlo Bellettini
, Ernesto Damiani
, Maria Grazia Fugini
:
Software reuse in-the-small: automating group rewarding. Inf. Softw. Technol. 43(11): 651-660 (2001) - [j4]Carlo Bellettini
, Elisa Bertino, Elena Ferrari
:
Role Based Access Control Models. Inf. Secur. Tech. Rep. 6(2): 21-29 (2001) - 1999
- [j3]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): 215-262 (1999) - [j2]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): 425-472 (1999) - 1996
- [j1]Flavio De Paoli
, Francesco Tisato, Carlo Bellettini
:
HyperReal: A modular control architecture for HRT systems. J. Syst. Archit. 42(6-7): 477-487 (1996)
Conference and Workshop Papers
- 2024
- [c42]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: 102-108 - 2023
- [c41]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: 59-69 - [c40]Carlo Bellettini
, Violetta Lonati
, Mattia Monga
, Anna Morpurgo
:
All Green: How Different Age Groups Solved the Same Bebras Task. ISSEP 2023: 57-68 - 2022
- [c39]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: 54-65 - 2019
- [c38]Matteo Camilli
, Lorenzo Capra
, Carlo Bellettini
:
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. Petri Nets 2019: 80-90 - [c37]Carlo Bellettini, Violetta Lonati
, Mattia Monga
, Anna Morpurgo:
How Pupils Solve Online Problems: An Analytical View. CSEDU (2) 2019: 132-139 - [c36]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: 191-210 - [c35]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 - [c34]Carlo Bellettini
, Violetta Lonati
, Mattia Monga
, Anna Morpurgo
, Martina Palazzolo:
Situated Learning with Bebras Tasklets. ISSEP 2019: 225-239 - 2018
- [c33]Carlo Bellettini
, Fabrizio Carimati, Violetta Lonati
, Riccardo Macoratti, Dario Malchiodi, Mattia Monga
, Anna Morpurgo:
A Platform for the Italian Bebras. CSEDU (1) 2018: 350-357 - [c32]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
:
A high-level petri net-based formal model of distributed self-adaptive systems. ECSA (Companion) 2018: 40:1-40:7 - [c31]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: 194-205 - [c30]Matteo Camilli
, Carlo Bellettini
, Angelo Gargantini
, Patrizia Scandurra
:
Online Model-Based Testing under Uncertainty. ISSRE 2018: 36-46 - 2017
- [c29]Matteo Camilli
, Angelo Gargantini
, Patrizia Scandurra
, Carlo Bellettini
:
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. NFM 2017: 115-130 - [c28]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
:
Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). SEFM Workshops 2017: 168-173 - [c27]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
A Formal Framework for Specifying and Verifying Microservices Based Process Flows. SEFM Workshops 2017: 187-202 - [c26]Matteo Camilli
, Angelo Gargantini
, Patrizia Scandurra
, Carlo Bellettini
:
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). SEFM 2017: 375-381 - 2016
- [c25]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. SYNASC 2016: 165-172 - 2015
- [c24]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: 27-32 - 2014
- [c23]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: 161-172 - [c22]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
CTL Model Checking in the Cloud Using MapReduce. SYNASC 2014: 333-340 - 2013
- [c21]Carlo Bellettini
, Matteo Camilli
, Lorenzo Capra
, Mattia Monga
:
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. RP 2013: 83-95 - 2012
- [c20]Carlo Bellettini
, Matteo Camilli
, Lorenzo Capra
, Mattia Monga
:
Symbolic State Space Exploration of RT Systems in the Cloud. SYNASC 2012: 295-302 - [c19]Carlo Bellettini
, Mattia Monga
, Violetta Lonati
, Anna Morpurgo, Dario Malchiodi, Mauro Torelli:
Exploring the processing of formatted texts by a kynesthetic approach. WiPSCE 2012: 143-144 - 2011
- [c18]Carlo Bellettini
, Lorenzo Capra
:
Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach. SYNASC 2011: 110-117 - 2008
- [c17]Carlo Bellettini, Gianluca Mazzini:
Reliable Automatic Recognition for Pitch-Shifted Audio. ICCCN 2008: 838-843 - [c16]Carlo Bellettini
, Julian L. Rrushi:
Combating Memory Corruption Attacks On Scada Devices. Critical Infrastructure Protection 2008: 141-156 - [c15]Carlo Bellettini
, Julian L. Rrushi:
A Product Machine Model for Anomaly Detection of Interposition Attacks on Cyber-Physical Systems. SEC 2008: 285-300 - 2007
- [c14]Ernesto Damiani, Alberto Colombo, Fulvio Frati, Carlo Bellettini:
A Metamodel for Modeling and Measuring Scrum Development Process. XP 2007: 74-83 - 2005
- [c13]Carlo Bellettini
, Lorenzo Capra
:
Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches. IPDPS 2005 - [c12]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: 342-345 - [c11]Carlo Bellettini
, Alessandro Marchetto
, Andrea Trentini
:
TestUml: user-metrics driven web applications testing. SAC 2005: 1694-1698 - [c10]Carlo Bellettini, Alessandro Marchetto, Andrea Trentini:
Validation of Reverse Engineered Web Application Models. WEC (2) 2005: 125-128 - [c9]Carlo Bellettini, Alessandro Marchetto, Andrea Trentini:
Multi-Dimensional Concerns Mining for Web Applications via Concept-Analysis. WEC (2) 2005: 129-132 - 2004
- [c8]Carlo Bellettini
, Lorenzo Capra
:
A Quotient Graph for Asymmetric Distributed Systems. MASCOTS 2004: 560-568 - [c7]Carlo Bellettini
, Alessandro Marchetto, Andrea Trentini:
WebUml: reverse engineering of web applications. SAC 2004: 1662-1669 - [c6]Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets. PASM 2004: 59-77 - 2000
- [c5]Carlo Bellettini
, Ernesto Damiani, Maria Grazia Fugini:
Querying UML/XML Design Information. FQAS 2000: 538-549 - 1999
- [c4]Carlo Bellettini
, Ernesto Damiani, Maria Grazia Fugini:
User Opinions and Rewards in a Reuse-Based Development System. SSR 1999: 151-158 - 1998
- [c3]Flavio De Paoli
, Francesco Tisato, Carlo Bellettini:
TDA: A Time Driven Engine for Predictable Execution of Realtime Systems. ECOOP Workshops 1998: 519-524 - 1993
- [c2]Carlo Ghezzi, Miguel Felder, Carlo Bellettini:
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. ESEC 1993: 11-36 - [c1]Carlo Bellettini, Miguel Felder, Mauro Pezzè:
Merlot: A Tool for Analysis of Real-Time Specifications. IWSSD 1993: 110-119
Informal and Other Publications
- 2013
- [i3]Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
:
Distributed CTL Model Checking in the Cloud. CoRR abs/1310.6670 (2013) - 2012
- [i2]Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
:
State Space Exploration of RT Systems in the Cloud. CoRR abs/1203.6806 (2012) - 2011
- [i1]Carlo Bellettini, Lorenzo Capra:
Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach. CoRR abs/1107.1166 (2011)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint