Marco Gribaudo

According to our database1, Marco Gribaudo
  • authored at least 124 papers between 1997 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Fluid Petri Nets for the Performance Evaluation of MapReduce and Spark Applications.
SIGMETRICS Performance Evaluation Review, 2017

Modeling and evaluation of highly complex computer systems architectures.
J. Comput. Science, 2017

An IoT-based monitoring approach for cultural heritage sites: The Matera case.
Concurrency and Computation: Practice and Experience, 2017

Improving Energy Efficiency for Transactional Workloads in Cloud Environments.
Proceedings of the Eighth International Conference on Future Energy Systems, 2017

A Low-cost Distributed IoT-based Augmented Reality Interactive Simulator For Team Training.
Proceedings of the European Conference on Modelling and Simulation, 2017

Performance Evaluation Of Massively Distributed Microservices Based Applications.
Proceedings of the European Conference on Modelling and Simulation, 2017

Modeling Multiclass Task-Based Applications on Heterogeneous Distributed Environments.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2017

2016
Performance Modeling of Big Data-Oriented Architectures.
Proceedings of the Resource Management for Big Data Platforms, 2016

Hybrid Petri nets with general one-shot transitions.
Perform. Eval., 2016

Modeling and Evaluating the Effects of Big Data Storage Resource Allocation in Global Scale Cloud Architectures.
IJDWM, 2016

Improving reliability and performances in large scale distributed applications with erasure codes and replication.
Future Generation Comp. Syst., 2016

Modeling Hybrid Systems in SIMTHESys.
Electr. Notes Theor. Comput. Sci., 2016

Advances in modelling and simulation for big-data applications (AMSBA).
Concurrency and Computation: Practice and Experience, 2016

Modeling and analysis of performances for concurrent multithread applications on multicore and graphics processing unit systems.
Concurrency and Computation: Practice and Experience, 2016

Matching performance objectives for open and closed workloads by consolidation and replication.
Annals OR, 2016

Stochastic Analysis of Energy Consumption in Pool Depletion Systems.
Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

Simulating Hybrid Systems Within SIMTHESys Multi-formalism Models.
Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016

Three Layers Network Influence On Cloud Data Center Performances.
Proceedings of the 30th European Conference on Modelling and Simulation, 2016

vMannequin: A Fashion Store Concept Design Tool.
Proceedings of the 30th European Conference on Modelling and Simulation, 2016

Fluid Approximation of Pool Depletion Systems.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016

2015
An Intelligent Swarm of Markovian Agents.
Proceedings of the Springer Handbook of Computational Intelligence, 2015

Modeling performances of concurrent big data applications.
Softw., Pract. Exper., 2015

Multi-Class Queuing Networks Models for Energy Optimization.
EAI Endorsed Trans. Energy Web, 2015

Exploiting Bayesian Networks for the Analysis of Combined Attack Trees.
Electr. Notes Theor. Comput. Sci., 2015

Asymptotic Behavior and Performance Constraints of Replication Policies.
Electr. Notes Theor. Comput. Sci., 2015

Performance Analysis of Collective Adaptive Behaviour in Time and Space.
Electr. Notes Theor. Comput. Sci., 2015

Modeling Power Consumption in Multicore CPUs with Multithreading and Frequency Scaling.
Proceedings of the Information Sciences and Systems 2015, 2015

A Simulation Based Approach For The Evaluation Of Outcome Driven Innovation Models.
Proceedings of the 29th European Conference on Modelling and Simulation, 2015

2014
Markovian agents models for wireless sensor networks deployed in environmental protection.
Rel. Eng. & Sys. Safety, 2014

Performance evaluation of peering-agreements among autonomous systems subject to peer-to-peer traffic.
Perform. Eval., 2014

Exploiting mean field analysis to model performances of big data architectures.
Future Generation Comp. Syst., 2014

Performance evaluation of NoSQL big-data applications using multi-formalism models.
Future Generation Comp. Syst., 2014

Multi-Class Queuing Networks Models for Energy Optimization.
Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014

ParSim: A Tool for Workload Modeling and Reproduction of Parallel Applications.
Proceedings of the IEEE 22nd International Symposium on Modelling, 2014

A lightweight and open-source framework for the lifetime estimation of multicore systems.
Proceedings of the 32nd IEEE International Conference on Computer Design, 2014

Probabilistic consensus in Markovian multi-agent networks.
Proceedings of the European Control Conference, 2014

Performance Evaluation of NoSQL Databases.
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

Workload Characterization Of Multithreaded Applications On Multicore Architectures.
Proceedings of the 28th European Conference on Modelling and Simulation, 2014

Analysis of the Influence of Application Deployment on Energy Consumption.
Proceedings of the Energy Efficient Data Centers - Third International Workshop, 2014

Markovian Agents Population Models to Study Cancer Evolution.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2014

Throughput Maximization with Multiclass Workloads and Resource Constraints.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2014

2013
Exploiting product forms solution techniques in multiformalism modeling.
Electr. Notes Theor. Comput. Sci., 2013

Traffic offloading/onloading in multi-RAT cellular networks.
Proceedings of the IFIP Wireless Days, 2013

Performance optimization with JMT: Java modelling tools.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Modeling apache hive based applications in big data architectures.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

jBM: a CPU benchmarking tool for cloud environments.
Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques, 2013

Characterization Analysis of Resource Utilization Distribution.
Proceedings of the 2013 IEEE 21st International Symposium on Modelling, 2013

End-to-End Performance of Multi-core Systems in Cloud Environments.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

A Performance Modeling Language For Big Data Architectures.
Proceedings of the 27th European Conference on Modelling and Simulation, 2013

Studying Mobile Internet Technologies with Agent Based Mean-Field Models.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012
Markovian agent modeling swarm intelligence algorithms in wireless sensor networks.
Perform. Eval., 2012

The SIMTHESys multiformalism modeling framework.
Computers & Mathematics with Applications, 2012

Evaluation of different scheduling policies in IaaS applications by Mean Field analysis.
Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Multiformalism to Support Software Rejuvenation Modeling.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Consolidation and Replication of VMs Matching Performance Objectives.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2012

2011
Transient Analysis of IEEE 802.15.4 Sensor Networks.
IEEE Trans. Wireless Communications, 2011

Defining Formalisms for Performance Evaluation With SIMTHESys.
Electr. Notes Theor. Comput. Sci., 2011

Exploiting multiformalism models for testing and performance evaluation in SIMTHESys.
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents.
Proceedings of the Computer Performance Engineering, 2011

Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2011

2010
Analysis of Television and Cinema Productions using Mean Field Models.
Electr. Notes Theor. Comput. Sci., 2010

Modelling and Optimization of Cross-Media Production Processes.
Proceedings of the Operations Research Proceedings 2010, 2010

Element Based Semantics in Multi Formalism Performance Models.
Proceedings of the MASCOTS 2010, 2010

Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives.
Proceedings of the Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges, 2010

Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures.
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

A Markovian Agent Model for Fire Propagation in Outdoor Environments.
Proceedings of the Computer Performance Engineering, 2010

Discretization of 3D Models Using Voxel Elements of Different Shapes.
Proceedings of the Computational Aesthetics 2010: Eurographics Workshop on Computational Aesthetics, 2010

Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

2009
Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets.
Electr. Notes Theor. Comput. Sci., 2009

Interfaces and binding in component based development of formal models.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Presenting Dynamic Markovian Agents with a road tunnel application.
Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

Analysis of IEEE 802.15.4 Sensor Networks for Event Detection.
Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents.
Proceedings of the Computer Performance Engineering, 2009

A 3D History Class: A New Perspective for the Use of Computer Based Technology in History Classes.
Proceedings of the Learning in the Synergy of Multiple Disciplines, 2009

Stochastic Modelling of Poll Based Multimedia Productions.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2009

2008
Stationary analysis of fluid level dependent bounded fluid models.
Perform. Eval., 2008

Sensor Deployment and Relocation: A Unified Scheme.
J. Comput. Sci. Technol., 2008

Second order fluid models with general boundary behaviour.
Annals OR, 2008

Analysis of Large Scale Interacting Systems by Mean Field Method.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents.
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008

Compositional fluid stochastic Petri net model for operational software system performance.
Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008

Disaster Propagation in Heterogeneous Media via Markovian Agents.
Proceedings of the Critical Information Infrastructure Security, 2008

An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2008

2007
Fluid models for large-scale wireless sensor networks.
Perform. Eval., 2007

Fluid Models in Performance Analysis.
Proceedings of the Formal Methods for Performance Evaluation, 2007

A Distributed Sensor Relocatlon Scheme for Environmental Control.
Proceedings of the IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, 2007

Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator.
Proceedings of the 11th International Conference on Information Visualisation, 2007

2006
Efficient steady-state analysis of second-order fluid stochastic Petri nets.
Perform. Eval., 2006

Analysis of resource transfers in peer-to-peer file sharing applications using fluid models.
Perform. Eval., 2006

Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Fixed-point approximations for TCP behavior in networks of routers implementing heterogeneous queue management policies.
Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Efficient broadcasting of safety messages in multihop vehicular networks.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005
A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks.
Perform. Eval., 2005

Model Checking Functional and Performability Properties of Stochastic Fluid Models.
Electr. Notes Theor. Comput. Sci., 2005

Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications.
Electr. Notes Theor. Comput. Sci., 2005

Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

A Spatial Fluid-Based Framework to Analyze Large-Scale Wireless Sensor Networks.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004
A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems.
Proceedings of the 12th International Workshop on Modeling, 2004

An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
Fluid Petri Nets and hybrid model-checking: a comparative case study.
Rel. Eng. & Sys. Safety, 2003

Modeling Hybrid Positive Systems with Hybrid Petri Nets.
Proceedings of the Positive Systems, 2003

Stationary analysis of FSPNs with mutually dependent discrete and continuous parts.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique.
IEEE Trans. Software Eng., 2002

Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.
Proceedings of the Computer Safety, 2002

DrawNet++: A Flexible Framework for Building Dependability Models.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.
Proceedings of the Computer Performance Evaluation, 2002

2001
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis.
Discrete Event Dynamic Systems, 2001

On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution Techniques.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Numerical Analysis of Bounded Fluid Models using Matrix Exponentiation.
Proceedings of the Proceedings 11th GI/ITG Conference on Measuring, 2001

Performance Analysis of Data Services over GPRS.
Proceedings of the High Performance Computing - HiPC 2001, 8th International Conference, 2001

2000
Simulation of Fluid Stochastic Petri Nets.
Proceedings of the MASCOTS 2000, Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 29 August, 2000

1999
Fluid stochastic Petri nets: An extended formalism to include non-Markovian models.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

1998
On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking.
Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997
GSPN semantics for queueing networks with blocking.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997


  Loading...