Marco Gribaudo

Orcid: 0000-0002-1415-5287

According to our database1, Marco Gribaudo authored at least 178 papers between 1997 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Physically Based Rendering of Animated Point Clouds for EXtended Reality.
J. Comput. Inf. Sci. Eng., May, 2024

2023
A cyber warfare perspective on risks related to health IoT devices and contact tracing.
Neural Comput. Appl., July, 2023


Workflow Characterization of a Big Data System Model for Healthcare Through Multiformalism.
Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023

HEALER: A Data Lake Architecture for Healthcare.
Proceedings of the Workshops of the EDBT/ICDT 2023 Joint Conference, 2023

Cost- And Performance-Based Evaluation Of Cloud-Based Disaster Recovery.
Proceedings of the 37th ECMS International Conference on Modelling and Simulation, 2023

2022
A Domain Specific Language for the Design of Artificial Intelligence Applications for Process Engineering.
Proceedings of the Performance Evaluation Methodologies and Tools, 2022

Analysis of an Electric Vehicle Charging System Along a Highway.
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Places, Transitions and Queues: New Proposals for Interconnection Semantics.
Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022

A DSL-Based Modeling Approach For Energy Harvesting IoT / WSN.
Proceedings of the 36th ECMS International Conference on Modelling and Simulation, 2022

Enabling Real-World Medicine with Data Lake Federation: A Research Perspective.
Proceedings of the Heterogeneous Data Management, Polystores, and Analytics for Healthcare, 2022

2021
Predicting the performance of big data applications on the cloud.
J. Supercomput., 2021

Performance evaluation for the design of a hybrid cloud based distance synchronous and asynchronous learning architecture.
Simul. Model. Pract. Theory, 2021

Modelling user radio access in dense heterogeneous networks.
Perform. Evaluation, 2021

Simulation of N-Dimensional Second-Order Fluid Models with Different Absorbing, Reflecting and Mixed Barriers.
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Hybrid Simulation of Energy Management in IoT Edge Computing Surveillance Systems.
Proceedings of the Performance Engineering and Stochastic Modeling, 2021

Performance Evaluation of a Data Lake Architecture via Modeling Techniques.
Proceedings of the Performance Engineering and Stochastic Modeling, 2021

2020
Performance-Driven Analysis for an Adaptive Car-Navigation Service on HPC Systems.
SN Comput. Sci., 2020

Performance evaluation of a fog WSN infrastructure for emergency management.
Simul. Model. Pract. Theory, 2020

Modelling performances of an autonomic router running under attack.
Int. J. Embed. Syst., 2020

Multi-formalism Models for Performance Engineering.
Future Internet, 2020

Analytical modeling of performance indices under epistemic uncertainty applied to cloud computing systems.
Future Gener. Comput. Syst., 2020

3D augmentation of the surgical video stream: Toward a modular approach.
Comput. Methods Programs Biomed., 2020

Modelling large timescale and small timescale service variability.
Ann. Oper. Res., 2020

Circular Economy: a Performance Evaluation Perspective.
Proceedings of the VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020

Circular Economy: A Coloured Petri Net Based Discrete Event Simulation Model.
Proceedings of the 34th International ECMS Conference on Modelling and Simulation, 2020

2019
Towards Human Cell Simulation.
Proceedings of the High-Performance Modelling and Simulation for Big Data Applications, 2019

Exploiting CloudSim in a multiformalism modeling approach for cloud based systems.
Simul. Model. Pract. Theory, 2019

Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents.
Perform. Evaluation, 2019

Modeling and evaluating a complex edge computing based systems: An emergency management support system case study.
Internet Things, 2019

Quantitative Modeling of the Behaviour of an Autonomic Router.
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019

Preface.
Proceedings of the Tenth International Workshop on the Practical Application of Stochastic Modelling, 2019

Evaluating the Safety of Crowds in Enclosed Spaces by Markovian Agents.
Proceedings of the Tenth International Workshop on the Practical Application of Stochastic Modelling, 2019

Performance Modeling And Analysis Of An Autonomic Router.
Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019

Reducing Sickness And Enhancing Virtual Reality Simulation On Mobile Devices By Tracking The Body Rotation.
Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019

Non-linear-Optimization Using SQP for 3D Deformable Prostate Model Pose Estimation in Minimally Invasive Surgery.
Proceedings of the Advances in Computer Vision, 2019

Map-Reduce Process Algebra: A Formalism to Describe Directed Acyclic Graph Task-Based Jobs in Parallel Environments.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2019

Modeling Techniques for Pool Depletion Systems.
Proceedings of the Systems Modeling: Methodologies and Tools, 2019

2018
Energy vs. QoX Network- and Cloud Services Management.
Proceedings of the Autonomous Control for a Reliable Internet of Services, 2018

A performance modeling framework for lambda architecture based applications.
Future Gener. Comput. Syst., 2018

Performance Prediction of Cloud-Based Big Data Applications.
Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming.
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

Anchor Placement In Indoor Object Tracking Systems For Virtual Reality Simulations.
Proceedings of the European Conference on Modelling and Simulation, 2018

Performance Optimisation Of Edge Computing Homeland Security Support Applications.
Proceedings of the European Conference on Modelling and Simulation, 2018

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

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

Epistemic Uncertainty Propagation in Power Models.
Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, 2017

Performance Evaluation of Replication Policies in Microservice Based Architectures.
Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, 2017

An IoT-based monitoring approach for cultural heritage sites: The Matera case.
Concurr. Comput. Pract. Exp., 2017

Modeling and evaluating performances of complex edge computing based systems: a firefighting support system case study.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Capacity Planning of Fog Computing Infrastructures for Smart Monitoring.
Proceedings of the New Frontiers in Quantitative Methods in Informatics, 2017

Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Modeling Crowd Behavior in a Theater.
Proceedings of the New Frontiers in Quantitative Methods in Informatics, 2017

Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip.
Proceedings of the 2nd International Conference on System Reliability and Safety, 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. Evaluation, 2016

Modeling and Evaluating the Effects of Big Data Storage Resource Allocation in Global Scale Cloud Architectures.
Int. J. Data Warehous. Min., 2016

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

Modeling Hybrid Systems in SIMTHESys.
Proceedings of the 8th International Workshop on Practical Application of Stochastic Modeling, 2016

Advances in modelling and simulation for big-data applications (AMSBA).
Concurr. Comput. Pract. Exp., 2016

Modeling and analysis of performances for concurrent multithread applications on multicore and graphics processing unit systems.
Concurr. Comput. Pract. Exp., 2016

Matching performance objectives for open and closed workloads by consolidation and replication.
Ann. Oper. Res., 2016

Fluid Petri Nets for the Performance Evaluation of MapReduce Applications.
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Optimal population mix in pool depletion systems with two-class workload.
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 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. Exp., 2015

Multi-Class Queuing Networks Models for Energy Optimization.
EAI Endorsed Trans. Energy Web, 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.
Reliab. Eng. Syst. Saf., 2014

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

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

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

Exploiting Bayesian Networks for the Analysis of Combined Attack Trees.
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Asymptotic Behavior and Performance Constraints of Replication Policies.
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Performance Analysis of Collective Adaptive Behaviour in Time and Space.
Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

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

Remotely sensed image restoration using partial differential equations and watershed transformation.
Proceedings of the Seventh International Conference on Machine Vision, 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 13th 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
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

<i>jBM</i>: 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. Evaluation, 2012

Exploiting product forms solution techniques in multiformalism modeling.
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

The SIMTHESys multiformalism modeling framework.
Comput. Math. Appl., 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. Wirel. Commun., 2011

Defining Formalisms for Performance Evaluation With SIMTHESys.
Proceedings of the Fifth International Workshop on the Practical Application of Stochastic Modelling, 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
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 6th International Symposium on Computational Aesthetics in Graphics, 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
Analysis of Television and Cinema Productions using Mean Field Models.
Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 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. Evaluation, 2008

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

Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets.
Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, 2008

Second order fluid models with general boundary behaviour.
Ann. Oper. Res., 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. Evaluation, 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. Evaluation, 2006

Analysis of resource transfers in peer-to-peer file sharing applications using fluid models.
Perform. Evaluation, 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

Modelling a car safety controller in road tunnels using hybrid petri nets.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 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. Evaluation, 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
Model Checking Functional and Performability Properties of Stochastic Fluid Models.
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications.
Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, 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.
Reliab. Eng. Syst. Saf., 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.
Discret. Event Dyn. Syst., 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...