BELLETTINI, CARLO NICOLA MARIA

BELLETTINI, CARLO NICOLA MARIA  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 54 (tempo di esecuzione: 0.008 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 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) -
AN APPROACH TO CONCERNS AND ASPECTS MINING FOR WEB APPLICATIONS 1-gen-2005 C. BellettiniA. MarchettoA. Trentini Article (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) -
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) -
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) -
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets 9-apr-2017 M. CamilliP. ScandurraC. Bellettini + Book Part (author) -
Exploring the processing of formatted texts by a kynesthetic approach 1-gen-2012 C. BellettiniV. LonatiD. MalchiodiM. MongaA. MorpurgoM. Torelli Book Part (author) -
Extracurricular activities for improving the perception of informatics in secondary schools 1-gen-2014 C. BellettiniV. LonatiD. MalchiodiM. MongaA. MorpurgoM. Torelli + 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) -
Fuzzy selection of software components and of Web services 1-gen-2004 Carlo Bellettini + 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) -