BELLETTINI, CARLO NICOLA MARIA

BELLETTINI, CARLO NICOLA MARIA  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 57 (tempo di esecuzione: 0.004 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A comparative assessment of peer-to-peer and server-based configuration management systems 1-set-2004 C. BellettiniL. CapraM. Monga Book Part (author) -
A Formal Framework for Specifying and Verifying Microservices Based Process Flows 1-gen-2018 M. CamilliC. BellettiniL. CapraM. Monga Book Part (author) -
A hierarchy-aware approach to faceted classification of objected-oriented components 1-gen-1999 E. DamianiC. Bellettini + Article (author) -
A high-level petri net-based formal model of distributed self-adaptive systems 24-set-2018 Matteo CamilliCarlo BellettiniLorenzo Capra Book Part (author) -
A metamodel for modeling and measuring scrum development process 1-gen-2007 Ernesto DamianiAlberto ColomboFulvio FratiCarlo Bellettini Book Part (author) -
A Platform for the Italian Bebras 1-mar-2018 Morpurgo, AnnaMonga, MattiaMalchiodi, DarioLonati, ViolettaBellettini, Carlo + Book Part (author) -
A product machine model for anomaly detection of interposition attacks on cyber-physical systems 1-gen-2008 C. BellettiniJ.L. Rrushi Book Part (author) -
A quotient graph for asymmetric distributed systems 1-gen-2004 C. BellettiniL. Capra Book Part (author) -
Algomotricità: manipolare i fondamenti dell’informatica 1-gen-2020 C. BellettiniV. LonatiD. MalchiodiM. MongaA. Morpurgo Book Part (author) -
All Green: How Different Age Groups Solved the Same Bebras Task 1-ott-2023 Bellettini, CarloLonati, ViolettaMonga, MattiaMorpurgo, Anna Book Part (author) -
An Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI 1-set-2019 C. BellettiniV. LonatiM. MongaA. Morpurgo Book Part (author) -
AN APPROACH TO CONCERNS AND ASPECTS MINING FOR WEB APPLICATIONS 1-gen-2005 C. BellettiniA. MarchettoA. Trentini Article (author) -
Applying MDSOC to Web Applications 1-gen-2005 C. BellettiniA. MarchettoA. Trentini Book Part (author) -
Behind the Shoulders of Bebras Teams: Analyzing How They Interact with the Platform to Solve Tasks 1-nov-2020 Bellettini, CarloLonati, ViolettaMonga, MattiaMorpurgo, Anna Book Part (author) -
Combating memory corruption attacks on SCADA devices 1-gen-2008 C. BellettiniJ. RRushi Book Part (author) -
Coverability analysis of time basic petri nets with non-urgent behavior 1-gen-2016 CAMILLI, MATTEOC. BellettiniL. CapraM. Monga Book Part (author) -
CTL model checking in the cloud using MapReduce 1-feb-2015 M. CamilliC. BellettiniL. CapraM. Monga Book Part (author) -
DaVinci Goes to Bebras: A Study on the Problem Solving Ability of GPT-3 1-gen-2023 Bellettini, CarloLonati, ViolettaMonga, MattiaMorpurgo, Anna + Book Part (author) -
Design-Time to Run-Time Verification of Microservices Based Applications 1-feb-2018 M. CamilliC. BellettiniL. Capra Book Part (author) -
Distributed CTL model checking using MapReduce : theory and practice 1-gen-2016 C. BellettiniM. CamilliL. CapraM. Monga Article (author) -