dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marco Gribaudo Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo: Markovian agent modeling swarm intelligence algorithms in wireless sensor networks. Perform. Eval. 69(3-4): 135-149 (2012)
2011
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Barbierato, Marco Gribaudo, Mauro Iacono, Stefano Marrone: Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools. ASMTA 2011: 257-272
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Cerotti, Enrico Barbierato, Marco Gribaudo: A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents. EPEW 2011: 280-294
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Barbierato, Marco Gribaudo, Mauro Iacono: Defining Formalisms for Performance Evaluation With SIMTHESys. Electr. Notes Theor. Comput. Sci. 275: 37-51 (2011)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, Daniele Manini, Alessandro Nordio, Carla-Fabiana Chiasserini: Transient Analysis of IEEE 802.15.4 Sensor Networks. IEEE Transactions on Wireless Communications 10(4): 1165-1175 (2011)
2010
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPietro Piazzolla, Marco Gribaudo, Roberto Borgotallo, Alberto Messina: Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes. ASMTA 2010: 218-232
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Cavagnino, Marco Gribaudo: Discretization of 3D Models Using Voxel Elements of Different Shapes. Computational Aesthetics 2010: 91-98
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Cerotti, Marco Gribaudo, Andrea Bobbio, Carlos Miguel Tavares Calafate, Pietro Manzoni: A Markovian Agent Model for Fire Propagation in Outdoor Environments. EPEW 2010: 131-146
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, Anne Remke: Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures. HASE 2010: 84-93
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Iacono, Marco Gribaudo: Element Based Semantics in Multi Formalism Performance Models. MASCOTS 2010: 413-416
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuliano Casale, Marco Gribaudo, Giuseppe Serazzi: Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives. PERFORM 2010: 24-37
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPietro Piazzolla, Marco Gribaudo: Analysis of Television and Cinema Productions using Mean Field Models. Electr. Notes Theor. Comput. Sci. 261: 91-108 (2010)
2009
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPietro Piazzolla, Marco Gribaudo, Alberto Messina: Stochastic Modelling of Poll Based Multimedia Productions. ASMTA 2009: 370-385
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo: Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents. EPEW 2009: 218-219
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, Daniele Manini, Alessandro Nordio, Carla-Fabiana Chiasserini: Analysis of IEEE 802.15.4 Sensor Networks for Event Detection. GLOBECOM 2009: 1-6
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Cerotti, Marco Gribaudo, Andrea Bobbio: Presenting Dynamic Markovian Agents with a road tunnel application. MASCOTS 2009: 1-4
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElina Pacini Naumovich, Simona Bernardi, Marco Gribaudo: ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. TACAS 2009: 50-53
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Manini, Marco Gribaudo: An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks. ASMTA 2008: 88-100
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Cerotti, Marco Gribaudo, Andrea Bobbio: Disaster Propagation in Heterogeneous Media via Markovian Agents. CRITIS 2008: 328-335
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, Davide Cerotti, Andrea Bobbio: Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. PerCom 2008: 300-305
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bobbio, Marco Gribaudo, Miklós Telek: Analysis of Large Scale Interacting Systems by Mean Field Method. QEST 2008: 215-224
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, Daniele Manini, Bruno Sericola, Miklós Telek: Second order fluid models with general boundary behaviour. Annals OR 160(1): 69-82 (2008)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Garetto, Marco Gribaudo, Carla-Fabiana Chiasserini, Emilio Leonardi: Sensor Deployment and Relocation: A Unified Scheme. J. Comput. Sci. Technol. 23(3): 400-412 (2008)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, Miklós Telek: Stationary analysis of fluid level dependent bounded fluid models. Perform. Eval. 65(3-4): 241-261 (2008)
2007
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLF. 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Garetto, Marco Gribaudo, Carla-Fabiana Chiasserini, Emilio Leonardi: A Distributed Sensor Relocatlon Scheme for Environmental Control. MASS 2007: 1-10
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, Miklós Telek: Fluid Models in Performance Analysis. SFM 2007: 271-317
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla-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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla-Fabiana Chiasserini, Rossano Gaeta, Michele Garetto, Marco Gribaudo, Matteo Sereno: Efficient broadcasting of safety messages in multihop vehicular networks. IPDPS 2006
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Garetto, Marco Gribaudo: Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior. ISoLA 2006: 249-254
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRossano 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Garetto, Marco Gribaudo: Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. QEST 2006: 73-82
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRossano 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)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, Rossano Gaeta: Efficient steady-state analysis of second-order fluid stochastic Petri nets. Perform. Eval. 63(9-10): 1032-1047 (2006)
2005
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. QEST 2005: 85-94
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRossano 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)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRossano 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, Matteo Sereno: An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets. DSN 2004: 835-844
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuliana 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRossano 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRossano 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, András Horváth: Modeling Hybrid Positive Systems with Hybrid Petri Nets. POSTA 2003: 71-78
2002
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuliana 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello: DrawNet++: A Flexible Framework for Building Dependability Models. DSN 2002: 540
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Ajmone Marsan, Marco Gribaudo, Michela Meo, Matteo Sereno: Performance Analysis of Data Services over GPRS. HiPC 2001: 425-436
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, Reinhard German: Numerical Analysis of Bounded Fluid Models using Matrix Exponentiation. MMB 2001: 41-56
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gribaudo, Matteo Sereno: Simulation of Fluid Stochastic Petri Nets. MASCOTS 2000: 231-239
1998
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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

1S. Alciati [30]
2Gianfranco Balbo [15]
3Enrico Barbierato [53] [54] [55]
4Simona Bernardi [39]
5C. Bertoncello [8]
6Andrea Bobbio [3] [7] [34] [35] [36] [40] [49] [56]
7R. Bordino [30]
8Roberto Borgotallo [51]
9Steven C. Bruell [15]
10Dario Bruneo [56]
11Carlos Miguel Tavares Calafate [49]
12Giuliano Casale [46]
13Davide Cavagnino [50]
14Davide Cerotti [35] [36] [40] [49] [54] [56]
15Carla-Fabiana Chiasserini [20] [26] [27] [29] [32] [41] [52]
16Ester Ciancamerla [7]
17F. Della Corte [30]
18Giuliana Franceschinis [8] [9] [13] [19] [30]
19Rossano Gaeta [11] [12] [15] [17] [20] [21] [22] [24] [26] [27]
20Maurizio Garelli [38]
21Michele Garetto [20] [23] [25] [26] [27] [29] [32]
22Reinhard German [4]
23András Horváth [3] [6] [7] [10] [16]
24Mauro Iacono [8] [9] [13] [47] [53] [55]
25Emilio Leonardi [29] [32]
26Daniele Manini [11] [12] [17] [20] [22] [24] [27] [33] [37] [41] [52]
27Pietro Manzoni [49]
28Stefano Marrone [13] [55]
29Marco Ajmone Marsan [5]
30Nicola Mazzocca [9] [13] [18]
31Michela Meo [5]
32Alberto Messina [44] [51]
33Michele Minichino [7]
34Francesco Moscato [18]
35F. La Mura [30]
36Elina Pacini Naumovich [39]
37Alessandro Nordio [41] [52]
38Pietro Piazzolla [44] [45] [51]
39Daniele Codetta Raiteri [19]
40Anne Remke [48]
41Marco Scarpa [56]
42Giuseppe Serazzi [46]
43Marco Sereno [24]
44Matteo Sereno [1] [2] [3] [5] [11] [12] [14] [15] [17] [20] [22] [26] [27]
45Bruno Sericola [33]
46Miklós Telek [28] [31] [33] [34]
47Claudio Tosatto [43]
48B. Tosi [30]
49Enrico Tronci [7]
50Valeria Vittorini [8] [9] [13] [18]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page