Davide Cerotti

42 papers A* 1B 1C 3Journal 10Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Temporal relational algebras supporting preferences in temporal relational databases: Definition, properties and evaluation. Inf. Syst. Luca Anselma, Antonella Coviello, Davide Cerotti, Erica Raina, Paolo Terenziani
2025	J	`jnl`	Dynamic Bayesian Networks for the Detection and Analysis of Cyber Attacks to Power Systems. IEEE Access Davide Cerotti, Davide Savarro, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia
2025	—	`conf`	Risk Assessment Models in Hydroelectric Plants. EPEW Davide Cerotti, Lavinia Egidi, Daniele Codetta Raiteri, Marzio Pennisi, Giuliana Franceschinis, Andrea Bobbio, Luigi Portinale, Marco Cappicciola, Edoardo Martino L'Aurora, Noemi Silicato
2024	—	`conf`	SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures. ITASEC Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia, Davide Savarro
2023	—	`ed.`	Computer Performance Engineering and Stochastic Modelling - 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings EPEW Mauro Iacono, Marco Scarpa, Enrico Barbierato, Salvatore Serrano, Davide Cerotti, Francesco Longo
2022	—	`conf`	Analysis of an Electric Vehicle Charging System Along a Highway. QEST Davide Cerotti, Simona Mancini, Marco Gribaudo, Andrea Bobbio
2019	—	`conf`	A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems. ITASEC Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia
2019	—	`conf`	Analysis and Detection of Cyber Attack Processes targeting Smart Grids. ISGT Europe Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Giovanna Dondossola, Roberta Terruggia
2019	—	`ch.`	Modeling Techniques for Pool Depletion Systems. Systems Modeling: Methodologies and Tools Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi
2019	J	`jnl`	Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents. Perform. Evaluation Davide Cerotti, Antonio Miele, Marco Gribaudo, Andrea Bobbio, Cristiana Bolchini
2017	J	`jnl`	A Crowd-Cooperative Approach for Intelligent Transportation Systems. IEEE Trans. Intell. Transp. Syst. Davide Cerotti, Salvatore Distefano, Giovanni Merlino, Antonio Puliafito
2017	—	`conf`	Crowdsourcing and Stigmergic Approaches for (Swarm) Intelligent Transportation Systems. HCC Salvatore Distefano, Giovanni Merlino, Antonio Puliafito, Davide Cerotti, Rustem Dautov
2017	—	`conf`	Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip. ICSRS Riccardo Pinciroli, Andrea Bobbio, Cristiana Bolchini, Davide Cerotti, Marco Gribaudo, Antonio Miele, Kishor S. Trivedi
2017	—	`conf`	Mean Field Analysis for Continuous Time Bayesian Networks. InfQ@VALUETOOLS Davide Cerotti, Daniele Codetta Raiteri
2017	—	`conf`	Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents. VALUETOOLS Andrea Bobbio, Cristiana Bolchini, Davide Cerotti, Marco Gribaudo, Antonio Miele
2016	J	`jnl`	Matching performance objectives for open and closed workloads by consolidation and replication. Ann. Oper. Res. Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi
2016	J	`jnl`	Modeling and analysis of performances for concurrent multithread applications on multicore and graphics processing unit systems. Concurr. Comput. Pract. Exp. Davide Cerotti, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla
2016	—	`conf`	Optimal population mix in pool depletion systems with two-class workload. VALUETOOLS Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi
2016	—	`conf`	Stochastic Analysis of Energy Consumption in Pool Depletion Systems. MMB/DFT Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi
2015	—	`ch.`	An Intelligent Swarm of Markovian Agents. Handbook of Computational Intelligence Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo
2015	—	`conf`	Modeling Power Consumption in Multicore CPUs with Multithreading and Frequency Scaling. ISCIS Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi
2015	J	`jnl`	Multi-Class Queuing Networks Models for Energy Optimization. EAI Endorsed Trans. Energy Web Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi
2014	—	`conf`	Asymptotic Behavior and Performance Constraints of Replication Policies. PASM Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi
2014	J	`jnl`	Markovian agents models for wireless sensor networks deployed in environmental protection. Reliab. Eng. Syst. Saf. Davide Cerotti, Marco Gribaudo, Andrea Bobbio
2014	—	`conf`	Multi-Class Queuing Networks Models for Energy Optimization. VALUETOOLS Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi
2014	—	`conf`	Probabilistic consensus in Markovian multi-agent networks. ECC Paolo Bolzern, Davide Cerotti, Patrizio Colaneri, Marco Gribaudo
2014	—	`conf`	Throughput Maximization with Multiclass Workloads and Resource Constraints. ASMTA Davide Cerotti, Marco Gribaudo, Ingolf Krüger, Pietro Piazzolla, Filippo Seracini, Giuseppe Serazzi
2014	C	`conf`	Workload Characterization Of Multithreaded Applications On Multicore Architectures. ECMS Davide Cerotti, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla
2013	—	`conf`	End-to-End Performance of Multi-core Systems in Cloud Environments. EPEW Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi
2013	—	`conf`	Performance optimization with JMT: Java modelling tools. VALUETOOLS Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi
2012	—	`conf`	Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability. QEST Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi
2012	J	`jnl`	Markovian agent modeling swarm intelligence algorithms in wireless sensor networks. Perform. Evaluation Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo
2011	—	`conf`	A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents. EPEW Davide Cerotti, Enrico Barbierato, Marco Gribaudo
2010	—	`conf`	A Markovian Agent Model for Fire Propagation in Outdoor Environments. EPEW Davide Cerotti, Marco Gribaudo, Andrea Bobbio, Carlos Miguel Tavares Calafate, Pietro Manzoni
2009	—	`conf`	Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents. VALUETOOLS Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo
2009	B	`conf`	Presenting Dynamic Markovian Agents with a road tunnel application. MASCOTS Davide Cerotti, Marco Gribaudo, Andrea Bobbio
2009	J	`jnl`	The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Evaluation Rev. Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
2008	A*	`conf`	Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. PerCom Marco Gribaudo, Davide Cerotti, Andrea Bobbio
2008	C	`conf`	Disaster Propagation in Heterogeneous Media via Markovian Agents. CRITIS Davide Cerotti, Marco Gribaudo, Andrea Bobbio
2007	C	`conf`	UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project. CRITIS Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Claudio Brasca, Giovanna Dondossola, Fabrizio Garrone
2006	—	`conf`	CSL Model Checking for Generalized Stochastic Petri Nets. QEST Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston
2006	—	`conf`	Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston