Davide Cerotti

According to our database, Davide Cerotti authored at least 37 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024

2022

Analysis of an Electric Vehicle Charging System Along a Highway.

Davide Cerotti, Simona Mancini, Marco Gribaudo, Andrea Bobbio

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

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

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

Proceedings of the Third Italian Conference on Cyber Security, 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

Proceedings of the 2019 IEEE PES Innovative Smart Grid Technologies Europe, 2019

Modeling Techniques for Pool Depletion Systems.

Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi

Proceedings of the Systems Modeling: Methodologies and Tools, 2019

2017

A Crowd-Cooperative Approach for Intelligent Transportation Systems.

Davide Cerotti, Salvatore Distefano, Giovanni Merlino, Antonio Puliafito

IEEE Trans. Intell. Transp. Syst., 2017

Mean Field Analysis for Continuous Time Bayesian Networks.

Davide Cerotti, Daniele Codetta Raiteri

Proceedings of the New Frontiers in Quantitative Methods in Informatics, 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

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 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

Proceedings of the 2nd International Conference on System Reliability and Safety, 2017

Crowdsourcing and Stigmergic Approaches for (Swarm) Intelligent Transportation Systems.

Salvatore Distefano, Giovanni Merlino, Antonio Puliafito, Davide Cerotti, Rustem Dautov

Proceedings of the Human Centered Computing - Third International Conference, 2017

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

Matching performance objectives for open and closed workloads by consolidation and replication.

Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi

Ann. Oper. Res., 2016

Optimal population mix in pool depletion systems with two-class workload.

Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Stochastic Analysis of Energy Consumption in Pool Depletion Systems.

Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi

Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

2015

An Intelligent Swarm of Markovian Agents.

Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo

Proceedings of the Springer Handbook of Computational Intelligence, 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

Modeling Power Consumption in Multicore CPUs with Multithreading and Frequency Scaling.

Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi

Proceedings of the Information Sciences and Systems 2015, 2015

2014

Markovian agents models for wireless sensor networks deployed in environmental protection.

Davide Cerotti, Marco Gribaudo, Andrea Bobbio

Reliab. Eng. Syst. Saf., 2014

Asymptotic Behavior and Performance Constraints of Replication Policies.

Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Probabilistic consensus in Markovian multi-agent networks.

Paolo Bolzern, Davide Cerotti, Patrizio Colaneri, Marco Gribaudo

Proceedings of the 13th European Control Conference, 2014

Workload Characterization Of Multithreaded Applications On Multicore Architectures.

Davide Cerotti, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla

Proceedings of the 28th European Conference on Modelling and Simulation, 2014

Throughput Maximization with Multiclass Workloads and Resource Constraints.

Davide Cerotti, Marco Gribaudo, Ingolf Krüger, Pietro Piazzolla, Filippo Seracini, Giuseppe Serazzi

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2014

2013

Performance optimization with JMT: Java modelling tools.

Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

End-to-End Performance of Multi-core Systems in Cloud Environments.

Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

2012

Markovian agent modeling swarm intelligence algorithms in wireless sensor networks.

Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo

Perform. Evaluation, 2012

Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability.

Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

2011

A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents.

Davide Cerotti, Enrico Barbierato, Marco Gribaudo

Proceedings of the Computer Performance Engineering, 2011

2010

A Markovian Agent Model for Fire Propagation in Outdoor Environments.

Davide Cerotti, Marco Gribaudo, Andrea Bobbio, Carlos Miguel Tavares Calafate, Pietro Manzoni

Proceedings of the Computer Performance Engineering, 2010

2009

The GreatSPN tool: recent enhancements.

Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis

SIGMETRICS Perform. Evaluation Rev., 2009

Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents.

Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

Presenting Dynamic Markovian Agents with a road tunnel application.

Davide Cerotti, Marco Gribaudo, Andrea Bobbio

Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

2008

Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents.

Marco Gribaudo, Davide Cerotti, Andrea Bobbio

Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008

Disaster Propagation in Heterogeneous Media via Markovian Agents.

Davide Cerotti, Marco Gribaudo, Andrea Bobbio

Proceedings of the Critical Information Infrastructure Security, 2008

2007

UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project.

Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Claudio Brasca, Giovanna Dondossola, Fabrizio Garrone

Proceedings of the Critical Information Infrastructures Security, 2007

2006

CSL Model Checking for Generalized Stochastic Petri Nets.

Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools.

Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006