| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo |
Markovian agent modeling swarm intelligence algorithms in wireless sensor networks.  |
Perform. Eval.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Daniele Manini, Alessandro Nordio, Carla-Fabiana Chiasserini |
Transient Analysis of IEEE 802.15.4 Sensor Networks. |
IEEE Transactions on Wireless Communications |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Barbierato, Marco Gribaudo, Mauro Iacono |
Defining Formalisms for Performance Evaluation With SIMTHESys. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Stefano Marrone |
Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools. |
ASMTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Cerotti, Enrico Barbierato, Marco Gribaudo |
A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents. |
EPEW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Piazzolla, Marco Gribaudo |
Analysis of Television and Cinema Productions using Mean Field Models. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Cavagnino, Marco Gribaudo |
Discretization of 3D Models Using Voxel Elements of Different Shapes. |
Computational Aesthetics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Piazzolla, Marco Gribaudo, Roberto Borgotallo, Alberto Messina |
Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes. |
ASMTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Anne Remke |
Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Iacono, Marco Gribaudo |
Element Based Semantics in Multi Formalism Performance Models. |
MASCOTS |
2010 |
DBLP DOI BibTeX RDF |
multi-formalism models, performance evaluation, modelling tools |
| 1 | Giuliano Casale, Marco Gribaudo, Giuseppe Serazzi |
Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives. |
PERFORM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Cerotti, Marco Gribaudo, Andrea Bobbio, Carlos Miguel Tavares Calafate, Pietro Manzoni |
A Markovian Agent Model for Fire Propagation in Outdoor Environments. |
EPEW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Garelli, Marco Gribaudo |
Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo |
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Piazzolla, Marco Gribaudo, Alberto Messina |
Stochastic Modelling of Poll Based Multimedia Productions. |
ASMTA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Cerotti, Marco Gribaudo, Andrea Bobbio |
Presenting Dynamic Markovian Agents with a road tunnel application. |
MASCOTS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Daniele Manini, Alessandro Nordio, Carla-Fabiana Chiasserini |
Analysis of IEEE 802.15.4 Sensor Networks for Event Detection. |
GLOBECOM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Tosatto, Marco Gribaudo |
A 3D History Class: A New Perspective for the Use of Computer Based Technology in History Classes. |
EC-TEL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo |
Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents. |
EPEW |
2009 |
DBLP DOI BibTeX RDF |
Markovian Agents, Fluid Models, Mean field, Large systems |
| 1 | Marco Gribaudo, Miklós Telek |
Stationary analysis of fluid level dependent bounded fluid models. |
Perform. Eval. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Daniele Manini, Bruno Sericola, Miklós Telek |
Second order fluid models with general boundary behaviour. |
Annals OR |
2008 |
DBLP DOI BibTeX RDF |
Second order fluid models, Matrix exponent, Numerical analysis, Stationary distribution |
| 1 | Michele Garetto, Marco Gribaudo, Carla-Fabiana Chiasserini, Emilio Leonardi |
Sensor Deployment and Relocation: A Unified Scheme. |
J. Comput. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
sensor relocation, wireless sensor network, distributed algorithm, mobile network |
| 1 | Davide Cerotti, Marco Gribaudo, Andrea Bobbio |
Disaster Propagation in Heterogeneous Media via Markovian Agents. |
CRITIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Manini, Marco Gribaudo |
An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks. |
ASMTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Davide Cerotti, Andrea Bobbio |
Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. |
PerCom |
2008 |
DBLP DOI BibTeX RDF |
performance and dependability, Sensor network |
| 1 | Andrea Bobbio, Marco Gribaudo, Miklós Telek |
Analysis of Large Scale Interacting Systems by Mean Field Method. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla-Fabiana Chiasserini, Rossano Gaeta, Michele Garetto, Marco Gribaudo, Daniele Manini, Matteo Sereno |
Fluid models for large-scale wireless sensor networks. |
Perform. Eval. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Garetto, Marco Gribaudo, Carla-Fabiana Chiasserini, Emilio Leonardi |
A Distributed Sensor Relocatlon Scheme for Environmental Control. |
MASS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Miklós Telek |
Fluid Models in Performance Analysis. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno |
Analysis of resource transfers in peer-to-peer file sharing applications using fluid models. |
Perform. Eval. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Rossano Gaeta |
Efficient steady-state analysis of second-order fluid stochastic Petri nets. |
Perform. Eval. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla-Fabiana Chiasserini, Rossano Gaeta, Michele Garetto, Marco Gribaudo, Matteo Sereno |
Efficient broadcasting of safety messages in multihop vehicular networks. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Garetto, Marco Gribaudo |
Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Garetto, Marco Gribaudo |
Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, András Horváth |
Model Checking Functional and Performability Properties of Stochastic Fluid Models. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis |
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini |
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini |
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Matteo Sereno |
An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno |
A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems. |
MASCOTS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Communication Network Planning, Deterministic Stochastic Petri Nets, Completion Time Distribution, Performance Evaluation, Transport Control Protocol |
| 1 | Marco Gribaudo, András Horváth |
Modeling Hybrid Positive Systems with Hybrid Petri Nets. |
POSTA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, András Horváth |
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
Non-Markovian models, fluid stochastic petri nets, numerical techniques |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Model Objects, Performance Analysis Framework, Model composition |
| 1 | Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello |
DrawNet++: A Flexible Framework for Building Dependability Models. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2001 |
DBLP DOI BibTeX RDF |
stochastic reward models, fluid stochastic Petri nets, performance analysis, Petri nets |
| 1 | Marco Ajmone Marsan, Marco Gribaudo, Michela Meo, Matteo Sereno |
Performance Analysis of Data Services over GPRS. |
HiPC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Reinhard German |
Numerical Analysis of Bounded Fluid Models using Matrix Exponentiation. |
MMB |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marco Gribaudo, Matteo Sereno |
Simulation of Fluid Stochastic Petri Nets. (PDF / PS) |
MASCOTS |
2000 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")