CEROTTI, DAVIDE
CEROTTI, DAVIDE
Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)
Analysis of On-Off policies in Sensor Networks using Interacting Markovian Agents
2008-01-01 M. Gribaudo; D.Cerotti; A. Bobbio
Analytical modeling of swarm intelligence in Wireless Sensor Networks
2009-01-01 D. Bruneo; M. Scarpa; A. Bobbio; D. Cerotti; M. Gribaudo
CSL Model Checking for Generalized Stochastic Petri Nets
2006-01-01 D. CEROTTI; S. DONATELLI; A. HORVATH; J. SPROSTON
Disaster Propagation in Inhomogeneous Media via Markovian Agents
2008-01-01 M. Gribaudo; D. Cerotti; A. Bobbio
Fire prevention by means of WSN: A preliminary propagation study using Interactive Markovian Agents
2009-01-01 D. Cerotti; M. Gribaudo; A. Bobbio
Presenting Dynamic Markovian Agents with a Road Tunnel Application
2009-01-01 Davide Cerotti; Marco Gribaudo; Andrea Bobbio
The GreatSPN Tool: Recent Enhancements
2009-01-01 Soheib Baarir; M. Beccuti; Davide Cerotti; Massimiliano De Pierro; Susanna Donatelli; Giuliana Franceschinis
UML diagrams supporting domain specification inside the CRUTIAL project
2008-01-01 D. Cerotti; D. Codetta-Raiteri; S. Donatelli; C. Brasca; G. Dondossola; F. Garrone