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
1211999
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
462005
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
282007
Extracurricular activities for improving the perception of informatics in secondary schools
C Bellettini, V Lonati, D Malchiodi, M Monga, A Morpurgo, M Torelli, ...
International Conference on Informatics in Schools: Situation, Evolution …, 2014
232014
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
232014
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters
C Bellettini, M Camilli, L Capra, M Monga
International workshop on reachability problems, 83-95, 2013
222013
Role based access control models
C Bellettini, E Bertino, E Ferrari
Information security technical report 2 (6), 21-29, 2001
222001
A formal framework for specifying and verifying microservices based process flows
M Camilli, C Bellettini, L Capra, M Monga
International Conference on Software Engineering and Formal Methods, 187-202, 2017
212017
A metamodel for modeling and measuring scrum development process
E Damiani, A Colombo, F Frati, C Bellettini
International Conference on Extreme Programming and Agile Processes in …, 2007
212007
Distributed CTL model checking in the cloud
C Bellettini, M Camilli, L Capra, M Monga
arXiv preprint arXiv:1310.6670, 2013
192013
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
182015
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
182012
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
162014
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
What you see is what you have in mind: constructing mental models for formatted text processing
A Morpurgo, M Torelli
Informatics in schools: local proceedings of the 6th International …, 2013
152013
Merlot: A tool for analysis of real-time specifications
C Bellettini, M Felder, M Pezze
Proceedings of 1993 IEEE 7th International Workshop on Software …, 1993
151993
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
142012
A tool for analysing high-level timed Petri nets
C Bellettini, M Felder, M Pezze
IPTES Esprit Project 5570, 1993
131993
Online model-based testing under uncertainty
M Camilli, C Bellettini, A Gargantini, P Scandurra
2018 IEEE 29th International Symposium on Software Reliability Engineering …, 2018
122018
The system can't perform the operation now. Try again later.
Articles 1–20