“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

Filter:

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
o K. Mehner-Heindl, M. Monga, G. Taentzer "Analysis of aspect-oriented models using graph transformation systems", Aspect-oriented requirements engineering Springer (to appear) 2013 BibTeX
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 "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
o M. Camilli, C. Bellettini, 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 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 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 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
* M. Monga "È dell'informatica il fin la meraviglia. Metafore per la sicurezza e sicurezza delle metafore", Informatica Umanistica 4 4/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 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
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
o N. Gatti, M. Monga, S. Sicari "Localization security in wireless sensor networks as a non-cooperative game", Ultra modern telecommunications and control systems, 2010. ICUMT'10. international congress on (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)
* S.-W. Lee, M. Monga "Special issue on software engineering for secure systems", Computers & Security 29(3) 2010 BibTeX Online version
AIR Unimi
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 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 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, 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 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 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
* 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 AA.VV. "Testi, soluzioni e commenti della gara Kangourou dell'informatica 2009", Edizioni Kangourou Italia, 2009 BibTeX Online version
AIR Unimi
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 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 Kibibyte)
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
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 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 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 Kibibyte)
BibTeX 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 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 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)
* L. Grasso, M. Monga, M. Pagani, L. A. Ripamonti "Alla sorgente del codice", Nòva24 Review XVI(2) 4/2007 BibTeX AIR Unimi
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)
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
* 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) 3/2007 BibTeX Online version
AIR Unimi
* D. Bruschi, L. Martignoni, M. Monga "Code normalization for self-mutating malware", IEEE Security & Privacy 5(2) 3/2007 BibTeX Online version
* 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) 11/2006 BibTeX Online version
AIR Unimi
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 Kibibyte)
BibTeX Online version
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 Kibibyte)
BibTeX 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 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, 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 Kibibyte)
BibTeX 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 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 Kibibyte)
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 Kibibyte)
BibTeX Online version
AIR Unimi
* 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 Kibibyte)
BibTeX AIR Unimi
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 Kibibyte)
BibTeX Online version
AIR Unimi
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 Kibibyte)
BibTeX Online version
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 Kibibyte)
BibTeX
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 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 Kibibyte)
BibTeX
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 Kibibyte)
BibTeX AIR Unimi
* 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 Kibibyte)
BibTeX Online version
AIR Unimi
* 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 "On aspect-oriented approaches", Proceedings of the european interactive workshop on aspects in software (EIWAS'04) Berlin, Germany, 2004 PDF(4 Kibibyte)
BibTeX
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 Kibibyte)
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 Kibibyte)
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 Kibibyte)
BibTeX Online version
AIR Unimi
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 Kibibyte)
BibTeX 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)
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 Kibibyte)
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 Kibibyte)
BibTeX Online version
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 Kibibyte)
BibTeX AIR Unimi
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 Kibibyte)
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 Kibibyte)
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 Kibibyte)
BibTeX
* C. Ghezzi, M. Monga "Una valutazione dell'eXtreme Programming: programmazione estrema o revisionismo estremista?", Mondo Digitale 1(4) 12/2002 PDF(4 Kibibyte)
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 Kibibyte)
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 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 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 Kibibyte)
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)
- 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 Kibibyte)
BibTeX
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 Kibibyte)
BibTeX
o M. Monga "Ad-hoc constructs for non functional aspects", WSDAAL (workshop su sistemi distribuiti: algoritmi, architetture e linguaggi) Ischia, Italy, 2000 PDF(4 Kibibyte)
BibTeX
o G. Cugola, C. Ghezzi, M. Monga, G. P. 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 Kibibyte)
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 Kibibyte)
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 Kibibyte)
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 Kibibyte)
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 Kibibyte)
BibTeX
- M. Monga, S. Novelli "Omissys: managing temporal information in multi-model diagnosis", M.S. ThesisPolitecnico di Milano Piazza Leonardo da Vinci 32, I 20133 Milan, Italy, 1996 BibTeX