 | 2012 |
|---|
| 10 |       | 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) |
| 2011 |
|---|
| 9 | | Davide Cerotti,
Enrico Barbierato,
Marco Gribaudo:
A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents.
EPEW 2011: 280-294 |
| 2010 |
|---|
| 8 | | 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 |
| 2009 |
|---|
| 7 | | Davide Cerotti,
Marco Gribaudo,
Andrea Bobbio:
Presenting Dynamic Markovian Agents with a road tunnel application.
MASCOTS 2009: 1-4 |
| 6 | | 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) |
| 2008 |
|---|
| 5 | | Davide Cerotti,
Marco Gribaudo,
Andrea Bobbio:
Disaster Propagation in Heterogeneous Media via Markovian Agents.
CRITIS 2008: 328-335 |
| 4 | | Marco Gribaudo,
Davide Cerotti,
Andrea Bobbio:
Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents.
PerCom 2008: 300-305 |
| 2007 |
|---|
| 3 | | 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 |
|---|
| 2 | | Davide Cerotti,
Davide D'Aprile,
Susanna Donatelli,
Jeremy Sproston:
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools.
ACSD 2006: 143-152 |
| 1 | | Davide Cerotti,
Susanna Donatelli,
András Horváth,
Jeremy Sproston:
CSL Model Checking for Generalized Stochastic Petri Nets.
QEST 2006: 199-210 |
Data released under the ODC-BY 1.0 license — See also our legal information page