BELLETTINI CARLO NICOLA MARIA

Distributed CTL model checking using MapReduce : theory and practice.

CONCURRENCY AND COMPUTATION.

2016

Academic Article

Reserved Access

Informatics education in italian secondary schools.

ACM TRANSACTIONS ON COMPUTING EDUCATION.

2014

Academic Article

Reserved Access

Using a stochastic well-formed net model for assessing a decentralized approach to configuration management.

PERFORMANCE EVALUATION.

2007

Academic Article

Validation of Reverse Engineered Web Application Models.

INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY.

2006

Academic Article

AN APPROACH TO CONCERNS AND ASPECTS MINING FOR WEB APPLICATIONS.

INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY.

2005

Academic Article

Quantitative assessment of a peer-to-peer cooperative infrastructure using Stochastic Well-Formed Nets.

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

2005

Academic Article

Role based access control models.

INFORMATION SECURITY TECHNICAL REPORT.

2001

Academic Article

Software reuse in-the-small : automating group rewarding.

INFORMATION AND SOFTWARE TECHNOLOGY.

2001

Academic Article

A hierarchy-aware approach to faceted classification of objected-oriented components.

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY.

1999

Academic Article

HyperReal : a modular control architecture for HRT systems.

JOURNAL OF SYSTEMS ARCHITECTURE.

1996

Academic Article

La formazione degli insegnanti della classe 42/A – Informatica: l'esperienza dell'Università degli Studi di Milano.

Sapienza Università Editrice.

2015

Chapter

Open Access

A product machine model for anomaly detection of interposition attacks on cyber-physical systems.

Springer.

2008

Chapter

Memory corruption attacks, defenses, and evasions.

Idea Group Reference.

2008

Chapter

Fuzzy selection of software components and of Web services.

Springer.

2004

Chapter

An Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI.

CEUR WORKSHOP PROCEEDINGS.

2019

Conference Paper

Reserved Access

How Pupils Solve Online Problems: An Analytical View.

2019

Conference Paper

Reserved Access

PNemu: An Extensible Modeling Library for Adaptable Distributed Systems.

LECTURE NOTES IN COMPUTER SCIENCE.

2019

Conference Paper

Situated Learning with Bebras Tasklets.

LECTURE NOTES IN COMPUTER SCIENCE.

2019

Conference Paper

Partially Open Access

A Formal Framework for Specifying and Verifying Microservices Based Process Flows.

LECTURE NOTES IN COMPUTER SCIENCE.

2018

Conference Paper

Reserved Access

A Platform for the Italian Bebras.

2018

Conference Paper

Reserved Access

A high-level petri net-based formal model of distributed self-adaptive systems.

2018

Conference Paper

Reserved Access

Design-Time to Run-Time Verification of Microservices Based Applications.

LECTURE NOTES IN COMPUTER SCIENCE.

2018

Conference Paper

Open Access

Informatica e pensiero computazionale : una proposta costruttivista per gli insegnanti.

2018

Conference Paper

Open Access

Informatics and Computational Thinking: A Teacher Professional Development Proposal Based on Social-Constructivism.

LECTURE NOTES IN COMPUTER SCIENCE.

2018

Conference Paper

Reserved Access

Online Model-Based Testing under Uncertainty.

PROCEEDINGS-INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING.

2018

Conference Paper

Partially Open Access

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets.

LECTURE NOTES IN COMPUTER SCIENCE.

2017

Conference Paper

Towards Inverse Uncertainty Quantification in Software Development (Short Paper).

LECTURE NOTES IN COMPUTER SCIENCE.

2017

Conference Paper

Open Access

Coverability analysis of time basic petri nets with non-urgent behavior.

2016

Conference Paper

Reserved Access

CTL model checking in the cloud using MapReduce.

2015

Conference Paper

Reserved Access

How Challenging are Bebras Tasks? : An IRT Analysis Based on the Performance of Italian Students.

2015

Conference Paper

Open Access

Extracurricular activities for improving the perception of informatics in secondary schools.

LECTURE NOTES IN COMPUTER SCIENCE.

2014

Conference Paper

Reserved Access

Teaching informatics for fun and profit.

2014

Conference Paper

MaRDiGraS : simplified building of reachability graphs on large clusters.

2013

Conference Paper

Reserved Access

What you see is what you have in mind : constructing mental models for formatted text processing.

COMMENTARII INFORMATICAE DIDACTICAE.

2013

Conference Paper

Reserved Access

Exploring the processing of formatted texts by a kynesthetic approach.

2012

Conference Paper

Reserved Access

Reachability analysis of time basic Petri Nets: a time coverage approach.

2012

Conference Paper

Reserved Access

Symbolic state space exploration of RT systems in the cloud.

2012

Conference Paper

Reserved Access

Combating memory corruption attacks on SCADA devices.

IFIP INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING.

2008

Conference Paper

Reserved Access

A metamodel for modeling and measuring scrum development process.

2007

Conference Paper

SCADA Protocol Obfuscation: A Proactive Defense Line in SCADA Systems.

2007

Conference Paper

Vulnerability Analysis of SCADA Protocol Binaries through Detection of Memory Access Taintedness.

2007

Conference Paper

Applying MDSOC to Web Applications.

2005

Conference Paper

Quotient graphs for the analysis of asymmetric distributed systems : surveying two alternative approaches.

2005

Conference Paper

TestUml: user-metrics driven Web Applications testing.

2005

Conference Paper

Reserved Access

A comparative assessment of peer-to-peer and server-based configuration management systems.

2004

Conference Paper

A quotient graph for asymmetric distributed systems.

2004

Conference Paper

Local symmetries exploitation for the analysis of asymmetric distributed systems.

2004

Conference Paper

WebUml: reverse engineering of web applications.

2004

Conference Paper

Querying UML/XMI Design Information.

2001

Conference Paper

User opinions and rewards in a reuse-based development system.

1999

Conference Paper

Merlot: a tool for analysis of real-time specifications.

1993

Conference Paper

Coping with the State Explosion Problem in Formal Methods: Advanced Abstraction Techniques and Big Data Approaches..

2015

Thesis

Open Access

Coping with the State Explosion Problem in Formal Methods: Advanced Abstraction Techniques and Big Data Approaches..

2015

Thesis

Open Access

Composite Intrusion Detection in Process Control Networks.

2009

Thesis

Open Access

Settori (7)

Parole Chiave

Ricerca Finanziata (2)

La progettazione e sviluppo di un servizio capace di fornire notizie e informazioni sulle varie risosrse sociali pubbliche e private, integrando in maniera innovativa i dati provenienti dagli enti locali e associazioni coinvolte.

Enhanced Music Interactive Platform for Internet User.

Pubblicazioni (54)

Distributed CTL model checking using MapReduce : theory and practice.

Informatics education in italian secondary schools.

Using a stochastic well-formed net model for assessing a decentralized approach to configuration management.

Validation of Reverse Engineered Web Application Models.

AN APPROACH TO CONCERNS AND ASPECTS MINING FOR WEB APPLICATIONS.

Quantitative assessment of a peer-to-peer cooperative infrastructure using Stochastic Well-Formed Nets.

Role based access control models.

Software reuse in-the-small : automating group rewarding.

A hierarchy-aware approach to faceted classification of objected-oriented components.

HyperReal : a modular control architecture for HRT systems.

La formazione degli insegnanti della classe 42/A – Informatica: l'esperienza dell'Università degli Studi di Milano.

A product machine model for anomaly detection of interposition attacks on cyber-physical systems.

Memory corruption attacks, defenses, and evasions.

Fuzzy selection of software components and of Web services.

An Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI.

How Pupils Solve Online Problems: An Analytical View.

PNemu: An Extensible Modeling Library for Adaptable Distributed Systems.

Situated Learning with Bebras Tasklets.

A Formal Framework for Specifying and Verifying Microservices Based Process Flows.

A Platform for the Italian Bebras.

A high-level petri net-based formal model of distributed self-adaptive systems.

Design-Time to Run-Time Verification of Microservices Based Applications.

Informatica e pensiero computazionale : una proposta costruttivista per gli insegnanti.

Informatics and Computational Thinking: A Teacher Professional Development Proposal Based on Social-Constructivism.

Online Model-Based Testing under Uncertainty.

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets.

Towards Inverse Uncertainty Quantification in Software Development (Short Paper).

Coverability analysis of time basic petri nets with non-urgent behavior.

CTL model checking in the cloud using MapReduce.

How Challenging are Bebras Tasks? : An IRT Analysis Based on the Performance of Italian Students.

Extracurricular activities for improving the perception of informatics in secondary schools.

Teaching informatics for fun and profit.

MaRDiGraS : simplified building of reachability graphs on large clusters.

What you see is what you have in mind : constructing mental models for formatted text processing.

Exploring the processing of formatted texts by a kynesthetic approach.

Reachability analysis of time basic Petri Nets: a time coverage approach.

Symbolic state space exploration of RT systems in the cloud.

Combating memory corruption attacks on SCADA devices.

A metamodel for modeling and measuring scrum development process.

SCADA Protocol Obfuscation: A Proactive Defense Line in SCADA Systems.

Vulnerability Analysis of SCADA Protocol Binaries through Detection of Memory Access Taintedness.

Applying MDSOC to Web Applications.

Quotient graphs for the analysis of asymmetric distributed systems : surveying two alternative approaches.

TestUml: user-metrics driven Web Applications testing.

A comparative assessment of peer-to-peer and server-based configuration management systems.

A quotient graph for asymmetric distributed systems.

Local symmetries exploitation for the analysis of asymmetric distributed systems.

WebUml: reverse engineering of web applications.

Querying UML/XMI Design Information.

User opinions and rewards in a reuse-based development system.

Merlot: a tool for analysis of real-time specifications.

Coping with the State Explosion Problem in Formal Methods: Advanced Abstraction Techniques and Big Data Approaches..

Coping with the State Explosion Problem in Formal Methods: Advanced Abstraction Techniques and Big Data Approaches..

Composite Intrusion Detection in Process Control Networks.

Collegi Di Dottorato (12)

Tutoraggio (4)

Public Engagement (3)

Pdf

Orcid Id

Isi Researcher Id

Scopus Id