Davide Cerotti
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
- [c23]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 - 2017
- [j8]Davide Cerotti, Salvatore Distefano, Giovanni Merlino, Antonio Puliafito:
A Crowd-Cooperative Approach for Intelligent Transportation Systems. IEEE Trans. Intelligent Transportation Systems 18(6): 1529-1539 (2017) - [c22]Salvatore Distefano, Giovanni Merlino, Antonio Puliafito, Davide Cerotti, Rustem Dautov:
Crowdsourcing and Stigmergic Approaches for (Swarm) Intelligent Transportation Systems. HCC 2017: 616-626 - [c21]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 - [c20]Davide Cerotti, Daniele Codetta Raiteri:
Mean Field Analysis for Continuous Time Bayesian Networks. InfQ@VALUETOOLS 2017: 156-169 - 2016
- [j7]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
Matching performance objectives for open and closed workloads by consolidation and replication. Annals OR 239(2): 589-612 (2016) - [j6]Davide Cerotti, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla:
Modeling and analysis of performances for concurrent multithread applications on multicore and graphics processing unit systems. Concurrency and Computation: Practice and Experience 28(2): 438-452 (2016) - [c19]Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi:
Stochastic Analysis of Energy Consumption in Pool Depletion Systems. MMB/DFT 2016: 25-39 - [c18]Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi:
Optimal population mix in pool depletion systems with two-class workload. VALUETOOLS 2016 - 2015
- [j5]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
Asymptotic Behavior and Performance Constraints of Replication Policies. Electr. Notes Theor. Comput. Sci. 310: 49-63 (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) - [c17]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. Rel. Eng. & Sys. Safety 130: 149-158 (2014) - [c16]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 - [c15]Davide Cerotti, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla:
Workload Characterization Of Multithreaded Applications On Multicore Architectures. ECMS 2014: 480-486 - [c14]Paolo Bolzern, Davide Cerotti, Patrizio Colaneri, Marco Gribaudo:
Probabilistic consensus in Markovian multi-agent networks. ECC 2014: 558-563 - [c13]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi:
Multi-Class Queuing Networks Models for Energy Optimization. VALUETOOLS 2014 - 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. Eval. 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 Performance Evaluation Review 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
last updated on 2019-02-14 22:39 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint