Davide Cerotti

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Systems Modeling: Methodologies and Tools, 2019

2017

A Crowd-Cooperative Approach for Intelligent Transportation Systems.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2017

Mean Field Analysis for Continuous Time Bayesian Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2016

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

[BibT_eX]

[DOI]

Ann. Oper. Res., 2016

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

[BibT_eX]

[DOI]

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

Stochastic Analysis of Energy Consumption in Pool Depletion Systems.

[BibT_eX]

[DOI]

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

2015

An Intelligent Swarm of Markovian Agents.

[BibT_eX]

[DOI]

Proceedings of the Springer Handbook of Computational Intelligence, 2015

Multi-Class Queuing Networks Models for Energy Optimization.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Energy Web, 2015

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

[BibT_eX]

[DOI]

Proceedings of the Information Sciences and Systems 2015, 2015

2014

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

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2014

Asymptotic Behavior and Performance Constraints of Replication Policies.

[BibT_eX]

[DOI]

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

Probabilistic consensus in Markovian multi-agent networks.

[BibT_eX]

[DOI]

Proceedings of the 13th European Control Conference, 2014

Workload Characterization Of Multithreaded Applications On Multicore Architectures.

[BibT_eX]

[DOI]

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

Throughput Maximization with Multiclass Workloads and Resource Constraints.

[BibT_eX]

[DOI]

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

2013

Performance optimization with JMT: Java modelling tools.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2012

Markovian agent modeling swarm intelligence algorithms in wireless sensor networks.

[BibT_eX]

[DOI]

Perform. Evaluation, 2012

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Enrico Barbierato

Proceedings of the Computer Performance Engineering, 2011

2010

A Markovian Agent Model for Fire Propagation in Outdoor Environments.

[BibT_eX]

[DOI]

Carlos Miguel Tavares Calafate

Pietro Manzoni

Proceedings of the Computer Performance Engineering, 2010

2009

The GreatSPN tool: recent enhancements.

[BibT_eX]

[DOI]

Souheib Baarir

Marco Beccuti

Massimiliano De Pierro

Susanna Donatelli

Giuliana Franceschinis

SIGMETRICS Perform. Evaluation Rev., 2009

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

[BibT_eX]

[DOI]

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

Presenting Dynamic Markovian Agents with a road tunnel application.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Disaster Propagation in Heterogeneous Media via Markovian Agents.

[BibT_eX]

[DOI]

Proceedings of the Critical Information Infrastructure Security, 2008

2007

UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project.

[BibT_eX]

[DOI]