Davide Cerotti

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 14

Top Topics

Continuous Time Bayesian Networks

Binary Classification Problems

Multi Class Classifier

Analytical Models

Top Venues

Publications

Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia, Davide Savarro
SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures. ITASEC (2024)
Davide Cerotti, Simona Mancini, Marco Gribaudo, Andrea Bobbio
Analysis of an Electric Vehicle Charging System Along a Highway. QEST (2022)
Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Giovanna Dondossola, Roberta Terruggia
Analysis and Detection of Cyber Attack Processes targeting Smart Grids. ISGT Europe (2019)
Davide Cerotti, Antonio Miele, Marco Gribaudo, Andrea Bobbio, Cristiana Bolchini
Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents. Perform. Evaluation 132 (2019)
Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems. ITASEC (2019)
Andrea Bobbio, Cristiana Bolchini, Davide Cerotti, Marco Gribaudo, Antonio Miele
Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents. VALUETOOLS (2017)
Salvatore Distefano, Giovanni Merlino, Antonio Puliafito, Davide Cerotti, Rustem Dautov
Crowdsourcing and Stigmergic Approaches for (Swarm) Intelligent Transportation Systems. HCC (2017)
Riccardo Pinciroli, Andrea Bobbio, Cristiana Bolchini, Davide Cerotti, Marco Gribaudo, Antonio Miele, Kishor S. Trivedi
Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip. ICSRS (2017)
Davide Cerotti, Salvatore Distefano, Giovanni Merlino, Antonio Puliafito
A Crowd-Cooperative Approach for Intelligent Transportation Systems. IEEE Trans. Intell. Transp. Syst. 18 (6) (2017)
Davide Cerotti, Daniele Codetta Raiteri
Mean Field Analysis for Continuous Time Bayesian Networks. InfQ@VALUETOOLS (2017)
Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi
Stochastic Analysis of Energy Consumption in Pool Depletion Systems. MMB/DFT (2016)
Davide Cerotti, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla
Modeling and analysis of performances for concurrent multithread applications on multicore and graphics processing unit systems. Concurr. Comput. Pract. Exp. 28 (2) (2016)
Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi
Optimal population mix in pool depletion systems with two-class workload. VALUETOOLS (2016)
Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi
Matching performance objectives for open and closed workloads by consolidation and replication. Ann. Oper. Res. 239 (2) (2016)
Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi
Modeling Power Consumption in Multicore CPUs with Multithreading and Frequency Scaling. ISCIS (2015)
Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi
Multi-Class Queuing Networks Models for Energy Optimization. EAI Endorsed Trans. Energy Web 2 (6) (2015)
Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi
Asymptotic Behavior and Performance Constraints of Replication Policies. Electron. Notes Theor. Comput. Sci. 310 (2015)
Davide Cerotti, Marco Gribaudo, Ingolf Krüger, Pietro Piazzolla, Filippo Seracini, Giuseppe Serazzi
Throughput Maximization with Multiclass Workloads and Resource Constraints. ASMTA (2014)
Davide Cerotti, Marco Gribaudo, Andrea Bobbio
Markovian agents models for wireless sensor networks deployed in environmental protection. Reliab. Eng. Syst. Saf. 130 (2014)
Davide Cerotti, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla
Workload Characterization Of Multithreaded Applications On Multicore Architectures. ECMS (2014)
Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi
Multi-Class Queuing Networks Models for Energy Optimization. VALUETOOLS (2014)
Paolo Bolzern, Davide Cerotti, Patrizio Colaneri, Marco Gribaudo
Probabilistic consensus in Markovian multi-agent networks. ECC (2014)
Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi
End-to-End Performance of Multi-core Systems in Cloud Environments. EPEW (2013)
Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi
Performance optimization with JMT: Java modelling tools. VALUETOOLS (2013)
Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi
Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability. QEST (2012)
Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo
Markovian agent modeling swarm intelligence algorithms in wireless sensor networks. Perform. Evaluation 69 (3-4) (2012)
Davide Cerotti, Enrico Barbierato, Marco Gribaudo
A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents. EPEW (2011)
Davide Cerotti, Marco Gribaudo, Andrea Bobbio, Carlos Miguel Tavares Calafate, Pietro Manzoni
A Markovian Agent Model for Fire Propagation in Outdoor Environments. EPEW (2010)
Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Evaluation Rev. 36 (4) (2009)
Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo
Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents. VALUETOOLS (2009)
Davide Cerotti, Marco Gribaudo, Andrea Bobbio
Presenting Dynamic Markovian Agents with a road tunnel application. MASCOTS (2009)
Marco Gribaudo, Davide Cerotti, Andrea Bobbio
Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. PerCom (2008)
Davide Cerotti, Marco Gribaudo, Andrea Bobbio
Disaster Propagation in Heterogeneous Media via Markovian Agents. CRITIS (2008)
Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Claudio Brasca, Giovanna Dondossola, Fabrizio Garrone
UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project. CRITIS (2007)
Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston
CSL Model Checking for Generalized Stochastic Petri Nets. QEST (2006)
Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD (2006)