| 2008 |
| 32 | EE | Rossano Gaeta,
Matteo Sereno:
On the evaluation of flooding-based search strategies in peer-to-peer networks.
Concurrency and Computation: Practice and Experience 20(6): 713-734 (2008) |
| 2007 |
| 31 | EE | Carla-Fabiana Chiasserini,
Rossano Gaeta,
Michele Garetto,
Marco Gribaudo,
Daniele Manini,
Matteo Sereno:
Fluid models for large-scale wireless sensor networks.
Perform. Eval. 64(7-8): 715-736 (2007) |
| 30 | EE | Michele Garetto,
Daniel R. Figueiredo,
Rossano Gaeta,
Matteo Sereno:
A modeling framework to understand the tussle between ISPs and peer-to-peer file-sharing users.
Perform. Eval. 64(9-12): 819-837 (2007) |
| 29 | EE | Rossano Gaeta,
Matteo Sereno:
Random graphs as models of hierarchical peer-to-peer networks.
Perform. Eval. 64(9-12): 838-855 (2007) |
| 2006 |
| 28 | EE | Carla-Fabiana Chiasserini,
Rossano Gaeta,
Michele Garetto,
Marco Gribaudo,
Matteo Sereno:
Efficient broadcasting of safety messages in multihop vehicular networks.
IPDPS 2006 |
| 27 | EE | Rossano Gaeta,
Matteo Sereno:
Model-based evaluation of search strategies in peer-to-peer networks.
IPDPS 2006 |
| 26 | EE | Giovanna Carofiglio,
Rossano Gaeta,
Michele Garetto,
Paolo Giaccone,
Emilio Leonardi,
Matteo Sereno:
A Fluid-Diffusive Approach for Modelling P2P Systems.
MASCOTS 2006: 156-166 |
| 25 | | Rossano Gaeta,
Marco Gribaudo,
Daniele Manini,
Marco Sereno:
Fixed-point approximations for TCP behavior in networks of routers implementing heterogeneous queue management policies.
MMB 2006: 303-316 |
| 24 | EE | Rossano Gaeta,
Marco Gribaudo,
Daniele Manini,
Matteo Sereno:
Analysis of resource transfers in peer-to-peer file sharing applications using fluid models.
Perform. Eval. 63(3): 149-174 (2006) |
| 23 | EE | Marco Gribaudo,
Rossano Gaeta:
Efficient steady-state analysis of second-order fluid stochastic Petri nets.
Perform. Eval. 63(9-10): 1032-1047 (2006) |
| 2005 |
| 22 | EE | Marco Gribaudo,
Carla-Fabiana Chiasserini,
Rossano Gaeta,
Michele Garetto,
Daniele Manini,
Matteo Sereno:
A Spatial Fluid-Based Framework to Analyze Large-Scale Wireless Sensor Networks.
DSN 2005: 694-703 |
| 21 | EE | Daniele Manini,
Rossano Gaeta,
Matteo Sereno:
Performance Modeling of P2P File Sharing Applications.
FIRB-Perf 2005: 34-43 |
| 20 | EE | Rossano Gaeta,
Marco Gribaudo,
Daniele Manini,
Matteo Sereno:
Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications.
Electr. Notes Theor. Comput. Sci. 128(4): 79-99 (2005) |
| 19 | EE | Rossano Gaeta,
Gianfranco Balbo,
Steven C. Bruell,
Marco Gribaudo,
Matteo Sereno:
A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks.
Perform. Eval. 62(1-4): 1-16 (2005) |
| 18 | EE | Giovanna Carofiglio,
Rossano Gaeta,
Michele Garetto,
Paolo Giaccone,
Emilio Leonardi,
Matteo Sereno:
A statistical physics approach for modelling P2P systems.
SIGMETRICS Performance Evaluation Review 33(2): 3-5 (2005) |
| 2004 |
| 17 | EE | Rossano Gaeta,
Marco Gribaudo,
Daniele Manini,
Matteo Sereno:
A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems.
MASCOTS 2004: 39-48 |
| 16 | EE | Jean-Michel Ilié,
Souheib Baarir,
M. Beccuti,
C. Delamare,
Susanna Donatelli,
Claude Dutheillet,
Giuliana Franceschinis,
Rossano Gaeta,
Patrice Moreaux:
Extended SWN Solvers in GreatSPN.
QEST 2004: 324-325 |
| 15 | EE | Marco Ajmone Marsan,
Khalid Al-Begain,
Rossano Gaeta:
On the performance analysis of ABR in ATM LANs with Stochastic Petri Nets.
Journal of Systems Architecture 50(6): 325-343 (2004) |
| 2003 |
| 14 | EE | Rossano Gaeta,
Marco Gribaudo,
Daniele Manini,
Matteo Sereno:
On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers.
ICATPN 2003: 181-200 |
| 13 | EE | Rossano Gaeta,
Matteo Sereno,
Daniele Manini:
Stochastic Petri Nets Models for the Performance Analysis of TCP Connections Supporting Finite Data Transfer.
QoS-IP 2003: 372-391 |
| 12 | EE | Andrea Bobbio,
Giuliana Franceschinis,
Rossano Gaeta,
Luigi Portinale:
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics.
IEEE Trans. Software Eng. 29(3): 270-287 (2003) |
| 2002 |
| 11 | EE | Andrea Bobbio,
Ester Ciancamerla,
Giuliana Franceschinis,
Rossano Gaeta,
Michele Minichino,
Luigi Portinale:
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.
SAFECOMP 2002: 212-223 |
| 2001 |
| 10 | | Marco Ajmone Marsan,
Rossano Gaeta,
Michela Meo:
Accurate approximate analysis of cell-based switch architectures.
Perform. Eval. 45(1): 33-56 (2001) |
| 2000 |
| 9 | | Marco Ajmone Marsan,
Claudio Casetti,
Rossano Gaeta,
Michela Meo:
Performance analysis of TCP connections sharing a congested Internet link.
Perform. Eval. 42(2-3): 109-127 (2000) |
| 1999 |
| 8 | EE | Lorenzo Capra,
Rossano Gaeta,
Oliver Botti:
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation.
ICATPN 1999: 168-187 |
| 1998 |
| 7 | EE | Rossano Gaeta,
Marco Ajmone Marsan:
SWN Analysis and Simulation of Large Knockout ATM Switches.
ICATPN 1998: 326-344 |
| 6 | EE | Marco Ajmone Marsan,
Rossano Gaeta:
Modeling ATMsystems with GSPNs and SWNs.
SIGMETRICS Performance Evaluation Review 26(2): 28-37 (1998) |
| 1996 |
| 5 | EE | Rossano Gaeta:
Efficient Discrete-Event Simulation of Colored Petri Nets.
IEEE Trans. Software Eng. 22(9): 629-639 (1996) |
| 1995 |
| 4 | | Giovanni Chiola,
Giuliana Franceschinis,
Rossano Gaeta,
Marina Ribaudo:
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets.
Perform. Eval. 24(1-2): 47-68 (1995) |
| 1994 |
| 3 | | Giovanni Chiola,
Giuliana Franceschinis,
Rossano Gaeta:
Modeling Symmetric Computer Architectures by SWNs.
Application and Theory of Petri Nets 1994: 139-158 |
| 1993 |
| 2 | | Giovanni Chiola,
Rossano Gaeta,
Matteo Sereno:
A Simulation Model of a Double Ring Protocol Based on Timed Well-Formed Coloured Petri Nets.
MASCOTS 1993: 259-264 |
| 1992 |
| 1 | EE | Giovanni Chiola,
Giuliana Franceschinis,
Rossano Gaeta:
A symbolic simulation mechanism for well-formed coloured Petri nets.
Annual Simulation Symposium 1992: 192-201 |