Follow
Carlo Bellettini
Carlo Bellettini
Associate Professor of Computer Science, Università degli Studi di Milano
Verified email at unimi.it - Homepage
Title
Cited by
Cited by
Year
A hierarchy-aware approach to faceted classification of objected-oriented components
E Damiani, MG Fugini, C Bellettini
ACM Transactions on Software Engineering and Methodology (TOSEM) 8 (3), 215-262, 1999
1241999
WebUml: reverse engineering of web applications
C Bellettini, A Marchetto, A Trentini
Proceedings of the 2004 ACM symposium on Applied computing, 1662-1669, 2004
732004
TestUml: user-metrics driven web applications testing
C Bellettini, A Marchetto, A Trentini
Proceedings of the 2005 ACM symposium on Applied computing, 1694-1698, 2005
482005
Informatics education in Italian secondary schools
C Bellettini, V Lonati, D Malchiodi, M Monga, A Morpurgo, M Torelli, ...
ACM Transactions on Computing Education (TOCE) 14 (2), 1-6, 2014
402014
Vulnerability analysis of SCADA protocol binaries through detection of memory access taintedness
C Bellettini, JL Rrushi
2007 IEEE SMC Information Assurance and Security Workshop, 341-348, 2007
352007
A formal framework for specifying and verifying microservices based process flows
M Camilli, C Bellettini, L Capra, M Monga
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018
342018
How challenging are Bebras tasks? An IRT analysis based on the performance of Italian students
C Bellettini, V Lonati, D Malchiodi, M Monga, A Morpurgo, M Torelli
Proceedings of the 2015 ACM conference on innovation and technology in …, 2015
322015
Extracurricular activities for improving the perception of informatics in secondary schools
C Bellettini, V Lonati, D Malchiodi, M Monga, A Morpurgo, M Torelli, ...
Informatics in Schools. Teaching and Learning Perspectives: 7th …, 2014
312014
Online model-based testing under uncertainty
M Camilli, C Bellettini, A Gargantini, P Scandurra
2018 IEEE 29th International Symposium on Software Reliability Engineering …, 2018
292018
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters
C Bellettini, M Camilli, L Capra, M Monga
Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden …, 2013
292013
Distributed CTL model checking using MapReduce: theory and practice
C Bellettini, M Camilli, L Capra, M Monga
Concurrency and Computation: Practice and Experience 28 (11), 3025-3041, 2016
242016
A metamodel for modeling and measuring scrum development process
E Damiani, A Colombo, F Frati, C Bellettini
Agile Processes in Software Engineering and Extreme Programming: 8th …, 2007
242007
Role based access control models
C Bellettini, E Bertino, E Ferrari
Information security technical report 6 (2), 21-29, 2001
242001
CTL model checking in the cloud using mapreduce
M Camilli, C Bellettini, L Capra, M Monga
2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014
222014
Distributed CTL model checking in the cloud
C Bellettini, M Camilli, L Capra, M Monga
arXiv preprint arXiv:1310.6670, 2013
222013
Exploring the processing of formatted texts by a kynesthetic approach
C Bellettini, M Monga, V Lonati, A Morpurgo, D Malchiodi, M Torelli
Proceedings of the 7th workshop in primary and secondary computing education …, 2012
172012
A high-level petri net-based formal model of distributed self-adaptive systems
M Camilli, C Bellettini, L Capra
Proceedings of the 12th European Conference on Software Architecture …, 2018
162018
Towards inverse uncertainty quantification in software development (short paper)
M Camilli, A Gargantini, P Scandurra, C Bellettini
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
162017
Symbolic state space exploration of RT systems in the cloud
C Bellettini, M Camilli, L Capra, M Monga
2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012
162012
Reachability analysis of time basic Petri nets: A time coverage approach
C Bellettini, L Capra
2011 13th International Symposium on Symbolic and Numeric Algorithms for …, 2011
162011
The system can't perform the operation now. Try again later.
Articles 1–20