![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Mattia Monga
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]Violetta Lonati, Mattia Monga, Erik Barendsen:
ITiCSE 2024: Call for Participation. ACM SIGCSE Bull. 56(2) (2024) - [c63]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: 102-108 - [e9]Mattia Monga, Violetta Lonati, Erik Barendsen, Judithe Sheard, James Paterson:
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, ITiCSE 2024, Milan, Italy, July 8-10, 2024. ACM 2024 [contents] - [e8]Mattia Monga, Violetta Lonati, Erik Barendsen, Judithe Sheard, James Paterson:
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 2, ITiCSE 2024, Milan, Italy, July 8-10, 2024. ACM 2024 [contents] - 2023
- [j15]Simon, Judy Sheard, Mikko-Jussi Laakso, Mattia Monga:
ITiCSE 2023 Call for Papers. ACM SIGCSE Bull. 55(1): 4 (2023) - [j14]Mikko-Jussi Laakso, Mattia Monga:
ITiCSE 2023 Preview. ACM SIGCSE Bull. 55(2): 6-7 (2023) - [c62]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: 59-69 - [c61]Carlo Bellettini
, Violetta Lonati
, Mattia Monga
, Anna Morpurgo
:
All Green: How Different Age Groups Solved the Same Bebras Task. ISSEP 2023: 57-68 - [c60]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: 1368 - [e7]Mikko-Jussi Laakso, Mattia Monga, Simon, Judithe Sheard:
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, ITiCSE 2023, Turku, Finland, July 7-12, 2023. ACM 2023 [contents] - [e6]Mikko-Jussi Laakso, Mattia Monga, Simon, Judithe Sheard:
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, ITiCSE 2023, Turku, Finland, July 7-12, 2023. ACM 2023 [contents] - [e5]Mattia Monga, Mikko-Jussi Laakso, Simon, Judithe Sheard:
Proceedings of the 2023 Working Group Reports on Innovation and Technology in Computer Science Education, ITiCSE-WGR 2023, Turku, Finland, July 7-12, 2023. ACM 2023 [contents] - 2022
- [c59]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: 54-65 - [c58]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: 117-164 - [c57]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: 572-573 - 2021
- [i5]Andrej Brodnik, Andrew Csizmadia, Gerald Futschek, Lidija Kralj, Violetta Lonati, Peter Micheuz, Mattia Monga:
Programming for All: Understanding the Nature of Programs. CoRR abs/2111.04887 (2021) - 2020
- [c56]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-WGR 2020: 75-129 - [c55]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: 506-507
2010 – 2019
- 2019
- [c54]Carlo Bellettini, Violetta Lonati
, Mattia Monga
, Anna Morpurgo:
How Pupils Solve Online Problems: An Analytical View. CSEDU (2) 2019: 132-139 - [c53]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: 191-210 - [c52]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 - [c51]Carlo Bellettini
, Violetta Lonati
, Mattia Monga
, Anna Morpurgo
, Martina Palazzolo:
Situated Learning with Bebras Tasklets. ISSEP 2019: 225-239 - 2018
- [c50]Carlo Bellettini
, Fabrizio Carimati, Violetta Lonati
, Riccardo Macoratti, Dario Malchiodi, Mattia Monga
, Anna Morpurgo:
A Platform for the Italian Bebras. CSEDU (1) 2018: 350-357 - [c49]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: 141-153 - [c48]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: 194-205 - 2017
- [c47]Annalisa Calcagni, Violetta Lonati
, Dario Malchiodi, Mattia Monga
, Anna Morpurgo:
Promoting Computational Thinking Skills: Would You Use this Bebras Task? ISSEP 2017: 102-113 - [c46]Violetta Lonati
, Dario Malchiodi, Mattia Monga
, Anna Morpurgo:
Bebras as a Teaching Resource: Classifying the Tasks Corpus Using Computational Thinking Skills. ITiCSE 2017: 366 - [c45]Violetta Lonati
, Mattia Monga
, Dario Malchiodi, Anna Morpurgo:
How presentation affects the difficulty of computational thinking tasks: an IRT analysis. Koli Calling 2017: 60-69 - [c44]Violetta Lonati
, Dario Malchiodi, Mattia Monga
, Anna Morpurgo:
Nothing to Fear but Fear Itself: Introducing Recursion in Lower Secondary Schools. LaTiCE 2017: 91-98 - [c43]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
A Formal Framework for Specifying and Verifying Microservices Based Process Flows. SEFM Workshops 2017: 187-202 - 2016
- [j13]Carlo Bellettini
, Matteo Camilli
, Lorenzo Capra
, Mattia Monga
:
Distributed CTL model checking using MapReduce: theory and practice. Concurr. Comput. Pract. Exp. 28(11): 3025-3041 (2016) - [c42]Nicola Basilico
, Andrea Lanzi, Mattia Monga
:
A Security Game Model for Remote Software Protection. ARES 2016: 437-443 - [c41]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. SYNASC 2016: 165-172 - 2015
- [c40]Violetta Lonati
, Dario Malchiodi, Mattia Monga
, Anna Morpurgo:
Is Coding the Way to Go? ISSEP 2015: 165-174 - [c39]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: 27-32 - 2014
- [j12]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): 15:1-15:6 (2014) - [j11]Nicola Basilico
, Nicola Gatti
, Mattia Monga
, Sabrina Sicari:
Security Games for Node Localization through Verifiable Multilateration. IEEE Trans. Dependable Secur. Comput. 11(1): 72-85 (2014) - [c38]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: 161-172 - [c37]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
CTL Model Checking in the Cloud Using MapReduce. SYNASC 2014: 333-340 - 2013
- [c36]Carlo Bellettini
, Matteo Camilli
, Lorenzo Capra
, Mattia Monga
:
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. RP 2013: 83-95 - [p2]Katharina Mehner-Heindl, Mattia Monga
, Gabriele Taentzer:
Analysis of Aspect-Oriented Models Using Graph Transformation Systems. Aspect-Oriented Requirements Engineering 2013: 243-270 - [i4]Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
:
Distributed CTL Model Checking in the Cloud. CoRR abs/1310.6670 (2013) - 2012
- [c35]Carlo Bellettini
, Matteo Camilli
, Lorenzo Capra
, Mattia Monga
:
Symbolic State Space Exploration of RT Systems in the Cloud. SYNASC 2012: 295-302 - [c34]Carlo Bellettini
, Mattia Monga
, Violetta Lonati
, Anna Morpurgo, Dario Malchiodi, Mauro Torelli:
Exploring the processing of formatted texts by a kynesthetic approach. WiPSCE 2012: 143-144 - [i3]Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
:
State Space Exploration of RT Systems in the Cloud. CoRR abs/1203.6806 (2012) - 2011
- [c33]Seok-Won Lee, Mattia Monga
, Jan Jürjens:
Seventh international workshop on software engineering for secure systems: (SESS 2011). ICSE 2011: 1200-1201 - [c32]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: 213-224 - [e4]Jan Jürjens, Seok-Won Lee, Mattia Monga:
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, SESS 2011, Waikiki, Honolulu, HI, USA, May 22, 2011. ACM 2011, ISBN 978-1-4503-0581-5 [contents] - 2010
- [j10]Seok-Won Lee, Mattia Monga
:
Special issue on software engineering for secure systems. Comput. Secur. 29(3): 299-301 (2010) - [c31]Nicola Gatti
, Mattia Monga
, Sabrina Sicari:
A Localization Game in Wireless Sensor Networks. GameSec 2010: 168-179 - [c30]Seok-Won Lee, Mattia Monga
, Jan Jürjens:
The 6th International Workshop on Software Engineering for Secure Systems (SESS'10). ICSE (2) 2010: 433-434 - [c29]Nicola Gatti
, Mattia Monga
, Sabrina Sicari:
Localization security in Wireless Sensor Networks as a non-cooperative game. ICUMT 2010: 295-300 - [c28]Aristide Fattori, Roberto Paleari, Lorenzo Martignoni, Mattia Monga
:
Dynamic and transparent analysis of commodity production systems. ASE 2010: 417-426 - [e3]Seok-Won Lee, Mattia Monga, Jan Jürjens:
ICSE Workshop on Software Engineering for Secure Systems, SESS 2010, May 2, 2010, Cape Town, South Africa. ACM 2010, ISBN 978-1-60558-965-7 [contents] - [i2]Nicola Gatti, Mattia Monga, Sabrina Sicari:
A Game Theoretical Analysis of Localization Security in Wireless Sensor Networks with Adversaries. CoRR abs/1006.5003 (2010) - [i1]Aristide Fattori, Roberto Paleari, Lorenzo Martignoni, Mattia Monga:
Dynamic and Transparent Analysis of Commodity Production Systems. CoRR abs/1006.5845 (2010)
2000 – 2009
- 2009
- [j9]Seok-Won Lee, Mattia Monga
:
Special section on Software Engineering for Secure Systems (SESS '07). Inf. Softw. Technol. 51(7): 1150-1151 (2009) - [j8]Katharina Mehner, Mattia Monga
, Gabriele Taentzer:
Analysis of Aspect-Oriented Model Weaving. LNCS Trans. Aspect Oriented Softw. Dev. 5: 235-263 (2009) - [c27]Luca Cavallaro, Mattia Monga
:
Unweaving the impact of aspect changes in AspectJ. FOAL 2009: 13-18 - [c26]Mattia Monga
, Sabrina Sicari:
On the impact of localization data in wireless sensor networks with malicious nodes. SPRINGL 2009: 63-70 - [c25]Mattia Monga
, Roberto Paleari, Emanuele Passerini:
A hybrid analysis framework for detecting web application vulnerabilities. SESS@ICSE 2009: 25-32 - [c24]Carlo Ghezzi, Andrea Mocci
, Mattia Monga
:
Synthesizing intensional behavior models by graph transformation. ICSE 2009: 430-440 - [c23]Bart De Win, Seok-Won Lee, Mattia Monga
:
The 5th international workshop on software engineering for secure systems (SESS'09). ICSE Companion 2009: 478-479 - [c22]Mattia Monga
, Sabrina Sicari:
Assessing data quality by a cross-layer approach. ICUMT 2009: 1-8 - 2008
- [j7]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) - [c21]Roberto Paleari, Davide Marrone, Danilo Bruschi, Mattia Monga
:
On Race Vulnerabilities in Web Applications. DIMVA 2008: 126-142 - [c20]Lorenzo Cavallaro
, Andrea Lanzi, Luca Mayer, Mattia Monga
:
LISABETH: automated content-based signature generator for zero-day polymorphic worms. SESS 2008: 41-48 - [c19]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: 1069-1070 - [e2]Bart De Win, Seok-Won Lee, Mattia Monga:
Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems, SESS 2008, Leipzig, Germany, May 17-18, 2008. ACM 2008, ISBN 978-1-60558-042-5 [contents] - 2007
- [j6]Danilo Bruschi, Lorenzo Martignoni, Mattia Monga
:
Code Normalization for Self-Mutating Malware. IEEE Secur. Priv. 5(2): 46-54 (2007) - [j5]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): 229-246 (2007) - [c18]Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga
:
On bytecode slicing and aspectJ interferences. FOAL 2007: 35-43 - [c17]Andrea Lanzi, Lorenzo Martignoni, Mattia Monga
, Roberto Paleari:
A Smart Fuzzer for x86 Executables. SESS@ICSE 2007: 7 - [c16]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: 111-112 - [c15]Carlo Ghezzi, Andrea Mocci
, Mattia Monga
:
Efficient recovery of algebraic specifications for stateful components. IWPSE 2007: 98-105 - 2006
- [j4]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): 33-50 (2006) - [j3]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): 1098-1109 (2006) - [c14]Danilo Bruschi, Lorenzo Martignoni, Mattia Monga
:
Detecting Self-mutating Malware Using Control-Flow Graph Matching. DIMVA 2006: 129-143 - [c13]Danilo Bruschi, Bart De Win, Mattia Monga
:
Introduction to software engineering for secure systems: SESS06 - secure by design. SESS@ICSE 2006: 1-2 - [c12]Danilo Bruschi, Bart De Win, Mattia Monga
:
Software engineering for secure systems. ICSE 2006: 1007-1008 - [c11]Danilo Bruschi, Lorenzo Martignoni, Mattia Monga:
Using Code Normalization for Fighting Self-Mutating Malware. ISSSE 2006 - [c10]Katharina Mehner, Mattia Monga
, Gabriele Taentzer:
Interaction Analysis in Aspect-Oriented Models. RE 2006: 66-75 - [p1]Davide Balzarotti, Mattia Monga
, Sabrina Sicari:
Assessing the risk of using vulnerable components. Quality of Protection 2006: 65-77 - [e1]Danilo Bruschi, Bart De Win, Mattia Monga:
Proceedings of the 2006 international workshop on Software engineering for secure systems, SESS 2006, Shanghai, China, May 20-21, 2006. ACM 2006, ISBN 1-59593-411-1 [contents] - 2005
- [j2]Danilo Bruschi, Bart De Win, Mattia Monga
:
Software engineering for secure systems. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-2 (2005) - [c9]Danilo Bruschi, Lorenzo Cavallaro
, Andrea Lanzi, Mattia Monga
:
Replay Attack in TCG Specification and Solution. ACSAC 2005: 127-137 - [c8]Danilo Bruschi, Bart De Win, Mattia Monga
:
Software engineering for secure systems. ICSE 2005: 681 - [c7]Mattia Monga
, Angelo Scotto:
A generic serializer for mobile devices. SAC 2005: 981-985 - 2004
- [j1]Riccardo Casero, Mirko Cesarini, Mattia Monga
:
Managing Code Dependencies in C#. J. Object Technol. 3(2): 47-55 (2004) - [c6]Mirko Cesarini, Mattia Monga
, Roberto Tedesco:
Carrying on the e-learning process with a workflow management engine. SAC 2004: 940-945 - [c5]Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets. PASM 2004: 59-77 - 2002
- [c4]Carlo Ghezzi, Mattia Monga
:
Fostering component evolution with C# attributes. IWPSE 2002: 22-28 - [c3]Davide Balzarotti, Carlo Ghezzi, Mattia Monga
:
Freeing Cooperation from Servers Tyranny. NETWORKING Workshops 2002: 235-246 - [c2]Davide Balzarotti, Carlo Ghezzi, Mattia Monga
:
Supporting configuration management for virtual workgroups ini a peer-to-peer setting. SEKE 2002: 507-511 - 2001
- [c1]Giovanni Denaro, Mattia Monga
:
An Experience on Verification of Aspect Properties. IWPSE 2001: 186-189
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint