Mattia Monga

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 28

Top Topics

Teacher Professional Development

Temporal Epistemic

Computational Thinking

Top Venues

ACM SIGCSE Bull.

Publications

Violetta Lonati, Mattia Monga, Erik Barendsen
ITiCSE 2024: Call for Participation. ACM SIGCSE Bull. 56 (2) (2024)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo
To Be Or Not To Be . . . An Algorithm: The Notion According to Students and Teachers. SIGCSE (1) (2024)
Enrico Nardelli, Francesco Lacchia, Renzo Davoli, Michael Lodi, Marco Sbaraglia, Veronica Rossano, Enrichetta Gentile, Violetta Lonati, Mattia Monga, Anna Morpurgo, Luca Forlizzi, Giovanna Melideo, Sara Capecchi, Ilenia Fronza, Tullio Vardanega
Learning Iteration for Grades 2-3: Puzzles vs. UMC in Code.org. SIGCSE (2) (2023)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo
All Green: How Different Age Groups Solved the Same Bebras Task. ISSEP (2023)
Simon, Judy Sheard, Mikko-Jussi Laakso, Mattia Monga
ITiCSE 2023 Call for Papers. ACM SIGCSE Bull. 55 (1) (2023)
Mikko-Jussi Laakso, Mattia Monga
ITiCSE 2023 Preview. ACM SIGCSE Bull. 55 (2) (2023)
Carlo Bellettini, Michael Lodi, Violetta Lonati, Mattia Monga, Anna Morpurgo
Davinci Goes to Bebras: A Study on the Problem Solving Ability of GPT-3. CSEDU (2) (2023)
Violetta Lonati, Andrej Brodnik, Tim Bell, Andrew Paul Csizmadia, Liesbeth De Mol, Henry Hickman, Therese Keane, Claudio Mirolo, Mattia Monga, Matti Tedre
Characterizing the Nature of Programs for educational purposes. ITiCSE (2) (2022)
Violetta Lonati, Andrej Brodnik, Tim Bell, Andrew Paul Csizmadia, Liesbeth De Mol, Henry Hickman, Therese Keane, Claudio Mirolo, Mattia Monga
What We Talk About When We Talk About Programs. ITiCSE-WGR (2022)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo
How is Two Better Than One? An Observational Study on the Impact of Working in Pairs When Solving Bebras Tasks. ISSEP (2022)
Andrej Brodnik, Andrew Csizmadia, Gerald Futschek, Lidija Kralj, Violetta Lonati, Peter Micheuz, Mattia Monga
Programming for All: Understanding the Nature of Programs. CoRR (2021)
Greg L. Nelson, Filip Strömbäck, Ari Korhonen, Marjahan Begum, Ben Blamey, Karen H. Jin, Violetta Lonati, Bonnie K. MacKellar, Mattia Monga
Differentiated Assessments for Advanced Courses that Reveal Issues with Prerequisite Skills: A Design Investigation. ITiCSE (Working Group Reports) (2020)
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
Assessing How Pre-requisite Skills Affect Learning of Advanced Concepts. ITiCSE (2020)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo, Martina Palazzolo
Situated Learning with Bebras Tasklets. ISSEP (2019)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo
How Pupils Solve Online Problems: An Analytical View. CSEDU (2) (2019)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo
An Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI. TACKLE@EC-TEL (2019)
Carlo Bellettini, Violetta Lonati, Mattia Monga, Anna Morpurgo
Behind the Shoulders of Bebras Teams: Analyzing How They Interact with the Platform to Solve Tasks. CSEDU (Selected Papers) (2019)
Carlo Bellettini, Fabrizio Carimati, Violetta Lonati, Riccardo Macoratti, Dario Malchiodi, Mattia Monga, Anna Morpurgo
A Platform for the Italian Bebras. CSEDU (1) (2018)
Carlo Bellettini, Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo
Informatics and Computational Thinking: A Teacher Professional Development Proposal Based on Social-Constructivism. ISSEP (2018)
Luca Forlizzi, Michael Lodi, Violetta Lonati, Claudio Mirolo, Mattia Monga, Alberto Montresor, Anna Morpurgo, Enrico Nardelli
A Core Informatics Curriculum for Italian Compulsory Education. ISSEP (2018)
Annalisa Calcagni, Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo
Promoting Computational Thinking Skills: Would You Use this Bebras Task? ISSEP (2017)
Violetta Lonati, Mattia Monga, Dario Malchiodi, Anna Morpurgo
How presentation affects the difficulty of computational thinking tasks: an IRT analysis. Koli Calling (2017)
Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo
Bebras as a Teaching Resource: Classifying the Tasks Corpus Using Computational Thinking Skills. ITiCSE (2017)
Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo
Nothing to Fear but Fear Itself: Introducing Recursion in Lower Secondary Schools. LaTiCE (2017)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
A Formal Framework for Specifying and Verifying Microservices Based Process Flows. SEFM Workshops (2017)
Nicola Basilico, Andrea Lanzi, Mattia Monga
A Security Game Model for Remote Software Protection. ARES (2016)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. SYNASC (2016)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Distributed CTL model checking using MapReduce: theory and practice. Concurr. Comput. Pract. Exp. 28 (11) (2016)
Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo
Is Coding the Way to Go? ISSEP (2015)
Carlo Bellettini, Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo, Mauro Torelli
How Challenging are Bebras Tasks?: An IRT Analysis Based on the Performance of Italian Students. ITiCSE (2015)
Carlo Bellettini, Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo, Mauro Torelli, Luisa Zecca
Informatics Education in Italian Secondary Schools. ACM Trans. Comput. Educ. 14 (2) (2014)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
CTL Model Checking in the Cloud Using MapReduce. SYNASC (2014)
Carlo Bellettini, Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo, Mauro Torelli, Luisa Zecca
Extracurricular Activities for Improving the Perception of Informatics in Secondary Schools. ISSEP (2014)
Nicola Basilico, Nicola Gatti, Mattia Monga, Sabrina Sicari
Security Games for Node Localization through Verifiable Multilateration. IEEE Trans. Dependable Secur. Comput. 11 (1) (2014)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Distributed CTL Model Checking in the Cloud. CoRR (2013)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. RP (2013)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
State Space Exploration of RT Systems in the Cloud CoRR (2012)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Symbolic State Space Exploration of RT Systems in the Cloud. SYNASC (2012)
Carlo Bellettini, Mattia Monga, Violetta Lonati, Anna Morpurgo, Dario Malchiodi, Mauro Torelli
Exploring the processing of formatted texts by a kynesthetic approach. WiPSCE (2012)
Seok-Won Lee, Mattia Monga, Jan Jürjens
Seventh international workshop on software engineering for secure systems: (SESS 2011). ICSE (2011)
Violetta Lonati, Mattia Monga, Anna Morpurgo, Mauro Torelli
What's the Fun in Informatics? Working to Capture Children and Teachers into the Pleasure of Computing. ISSEP (2011)
Seok-Won Lee, Mattia Monga, Jan Jürjens
International Workshop on Software Engineering for Secure Systems (SESS'10). ICSE (2) (2010)
Nicola Gatti, Mattia Monga, Sabrina Sicari
A Localization Game in Wireless Sensor Networks. GameSec (2010)
Nicola Gatti, Mattia Monga, Sabrina Sicari
Localization security in Wireless Sensor Networks as a non-cooperative game. ICUMT (2010)
Aristide Fattori, Roberto Paleari, Lorenzo Martignoni, Mattia Monga
Dynamic and Transparent Analysis of Commodity Production Systems CoRR (2010)
Nicola Gatti, Mattia Monga, Sabrina Sicari
A Game Theoretical Analysis of Localization Security in Wireless Sensor Networks with Adversaries CoRR (2010)
Seok-Won Lee, Mattia Monga
Special issue on software engineering for secure systems. Comput. Secur. 29 (3) (2010)
Aristide Fattori, Roberto Paleari, Lorenzo Martignoni, Mattia Monga
Dynamic and transparent analysis of commodity production systems. ASE (2010)
Katharina Mehner, Mattia Monga, Gabriele Taentzer
Analysis of Aspect-Oriented Model Weaving. LNCS Trans. Aspect Oriented Softw. Dev. 5 (2009)
Seok-Won Lee, Mattia Monga
Special section on Software Engineering for Secure Systems (SESS '07). Inf. Softw. Technol. 51 (7) (2009)
Luca Cavallaro, Mattia Monga
Unweaving the impact of aspect changes in AspectJ. FOAL (2009)
Mattia Monga, Roberto Paleari, Emanuele Passerini
A hybrid analysis framework for detecting web application vulnerabilities. SESS@ICSE (2009)
Mattia Monga, Sabrina Sicari
On the impact of localization data in wireless sensor networks with malicious nodes. SPRINGL (2009)
Mattia Monga, Sabrina Sicari
Assessing data quality by a cross-layer approach. ICUMT (2009)
Bart De Win, Seok-Won Lee, Mattia Monga
international workshop on software engineering for secure systems (SESS'09). ICSE Companion (2009)
Carlo Ghezzi, Andrea Mocci, Mattia Monga
Synthesizing intensional behavior models by graph transformation. ICSE (2009)
Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga
Using Graph Transformation Systems to Specify and Verify Data Abstractions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Lorenzo Cavallaro, Andrea Lanzi, Luca Mayer, Mattia Monga
LISABETH: automated content-based signature generator for zero-day polymorphic worms. SESS (2008)
Roberto Paleari, Davide Marrone, Danilo Bruschi, Mattia Monga
On Race Vulnerabilities in Web Applications. DIMVA (2008)
Bart De Win, Seok-Won Lee, Mattia Monga
The fourth international workshop on software engineering for secure systems: SESS'08 -- a trusted business world. ICSE Companion (2008)
Carlo Bellettini, Lorenzo Capra, Mattia Monga
Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management. Perform. Evaluation 64 (3) (2007)
Andrea Lanzi, Lorenzo Martignoni, Mattia Monga, Roberto Paleari
A Smart Fuzzer for x86 Executables. SESS@ICSE (2007)
Carlo Ghezzi, Andrea Mocci, Mattia Monga
Efficient recovery of algebraic specifications for stateful components. IWPSE (2007)
Danilo Bruschi, Lorenzo Martignoni, Mattia Monga
Code Normalization for Self-Mutating Malware. IEEE Secur. Priv. 5 (2) (2007)
Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga
On bytecode slicing and aspectJ interferences. FOAL (2007)
Danilo Bruschi, Bart De Win, Seok-Won Lee, Mattia Monga
The 3rd International Workshop on Software Engineering for Secure Systems SESS07 - Dependable and Secure. ICSE Companion (2007)
Danilo Bruschi, Lorenzo Martignoni, Mattia Monga
Using Code Normalization for Fighting Self-Mutating Malware. ISSSE (2006)
Danilo Bruschi, Bart De Win, Mattia Monga
Introduction to software engineering for secure systems: SESS06 - secure by design. SESS@ICSE (2006)
Katharina Mehner, Mattia Monga, Gabriele Taentzer
Interaction Analysis in Aspect-Oriented Models. RE (2006)
Elisabetta Di Nitto, Luca Mainetti, Mattia Monga, Licia Sbattella, Roberto Tedesco
Supporting Interoperability and Reusability of Learning Objects: The Virtual Campus Approach. J. Educ. Technol. Soc. 9 (2) (2006)
Davide Balzarotti, Carlo Ghezzi, Mattia Monga
Supporting Cooperative Software Processes in a Decentralized and Nomadic World. IEEE Trans. Syst. Man Cybern. Part A 36 (6) (2006)
Danilo Bruschi, Bart De Win, Mattia Monga
Software engineering for secure systems. ICSE (2006)
Danilo Bruschi, Lorenzo Martignoni, Mattia Monga
Detecting Self-mutating Malware Using Control-Flow Graph Matching. DIMVA (2006)
Mattia Monga, Angelo Scotto
A generic serializer for mobile devices. SAC (2005)
Carlo Bellettini, Lorenzo Capra, Mattia Monga
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets. Electron. Notes Theor. Comput. Sci. 128 (4) (2005)
Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi, Mattia Monga
Replay Attack in TCG Specification and Solution. ACSAC (2005)
Danilo Bruschi, Bart De Win, Mattia Monga
Software engineering for secure systems. ICSE (2005)
Danilo Bruschi, Bart De Win, Mattia Monga
Software engineering for secure systems. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Riccardo Casero, Mirko Cesarini, Mattia Monga
Managing Code Dependencies in C#. J. Object Technol. 3 (2) (2004)
Mirko Cesarini, Mattia Monga, Roberto Tedesco
Carrying on the e-learning process with a workflow management engine. SAC (2004)
Davide Balzarotti, Carlo Ghezzi, Mattia Monga
Freeing Cooperation from Servers Tyranny. NETWORKING Workshops (2002)
Davide Balzarotti, Carlo Ghezzi, Mattia Monga
Supporting configuration management for virtual workgroups ini a peer-to-peer setting. SEKE (2002)
Carlo Ghezzi, Mattia Monga
Fostering component evolution with C# attributes. IWPSE (2002)
Giovanni Denaro, Mattia Monga
An Experience on Verification of Aspect Properties. IWPSE (2001)