| 2009 | ||
|---|---|---|
| 41 | Pietro Piazzolla, Marco Gribaudo, Alberto Messina: Stochastic Modelling of Poll Based Multimedia Productions. ASMTA 2009: 370-385 | |
| 40 | Claudio Tosatto, Marco Gribaudo: A 3D History Class: A New Perspective for the Use of Computer Based Technology in History Classes. EC-TEL 2009: 719-724 | |
| 39 | Marco Gribaudo: Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents. EPEW 2009: 218-219 | |
| 38 | Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo: ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. TACAS 2009: 50-53 | |
| 37 | 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 | ||
| 36 | Daniele Manini, Marco Gribaudo: An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks. ASMTA 2008: 88-100 | |
| 35 | Davide Cerotti, Marco Gribaudo, Andrea Bobbio: Disaster Propagation in Heterogeneous Media via Markovian Agents. CRITIS 2008: 328-335 | |
| 34 | Marco Gribaudo, Davide Cerotti, Andrea Bobbio: Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. PerCom 2008: 300-305 | |
| 33 | Andrea Bobbio, Marco Gribaudo, Miklós Telek: Analysis of Large Scale Interacting Systems by Mean Field Method. QEST 2008: 215-224 | |
| 32 | Marco Gribaudo, Daniele Manini, Bruno Sericola, Miklós Telek: Second order fluid models with general boundary behaviour. Annals OR 160(1): 69-82 (2008) | |
| 31 | 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) | |
| 30 | Marco Gribaudo, Miklós Telek: Stationary analysis of fluid level dependent bounded fluid models. Perform. Eval. 65(3-4): 241-261 (2008) | |
| 2007 | ||
| 29 | 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 | |
| 28 | Marco Gribaudo, Miklós Telek: Fluid Models in Performance Analysis. SFM 2007: 271-317 | |
| 27 | 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 | ||
| 26 | Carla-Fabiana Chiasserini, Rossano Gaeta, Michele Garetto, Marco Gribaudo, Matteo Sereno: Efficient broadcasting of safety messages in multihop vehicular networks. IPDPS 2006 | |
| 25 | Michele Garetto, Marco Gribaudo: Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior. ISoLA 2006: 249-254 | |
| 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 | Michele Garetto, Marco Gribaudo: Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. QEST 2006: 73-82 | |
| 22 | 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 | 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 | 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 | 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 | Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. QEST 2005: 85-94 | |
| 17 | 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 | 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 | 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 | Marco Gribaudo, Matteo Sereno: An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets. DSN 2004: 835-844 | |
| 13 | 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 | 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 | 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 | Marco Gribaudo, András Horváth: Modeling Hybrid Positive Systems with Hybrid Petri Nets. POSTA 2003: 71-78 | |
| 2002 | ||
| 9 | 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 | Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello: DrawNet++: A Flexible Framework for Building Dependability Models. DSN 2002: 540 | |
| 7 | 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 | 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 | 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 | 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 | Marco Gribaudo, Matteo Sereno: Simulation of Fluid Stochastic Petri Nets. MASCOTS 2000: 231-239 | |
| 1998 | ||
| 1 | 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 | |