Sfoglia per Autore
To Be Or Not To Be... An Algorithm: The Notion According to Students and Teachers
2024 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo
All Green: How Different Age Groups Solved the Same Bebras Task
2023 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo
DaVinci Goes to Bebras: A Study on the Problem Solving Ability of GPT-3
2023 C. Bellettini, M. Lodi, V. Lonati, M. Monga, A. Morpurgo
Replication Data for: How is two better than one? An observational study on the impact of working in pairs when solving Bebras tasks
2022 C.N.M. Bellettini, V. Lonati, M. Monga, A.C.G. Morpurgo
How is Two Better Than One? An Observational Study on the Impact of Working in Pairs When Solving Bebras Tasks
2022 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo
Behind the Shoulders of Bebras Teams: Analyzing How They Interact with the Platform to Solve Tasks
2020 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo
Algomotricità: manipolare i fondamenti dell’informatica
2020 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo
Situated Learning with Bebras Tasklets
2019 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo, M. Palazzolo
An Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI
2019 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo
How Pupils Solve Online Problems: An Analytical View
2019 C.N.M. Bellettini, V. Lonati, M. Monga, A.C.G. Morpurgo
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems
2019 M. Camilli, L. Capra, C. Bellettini
Informatics and Computational Thinking: A Teacher Professional Development Proposal Based on Social-Constructivism
2018 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo
Online Model-Based Testing under Uncertainty
2018 M. Camilli, C. Bellettini, A. Gargantini, P. Scandurra
A high-level petri net-based formal model of distributed self-adaptive systems
2018 M. Camilli, C.N.M. Bellettini, L. Capra
Informatica e pensiero computazionale : una proposta costruttivista per gli insegnanti
2018 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo
A Platform for the Italian Bebras
2018 A. Morpurgo, M. Monga, D. Malchiodi, R. Macoratti, V. Lonati, F. Carimati, C. Bellettini
Design-Time to Run-Time Verification of Microservices Based Applications
2018 M. Camilli, C. Bellettini, L. Capra
A Formal Framework for Specifying and Verifying Microservices Based Process Flows
2018 M. Camilli, C. Bellettini, L. Capra, M. Monga
Towards Inverse Uncertainty Quantification in Software Development (Short Paper)
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini
Distributed CTL model checking using MapReduce : theory and practice
2016 C. Bellettini, M. Camilli, L. Capra, M. Monga
Coverability analysis of time basic petri nets with non-urgent behavior
2016 M. Camilli, C. Bellettini, L. Capra, M. Monga
La formazione degli insegnanti della classe 42/A – Informatica: l'esperienza dell'Università degli Studi di Milano
2015 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, F. Pedersini
How Challenging are Bebras Tasks? : An IRT Analysis Based on the Performance of Italian Students
2015 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli
CTL model checking in the cloud using MapReduce
2015 M. Camilli, C. Bellettini, L. Capra, M. Monga
Informatics education in italian secondary schools
2014 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli, L. Zecca
Extracurricular activities for improving the perception of informatics in secondary schools
2014 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli, L. Zecca
Teaching informatics for fun and profit
2014 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli
MaRDiGraS : simplified building of reachability graphs on large clusters
2013 C. Bellettini, M. Camilli, L. Capra, M. Monga
What you see is what you have in mind : constructing mental models for formatted text processing
2013 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli
Reachability analysis of time basic Petri Nets: a time coverage approach
2012 C. Bellettini, L. Capra
Exploring the processing of formatted texts by a kynesthetic approach
2012 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli
Symbolic state space exploration of RT systems in the cloud
2012 C. Bellettini, M. Camilli, L. Capra, M. Monga
Memory corruption attacks, defenses, and evasions
2008 C. Bellettini, J.L. Rrushi
Combating memory corruption attacks on SCADA devices
2008 C. Bellettini, J. Rrushi
A product machine model for anomaly detection of interposition attacks on cyber-physical systems
2008 C. Bellettini, J.L. Rrushi
Vulnerability Analysis of SCADA Protocol Binaries through Detection of Memory Access Taintedness
2007 C. Bellettini, J. Rrushi
Using a stochastic well-formed net model for assessing a decentralized approach to configuration management
2007 C. Bellettini, L. Capra, M. Monga
A metamodel for modeling and measuring scrum development process
2007 E. Damiani, A. Colombo, F. Frati, C.N.M. Bellettini
SCADA Protocol Obfuscation: A Proactive Defense Line in SCADA Systems
2007 C.N.M. Bellettini, J. Rrushi
Validation of Reverse Engineered Web Application Models
2006 C. Bellettini, A. Marchetto, A. Trentini
Applying MDSOC to Web Applications
2005 C. Bellettini, A. Marchetto, A. Trentini
AN APPROACH TO CONCERNS AND ASPECTS MINING FOR WEB APPLICATIONS
2005 C. Bellettini, A. Marchetto, A. Trentini
Quantitative assessment of a peer-to-peer cooperative infrastructure using Stochastic Well-Formed Nets
2005 C. Bellettini, L. Capra, M. Monga
Quotient graphs for the analysis of asymmetric distributed systems : surveying two alternative approaches
2005 C. Bellettini, L. Capra
TestUml: user-metrics driven Web Applications testing
2005 C. Bellettini, A. Marchetto, A. Trentini
A comparative assessment of peer-to-peer and server-based configuration management systems
2004 C. Bellettini, L. Capra, M. Monga
A quotient graph for asymmetric distributed systems
2004 C. Bellettini, L. Capra
Fuzzy selection of software components and of Web services
2004 C.N.M. Bellettini, M. Fugini, P. Plebani
WebUml: reverse engineering of web applications
2004 C. Bellettini, A. Marchetto, A. Trentini
Local symmetries exploitation for the analysis of asymmetric distributed systems
2004 L. Capra, C. Bellettini
Role based access control models
2001 C. Bellettini, E. Bertino, E. Ferrari
Software reuse in-the-small : automating group rewarding
2001 C. Bellettini, E. Damiani, M.G. Fugini
Querying UML/XMI Design Information
2001 C. Bellettini, E. Damiani, M..G. Fugini
User opinions and rewards in a reuse-based development system
1999 C. Bellettini, E. Damiani, M.G. Fugini
A hierarchy-aware approach to faceted classification of objected-oriented components
1999 E. Damiani, M.G. Fugini, C. Bellettini
HyperReal : a modular control architecture for HRT systems
1996 F. De Paoli, F. Tisato, C. Bellettini
Merlot: a tool for analysis of real-time specifications
1993 C. Bellettini, M. Felder, M. Pezze
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile