Carlo Bellettini
Carlo Bellettini
Associate Professor of Computer Science, Università degli Studi di Milano
Email verificata su unimi.it - Home page
TitoloCitata daAnno
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
1111999
WebUml: reverse engineering of web applications
C Bellettini, A Marchetto, A Trentini
Proceedings of the 2004 ACM symposium on Applied computing, 1662-1669, 2004
622004
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
452005
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
242007
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
182013
Role based access control models
C Bellettini, E Bertino, E Ferrari
Elsevier 6 (2), 21-29, 2001
182001
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
172014
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
172007
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), 15, 2014
152014
Distributed CTL model checking in the cloud
C Bellettini, M Camilli, L Capra, M Monga
arXiv preprint arXiv:1310.6670, 2013
152013
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
152011
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
142015
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
142012
User opinions and rewards in a reuse-based development system
C Bellettini, E Damiani, MG Fugini
Proceedings of the 1999 symposium on Software reusability, 151-158, 1999
131999
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
122013
Merlot: A tool for analysis of real-time specifications
C Bellettini, M Felder, M Pezzè
Proceedings of the 7th international workshop on Software specification and …, 1993
121993
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
112012
A tool for analysing high-level timed Petri nets
C Bellettini, M Felder, M Pezze
IPTES Esprit Project 5570, 1993
111993
A product machine model for anomaly detection of interposition attacks on cyber-physical systems
C Bellettini, JL Rrushi
IFIP International Information Security Conference, 285-300, 2008
102008
New Trends Towards Process Modelling: Spago4Q
G Ruffatti, S Oltolina, D Tura, E Damiani, C Bellettini, A Colombo, F Frati
Trust in Open-Source Software (TOSS), Limerick, 2007
92007
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20