The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Marco Gribaudo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
    Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:177-196 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:181-200 [Conf]
  3. Marco Gribaudo, Matteo Sereno
    On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:246-265 [Conf]
  4. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini
    DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2002, pp:233-238 [Conf]
  5. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello
    DrawNet++: A Flexible Framework for Building Dependability Models. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:540- [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:694-703 [Conf]
  7. Marco Gribaudo, Matteo Sereno
    An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:835-844 [Conf]
  8. Marco Ajmone Marsan, Marco Gribaudo, Michela Meo, Matteo Sereno
    Performance Analysis of Data Services over GPRS. [Citation Graph (0, 0)][DBLP]
    HiPC, 2001, pp:425-436 [Conf]
  9. Carla-Fabiana Chiasserini, Rossano Gaeta, Michele Garetto, Marco Gribaudo, Matteo Sereno
    Efficient broadcasting of safety messages in multihop vehicular networks. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  10. Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno
    A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 2004, pp:39-48 [Conf]
  11. Marco Gribaudo, Matteo Sereno
    Simulation of Fluid Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 2000, pp:231-239 [Conf]
  12. Marco Gribaudo, Reinhard German
    Numerical Analysis of Bounded Fluid Models using Matrix Exponentiation. [Citation Graph (0, 0)][DBLP]
    MMB, 2001, pp:41-56 [Conf]
  13. Marco Gribaudo, András Horváth
    Modeling Hybrid Positive Systems with Hybrid Petri Nets. [Citation Graph (0, 0)][DBLP]
    POSTA, 2003, pp:71-78 [Conf]
  14. Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
    Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:85-94 [Conf]
  15. Michele Garetto, Marco Gribaudo
    Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:73-82 [Conf]
  16. Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis
    Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:257-258 [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:273-283 [Conf]
  18. Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno
    Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:79-99 [Journal]
  19. Marco Gribaudo, András Horváth
    Model Checking Functional and Performability Properties of Stochastic Fluid Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:295-310 [Journal]
  20. 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. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2005, v:62, n:1-4, pp:1-16 [Journal]
  21. Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno
    Analysis of resource transfers in peer-to-peer file sharing applications using fluid models. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2006, v:63, n:3, pp:149-174 [Journal]
  22. Marco Gribaudo, Rossano Gaeta
    Efficient steady-state analysis of second-order fluid stochastic Petri nets. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2006, v:63, n:9-10, pp:1032-1047 [Journal]
  23. Marco Gribaudo, András Horváth
    Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:10, pp:944-955 [Journal]
  24. 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. [Citation Graph (0, 0)][DBLP]
    IV, 2007, pp:892-898 [Conf]
  25. Marco Gribaudo, Miklós Telek
    Fluid Models in Performance Analysis. [Citation Graph (0, 0)][DBLP]
    SFM, 2007, pp:271-317 [Conf]
  26. Carla-Fabiana Chiasserini, Rossano Gaeta, Michele Garetto, Marco Gribaudo, Daniele Manini, Matteo Sereno
    Fluid models for large-scale wireless sensor networks. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2007, v:64, n:7-8, pp:715-736 [Journal]

  27. A 3D History Class: A New Perspective for the Use of Computer Based Technology in History Classes. [Citation Graph (, )][DBLP]


  28. Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents. [Citation Graph (, )][DBLP]


  29. Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior. [Citation Graph (, )][DBLP]


  30. Presenting Dynamic Markovian Agents with a road tunnel application. [Citation Graph (, )][DBLP]


  31. Element Based Semantics in Multi Formalism Performance Models. [Citation Graph (, )][DBLP]


  32. Fixed-point approximations for TCP behavior in networks of routers implementing heterogeneous queue management policies. [Citation Graph (, )][DBLP]


  33. Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. [Citation Graph (, )][DBLP]


  34. Analysis of Large Scale Interacting Systems by Mean Field Method. [Citation Graph (, )][DBLP]


  35. ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. [Citation Graph (, )][DBLP]


  36. Disaster Propagation in Heterogeneous Media via Markovian Agents. [Citation Graph (, )][DBLP]


  37. Analysis of IEEE 802.15.4 Sensor Networks for Event Detection. [Citation Graph (, )][DBLP]


  38. An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks. [Citation Graph (, )][DBLP]


  39. Stochastic Modelling of Poll Based Multimedia Productions. [Citation Graph (, )][DBLP]


  40. Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes. [Citation Graph (, )][DBLP]


  41. Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets. [Citation Graph (, )][DBLP]


  42. Analysis of Television and Cinema Productions using Mean Field Models. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002