Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. - Davide Cerotti; Davide D'Aprile; Susanna Donatelli; Jeremy Sproston (ACSD, 2006)

CSL Model Checking for Generalized Stochastic Petri Nets. - Davide Cerotti; Susanna Donatelli; András Horváth; Jeremy Sproston (QEST, 2006)

UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project. - Davide Cerotti; Daniele Codetta Raiteri; Susanna Donatelli; Claudio Brasca; Giovanna Dondossola; Fabrizio Garrone (CRITIS, 2007)

Disaster Propagation in Heterogeneous Media via Markovian Agents. - Davide Cerotti; Marco Gribaudo; Andrea Bobbio (CRITIS, 2008)

Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. - Marco Gribaudo; Davide Cerotti; Andrea Bobbio (PerCom, 2008)

Presenting Dynamic Markovian Agents with a road tunnel application. - Davide Cerotti; Marco Gribaudo; Andrea Bobbio (MASCOTS, 2009)

Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents. - Dario Bruneo; Marco Scarpa; Andrea Bobbio; Davide Cerotti; Marco Gribaudo (VALUETOOLS, 2009)

The GreatSPN tool: recent enhancements. - Souheib Baarir; Marco Beccuti; Davide Cerotti; Massimiliano De Pierro; Susanna Donatelli; Giuliana Franceschinis (SIGMETRICS Perform. Evaluation Rev., 2009)

A Markovian Agent Model for Fire Propagation in Outdoor Environments. - Davide Cerotti; Marco Gribaudo; Andrea Bobbio; Carlos Miguel Tavares Calafate; Pietro Manzoni (EPEW, 2010)

A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents. - Davide Cerotti; Enrico Barbierato; Marco Gribaudo (EPEW, 2011)

Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Giuseppe Serazzi (QEST, 2012)

Markovian agent modeling swarm intelligence algorithms in wireless sensor networks. - Dario Bruneo; Marco Scarpa; Andrea Bobbio; Davide Cerotti; Marco Gribaudo (Perform. Evaluation, 2012)

End-to-End Performance of Multi-core Systems in Cloud Environments. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Giuseppe Serazzi (EPEW, 2013)

Performance optimization with JMT: Java modelling tools. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Giuseppe Serazzi (VALUETOOLS, 2013)

Throughput Maximization with Multiclass Workloads and Resource Constraints. - Davide Cerotti; Marco Gribaudo; Ingolf Krüger; Pietro Piazzolla; Filippo Seracini; Giuseppe Serazzi (ASMTA, 2014)

Workload Characterization Of Multithreaded Applications On Multicore Architectures. - Davide Cerotti; Marco Gribaudo; Mauro Iacono; Pietro Piazzolla (ECMS, 2014)

Probabilistic consensus in Markovian multi-agent networks. - Paolo Bolzern; Davide Cerotti; Patrizio Colaneri; Marco Gribaudo (ECC, 2014)

Asymptotic Behavior and Performance Constraints of Replication Policies. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Giuseppe Serazzi (PASM, 2014)

Markovian agents models for wireless sensor networks deployed in environmental protection. - Davide Cerotti; Marco Gribaudo; Andrea Bobbio (Reliab. Eng. Syst. Saf., 2014)

Modeling Power Consumption in Multicore CPUs with Multithreading and Frequency Scaling. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Riccardo Pinciroli; Giuseppe Serazzi (ISCIS, 2015)

Multi-Class Queuing Networks Models for Energy Optimization. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Riccardo Pinciroli; Giuseppe Serazzi (EAI Endorsed Trans. Energy Web, 2015)

An Intelligent Swarm of Markovian Agents. - Dario Bruneo; Marco Scarpa; Andrea Bobbio; Davide Cerotti; Marco Gribaudo (Handbook of Computational Intelligence, 2015)

Stochastic Analysis of Energy Consumption in Pool Depletion Systems. - Davide Cerotti; Marco Gribaudo; Riccardo Pinciroli; Giuseppe Serazzi (MMB/DFT, 2016)

Optimal population mix in pool depletion systems with two-class workload. - Davide Cerotti; Marco Gribaudo; Riccardo Pinciroli; Giuseppe Serazzi (VALUETOOLS, 2016)

Matching performance objectives for open and closed workloads by consolidation and replication. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Giuseppe Serazzi (Ann. Oper. Res., 2016)

Modeling and analysis of performances for concurrent multithread applications on multicore and graphics processing unit systems. - Davide Cerotti; Marco Gribaudo; Mauro Iacono; Pietro Piazzolla (Concurr. Comput. Pract. Exp., 2016)

Crowdsourcing and Stigmergic Approaches for (Swarm) Intelligent Transportation Systems. - Salvatore Distefano; Giovanni Merlino; Antonio Puliafito; Davide Cerotti; Rustem Dautov (HCC, 2017)

Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip. - Riccardo Pinciroli; Andrea Bobbio; Cristiana Bolchini; Davide Cerotti; Marco Gribaudo; Antonio Miele; Kishor S. Trivedi (ICSRS, 2017)

Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents. - Andrea Bobbio; Cristiana Bolchini; Davide Cerotti; Marco Gribaudo; Antonio Miele (VALUETOOLS, 2017)

Mean Field Analysis for Continuous Time Bayesian Networks. - Davide Cerotti; Daniele Codetta Raiteri (InfQ@VALUETOOLS, 2017)

A Crowd-Cooperative Approach for Intelligent Transportation Systems. - Davide Cerotti; Salvatore Distefano; Giovanni Merlino; Antonio Puliafito (IEEE Trans. Intell. Transp. Syst., 2017)

Modeling Techniques for Pool Depletion Systems. - Davide Cerotti; Marco Gribaudo; Riccardo Pinciroli; Giuseppe Serazzi (Systems Modeling: Methodologies and Tools, 2019)

Analysis and Detection of Cyber Attack Processes targeting Smart Grids. - Davide Cerotti; Daniele Codetta Raiteri; Lavinia Egidi; Giuliana Franceschinis; Luigi Portinale; Giovanna Dondossola; Roberta Terruggia (ISGT Europe, 2019)

A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems. - Davide Cerotti; Daniele Codetta Raiteri; Giovanna Dondossola; Lavinia Egidi; Giuliana Franceschinis; Luigi Portinale; Roberta Terruggia (ITASEC, 2019)

Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents. - Davide Cerotti; Antonio Miele; Marco Gribaudo; Andrea Bobbio; Cristiana Bolchini (Perform. Evaluation, 2019)

Analysis of an Electric Vehicle Charging System Along a Highway. - Davide Cerotti; Simona Mancini; Marco Gribaudo; Andrea Bobbio (QEST, 2022)

SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures. - Davide Cerotti; Daniele Codetta Raiteri; Giovanna Dondossola; Lavinia Egidi; Giuliana Franceschinis; Luigi Portinale; Roberta Terruggia; Davide Savarro (ITASEC, 2024)

Temporal relational algebras supporting preferences in temporal relational databases: Definition, properties and evaluation. - Luca Anselma; Antonella Coviello; Davide Cerotti; Erica Raina; Paolo Terenziani (Inf. Syst., 2026)