Recent Publications

“Spesso mi rattristo rileggendo le cose che ho fatto: ma in fondo non me ne cruccio mai soverchiamente perché posso dire, in piena coscienza, che mi sono sempre arrabattato per non farle. Sempre mi sono sforzato di rimandarle a domani.”
— Giovannino Guareschi, Don Camillo e il suo gregge

o C. Bellettini, V. Lonati, M. Monga, A. Morpurgo "To be or not to be... an algorithm: the notion according to students and teachers", SIGCSE24: Proceedings of the 55th ACM Technical Symposium on Computer Science Education Portland OR, USA, 2024 BibTeX
Online version
AIR Unimi
o E. Nardelli, F. Lacchia, R. Davoli, M. Lodi, M. Sbaraglia, V. Rossano, E. Gentile, V. Lonati, M. Monga, A. Morpurgo, L. Forlizzi, G. Melideo, S. Capecchi, I. Fronza, T. Vardanega "Learning Iteration for Grades 2-3: Puzzles vs. UMC in Code.org", Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2 Toronto ON, Canada, 2023 BibTeX
Online version
AIR Unimi
* M.-J. Laakso, M. Monga "ITiCSE 2023 Preview", SIGCSE Bull. 55(2) , 2023 BibTeX
Online version
AIR Unimi
o AA.VV. "[ITADINFO] Convegno Italiano sulla Didattica dell’Informatica", Università degli Studi di Bari Aldo Moro, 2023 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, M. Monga, A. Morpurgo "All Green: How Different Age Groups Solved the Same Bebras Task", Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education (Outstanding paper award winner) Lausanne, Switzerland, 2023 BibTeX
Online version
AIR Unimi
* M. Begum, P. Haglund, A. Korhonen, V. Lonati, M. Monga, F. Strömbäck, A. Tilanterä "Empirical Evaluation of a Differentiated Assessment of Data Structures: The Role of Prerequisite Skills", Informatics in Education 23(1) , 2024 BibTeX
Online version
AIR Unimi
o C. Bellettini, M. Lodi, V. Lonati, M. Monga, A. Morpurgo "DaVinci goes to Bebras: a study on the problem solving ability of GPT-3", Proceedings of the 15th International Conference on Computer Supported Education — Volume 2 (CSEDU 2023) Prague, Czech Republic, 2023 BibTeX
Online version
AIR Unimi
* V. Lonati, C. Mirolo, M. Monga "Di cosa parliamo quando parliamo di `programmi'", Mondo Digitale 20(97) , 2022 BibTeX
Online version
AIR Unimi
* M. Monga "L'importanza di chiamarlo file", Mondo Digitale 21(94) , 2022 BibTeX
Online version
AIR Unimi
o V. Lonati, A. Brodnik, T. Bell, A. P. Csizmadia, L. De Mol, H. Hickman, T. Keane, C. Mirolo, M. Monga "What We Talk About When We Talk About Programs", Proceedings of the 2022 Working Group Reports on Innovation and Technology in Computer Science Education Dublin, Ireland, 2022 BibTeX
Online version
AIR Unimi
o V. Lonati, A. Brodnik, T. Bell, {Andrew Paul} Csizmadia, L. De Mol, H. Hickman, T. Keane, C. Mirolo, M. Monga, M. Tedre "Characterizing the Nature of Programs for Educational Purposes", Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 2 Dublin, Ireland, 2022 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, M. Monga, A. Morpurgo "How is Two Better Than One? An Observational Study on the Impact of Working in Pairs When Solving Bebras Tasks", Informatics in Schools. A Step Beyond Digital Education ISSEP 2022 (Best paper award winner) Vienna, Austria, 2022 BibTeX
Online version
AIR Unimi
o V. Lonati, C. Mirolo, M. Monga "Di cosa parliamo quando parliamo di `programmi'", DidaMatica 2022 (“Best paper of DidaMatica 2022”.) Milano, Italy, 2022 BibTeX
o A. Brodnik, A. Csizmadia, G. Futschek, L. Kralj, V. Lonati, P. Micheuz, M. Monga "Programming for All: Understanding the Nature of Programs", BibTeX
Online version
o M. Monga "Eiffel nello sviluppo software in gruppi di lavoro complessi", KDP, 2021 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo "Algomotricità: manipolare i fondamenti dell’informatica", Coding e oltre: l'informatica nella scuola Lisciani Scuola , 2020 BibTeX
Online version
AIR Unimi
o G. L. Nelson, F. Strömbäck, A. Korhonen, M. Begum, B. Blamey, K. H. Jin, V. Lonati, B. MacKellar, M. Monga "Differentiated Assessments for Advanced Courses that Reveal Issues with Prerequisite Skills: A Design Investigation", Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education Trondheim, Norway, 2020 BibTeX
Online version
AIR Unimi
o G. L. Nelson, F. Strömbäck, A. Korhonen, I. Albluwi, M. Begum, B. Blamey, K. H. Jin, V. Lonati, B. MacKellar, M. Monga "Assessing How Pre-Requisite Skills Affect Learning of Advanced Concepts", Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education Trondheim, Norway, 2020 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, M. Monga, A. Morpurgo "Behind the Shoulders of Bebras Teams: Analyzing How They Interact with the Platform to Solve Tasks", Computer Supported Education Cham, 2020 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, M. Monga, A. Morpurgo "An analysis of the performance of Italian schools in Bebras and in the national student assessment INVALSI", Proceedings of the 2nd Systems of Assessments for Computational Thinking Learning Workshop (TACKLE 2019) Delft, The Netherlands, 2019 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, M. Monga, A. Morpurgo, M. Palazzolo "Situated learning with Bebras tasklets", Informatics in Schools. Fundamentals of Computer Science and Software Engineering. ISSEP 2019. Larnaca, Cyprus, 2019 BibTeX
Online version
AIR Unimi
* M. Lodi, D. Malchiodi, M. Monga, A. Morpurgo, B. Spieler "Constructionist Attempts at Supporting the Learning of Computer Programming: A Survey", Olympiads in Informatics 13 , 2019 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, M. Monga, A. Morpurgo "How pupils solve online problems: an analytical view", Proceedings of the 11th International Conference on Computer Supported Education (CSEDU 2019) — Volume 2 Heraklion, Crete, Greece, 2019 BibTeX
Online version
AIR Unimi
* M. Monga "Problem Posing and Programming as a General Approach to Foster the Learning of Mathematics", Constructivist Foundations 14(3) , 2019 BibTeX
Online version
AIR Unimi
o L. Forlizzi, M. Lodi, V. Lonati, C. Mirolo, M. Monga, A. Montresor, A. Morpurgo, E. Nardelli "A core informatics curriculum for Italian compulsory schools", Informatics in Schools. Fundamentals of Computer Science and Software Engineering. ISSEP 2018. Saint-Petersburg, Russia, 2018 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo "Informatics and computational thinking: a teacher professional development proposal based on social-constructivism", Informatics in Schools. Fundamentals of Computer Science and Software Engineering. ISSEP 2018. Saint-Petersburg, Russia, 2018 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo "Informatica e pensiero computazionale: una proposta costruttivista per gli insegnanti", Didamatica 2018 Cesena, Italia, 2018 BibTeX
Online version
AIR Unimi
o C. Bellettini, F. Carimati, V. Lonati, R. Macoratti, D. Malchiodi, M. Monga, A. Morpurgo "A platform for the Italian Bebras", Proceedings of the 10th International Conference on Computer Supported Education (CSEDU 2018) — Volume 1 (Best poster award winner) Funchal, Madeira, Portugal, 2018 BibTeX
Online version
AIR Unimi
o M. Monga, M. Lodi, D. Malchiodi, A. Morpurgo, B. Spieler "WG6: Learning to Program in a Constructionist Way", Constructionism, Computational Thinking and Educational Innovation: conference proceedings (Constructionism 2018) Vilnius, Lithuania, 2018 BibTeX
Online version
AIR Unimi
o M. Monga, D. Malchiodi, A. Morpurgo, M. Torelli "Turing: la nascita dell'intelligenza artificiale", Corriere della Sera, 2017 BibTeX
AIR Unimi
o M. Camilli, C. Bellettini, L. Capra, M. Monga "A Formal Framework for Specifying and Verifying Microservices Based Process Flows", Software Engineering and Formal Methods Cham, 2018 BibTeX
Online version
AIR Unimi
o V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo "Nothing to fear but fear itself: introducing recursion in lower secondary schools", International Conference on Learning and Teaching in Computing and Engineering (LaTICE 2017) Hong Kong, 2017 BibTeX
Online version
AIR Unimi
o V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo "How presentation affects the difficulty of computational thinking tasks: an IRT analysis.", Proceedings of the 17th Koli Calling International Conference on Computing Education Research Koli, Finland, 2017 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
o V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo "Bebras as a teaching resource: classifying the tasks corpus using computational thinking skills", Proceedings of the 22nd Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2017) Bologna, Italy, 2017 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
o V. Lonati, M. Monga, A. Morpurgo, D. Malchiodi, A. Calcagni "Promoting computational thinking skills: would you use this Bebras task?", Informatics in Schools: Focus on Learning Programming: Proceeding of the 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017 Helsinki, Finland, 2017 BibTeX
Online version
AIR Unimi
o V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo "Learning greedy strategies at secondary schools: an active approach", Optimization and Decision Science: Methodologies and Applications: ODS, Sorrento, Italy, September 4-7, 2017 Sorrento, Italy, 2017 BibTeX
Online version
AIR Unimi
o M. Camilli, C. Bellettini, L. Capra, M. Monga "Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior", Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016) Timisoara, Romania, 2016 BibTeX
Online version
AIR Unimi
o V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo "A playful tool to introduce lower secondary school pupils to recursive thinking", 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspective Münster, Germany, 2016 BibTeX
Online version
AIR Unimi
o N. Basilico, A. Lanzi, M. Monga "A Security Game Model for Remote Software Protection", 11th International Conference on Availability, Reliability and Security (ARES) Salzburg, Austria, 2016 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, F. Pedersini "La formazione degli insegnanti della classe 42/A — Informatica: l'esperienza dell'Università degli Studi di Milano", E questo tutti chiamano Informatica. L'esperienza dei TFA nelle discipline informatiche, Collana Manuali 14 Sapienza Università Editrice Roma, Italia, 2015 BibTeX
Online version
AIR Unimi
o A. Lissoni, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, L. Repetto, M. Torelli "VII Kangourou dell'informatica 2014–2015", Edizioni Kangourou Italia, 2015 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli "How challenging are Bebras tasks? An IRT analysis based on the performance of Italian students", Proceedings of the 20th Annual Conference on Innovation and Technology in Computer Science Education ITiCSE'15 Vilnius, Lithuania, 2015 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
o V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo "Is coding the way to go?", 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspective Ljubljana, Slovenia, 2015 BibTeX
Online version
AIR Unimi
* M. Camilli, C. Bellettini, L. Capra, M. Monga "Distributed CTL Model Checking Using MapReduce: Theory and Practice", Concurrency and Computation: Practice & Experience 28(11) , 2015 BibTeX
Online version
AIR Unimi
* C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli, L. Zecca "Informatics Education in Italian Secondary School", ACM Transactions on Computing Education 14(2) , 2014 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
* N. Basilico, N. Gatti, M. Monga, S. Sicari "Security Games for Node Localization through Verifiable Multilateration", IEEE Transactions on Dependable and Secure Computing 11(1) , 2014 BibTeX
Online version
AIR Unimi
o M. Camilli, C. Bellettini, L. Capra, M. Monga "CTL Model Checking in the Cloud Using MapReduce", Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014) Timisoara, Romania, 2014 BibTeX
Online version
AIR Unimi
o A. Lissoni, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, L. Repetto, M. Torelli "VI Kangourou dell'informatica 2013–2014", Edizioni Kangourou Italia, 2014 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli, L. Zecca "Extracurricular activities for improving the perception of Informatics in Secondary schools", Informatics in Schools. Teaching and Learning Perspectives , 2014 BibTeX
Online version
AIR Unimi
o C. Bellettini, M. Camilli, L. Capra, M. Monga "MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters", Proceedings of 7th International Workshop on Reachability Problems (RP 2013) Uppsala, Sweden, 2013 BibTeX
Online version
AIR Unimi
o A. Lissoni, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli "V Kangourou dell'informatica 2012–2013", Edizioni Kangourou Italia, 2013 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli "What you see is what you have in mind: constructing mental models for formatted text processing", Proceedings of ISSEP 2013 , 2013 BibTeX
Online version
AIR Unimi
- C. Bellettini, M. Camilli, L. Capra, M. Monga "Distributed CTL Model Checking in the Cloud", Technical Report n. 1310.6670 Cornell University , 2013 BibTeX
Online version
o K. Mehner-Heindl, M. Monga, G. Taentzer "Analysis of Aspect-Oriented Models using Graph Transformation Systems", Aspect-Oriented Requirements Engineering Springer Berlin Heidelberg , 2013 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli "Teaching informatics for fun and profit", Proceedings of the International Workshop on Science Education and Guidance in Schools: The Way Forward Firenze, Italy, 2013 BibTeX
Online version
AIR Unimi
o C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli "Exploring the processing of formatted texts by a kynesthetic approach", Proceedings of the 7th Workshop in Primary and Secondary Computing Education New York, NY, USA, 2012 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
o C. Bellettini, M. Camilli, L. Capra, M. Monga "Symbolic State Space Exploration of RT Systems in the Cloud", Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012) Timisoara, Romania, 2012 BibTeX
Online version
AIR Unimi
o A. Lissoni, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli "Kangourou dell'Informatica 2012", Edizioni Kangourou Italia, 2012 BibTeX
Online version
AIR Unimi
o G. P. Picco, A. Carzaniga, G. Cugola, M. Monga, G. Vigna "Carlo Ghezzi and Network Computing", Matinée with Carlo Ghezzi CreateSpace , 2012 BibTeX
Online version
AIR Unimi
o V. Lonati, M. Monga, A. Morpurgo, N. Rebagliati, L. Repetto, M. Torelli "Kangourou dell'Informatica 2011", Edizioni Kangourou Italia, 2011 BibTeX
Online version
AIR Unimi
* M. Monga "È dell'informatica il fin la meraviglia. Metafore per la sicurezza e sicurezza delle metafore", Informatica Umanistica 4 , 2011 BibTeX
Online version
AIR Unimi
o V. Lonati, M. Monga, A. Morpurgo, M. Torelli "What's the Fun in Informatics? Working to Capture Children and Teachers into the Pleasure of Computing", Informatics in Schools: Contributing to 21st Century Education. Proceedings of the International Conference on Informatics in Schools: Situation, Evolution and Perspectives (ISSEP2011) , 2011 BibTeX
Online version
AIR Unimi
o S.-W. Lee, M. Monga, J. Jürjens "Seventh international workshop on software engineering for secure systems: (SESS 2011)", Proceedings of the 33th International Conference on Software Engineering (ICSE) Honolulu, HI, USA, 2011 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
o S.-W. Lee, M. Monga, J. Jürjens "The 6th International Workshop on Software Engineering for Secure Systems (SESS'10)", Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2 Cape Town, South Africa, 2010 BibTeX
Online version
ACM Author-izer (free link)
o V. Lonati, M. Monga, A. Morpurgo, L. Repetto, M. Torelli "Kangourou dell'Informatica 2010", Edizioni Kangourou Italia, 2010 BibTeX
Online version
AIR Unimi
o N. Gatti, M. Monga, S. Sicari "Localization Security in Wireless Sensor Networks as a Non-cooperative Game", International Congress on Ultra Modern Telecommunications and Control Systems, 2010. ICUMT'10 (Best paper award winner) Moscow, Russia, 2010 BibTeX
Online version
AIR Unimi
o A. Fattori, R. Paleari, L. Martignoni, M. Monga "Dynamic and Transparent Analysis of Commodity Production Systems", Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010) Antwerp, Belgium, 2010 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
o N. Gatti, M. Monga, S. Sicari "A Localization Game in Wireless Sensor Networks", Decision and Game Theory for Security, Lecture Notes in Computer Science 6442 Springer-Verlag Berlin Heidelberg Berlin, Germany, 2010 BibTeX
Online version
AIR Unimi
* S.-W. Lee, M. Monga "Special issue on software engineering for secure systems", Computers & Security 29(3) , 2010 BibTeX
Online version
AIR Unimi
o M. Monga, S. Sicari "On the Impact of Localization Data in Wireless Sensor Networks with Malicious Nodes", Proceedings of the 2nd SIGSPATIAL ACM GIS International Workshop on Security and Privacy in GIS and LBS (SPRINGL'09) Seattle, WA, USA, 2009 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
o M. Monga, R. Paleari, E. Passerini "A hybrid analysis framework for detecting web application vulnerabilities", Proceedings of fifth international workshop on software engineering for secure systems (SESS'09) Vancouver, BC, Canada, 2009 BibTeX
Online version
AIR Unimi
o AA.VV. "Testi, soluzioni e commenti della gara Kangourou dell'Informatica 2009", Edizioni Kangourou Italia, 2009 BibTeX
Online version
AIR Unimi
* S.-W. Lee, M. Monga "Special section on Software Engineering for Secure Systems (SESS'07)", Information and Software Technology 51(7) (Special Section: Software Engineering for Secure Systems – Software Engineering for Secure Systems) , 2009 BibTeX
Online version
AIR Unimi
o M. Monga, S. Sicari "Assessing Data Quality by a Cross-Layer Approach", Ultra Modern Telecommunications & Workshops, 2009. ICUMT'09. International Conference on St.-Petersburg, Russia, 2009 BibTeX
Online version
AIR Unimi
o C. Ghezzi, A. Mocci, M. Monga "Synthesizing intensional behavior models by graph transformation", Proceedings of International Conference of Software Engineering (ICSE'09) Vancouver, Canada, 2009 BibTeX
Online version
AIR Unimi
o L. Cavallaro, M. Monga "Unweaving the Impact of Aspect Changes in AspectJ", Proceedings of the Foundations of Aspect-Oriented Languages workshop (FOAL2009) Charlottesville, Virginia, USA, 2009 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
o K. Mehner, M. Monga, G. Täntzer "Analysis of Aspect-Oriented Model Weaving", Transactions on Aspect-Oriented Software Development V, Lecture Notes in Computer Science 5490 Springer Berlin / Heidelberg , 2009 BibTeX
Online version
AIR Unimi
o B. De Win, S.-W. Lee, M. Monga "The Fourth International Workshop on Software Engineering for Secure Systems — A Trusted Business World", ICSE Companion '08: Companion of the 30th international conference on Software engineering Leipzig, Germany, 2008 BibTeX
Online version
ACM Author-izer (free link)
o L. Cavallaro, A. Lanzi, L. Mayer, M. Monga "LISABETH: Automated Content-Based Signature Generator for Zero-day Polymorphic Worms", Proceedings of Fourth International Workshop on Software Engineering for Secure Systems (SESS'08) Leipzig, Germany, 2008 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
o A. Lissoni, V. Lonati, M. Monga, A. Morpurgo, R. Raimondi, M. Torelli "Primi salti del Kangourou dell'informatica", DIDAMATICA 2008 — Informatica per la didattica Taranto, Italy, 2008 PDF(4 KiB)
BibTeX
AIR Unimi
o A. Lissoni, V. Lonati, M. Monga, A. Morpurgo, M. Torelli "Working for a leap in the general perception of computing", Proceedings of Informatics Education Europe III Venice, Italy, 2008 PDF(4 KiB)
BibTeX
Online version
AIR Unimi
o L. Baresi, C. Ghezzi, A. Mocci, M. Monga "Using Graph Transformation Systems to Specify and Verify Data Abstractions", Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008) Budapest, Hungary, 2008 BibTeX
Online version
AIR Unimi
o R. Paleari, D. Marrone, D. Bruschi, M. Monga "On Race Vulnerabilities in Web Applications", Detection of Intrusions and Malware & Vulnerability Assessment DIMVA'08 Paris, France, 2008 BibTeX
Online version
AIR Unimi
* D. Bruschi, L. Martignoni, M. Monga "Code Normalization for Self-Mutating Malware", IEEE Security & Privacy 5(2) , 2007 BibTeX
Online version
o D. Bruschi, B. De Win, S.-W. Lee, M. Monga "The 3rd International Workshop on Software Engineering for Secure Systems SESS07 — Dependable and secure", ICSE COMPANION '07: Companion to the proceedings of the 29th International Conference on Software Engineering Minneapolis, MN, USA, 2007 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
* C. Bellettini, L. Capra, M. Monga "Using a Stochastic Well-Formed Net model for assessing a decentralized approach to configuration management", Performance Evaluation Journal 64(3) , 2007 BibTeX
Online version
AIR Unimi
* L. Grasso, M. Monga, M. Pagani, {Laura Anna} Ripamonti "Alla sorgente del codice", Nòva24 Review XVI(2) , 2007 BibTeX
AIR Unimi
o C. Ghezzi, A. Mocci, M. Monga "Efficient recovery of algebraic specifications for stateful components", IWPSE '07: Ninth international workshop on Principles of software evolution Dubrovnik, Croatia, 2007 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
o A. Lanzi, L. Martignoni, M. Monga, R. Paleari "A Smart Fuzzer for x86 Executables", SESS'07: Proceedings of the 3$^rd$ International Workshop on Software Engineering for Secure Systems Minneapolis, MN, USA, 2007 BibTeX
Online version
AIR Unimi
o A. Marchetto, M. Monga, A. Trentini "Weighing the impact of ICT on “modular” SMEs", Conference on Exploring Quantifiable Information Technology Yields Amsterdam, The Netherlands, 2007 BibTeX
Online version
o A. Castaldo D'Ursi, L. Cavallaro, M. Monga "On bytecode slicing and AspectJ interferences", FOAL'07: Proceedings of the 6th workshop on Foundations of aspect-oriented languages Vancouver, British Columbia, Canada, 2007 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
* E. Di Nitto, L. Mainetti, M. Monga, L. Sbattella, R. Tedesco "Supporting Interoperability and Reusability of Learning Objects: The Virtual Campus approach", Journal of Educational Technology & Society 9(2) (Special Issue on “Interoperability of Educational Systems”) , 2006 PDF(4 KiB)
BibTeX
Online version
AIR Unimi
* D. Balzarotti, C. Ghezzi, M. Monga "Supporting cooperative software processes in a decentralized and nomadic world", IEEE Transactions on Systems Man and Cybernetics Part A-Systems and Humans 36(6) , 2006 BibTeX
Online version
AIR Unimi
o D. Bruschi, B. De Win, M. Monga "Introduction to Software Engineering for Secure Systems — Secure by Design", Proceedings of SESS'06 Shanghai, China, 2006 BibTeX
AIR Unimi
ACM Author-izer (free link)
o K. Mehner, M. Monga, G. Täntzer "Interaction Analysis in Aspect-Oriented Models", Proceedings of 14th International Requirements Engineering Conference RE'06 Minneapolis, Minnesota, USA, 2006 PDF(4 KiB)
BibTeX
Online version
AIR Unimi
o D. Balzarotti, M. Monga, S. Sicari "Assessing the risk of using vulnerable components", Quality of Protection: Security Measurements and Metrics, Advances in Information Security 23 Springer New York, 2006 BibTeX
AIR Unimi
o M. Monga, A. Trentini "Weighing the value of changeability in Open Source Software", Proceedings of the Workshop on Evaluation Frameworks for Open Source Software (EFOSS) Como, Italy, 2006 PDF(4 KiB)
BibTeX
AIR Unimi
o D. Bruschi, L. Martignoni, M. Monga "Using Code Normalization for Fighting Self-Mutating Malware", Proceedings of International Symposium on Secure Software Engineering Washington, DC, USA, 2006 PDF(4 KiB)
BibTeX
AIR Unimi
o D. Bruschi, B. De Win, M. Monga "Software Engineering for Secure Systems", Proceedings of the 28th International Conference on Software Engineering (ICSE) Shanghai, China, 2006 PDF(4 KiB)
BibTeX
AIR Unimi
o G. Cantone, M. Ferrari, M. Monga, R. Natale, N. Pinelli "Modello di valutazione guidato da obiettivi e vincoli. Elementi di verifica del modello di valutazione.", I nuovi strumenti e-Learning/FaD per la formazione in sanità , fiasobook Iniziative Sanitarie Roma, 2006 BibTeX
o D. Bruschi, L. Martignoni, M. Monga "Detecting Self-Mutating Malware Using Control-Flow Graph Matching", Detection of Intrusions and Malware & Vulnerability Assessment, LNCS 4064 Springer, Berlin/Heidelberg Berlin, Germany, 2006 PDF(4 KiB)
BibTeX
Online version
AIR Unimi
o D. Balzarotti, A. Castaldo D'Ursi, L. Cavallaro, M. Monga "Slicing AspectJ Woven Code", Proceedings of the Foundations of Aspect-Oriented Languages workshop (FOAL2005) Chicago, IL (USA), 2005 PDF(4 KiB)
BibTeX
AIR Unimi
o D. Bruschi, B. De Win, M. Monga "Software Engineering for Secure Systems — Building Trustworthy Applications", Proceedings of the 27th International Conference on Software Engineering (ICSE) St. Louis, MO (USA), 2005 PDF(4 KiB)
BibTeX
* D. Bruschi, B. De Win, M. Monga "Software engineering for secure systems", SIGSOFT Softw. Eng. Notes 30(4) , 2005 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
o M. Monga "Aspect-oriented Programming as Model Driven Evolution", Proceedings of the Linking Aspect Technology and Evolution workshop (LATE) Chicago, IL (USA), 2005 PDF(4 KiB)
BibTeX
o D. Bruschi, M. Monga, E. Rosti "Trusted Internet Forensics: design of a network forensics appliance", Proceedings of the First IEEE/CreateNet Computer Network Forensics Research Athens, Greece, 2005 PDF(4 KiB)
BibTeX
Online version
AIR Unimi
o M. Monga, A. Scotto "A Generic Serializer for Mobile Devices", SAC '05: Proceedings of the 2005 ACM symposium on Applied computing Santa Fe, New Mexico, USA, 2005 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
o D. Bruschi, L. Cavallaro, A. Lanzi, M. Monga "Replay Attack in TCG Specification and Solution", Proceedings of ACSAC 2005 Tucson, AZ (USA), 2005 PDF(4 KiB)
BibTeX
Online version
AIR Unimi
o M. Cesarini, M. Monga, R. Tedesco "Carrying on the e-Learning process with a Workflow Management Engine", SAC '04: Proceedings of the 2004 ACM symposium on Applied computing Nicosia, Cyprus, 2004 BibTeX
Online version
AIR Unimi
ACM Author-izer (free link)
* C. Bellettini, L. Capra, M. Monga "Quantitative assessment of a peer-to-peer cooperative infrastructure using Stochastic Well-Formed Nets", Electronic Notes in Theoretical Computer Sciences 128(4) , 2005 PDF(4 KiB)
BibTeX
Online version
AIR Unimi
o M. Cesarini, P. Mazzoni, M. Monga "Learning Objects and Tests", Proceedings of the IASTED International Conference on Web-Based Education Innsbruck, Austria, 2004 PDF(4 KiB)
BibTeX
AIR Unimi
o M. Monga "From Bazaar to Kibbutz: How Freedom Deals with Coherence in the Debian Project", Collaboration, Conflict and Control: The 4th Workshop on Open Source Software Engineering Edinburgh, UK, 2004 PDF(4 KiB)
BibTeX
Online version
AIR Unimi
o D. Bruschi, M. Monga, E. Rosti "L'evoluzione della sicurezza informatica: la prospettiva del CERT-IT", Crimine virtuale, minaccia reale. ICT Security: politiche e strumenti di prevenzione, FTI Forum per la tecnologia dell'informazione 571.2.7 FrancoAngeli Milano, Italy, 2004 PDF(4 KiB)
BibTeX
AIR Unimi
o D. Bruschi, L. Martignoni, M. Monga "How to Reuse Knowledge about Forensic Investigations", Proceedings of Digital Forensic Research Workshop Baltimore, MD, USA, 2004 PDF(4 KiB)
BibTeX
AIR Unimi
o C. Bellettini, L. Capra, M. Monga "A comparative assessment of peer-to-peer and server-based configuration management systems", Proceedings of the Workshop on Cooperative Support for Distributed Software Engineering Processes (CSSE'04) Linz, Austria, 2004 PDF(4 KiB)
BibTeX
AIR Unimi
* R. Casero, M. Cesarini, M. Monga "Managing Code Dependencies in C#", Journal of Object Technology 3(2) (Special issue: .NET: The Programmer's Perspective: ECOOP Workshop 2003) , 2004 PDF(4 KiB)
BibTeX
Online version
o M. Monga "On Aspect-Oriented Approaches", Proceedings of the European Interactive Workshop on Aspects in Software (EIWAS'04) Berlin, Germany, 2004 PDF(4 KiB)
BibTeX
o D. Balzarotti, M. Monga "Using Program Slicing to Analyze Aspect-Oriented Composition", Proceedings of Foundations of Aspect-Oriented Languages Workshop at AOSD 2004 Lancaster, UK, 2004 PDF(4 KiB)
BibTeX
AIR Unimi
o L. Blair, M. Monga "Reasoning on AspectJ Programmes", Proceedings of Workshop on Aspect-Oriented Software Development Essen, Germany, 2003 PDF(4 KiB)
BibTeX
o M. Monga "Supporting Nomadic Co-Workers: an Experience with a Peer-To-Peer Configuration Management Tool", Proceedings of the International Symposium on Towards Peta-Bit Ultra-Networks (Invited paper) Ishikawa, Japan, 2003 PDF(4 KiB)
BibTeX
AIR Unimi
o R. Casero, M. Cesarini, M. Monga "Managing Code Dependencies in C#", Proceedings of ECOOP 2003 .NET: The Programmer's Perspective Darmstadt, Germany, 2003 PDF(4 KiB)
BibTeX
AIR Unimi
* C. Ghezzi, M. Monga "Una valutazione dell'eXtreme Programming: programmazione estrema o revisionismo estremista?", Mondo Digitale 1(4) , 2002 PDF(4 KiB)
BibTeX
Online version
AIR Unimi
o L. Mainetti, M. Monga, L. Sbattella "A Virtual Campus For Tethered And Untehered Scenarios", Proceedings of Frontiers in Education Boston, MA (USA), 2002 PDF(4 KiB)
BibTeX
Online version
o D. Balzarotti, C. Ghezzi, M. Monga "Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting", SEKE '02: Proceedings of the 14th international conference on Software engineering and knowledge engineering Ischia, Italy, 2002 BibTeX
ACM Author-izer (free link)
o D. Balzarotti, C. Ghezzi, M. Monga "Freeing Cooperation From Servers Tyranny", Web Engineering and Peer-to-Peer Computing, LNCS 2376 Springer-Verlag , 2002 PDF(4 KiB)
BibTeX
o C. Ghezzi, M. Monga "Fostering Component Evolution with C# Attributes", IWPSE '02: Proceedings of the 5th International Workshop on Principles of Software Evolution Orlando, Florida, 2002 BibTeX
Online version
ACM Author-izer (free link)
o G. Denaro, M. Monga "Verifying Deadlock Proneness of Aspect Based Components", Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi WSDAAL Como, Italy, 2001 PDF(4 KiB)
BibTeX
- M. Monga "Towards Software Components for Non Functional Aspects", Ph.D. Thesis Politecnico di Milano Piazza Leonardo da Vinci 32, I 20133 Milan, Italy, 2001 PDF(4 KiB)
BibTeX
o G. Denaro, M. Monga "An Experience on Verification of Aspect Properties", IWPSE '01: Proceedings of the 4th International Workshop on Principles of Software Evolution Vienna, Austria, 2001 BibTeX
Online version
ACM Author-izer (free link)
o M. Monga "Ad-hoc Constructs For Non Functional Aspects", WSDAAL (Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi) Ischia, Italy, 2000 PDF(4 KiB)
BibTeX
- M. Monga "A Dynamo for Computers: How Open Source Can Help Software Markets", Technical Report n. 2000.28 Politecnico di Milano, Dipartimento di Elettronica e Informazione Piazza Leonardo da Vinci 32, I 20133 Milan, Italy, 2000 PDF(4 KiB)
BibTeX
o G. Cugola, C. Ghezzi, M. Monga, {Gian Pietro} Picco "Malaj: A Proposal to Eliminate Clashes Between Aspect-Oriented and Object-Oriented Programming", Proceedings of International Conference on Software: Theory and Practice Bejing, China, 2000 PDF(4 KiB)
BibTeX
o M. Monga "Concern Specific Aspect-Oriented Programming with Malaj", Proceedings of Workshop on Multi-Dimensional Separation of Concerns in Software Engineering Limerick, Ireland, 2000 PDF(4 KiB)
BibTeX
o G. Cugola, C. Ghezzi, M. Monga "Coding Different Design Paradigms for Distributed Applications with Aspect-Oriented Programming", Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi WSDAAL L'Aquila, Italy, 1999 PDF(4 KiB)
BibTeX
o G. Cugola, C. Ghezzi, M. Monga "Language Support for Evolvable Software: An Initial Assessment of Aspect-Oriented Programming", Proceedings of International Workshop on the Principles of Software Evolution IWPSE Fukuoka, Japan, 1999 PDF(4 KiB)
BibTeX
- M. Monga, S. Novelli "Omissys: Managing Temporal Information in Multi-model Diagnosis", M.S. Thesis Politecnico di Milano Piazza Leonardo da Vinci 32, I 20133 Milan, Italy, 1996 BibTeX