2009 |
36 | EE | Elina Pacini Naumovich,
Simona Bernardi,
Marco Gribaudo:
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.
TACAS 2009: 50-53 |
35 | EE | Maurizio Garelli,
Marco Gribaudo:
Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets.
Electr. Notes Theor. Comput. Sci. 232: 55-73 (2009) |
2008 |
34 | EE | Daniele Manini,
Marco Gribaudo:
An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks.
ASMTA 2008: 88-100 |
33 | EE | Marco Gribaudo,
Davide Cerotti,
Andrea Bobbio:
Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents.
PerCom 2008: 300-305 |
32 | EE | Andrea Bobbio,
Marco Gribaudo,
Miklós Telek:
Analysis of Large Scale Interacting Systems by Mean Field Method.
QEST 2008: 215-224 |
31 | EE | Marco Gribaudo,
Daniele Manini,
Bruno Sericola,
Miklós Telek:
Second order fluid models with general boundary behaviour.
Annals OR 160(1): 69-82 (2008) |
30 | EE | Michele Garetto,
Marco Gribaudo,
Carla-Fabiana Chiasserini,
Emilio Leonardi:
Sensor Deployment and Relocation: A Unified Scheme.
J. Comput. Sci. Technol. 23(3): 400-412 (2008) |
29 | EE | Marco Gribaudo,
Miklós Telek:
Stationary analysis of fluid level dependent bounded fluid models.
Perform. Eval. 65(3-4): 241-261 (2008) |
2007 |
28 | EE | F. La Mura,
F. Della Corte,
Marco Gribaudo,
B. Tosi,
S. Alciati,
R. Bordino,
Giuliana Franceschinis:
Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator.
IV 2007: 892-898 |
27 | EE | Marco Gribaudo,
Miklós Telek:
Fluid Models in Performance Analysis.
SFM 2007: 271-317 |
26 | 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) |
2006 |
25 | EE | Carla-Fabiana Chiasserini,
Rossano Gaeta,
Michele Garetto,
Marco Gribaudo,
Matteo Sereno:
Efficient broadcasting of safety messages in multihop vehicular networks.
IPDPS 2006 |
24 | | 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 |
23 | EE | Michele Garetto,
Marco Gribaudo:
Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques.
QEST 2006: 73-82 |
22 | 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) |
21 | 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 |
20 | 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 |
19 | EE | Marco Gribaudo,
Daniele Codetta Raiteri,
Giuliana Franceschinis:
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems.
QEST 2005: 257-258 |
18 | EE | Marco Gribaudo,
Francesco Moscato,
Nicola Mazzocca,
Valeria Vittorini:
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework.
QEST 2005: 85-94 |
17 | 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) |
16 | EE | Marco Gribaudo,
András Horváth:
Model Checking Functional and Performability Properties of Stochastic Fluid Models.
Electr. Notes Theor. Comput. Sci. 128(6): 295-310 (2005) |
15 | 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) |
2004 |
14 | EE | Marco Gribaudo,
Matteo Sereno:
An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets.
DSN 2004: 835-844 |
13 | EE | Giuliana Franceschinis,
Marco Gribaudo,
Mauro Iacono,
Stefano Marrone,
Nicola Mazzocca,
Valeria Vittorini:
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.
ICATPN 2004: 177-196 |
12 | 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 |
2003 |
11 | 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 |
10 | EE | Marco Gribaudo,
András Horváth:
Modeling Hybrid Positive Systems with Hybrid Petri Nets.
POSTA 2003: 71-78 |
2002 |
9 | EE | Giuliana Franceschinis,
Marco Gribaudo,
Mauro Iacono,
Nicola Mazzocca,
Valeria Vittorini:
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.
Computer Performance Evaluation / TOOLS 2002: 233-238 |
8 | EE | Giuliana Franceschinis,
Marco Gribaudo,
Mauro Iacono,
Valeria Vittorini,
C. Bertoncello:
DrawNet++: A Flexible Framework for Building Dependability Models.
DSN 2002: 540 |
7 | EE | Marco Gribaudo,
András Horváth,
Andrea Bobbio,
Enrico Tronci,
Ester Ciancamerla,
Michele Minichino:
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.
SAFECOMP 2002: 273-283 |
6 | EE | Marco Gribaudo,
András Horváth:
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique.
IEEE Trans. Software Eng. 28(10): 944-955 (2002) |
2001 |
5 | EE | Marco Ajmone Marsan,
Marco Gribaudo,
Michela Meo,
Matteo Sereno:
Performance Analysis of Data Services over GPRS.
HiPC 2001: 425-436 |
4 | | Marco Gribaudo,
Reinhard German:
Numerical Analysis of Bounded Fluid Models using Matrix Exponentiation.
MMB 2001: 41-56 |
3 | EE | Marco Gribaudo,
Matteo Sereno,
András Horváth,
Andrea Bobbio:
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis.
Discrete Event Dynamic Systems 11(1-2): 97-117 (2001) |
2000 |
2 | EE | Marco Gribaudo,
Matteo Sereno:
Simulation of Fluid Stochastic Petri Nets.
MASCOTS 2000: 231-239 |
1998 |
1 | EE | Marco Gribaudo,
Matteo Sereno:
On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking.
ICATPN 1998: 246-265 |