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
SecuriDN: a Customizable GUI Generating Cybersecurity Models for DER Control Architectures
2024-01-01 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-01-01 Davide Cerotti; Daniele Codetta Raiteri; Giovanna Dondossola; Lavinia Egidi; Giuliana Franceschinis; Luigi Portinale; Davide Savarro; Roberta Terruggia
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
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 |