Marco Gribaudo

2008
27	EE	Marco Gribaudo, Davide Cerotti, Andrea Bobbio: Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. PerCom 2008: 300-305
2007
26	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
25	EE	Marco Gribaudo, Miklós Telek: Fluid Models in Performance Analysis. SFM 2007: 271-317
24	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
23	EE	Carla-Fabiana Chiasserini, Rossano Gaeta, Michele Garetto, Marco Gribaudo, Matteo Sereno: Efficient broadcasting of safety messages in multihop vehicular networks. IPDPS 2006
22	EE	Michele Garetto, Marco Gribaudo: Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. QEST 2006: 73-82
21	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)
20	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
19	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
18	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
17	EE	Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. QEST 2005: 85-94
16	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)
15	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)
14	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
13	EE	Marco Gribaudo, Matteo Sereno: An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets. DSN 2004: 835-844
12	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
11	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
10	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
9	EE	Marco Gribaudo, András Horváth: Modeling Hybrid Positive Systems with Hybrid Petri Nets. POSTA 2003: 71-78
2002
8	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
7	EE	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello: DrawNet++: A Flexible Framework for Building Dependability Models. DSN 2002: 540
6	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
5	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
4	EE	Marco Ajmone Marsan, Marco Gribaudo, Michela Meo, Matteo Sereno: Performance Analysis of Data Services over GPRS. HiPC 2001: 425-436
3		Marco Gribaudo, Reinhard German: Numerical Analysis of Bounded Fluid Models using Matrix Exponentiation. MMB 2001: 41-56
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

Coauthor Index

1	S. Alciati	[26]
2	Gianfranco Balbo	[14]
3	C. Bertoncello	[7]
4	Andrea Bobbio	[6] [27]
5	R. Bordino	[26]
6	Steven C. Bruell	[14]
7	Davide Cerotti	[27]
8	Carla-Fabiana Chiasserini	[19] [23] [24]
9	Ester Ciancamerla	[6]
10	F. Della Corte	[26]
11	Giuliana Franceschinis	[7] [8] [12] [18] [26]
12	Rossano Gaeta	[10] [11] [14] [16] [19] [20] [21] [23] [24]
13	Michele Garetto	[19] [22] [23] [24]
14	Reinhard German	[3]
15	András Horváth	[5] [6] [9] [15]
16	Mauro Iacono	[7] [8] [12]
17	Daniele Manini	[10] [11] [16] [19] [21] [24]
18	Stefano Marrone	[12]
19	Marco Ajmone Marsan	[4]
20	Nicola Mazzocca	[8] [12] [17]
21	Michela Meo	[4]
22	Michele Minichino	[6]
23	Francesco Moscato	[17]
24	F. La Mura	[26]
25	Daniele Codetta Raiteri	[18]
26	Matteo Sereno	[1] [2] [4] [10] [11] [13] [14] [16] [19] [21] [23] [24]
27	Miklós Telek	[25]
28	B. Tosi	[26]
29	Enrico Tronci	[6]
30	Valeria Vittorini	[7] [8] [12] [17]