CEROTTI, DAVIDE

CEROTTI, DAVIDE  

Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
Analysis of On-Off policies in Sensor Networks using Interacting Markovian Agents 2008 M. Gribaudo; D.Cerotti; A. Bobbio
Analytical modeling of swarm intelligence in Wireless Sensor Networks 2009 D. Bruneo; M. Scarpa; A. Bobbio; D. Cerotti; M. Gribaudo
CSL Model Checking for Generalized Stochastic Petri Nets 2006 D. CEROTTI; S. DONATELLI; A. HORVATH; J. SPROSTON
Disaster Propagation in Inhomogeneous Media via Markovian Agents 2008 M. Gribaudo; D. Cerotti; A. Bobbio
Fire prevention by means of WSN: A preliminary propagation study using Interactive Markovian Agents 2009 D. Cerotti; M. Gribaudo; A. Bobbio
Presenting Dynamic Markovian Agents with a Road Tunnel Application 2009 Davide Cerotti; Marco Gribaudo; Andrea Bobbio
SecuriDN: a Customizable GUI Generating Cybersecurity Models for DER Control Architectures 2024 Cerotti D.; Codetta-Raiteri D.; Dondossola G.; Egidi L.; Franceschinis G.; Portinale L.; Savarro D.; Terruggia R.
SecuriDN: A Modeling Tool Supporting the Early Detection of Cyberattacks to Smart Energy Systems 2024 Davide Cerotti; Daniele Codetta Raiteri; Giovanna Dondossola; Lavinia Egidi; Giuliana Franceschinis; Luigi Portinale; Davide Savarro; Roberta Terruggia
The GreatSPN Tool: Recent Enhancements 2009 Soheib Baarir; M. Beccuti; Davide Cerotti; Massimiliano De Pierro; Susanna Donatelli; Giuliana Franceschinis
UML diagrams supporting domain specification inside the CRUTIAL project 2008 D. Cerotti; D. Codetta-Raiteri; S. Donatelli; C. Brasca; G. Dondossola; F. Garrone