Mattia Monga

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