An Experience on Verification of Aspect Properties. - Giovanni Denaro; Mattia Monga (IWPSE, 2001)

Fostering component evolution with C# attributes. - Carlo Ghezzi; Mattia Monga (IWPSE, 2002)

Freeing Cooperation from Servers Tyranny. - Davide Balzarotti; Carlo Ghezzi; Mattia Monga (NETWORKING Workshops, 2002)

Supporting configuration management for virtual workgroups ini a peer-to-peer setting. - Davide Balzarotti; Carlo Ghezzi; Mattia Monga (SEKE, 2002)

Carrying on the e-learning process with a workflow management engine. - Mirko Cesarini; Mattia Monga; Roberto Tedesco (SAC, 2004)

Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets. - Carlo Bellettini; Lorenzo Capra; Mattia Monga (PASM, 2004)

Managing Code Dependencies in C#. - Riccardo Casero; Mirko Cesarini; Mattia Monga (J. Object Technol., 2004)

Replay Attack in TCG Specification and Solution. - Danilo Bruschi; Lorenzo Cavallaro; Andrea Lanzi; Mattia Monga (ACSAC, 2005)

A generic serializer for mobile devices. - Mattia Monga; Angelo Scotto (SAC, 2005)

Software engineering for secure systems. - Danilo Bruschi; Bart De Win; Mattia Monga (ACM SIGSOFT Softw. Eng. Notes, 2005)

Detecting Self-mutating Malware Using Control-Flow Graph Matching. - Danilo Bruschi; Lorenzo Martignoni; Mattia Monga (DIMVA, 2006)

Introduction to software engineering for secure systems: SESS06 - secure by design. - Danilo Bruschi; Bart De Win; Mattia Monga (SESS@ICSE, 2006)

Using Code Normalization for Fighting Self-Mutating Malware. - Danilo Bruschi; Lorenzo Martignoni; Mattia Monga (ISSSE, 2006)

Interaction Analysis in Aspect-Oriented Models. - Katharina Mehner; Mattia Monga; Gabriele Taentzer (RE, 2006)

Supporting Interoperability and Reusability of Learning Objects: The Virtual Campus Approach. - Elisabetta Di Nitto; Luca Mainetti; Mattia Monga; Licia Sbattella; Roberto Tedesco (J. Educ. Technol. Soc., 2006)

Supporting Cooperative Software Processes in a Decentralized and Nomadic World. - Davide Balzarotti; Carlo Ghezzi; Mattia Monga (IEEE Trans. Syst. Man Cybern. Part A, 2006)

Assessing the risk of using vulnerable components. - Davide Balzarotti; Mattia Monga; Sabrina Sicari (Quality of Protection, 2006)

On bytecode slicing and aspectJ interferences. - Antonio Castaldo D'Ursi; Luca Cavallaro; Mattia Monga (FOAL, 2007)

The 3rd International Workshop on Software Engineering for Secure Systems SESS07 - Dependable and Secure. - Danilo Bruschi; Bart De Win; Seok-Won Lee; Mattia Monga (ICSE Companion, 2007)

A Smart Fuzzer for x86 Executables. - Andrea Lanzi; Lorenzo Martignoni; Mattia Monga; Roberto Paleari (SESS@ICSE, 2007)

Efficient recovery of algebraic specifications for stateful components. - Carlo Ghezzi; Andrea Mocci; Mattia Monga (IWPSE, 2007)

Code Normalization for Self-Mutating Malware. - Danilo Bruschi; Lorenzo Martignoni; Mattia Monga (IEEE Secur. Priv., 2007)

Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management. - Carlo Bellettini; Lorenzo Capra; Mattia Monga (Perform. Evaluation, 2007)

On Race Vulnerabilities in Web Applications. - Roberto Paleari; Davide Marrone; Danilo Bruschi; Mattia Monga (DIMVA, 2008)

LISABETH: automated content-based signature generator for zero-day polymorphic worms. - Lorenzo Cavallaro; Andrea Lanzi; Luca Mayer; Mattia Monga (SESS, 2008)

The fourth international workshop on software engineering for secure systems: SESS'08 – a trusted business world. - Bart De Win; Seok-Won Lee; Mattia Monga (ICSE Companion, 2008)

Using Graph Transformation Systems to Specify and Verify Data Abstractions. - Luciano Baresi; Carlo Ghezzi; Andrea Mocci; Mattia Monga (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Unweaving the impact of aspect changes in AspectJ. - Luca Cavallaro; Mattia Monga (FOAL, 2009)

On the impact of localization data in wireless sensor networks with malicious nodes. - Mattia Monga; Sabrina Sicari (SPRINGL, 2009)

Synthesizing intensional behavior models by graph transformation. - Carlo Ghezzi; Andrea Mocci; Mattia Monga (ICSE, 2009)

A hybrid analysis framework for detecting web application vulnerabilities. - Mattia Monga; Roberto Paleari; Emanuele Passerini (SESS@ICSE, 2009)

The 5th international workshop on software engineering for secure systems (SESS'09). - Bart De Win; Seok-Won Lee; Mattia Monga (ICSE Companion, 2009)

Assessing data quality by a cross-layer approach. - Mattia Monga; Sabrina Sicari (ICUMT, 2009)

Special section on Software Engineering for Secure Systems (SESS '07). - Seok-Won Lee; Mattia Monga (Inf. Softw. Technol., 2009)

Analysis of Aspect-Oriented Model Weaving. - Katharina Mehner; Mattia Monga; Gabriele Taentzer (LNCS Trans. Aspect Oriented Softw. Dev., 2009)

A Localization Game in Wireless Sensor Networks. - Nicola Gatti 001; Mattia Monga; Sabrina Sicari (GameSec, 2010)

The 6th International Workshop on Software Engineering for Secure Systems (SESS'10). - Seok-Won Lee; Mattia Monga; Jan Jürjens (ICSE (2), 2010)

Localization security in Wireless Sensor Networks as a non-cooperative game. - Nicola Gatti 001; Mattia Monga; Sabrina Sicari (ICUMT, 2010)

Dynamic and transparent analysis of commodity production systems. - Aristide Fattori; Roberto Paleari; Lorenzo Martignoni; Mattia Monga (ASE, 2010)

Special issue on software engineering for secure systems. - Seok-Won Lee; Mattia Monga (Comput. Secur., 2010)

A Game Theoretical Analysis of Localization Security in Wireless Sensor Networks with Adversaries - Nicola Gatti 001; Mattia Monga; Sabrina Sicari (CoRR, 2010)

Seventh international workshop on software engineering for secure systems: (SESS 2011). - Seok-Won Lee; Mattia Monga; Jan Jürjens (ICSE, 2011)

What's the Fun in Informatics? Working to Capture Children and Teachers into the Pleasure of Computing. - Violetta Lonati; Mattia Monga; Anna Morpurgo; Mauro Torelli (ISSEP, 2011)

Symbolic State Space Exploration of RT Systems in the Cloud. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (SYNASC, 2012)

Exploring the processing of formatted texts by a kynesthetic approach. - Carlo Bellettini; Mattia Monga; Violetta Lonati; Anna Morpurgo; Dario Malchiodi; Mauro Torelli (WiPSCE, 2012)

State Space Exploration of RT Systems in the Cloud - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (CoRR, 2012)

Analysis of Aspect-Oriented Models Using Graph Transformation Systems. - Katharina Mehner-Heindl; Mattia Monga; Gabriele Taentzer (Aspect-Oriented Requirements Engineering, 2013)

MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (RP, 2013)

Distributed CTL Model Checking in the Cloud. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (CoRR, 2013)

Extracurricular Activities for Improving the Perception of Informatics in Secondary Schools. - Carlo Bellettini; Violetta Lonati; Dario Malchiodi; Mattia Monga; Anna Morpurgo; Mauro Torelli; Luisa Zecca (ISSEP, 2014)

CTL Model Checking in the Cloud Using MapReduce. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra; Mattia Monga (SYNASC, 2014)

Informatics Education in Italian Secondary Schools. - Carlo Bellettini; Violetta Lonati; Dario Malchiodi; Mattia Monga; Anna Morpurgo; Mauro Torelli; Luisa Zecca (ACM Trans. Comput. Educ., 2014)

Security Games for Node Localization through Verifiable Multilateration. - Nicola Basilico; Nicola Gatti 001; Mattia Monga; Sabrina Sicari (IEEE Trans. Dependable Secur. Comput., 2014)

Is Coding the Way to Go? - Violetta Lonati; Dario Malchiodi; Mattia Monga; Anna Morpurgo (ISSEP, 2015)

How Challenging are Bebras Tasks?: An IRT Analysis Based on the Performance of Italian Students. - Carlo Bellettini; Violetta Lonati; Dario Malchiodi; Mattia Monga; Anna Morpurgo; Mauro Torelli (ITiCSE, 2015)

A Security Game Model for Remote Software Protection. - Nicola Basilico; Andrea Lanzi; Mattia Monga (ARES, 2016)

Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra; Mattia Monga (SYNASC, 2016)

Distributed CTL model checking using MapReduce: theory and practice. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (Concurr. Comput. Pract. Exp., 2016)

Promoting Computational Thinking Skills: Would You Use this Bebras Task? - Annalisa Calcagni; Violetta Lonati; Dario Malchiodi; Mattia Monga; Anna Morpurgo (ISSEP, 2017)

Bebras as a Teaching Resource: Classifying the Tasks Corpus Using Computational Thinking Skills. - Violetta Lonati; Dario Malchiodi; Mattia Monga; Anna Morpurgo (ITiCSE, 2017)

How presentation affects the difficulty of computational thinking tasks: an IRT analysis. - Violetta Lonati; Mattia Monga; Dario Malchiodi; Anna Morpurgo (Koli Calling, 2017)

Nothing to Fear but Fear Itself: Introducing Recursion in Lower Secondary Schools. - Violetta Lonati; Dario Malchiodi; Mattia Monga; Anna Morpurgo (LaTiCE, 2017)

A Formal Framework for Specifying and Verifying Microservices Based Process Flows. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra; Mattia Monga (SEFM Workshops, 2017)

A Platform for the Italian Bebras. - Carlo Bellettini; Fabrizio Carimati; Violetta Lonati; Riccardo Macoratti; Dario Malchiodi; Mattia Monga; Anna Morpurgo (CSEDU (1), 2018)

Informatics and Computational Thinking: A Teacher Professional Development Proposal Based on Social-Constructivism. - Carlo Bellettini; Violetta Lonati; Dario Malchiodi; Mattia Monga; Anna Morpurgo (ISSEP, 2018)

A Core Informatics Curriculum for Italian Compulsory Education. - Luca Forlizzi; Michael Lodi; Violetta Lonati; Claudio Mirolo; Mattia Monga; Alberto Montresor; Anna Morpurgo; Enrico Nardelli (ISSEP, 2018)

How Pupils Solve Online Problems: An Analytical View. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo (CSEDU (2), 2019)

Behind the Shoulders of Bebras Teams: Analyzing How They Interact with the Platform to Solve Tasks. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo (CSEDU (Selected Papers), 2019)

An Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo (TACKLE@EC-TEL, 2019)

Situated Learning with Bebras Tasklets. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo; Martina Palazzolo (ISSEP, 2019)

Assessing How Pre-requisite Skills Affect Learning of Advanced Concepts. - Greg L. Nelson; Filip Strömbäck; Ari Korhonen; Ibrahim Albluwi; Marjahan Begum; Ben Blamey; Karen H. Jin; Violetta Lonati; Bonnie K. MacKellar; Mattia Monga (ITiCSE, 2020)

Differentiated Assessments for Advanced Courses that Reveal Issues with Prerequisite Skills: A Design Investigation. - Greg L. Nelson; Filip Strömbäck; Ari Korhonen; Marjahan Begum; Ben Blamey; Karen H. Jin; Violetta Lonati; Bonnie K. MacKellar; Mattia Monga (ITiCSE-WGR, 2020)

Programming for All: Understanding the Nature of Programs. - Andrej Brodnik; Andrew Csizmadia; Gerald Futschek; Lidija Kralj; Violetta Lonati; Peter Micheuz; Mattia Monga (CoRR, 2021)

How is Two Better Than One? An Observational Study on the Impact of Working in Pairs When Solving Bebras Tasks. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo (ISSEP, 2022)

What We Talk About When We Talk About Programs. - Violetta Lonati; Andrej Brodnik; Tim Bell 001; Andrew Paul Csizmadia; Liesbeth De Mol; Henry Hickman; Therese Keane; Claudio Mirolo; Mattia Monga (ITiCSE-WGR, 2022)

Characterizing the Nature of Programs for educational purposes. - Violetta Lonati; Andrej Brodnik; Tim Bell 001; Andrew Paul Csizmadia; Liesbeth De Mol; Henry Hickman; Therese Keane; Claudio Mirolo; Mattia Monga; Matti Tedre (ITiCSE (2), 2022)

Davinci Goes to Bebras: A Study on the Problem Solving Ability of GPT-3. - Carlo Bellettini; Michael Lodi; Violetta Lonati; Mattia Monga; Anna Morpurgo (CSEDU (2), 2023)

All Green: How Different Age Groups Solved the Same Bebras Task. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo (ISSEP, 2023)

Learning Iteration for Grades 2-3: Puzzles vs. UMC in Code.org. - Enrico Nardelli; Francesco Lacchia; Renzo Davoli; Michael Lodi; Marco Sbaraglia; Veronica Rossano; Enrichetta Gentile; Violetta Lonati; Mattia Monga; Anna Morpurgo; Luca Forlizzi; Giovanna Melideo; et al. (SIGCSE (2), 2023)

ITiCSE 2023 Preview. - Mikko-Jussi Laakso; Mattia Monga (ACM SIGCSE Bull., 2023)

ITiCSE 2023 Call for Papers. - Simon; Judy Sheard; Mikko-Jussi Laakso; Mattia Monga (ACM SIGCSE Bull., 2023)

To Be Or Not To Be . . . An Algorithm: The Notion According to Students and Teachers. - Carlo Bellettini; Violetta Lonati; Mattia Monga; Anna Morpurgo (SIGCSE (1), 2024)

Empirical Evaluation of a Differentiated Assessment of Data Structures: The Role of Prerequisite Skills. - Marjahan Begum; Pontus Haglund; Ari Korhonen; Violetta Lonati; Mattia Monga; Filip Strömbäck; Artturi Tilanterä (Informatics Educ., 2024)

ITiCSE 2024: Call for Participation. - Violetta Lonati; Mattia Monga; Erik Barendsen (ACM SIGCSE Bull., 2024)

ITiCSE 2024 Recap. - Violetta Lonati; Mattia Monga; Erik Barendsen (ACM SIGCSE Bull., 2024)

Playcards, Pasta and Rectangles: Teaching Information Representation and Data Encoding in 4th Grade. - Arianna Boldi; Sara Capecchi; Violetta Lonati; Mattia Monga (ITiCSE (1), 2025)