BELLETTINI, CARLO NICOLA MARIA
BELLETTINI, CARLO NICOLA MARIA
Dipartimento di Informatica Giovanni Degli Antoni
A comparative assessment of peer-to-peer and server-based configuration management systems
2004 C. Bellettini, L. Capra, M. Monga
A Formal Framework for Specifying and Verifying Microservices Based Process Flows
2018 M. Camilli, C. Bellettini, L. Capra, M. Monga
A hierarchy-aware approach to faceted classification of objected-oriented components
1999 E. Damiani, M.G. Fugini, C. Bellettini
A high-level petri net-based formal model of distributed self-adaptive systems
2018 M. Camilli, C.N.M. Bellettini, L. Capra
A metamodel for modeling and measuring scrum development process
2007 E. Damiani, A. Colombo, F. Frati, C.N.M. Bellettini
A Platform for the Italian Bebras
2018 A. Morpurgo, M. Monga, D. Malchiodi, R. Macoratti, V. Lonati, F. Carimati, C. Bellettini
A product machine model for anomaly detection of interposition attacks on cyber-physical systems
2008 C. Bellettini, J.L. Rrushi
A quotient graph for asymmetric distributed systems
2004 C. Bellettini, L. Capra
Algomotricità: manipolare i fondamenti dell’informatica
2020 C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo
All Green: How Different Age Groups Solved the Same Bebras Task
2023 C. Bellettini, V. Lonati, M. Monga, A. Morpurgo
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
AN APPROACH TO CONCERNS AND ASPECTS MINING FOR WEB APPLICATIONS
2005 C. Bellettini, A. Marchetto, A. Trentini
Applying MDSOC to Web Applications
2005 C. Bellettini, A. Marchetto, A. Trentini
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
Combating memory corruption attacks on SCADA devices
2008 C. Bellettini, J. Rrushi
Coverability analysis of time basic petri nets with non-urgent behavior
2016 M. Camilli, C. Bellettini, L. Capra, M. Monga
CTL model checking in the cloud using MapReduce
2015 M. Camilli, C. Bellettini, L. Capra, M. Monga
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
Design-Time to Run-Time Verification of Microservices Based Applications
2018 M. Camilli, C. Bellettini, L. Capra
Distributed CTL model checking using MapReduce : theory and practice
2016 C. Bellettini, M. Camilli, L. Capra, M. Monga