default search action
Davide Cerotti
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c28]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 - 2023
- [e1]Mauro Iacono, Marco Scarpa, Enrico Barbierato, Salvatore Serrano, Davide Cerotti, Francesco Longo:
Computer Performance Engineering and Stochastic Modelling - 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings. Lecture Notes in Computer Science 14231, Springer 2023, ISBN 978-3-031-43184-5 [contents] - 2022
- [c27]Davide Cerotti, Simona Mancini, Marco Gribaudo, Andrea Bobbio:
Analysis of an Electric Vehicle Charging System Along a Highway. QEST 2022: 298-316
2010 – 2019
- 2019
- [j8]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: 21-37 (2019) - [c26]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: 1-5 - [c25]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 - [p2]Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi:
Modeling Techniques for Pool Depletion Systems. Systems Modeling: Methodologies and Tools 2019: 79-94 - 2017
- [j7]Davide Cerotti, Salvatore Distefano, Giovanni Merlino, Antonio Puliafito:
A Crowd-Cooperative Approach for Intelligent Transportation Systems. IEEE Trans. Intell. Transp. Syst. 18(6): 1529-1539 (2017) - [c24]Salvatore Distefano, Giovanni Merlino, Antonio Puliafito, Davide Cerotti, Rustem Dautov:
Crowdsourcing and Stigmergic Approaches for (Swarm) Intelligent Transportation Systems. HCC 2017: 616-626 - [c23]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: 516-520 - [c22]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: 156-163 - [c21]Davide Cerotti, Daniele Codetta Raiteri:
Mean Field Analysis for Continuous Time Bayesian Networks. InfQ@VALUETOOLS 2017: 156-169 - 2016
- [j6]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): 589-612 (2016) - [j5]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): 438-452 (2016) - [c20]Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi:
Stochastic Analysis of Energy Consumption in Pool Depletion Systems. MMB/DFT 2016: 25-39 - [c19]Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi:
Optimal population mix in pool depletion systems with two-class workload. VALUETOOLS 2016 - 2015
- [j4]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): e4 (2015) - [c18]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi:
Modeling Power Consumption in Multicore CPUs with Multithreading and Frequency Scaling. ISCIS 2015: 81-90 - [p1]Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo:
An Intelligent Swarm of Markovian Agents. Handbook of Computational Intelligence 2015: 1345-1359 - 2014
- [j3]Davide Cerotti, Marco Gribaudo, Andrea Bobbio:
Markovian agents models for wireless sensor networks deployed in environmental protection. Reliab. Eng. Syst. Saf. 130: 149-158 (2014) - [c17]Davide Cerotti, Marco Gribaudo, Ingolf Krüger, Pietro Piazzolla, Filippo Seracini, Giuseppe Serazzi:
Throughput Maximization with Multiclass Workloads and Resource Constraints. ASMTA 2014: 238-252 - [c16]Davide Cerotti, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla:
Workload Characterization Of Multithreaded Applications On Multicore Architectures. ECMS 2014: 480-486 - [c15]Paolo Bolzern, Davide Cerotti, Patrizio Colaneri, Marco Gribaudo:
Probabilistic consensus in Markovian multi-agent networks. ECC 2014: 558-563 - [c14]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi:
Multi-Class Queuing Networks Models for Energy Optimization. VALUETOOLS 2014 - [c13]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
Asymptotic Behavior and Performance Constraints of Replication Policies. PASM 2014: 49-63 - 2013
- [c12]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
End-to-End Performance of Multi-core Systems in Cloud Environments. EPEW 2013: 221-235 - [c11]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
Performance optimization with JMT: Java modelling tools. VALUETOOLS 2013: 328-331 - 2012
- [j2]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): 135-149 (2012) - [c10]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability. QEST 2012: 230-237 - 2011
- [c9]Davide Cerotti, Enrico Barbierato, Marco Gribaudo:
A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents. EPEW 2011: 280-294 - 2010
- [c8]Davide Cerotti, Marco Gribaudo, Andrea Bobbio, Carlos Miguel Tavares Calafate, Pietro Manzoni:
A Markovian Agent Model for Fire Propagation in Outdoor Environments. EPEW 2010: 131-146
2000 – 2009
- 2009
- [j1]Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis:
The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Evaluation Rev. 36(4): 4-9 (2009) - [c7]Davide Cerotti, Marco Gribaudo, Andrea Bobbio:
Presenting Dynamic Markovian Agents with a road tunnel application. MASCOTS 2009: 1-4 - [c6]Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo:
Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents. VALUETOOLS 2009: 52 - 2008
- [c5]Davide Cerotti, Marco Gribaudo, Andrea Bobbio:
Disaster Propagation in Heterogeneous Media via Markovian Agents. CRITIS 2008: 328-335 - [c4]Marco Gribaudo, Davide Cerotti, Andrea Bobbio:
Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. PerCom 2008: 300-305 - 2007
- [c3]Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Claudio Brasca, Giovanna Dondossola, Fabrizio Garrone:
UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project. CRITIS 2007: 106-123 - 2006
- [c2]Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston:
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD 2006: 143-152 - [c1]Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston:
CSL Model Checking for Generalized Stochastic Petri Nets. QEST 2006: 199-210
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint