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 | 123 | 1999 |
WebUml: reverse engineering of web applications C Bellettini, A Marchetto, A Trentini Proceedings of the 2004 ACM symposium on Applied computing, 1662-1669, 2004 | 73 | 2004 |
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 | 48 | 2005 |
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 | 37 | 2014 |
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 | 35 | 2007 |
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 | 33 | 2018 |
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 | 31 | 2015 |
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 | 28 | 2014 |
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 | 28 | 2013 |
Online model-based testing under uncertainty M Camilli, C Bellettini, A Gargantini, P Scandurra 2018 IEEE 29th International Symposium on Software Reliability Engineering …, 2018 | 27 | 2018 |
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 | 25 | 2016 |
Role based access control models C Bellettini, E Bertino, E Ferrari Information security technical report 6 (2), 21-29, 2001 | 24 | 2001 |
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 | 23 | 2007 |
Distributed CTL model checking in the cloud C Bellettini, M Camilli, L Capra, M Monga arXiv preprint arXiv:1310.6670, 2013 | 22 | 2013 |
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 | 21 | 2014 |
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 | 17 | 2012 |
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 | 16 | 2018 |
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 | 16 | 2017 |
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 | 16 | 2011 |
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 | 15 | 2013 |