Sfoglia per Autore
Using a stochastic well-formed net model for assessing a decentralized approach to configuration management
2007 C. Bellettini, L. Capra, M. Monga
Vulnerability Analysis of SCADA Protocol Binaries through Detection of Memory Access Taintedness
2007 C. Bellettini, J. Rrushi
A product machine model for anomaly detection of interposition attacks on cyber-physical systems
2008 C. Bellettini, J.L. Rrushi
Combating memory corruption attacks on SCADA devices
2008 C. Bellettini, J. Rrushi
Memory corruption attacks, defenses, and evasions
2008 C. Bellettini, J.L. Rrushi
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
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
MaRDiGraS : simplified building of reachability graphs on large clusters
2013 C. Bellettini, M. Camilli, L. Capra, M. Monga
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
Informatics education in italian secondary schools
2014 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo, M. Torelli, L. Zecca
CTL model checking in the cloud using MapReduce
2015 M. Camilli, C. Bellettini, L. Capra, M. Monga
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
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
Coverability analysis of time basic petri nets with non-urgent behavior
2016 M. Camilli, C. Bellettini, L. Capra, M. Monga
Distributed CTL model checking using MapReduce : theory and practice
2016 C. Bellettini, M. Camilli, L. Capra, M. Monga
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini
Towards Inverse Uncertainty Quantification in Software Development (Short Paper)
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini
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