According to our database1, Davide Cerotti authored at least 32 papers between 2006 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents.
Perform. Eval., 2019
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems.
Proceedings of the Third Italian Conference on Cyber Security, 2019
A Crowd-Cooperative Approach for Intelligent Transportation Systems.
IEEE Trans. Intelligent Transportation Systems, 2017
Mean Field Analysis for Continuous Time Bayesian Networks.
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.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
Crowdsourcing and Stigmergic Approaches for (Swarm) Intelligent Transportation Systems.
Proceedings of the Human Centered Computing - Third International Conference, 2017
Modeling and analysis of performances for concurrent multithread applications on multicore and graphics processing unit systems.
Concurrency and Computation: Practice and Experience, 2016
Matching performance objectives for open and closed workloads by consolidation and replication.
Annals OR, 2016
Optimal population mix in pool depletion systems with two-class workload.
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016
Stochastic Analysis of Energy Consumption in Pool Depletion Systems.
Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016
An Intelligent Swarm of Markovian Agents.
Proceedings of the Springer Handbook of Computational Intelligence, 2015
Asymptotic Behavior and Performance Constraints of Replication Policies.
Electr. Notes Theor. Comput. Sci., 2015
Modeling Power Consumption in Multicore CPUs with Multithreading and Frequency Scaling.
Proceedings of the Information Sciences and Systems 2015, 2015
Markovian agents models for wireless sensor networks deployed in environmental protection.
Rel. Eng. & Sys. Safety, 2014
Multi-Class Queuing Networks Models for Energy Optimization.
Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014
Probabilistic consensus in Markovian multi-agent networks.
Proceedings of the European Control Conference, 2014
Workload Characterization Of Multithreaded Applications On Multicore Architectures.
Proceedings of the 28th European Conference on Modelling and Simulation, 2014
Throughput Maximization with Multiclass Workloads and Resource Constraints.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2014
Performance optimization with JMT: Java modelling tools.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013
End-to-End Performance of Multi-core Systems in Cloud Environments.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013
Markovian agent modeling swarm intelligence algorithms in wireless sensor networks.
Perform. Eval., 2012
Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012
A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents.
Proceedings of the Computer Performance Engineering, 2011
A Markovian Agent Model for Fire Propagation in Outdoor Environments.
Proceedings of the Computer Performance Engineering, 2010
The GreatSPN tool: recent enhancements.
SIGMETRICS Performance Evaluation Review, 2009
Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009
Presenting Dynamic Markovian Agents with a road tunnel application.
Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009
Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents.
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008
Disaster Propagation in Heterogeneous Media via Markovian Agents.
Proceedings of the Critical Information Infrastructure Security, 2008
UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project.
Proceedings of the Critical Information Infrastructures Security, 2007
CSL Model Checking for Generalized Stochastic Petri Nets.
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.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006