Ing. Carlo Bellettini

Transcript

1 Ing. Carlo Bellettini professore associato dal 2002 TEMI DI RICERCA L attività di ricerca svolta da Carlo Bellettini si è incentrata su alcuni aspetti legati all area dell ingegneria del software e più recentemente anche della divulgazione e didattica dell informatica. In particolare nell ambito della Ingegneria del Software si è occupato di: - Analisi e testing (di applicazioni web) - Tecniche di analisi di reti di Petri ad alto livello (in particolare per sistemi real-time) - Implementazione distribuita (anche sul cloud) di tecniche di analisi e verifica - Modellazione e valutazione performance di applicazioni reali mediante reti stocastiche - Metodologie Agili Nell ambito della divulgazione e didattica dell informatica ha svolto le seguenti attività: - Formazione degli insegnanti delle superiori - Ideazione e Esecuzione di Laboratori specifici per studenti delle scuole medie inferiori e superiori - Coautore della trasmissione radiofonica Digito ergo sum andata in onda nel 2011 e nel 2012 su Radio Popolare Tali attività di ricerca sono dimostrate anche dalle seguenti pubblicazioni. PUBBLICAZIONI (elenco parziale) CTL model checking in the cloud using MapReduce / M. Camilli, C. Bellettini, L. Capra, M. Monga - In: 16. International symposium on symbolic and numeric algorithms for scientific computing : SYNASC 2014 : September 2014, Timisoara, Romania : proceedings / [a cura di] F. Winkler, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt, D. Zaharie. - Piscataway (New Jersey) : IEEE Computer society, 2015 Feb. - ISBN pp Intervento presentato al 16. convegno International symposium on symbolic and numeric algorithms for scientific computing (SYNASC) tenutosi a Timisoara (Romania) nel Informatics education in italian secondary schools / C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli, L. Zecca. - In: ACM TRANSACTIONS ON COMPUTING EDUCATION. - ISSN :2 (2014 Jun), pp Extracurricular Activities for Improving the Perception of Informatics in Secondary Schools / C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli, L. Zecca - In: Informatics in Schools. Teaching and Learning Perspectives / [a cura di] Y. Gülbahar, E. Karataş. - [s.l] : Springer International Publishing, ISBN pp Intervento presentato al 7. convegno ISSEP tenutosi a İstanbul nel What you see is what you have in mind : constructing mental models for formatted text processing / C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli - In: Informatics in schools : local proceedings of the 6th International Conference ISSEP 2013 : selected papers : Oldenburg, Germany, February 26 march 2, 2013 / [a cura di] I. Diethelm, J. Arndt, M. Dünnebier, J. Syrbe. - Potsdam : Universitätsverlag Potsdam, ISBN pp Intervento presentato al 6. convegno Informatics in School - ISSEP tenutosi a Oldenburg nel Teaching informatics for fun and profit / C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli - In: Science education and guidance in schools: the way forward : proceedings of the international workshop, October 2013 Auditorium Sant Apollonia, Florence, Italy / [a cura di] A. Raschi, A. Di Fabio, L. Sebastiani. - Pisa : Edizioni ETS, ISBN pp convegno Science Education and Guidance in Schools: The Way Forward tenutosi a Firenze nel MaRDiGraS : simplified building of reachability graphs on large clusters / C. Bellettini, M. Camilli, L. Capra, M. Monga - In: Reachability problems : 7th International workshop, RP 2013 : Uppsala, Sweden, september 24-26, 2013 : proceedings / [a cura di] P.A. Abdulla, I. Potapov. - Berlin : Springer,

2 ISBN pp Intervento presentato al 7. convegno Reachability Problems tenutosi a Uppsala nel Symbolic state space exploration of RT systems in the cloud / C. Bellettini, M. Camilli, L. Capra, M. Monga - In: 14. International symposium on symbolic and numeric algorithms for scientific computing: SYNASC 2012 : September 2012, Timisoara, Romania : proceedings / [a cura di] A. Voronkov, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt, D. Zaharie. - Los Alamitos : IEEE Computer society, ISBN pp Intervento presentato al 14. convegno International symposium on symbolic and numeric algorithms for scientific computing (SYNASC) tenutosi a Timisoara (Romania) nel Exploring the processing of formatted texts by a kynesthetic approach / C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli - In: Proceeding WiPSCE '12 Proceedings of the 7th Workshop in Primary and Secondary Computing Education. - New York : Association for computing machinery, ISBN pp Intervento presentato al 7. convegno Workshop in Primary and Secondary Computing Education tenutosi a Hamburg nel Reachability analysis of time basic Petri Nets : a time coverage approach / C. Bellettini, L. Capra - In: 13th International symposium on symbolic and numeric algorithms for scientific computing : Timişoara, Romania September 2011 : proceedings / [a cura di] D. Wang,V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt, D. Zaharie. - Los Alamitos : IEEE Computer Society, ISBN pp Intervento presentato al 13. convegno International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) tenutosi a Timisoara nel A product machine model for anomaly detection of interposition attacks on cyber-physical systems / C. Bellettini, J.L. Rrushi - In: Proceedings of the IFIP TC international information security conference : IFIP 20. World computer congress, IFIP SEC'08, September 7-10, 2008, Milano, Italy / [a cura di] S. Jajodia, P. Samarati, S. Cimato. - New York : Springer, ISBN pp Intervento presentato al 23. convegno International Information Security Conference tenutosi a Milano nel Memory corruption attacks, defenses, and evasions / C. Bellettini, J.L. Rrushi - In: Handbook of Research on Information Security and Assurance / [a cura di] J.N.D. Gupta, S. Sharma. - Hershey : Idea Group Reference, 2008 Aug. - ISBN pp Combating memory corruption attacks on SCADA devices / C. Bellettini, J. L. Rrushi. - In: IFIP INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING. - ISSN (2008), pp A metamodel for modeling and measuring scrum development process / Ernesto Damiani, Alberto Colombo, Fulvio Frati, Carlo Bellettini - In: Agile processes in software engineering and extreme programming : 8. international conference, XP 2007 : Como, Italy, june 18-22, 2007 : proceedings / [a cura di] Giulio Concas... [et al.]. - Berlin : Springer, ISBN pp Intervento presentato al 8. convegno International Conference on Agile Processes in Software Engineering and Extreme Programming (XP) tenutosi a Como, Italy nel SCADA Protocol Obfuscation: A Proactive Defense Line in SCADA Systems / Carlo Bellettini, J.L. Rrushi - In: Proceedings of the SCADA Security Scientific Symposium 2007 / [a cura di] Dale Peterson. - Sunrise, FL : Digital Bond Press, ISBN convegno SCADA Security Scientific Symposium tenutosi a Miami nel Using a stochastic well-formed net model for assessing a decentralized approach to configuration management / C. Bellettini, L. Capra, M. Monga. - In: PERFORMANCE EVALUATION. - ISSN :3 (2007 Mar), pp Vulnerability Analysis of SCADA Protocol Binaries through Detection of Memory Access Taintedness / C. Bellettini, J.L. Rrushi - In: Information Assurance and Security Workshop, IAW '07. IEEE SMCNew York : IEEE, 2007 Jun. - ISBN pp Intervento presentato al 8. convegno Information Assurance and Security Workshop tenutosi a West Point, N.Y., USA nel Quotient graphs for the analysis of asymmetric distributed systems : surveying two alternative approaches / C. Bellettini, L. Capra - In: Proceedings of the 19th IEEE International parallel and distributed processing symposium, IPDPS 05 : Denver, Colorado, USA, 2005 / [a cura di] G. Min, M. Ould-Khaoua. - Los Alamitos : IEEE Computer Society, ISBN Intervento presentato al 19. convegno International Parallel and Distributed Processing Symposium (IPDPS) tenutosi a Denver, USA nel Quantitative assessment of a peer-to-peer cooperative infrastructure using Stochastic Well-Formed Nets / C. Bellettini, L. Capra, M. Monga. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN :4 (2005), pp TESTUML: user metrics driven web application testing / C. Bellettini, A. Marchetto, A. Trentini - In: Proceedings of the 20th annual ACM symposium on applied computing : Santa Fe, New Mexico, March 13-17, 2005 / [a cura di] L.M. Liebrock. - New York : ACM Press, ISBN pp Intervento presentato al 20. convegno ACM Symposium on Applied Computing tenutosi a Santa Fe, New Mexico, USA nel 2005.

3 Fuzzy selection of software components and of Web services / Carlo Bellettini, MariaGrazia Fugini, PierLuigi Plebani - In: Soft computing in software engineering / Ernesto Damiani, Lakhmi C. Jain, Mauro Madravio. - Berlin : Springer, ISBN pp A quotient graph for asymmetric distributed systems / C. Bellettini, L. Capra - In: MASCOTS 2004 : proceedings of the twelfth IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems : 4-8 October 2004, Volendam, The Netherlands / [a cura di] D. DeGroot, P.G. Harrison. - Los Alamitos : IEEE Computer Society, ISBN pp Intervento presentato al 12. convegno International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS) tenutosi a Volendam, The Netherlands nel A comparative assessment of peer-to-peer and server-based configuration management systems / C. Bellettini, L. Capra, M. Monga - In: Proceedings of the Workshop on Cooperative Support for Distributed Software Engineering Processes(CSSE'04) / [a cura di] A. De Lucia, H.C. Gall, S. Dustdar. - Wien : Austrian Computer Society, 2004 Sep. - ISBN pp convegno Workshop on Cooperative Support tenutosi a Linz, Austria nel Local symmetries exploitation for the analysis of asymmetric distributed systems / L. Capra, C. Bellettini - In: Symbolic and numeric algorithms for scientific computation : SYNASC 04 : 6th international symposium, Timişoara, Romania, September 26-30, 2004 : proceedings / [a cura di] D. Petcu. - Timişoara : Mirton, ISBN pp Intervento presentato al 5. convegno International Symposium on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC) tenutosi a Timisoara, Romania nel WebUml: reverse engineering of web applications / C. Bellettini, A. Marchetto, A. Trentini - In: Proceedings of the 2004 ACM symposium on applied computing : 2004, Nicosia, Cyprus, March 14-17, 2004 / [a cura di] L. M. Liebrock. - New York : ACM, ISBN pp convegno Symposium on Applied Computing tenutosi a Nycosia, Cyprus nel Role based access control models / C. Bellettini, E. Bertino, E. Ferrari. - In: INFORMATION SECURITY TECHNICAL REPORT. - ISSN :2 (2001), pp Software reuse in-the-small : automating group rewarding / C. Bellettini, E. Damiani, M.G. Fugini. - In: INFORMATION AND SOFTWARE TECHNOLOGY. - ISSN :11(2001), pp Querying UML/XMI Design Information / C. Bellettini, E. Damiani, M.G. Fugini - In: Flexible Query Answering Systems / [a cura di] H.L. Larsen, J. Kacprzyk, S. Zadrozny, T. Andreasen, H. Christiansen. - [s.l] : Physica Verlag Heidelberg, ISBN pp Intervento presentato al 4th. convegno International Conference on Flexible Query Answering Systems tenutosi a Warsaw nel User opinions and rewards in a reuse-based development system / C. Bellettini, E. Damiani, M.G. Fugini - In: Proceedings of the 1999 symposium on software reusability : Los Angeles, California, United States, may 21-23, 1999New York : Association for computer machinery, ISBN pp Intervento presentato al 5. convegno Symposium on Software Reusability tenutosi a Los Angeles nel A hierarchy-aware approach to faceted classification of objected-oriented components / E. Damiani, M.G. Fugini, C. Bellettini. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN X. - 8:3(1999), pp HyperReal : a modular control architecture for HRT systems / F. De Paoli, F. Tisato, C. Bellettini. - In: JOURNAL OF SYSTEMS ARCHITECTURE. - ISSN :6/7(1996), pp Merlot: a tool for analysis of real-time specifications / C. Bellettini, M. Felder, M. Pezze - In: Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on [s.l] : IEEE, ISBN pp convegno International Workshop on Software Specification and Design. TUTOR DEI SEGUENTI STUDENTI DI DOTTORATO: : Matteo Camilli XXVII ciclo : Julian Rrushi XXI ciclo : Alessandro Marchetto XIX ciclo

4 INCARICHI DIDATTICI (omessi quelli precedenti al 2006) Progettazione del software in gruppi di lavoro complessi (48 ore) Laurea Magistrale in Informatica Progettazione del Software (72 ore) Didattica 1 - Progettazione di sistemi informatici e pensiero computazionale (12 ore) Corsi TFA A Progettazione del Software e Laboratorio (120 ore) Tecniche Evolute di Progettazione e Sviluppo del Software (4 ore) Dottorato di ricerca in Informatica Progettazione del Software (72 ore) Progettazione del Software e Laboratorio (120 ore) Process and Interactive Systems Design (8 ore) Dottorato di ricerca in Informatica Laboratorio di BioInformatica (30 ore) Laurea in dietistica Laboratorio di BioInformatica (30 ore) Laurea in dietistica Laboratorio reti di calcolatori SILSIS Informatica classe di abilitazione 42A (IX ciclo)

5 Sistemi Operativi e Distribuiti (48 ore) Laurea Triennale in Comunicazione Digitale Architettura dei calcolatori Corso speciale DM Sistemi Operativi e Distribuiti (48 ore) Laurea Triennale in Comunicazione Digitale ALTRI INCARICHI ISTITUZIONALI (elenco parziale) 2012-ora membro della giunta del Dipartimento di Informatica referente del corso di laurea triennale in Informatica Musicale membro della giunta della Facoltà di SS.MM.FF.NN membro della giunta del Dipartimento di Informatica e Comunicazione Presidente della Commissione Orientamento in Uscita del Dipartimento di Informatica e Comunicazione PROGETTI FINANZIATI 2013 Responsabile del progetto finanziato da Regione Lombardia PROGETTAZIONE E SVILUPPO DI UN SERVIZIO CAPACE DI FORNIRE NOTIZIE E INFORMAZIONI SULLE VARIE RISORSE SOCIALI PUBBLICHE E PRIVATE, INTEGRANDO IN MANIERA INNOVATIVA I DATI PROVENIENTI DAGLI ENTI LOCALI E ASSOCIAZIONI COINVOLTE