GSPN semantics for queueing networks with blocking. - Marco Gribaudo; Matteo Sereno (PNPM, 1997)

On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking. - Marco Gribaudo; Matteo Sereno (ICATPN, 1998)

Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. - Andrea Bobbio; Sachin Garg; Marco Gribaudo; András Horváth; Matteo Sereno; Miklós Telek (PNPM, 1999)

Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. - Marco Gribaudo; Matteo Sereno; Andrea Bobbio (PNPM, 1999)

Simulation of Fluid Stochastic Petri Nets. - Marco Gribaudo; Matteo Sereno (MASCOTS, 2000)

Performance Analysis of Data Services over GPRS. - Marco Ajmone Marsan; Marco Gribaudo; Michela Meo; Matteo Sereno (HiPC, 2001)

Numerical Analysis of Bounded Fluid Models using Matrix Exponentiation. - Marco Gribaudo; Reinhard German (MMB, 2001)

Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution Techniques. - Marco Gribaudo; András Horváth (PNPM, 2001)

On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses. - Marco Ajmone Marsan; Marco Gribaudo; Michela Meo; Matteo Sereno (PNPM, 2001)

Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. - Marco Gribaudo; Matteo Sereno; András Horváth; Andrea Bobbio (Discret. Event Dyn. Syst., 2001)

DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Nicola Mazzocca; Valeria Vittorini (Computer Performance Evaluation / TOOLS, 2002)

DrawNet++: A Flexible Framework for Building Dependability Models. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Valeria Vittorini; Claudio Bertoncello (DSN, 2002)

Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. - Marco Gribaudo; András Horváth; Andrea Bobbio; Enrico Tronci; Ester Ciancamerla; Michele Minichino (SAFECOMP, 2002)

Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique. - Marco Gribaudo; András Horváth (IEEE Trans. Software Eng., 2002)

On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers. - Rossano Gaeta; Marco Gribaudo; Daniele Manini; Matteo Sereno (ICATPN, 2003)

Stationary analysis of FSPNs with mutually dependent discrete and continuous parts. - Reinhard German; Marco Gribaudo; Gábor Horváth 002; Miklós Telek (PNPM, 2003)

Modeling Hybrid Positive Systems with Hybrid Petri Nets. - Marco Gribaudo; András Horváth (POSTA, 2003)

Fluid Petri Nets and hybrid model-checking: a comparative case study. - Marco Gribaudo; András Horváth; Andrea Bobbio; Enrico Tronci; Ester Ciancamerla; Michele Minichino (Reliab. Eng. Syst. Saf., 2003)

Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Stefano Marrone 001; Nicola Mazzocca; Valeria Vittorini (ICATPN, 2004)

An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets. - Marco Gribaudo; Matteo Sereno (DSN, 2004)

A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems. - Rossano Gaeta; Marco Gribaudo; Daniele Manini; Matteo Sereno (MASCOTS, 2004)

Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications. - Rossano Gaeta; Marco Gribaudo; Daniele Manini; Matteo Sereno (PASM, 2004)

Model Checking Functional and Performability Properties of Stochastic Fluid Models. - Marco Gribaudo; András Horváth (AVoCS, 2004)

A Spatial Fluid-Based Framework to Analyze Large-Scale Wireless Sensor Networks. - Marco Gribaudo; Carla-Fabiana Chiasserini; Rossano Gaeta; Michele Garetto; Daniele Manini; Matteo Sereno (DSN, 2005)

Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. - Marco Gribaudo; Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini (QEST, 2005)

Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. - Marco Gribaudo; Daniele Codetta Raiteri; Giuliana Franceschinis (QEST, 2005)

A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks. - Rossano Gaeta; Gianfranco Balbo; Steven C. Bruell; Marco Gribaudo; Matteo Sereno (Perform. Evaluation, 2005)

Efficient broadcasting of safety messages in multihop vehicular networks. - Carla-Fabiana Chiasserini; Rossano Gaeta; Michele Garetto; Marco Gribaudo; Matteo Sereno (IPDPS, 2006)

Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior. - Michele Garetto; Marco Gribaudo (ISoLA, 2006)

Modelling a car safety controller in road tunnels using hybrid petri nets. - Andrea Bobbio; Marco Gribaudo; András Horváth (ITSC, 2006)

Fixed-point approximations for TCP behavior in networks of routers implementing heterogeneous queue management policies. - Rossano Gaeta; Marco Gribaudo; Daniele Manini; Matteo Sereno (MMB, 2006)

Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. - Michele Garetto; Marco Gribaudo (QEST, 2006)

Analysis of resource transfers in peer-to-peer file sharing applications using fluid models. - Rossano Gaeta; Marco Gribaudo; Daniele Manini; Matteo Sereno (Perform. Evaluation, 2006)

Efficient steady-state analysis of second-order fluid stochastic Petri nets. - Marco Gribaudo; Rossano Gaeta (Perform. Evaluation, 2006)

Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator. - F. La Mura; Francesco Della Corte; Marco Gribaudo; B. Tosi; S. Alciati; R. Bordino; Giuliana Franceschinis (IV, 2007)

A Distributed Sensor Relocatlon Scheme for Environmental Control. - Michele Garetto; Marco Gribaudo; Carla-Fabiana Chiasserini; Emilio Leonardi (MASS, 2007)

Fluid Models in Performance Analysis. - Marco Gribaudo; Miklós Telek (SFM, 2007)

Fluid models for large-scale wireless sensor networks. - Carla-Fabiana Chiasserini; Rossano Gaeta; Michele Garetto; Marco Gribaudo; Daniele Manini; Matteo Sereno (Perform. Evaluation, 2007)

An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks. - Daniele Manini; Marco Gribaudo (ASMTA, 2008)

Disaster Propagation in Heterogeneous Media via Markovian Agents. - Davide Cerotti; Marco Gribaudo; Andrea Bobbio (CRITIS, 2008)

Compositional fluid stochastic Petri net model for operational software system performance. - Andrea Bobbio; Sachin Garg; Marco Gribaudo; András Horváth; Matteo Sereno; Miklós Telek (ISSRE Workshops, 2008)

Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. - Marco Gribaudo; Davide Cerotti; Andrea Bobbio (PerCom, 2008)

Analysis of Large Scale Interacting Systems by Mean Field Method. - Andrea Bobbio; Marco Gribaudo; Miklós Telek (QEST, 2008)

Second order fluid models with general boundary behaviour. - Marco Gribaudo; Daniele Manini; Bruno Sericola; Miklós Telek (Ann. Oper. Res., 2008)

Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets. - Maurizio Garelli; Marco Gribaudo (PASM@EPEW, 2008)

Sensor Deployment and Relocation: A Unified Scheme. - Michele Garetto; Marco Gribaudo; Carla-Fabiana Chiasserini; Emilio Leonardi (J. Comput. Sci. Technol., 2008)

Stationary analysis of fluid level dependent bounded fluid models. - Marco Gribaudo; Miklós Telek (Perform. Evaluation, 2008)

Stochastic Modelling of Poll Based Multimedia Productions. - Pietro Piazzolla; Marco Gribaudo; Alberto Messina (ASMTA, 2009)

A 3D History Class: A New Perspective for the Use of Computer Based Technology in History Classes. - Claudio Tosatto; Marco Gribaudo (EC-TEL, 2009)

Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents. - Marco Gribaudo (EPEW, 2009)

Analysis of IEEE 802.15.4 Sensor Networks for Event Detection. - Marco Gribaudo; Daniele Manini; Alessandro Nordio; Carla-Fabiana Chiasserini (GLOBECOM, 2009)

Presenting Dynamic Markovian Agents with a road tunnel application. - Davide Cerotti; Marco Gribaudo; Andrea Bobbio (MASCOTS, 2009)

ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. - Elina Pacini Naumovich; Simona Bernardi 001; Marco Gribaudo (TACAS, 2009)

Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents. - Dario Bruneo; Marco Scarpa; Andrea Bobbio; Davide Cerotti; Marco Gribaudo (VALUETOOLS, 2009)

Interfaces and binding in component based development of formal models. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Stefano Marrone 001; Francesco Moscato 001; Valeria Vittorini (VALUETOOLS, 2009)

Analysis of Television and Cinema Productions using Mean Field Models. - Pietro Piazzolla; Marco Gribaudo (PASM@MASCOTS, 2009)

Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes. - Pietro Piazzolla; Marco Gribaudo; Roberto Borgotallo; Alberto Messina (ASMTA, 2010)

Discretization of 3D Models Using Voxel Elements of Different Shapes. - Davide Cavagnino; Marco Gribaudo (CAe, 2010)

A Markovian Agent Model for Fire Propagation in Outdoor Environments. - Davide Cerotti; Marco Gribaudo; Andrea Bobbio; Carlos Miguel Tavares Calafate; Pietro Manzoni (EPEW, 2010)

Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures. - Marco Gribaudo; Anne Remke (HASE, 2010)

Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives. - Giuliano Casale; Marco Gribaudo; Giuseppe Serazzi (PERFORM, 2010)

Element Based Semantics in Multi Formalism Performance Models. - Mauro Iacono; Marco Gribaudo (MASCOTS, 2010)

Modelling and Optimization of Cross-Media Production Processes. - Pietro Piazzolla; Andrea Grosso; Marco Gribaudo; Alberto Messina (OR, 2010)

Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono; Stefano Marrone 001 (ASMTA, 2011)

A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents. - Davide Cerotti; Enrico Barbierato; Marco Gribaudo (EPEW, 2011)

Exploiting multiformalism models for testing and performance evaluation in SIMTHESys. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono (VALUETOOLS, 2011)

Defining Formalisms for Performance Evaluation With SIMTHESys. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono (PASM@ICPE, 2011)

Transient Analysis of IEEE 802.15.4 Sensor Networks. - Marco Gribaudo; Daniele Manini; Alessandro Nordio; Carla-Fabiana Chiasserini (IEEE Trans. Wirel. Commun., 2011)

Consolidation and Replication of VMs Matching Performance Objectives. - Marco Gribaudo; Pietro Piazzolla; Giuseppe Serazzi (ASMTA, 2012)

Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition. - Hamed Ghasemieh; Anne Remke; Boudewijn R. Haverkort; Marco Gribaudo (FORMATS, 2012)

Multiformalism to Support Software Rejuvenation Modeling. - Enrico Barbierato; Andrea Bobbio; Marco Gribaudo; Mauro Iacono (ISSRE Workshops, 2012)

Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Giuseppe Serazzi (QEST, 2012)

Evaluation of different scheduling policies in IaaS applications by Mean Field analysis. - Danilo Abbaldo; Marco Gribaudo; Daniele Manini (VALUETOOLS, 2012)

The SIMTHESys multiformalism modeling framework. - Mauro Iacono; Enrico Barbierato; Marco Gribaudo (Comput. Math. Appl., 2012)

Exploiting product forms solution techniques in multiformalism modeling. - Enrico Barbierato; Gian-Luca Dei Rossi; Marco Gribaudo; Mauro Iacono; Andrea Marin (PASM/PDMC, 2012)

Markovian agent modeling swarm intelligence algorithms in wireless sensor networks. - Dario Bruneo; Marco Scarpa; Andrea Bobbio; Davide Cerotti; Marco Gribaudo (Perform. Evaluation, 2012)

Studying Mobile Internet Technologies with Agent Based Mean-Field Models. - Marco Gribaudo; Daniele Manini; Carla-Fabiana Chiasserini (ASMTA, 2013)

A Performance Modeling Language For Big Data Architectures. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono (ECMS, 2013)

End-to-End Performance of Multi-core Systems in Cloud Environments. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Giuseppe Serazzi (EPEW, 2013)

Characterization Analysis of Resource Utilization Distribution. - Robert Birke; Lydia Y. Chen; Marco Gribaudo; Pietro Piazzolla (MASCOTS, 2013)

jBM: a CPU benchmarking tool for cloud environments. - Pietro Piazzolla; Marco Gribaudo; Giuseppe Serazzi (SimuTools, 2013)

Modeling apache hive based applications in big data architectures. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono (VALUETOOLS, 2013)

Performance optimization with JMT: Java modelling tools. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Giuseppe Serazzi (VALUETOOLS, 2013)

Traffic offloading/onloading in multi-RAT cellular networks. - Carla-Fabiana Chiasserini; Marco Gribaudo; Daniele Manini (Wireless Days, 2013)

Throughput Maximization with Multiclass Workloads and Resource Constraints. - Davide Cerotti; Marco Gribaudo; Ingolf Krüger; Pietro Piazzolla; Filippo Seracini; Giuseppe Serazzi (ASMTA, 2014)

Markovian Agents Population Models to Study Cancer Evolution. - Francesca Cordero; Chiara Fornari; Marco Gribaudo; Daniele Manini (ASMTA, 2014)

Analysis of the Influence of Application Deployment on Energy Consumption. - Marco Gribaudo; Thi Thao Nguyen Ho; Barbara Pernici; Giuseppe Serazzi (E2DC, 2014)

Workload Characterization Of Multithreaded Applications On Multicore Architectures. - Davide Cerotti; Marco Gribaudo; Mauro Iacono; Pietro Piazzolla (ECMS, 2014)

Performance Evaluation of NoSQL Databases. - Andrea Gandini; Marco Gribaudo; William J. Knottenbelt; Rasha Osman; Pietro Piazzolla (EPEW, 2014)

Probabilistic consensus in Markovian multi-agent networks. - Paolo Bolzern; Davide Cerotti; Patrizio Colaneri; Marco Gribaudo (ECC, 2014)

A lightweight and open-source framework for the lifetime estimation of multicore systems. - Cristiana Bolchini; Matteo Carminati; Marco Gribaudo; Antonio Miele (ICCD, 2014)

Remotely sensed image restoration using partial differential equations and watershed transformation. - Avishan Nazari; Amin Zehtabian; Marco Gribaudo; Hassan Ghassemian (ICMV, 2014)

ParSim: A Tool for Workload Modeling and Reproduction of Parallel Applications. - Andrea Rosà; Walter Binder; Lydia Y. Chen; Marco Gribaudo; Giuseppe Serazzi (MASCOTS, 2014)

Performance Analysis of Collective Adaptive Behaviour in Time and Space. - Cheng Feng 004; Marco Gribaudo; Jane Hillston (UKPEW, 2014)

Asymptotic Behavior and Performance Constraints of Replication Policies. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Giuseppe Serazzi (PASM, 2014)

Exploiting Bayesian Networks for the Analysis of Combined Attack Trees. - Marco Gribaudo; Mauro Iacono; Stefano Marrone 001 (PASM, 2014)

Performance evaluation of NoSQL big-data applications using multi-formalism models. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono (Future Gener. Comput. Syst., 2014)

Exploiting mean field analysis to model performances of big data architectures. - Aniello Castiglione; Marco Gribaudo; Mauro Iacono; Francesco Palmieri 002 (Future Gener. Comput. Syst., 2014)

Performance evaluation of peering-agreements among autonomous systems subject to peer-to-peer traffic. - Salvatore Spoto; Marco Gribaudo; Daniele Manini (Perform. Evaluation, 2014)

Markovian agents models for wireless sensor networks deployed in environmental protection. - Davide Cerotti; Marco Gribaudo; Andrea Bobbio (Reliab. Eng. Syst. Saf., 2014)

A Simulation Based Approach For The Evaluation Of Outcome Driven Innovation Models. - Marco Gribaudo; Mauro Iacono; Daniele Manini; Marco Pironti; Paola Pisano (ECMS, 2015)

Modeling Power Consumption in Multicore CPUs with Multithreading and Frequency Scaling. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Riccardo Pinciroli; Giuseppe Serazzi (ISCIS, 2015)

Multi-Class Queuing Networks Models for Energy Optimization. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Riccardo Pinciroli; Giuseppe Serazzi (EAI Endorsed Trans. Energy Web, 2015)

Modeling performances of concurrent big data applications. - Aniello Castiglione; Marco Gribaudo; Mauro Iacono; Francesco Palmieri 002 (Softw. Pract. Exp., 2015)

An Intelligent Swarm of Markovian Agents. - Dario Bruneo; Marco Scarpa; Andrea Bobbio; Davide Cerotti; Marco Gribaudo (Handbook of Computational Intelligence, 2015)

Fluid Approximation of Pool Depletion Systems. - Enrico Barbierato; Marco Gribaudo; Daniele Manini (ASMTA, 2016)

vMannequin: A Fashion Store Concept Design Tool. - Paolo Cremonesi; Franca Garzotto; Marco Gribaudo; Pietro Piazzolla; Mauro Iacono (ECMS, 2016)

Three Layers Network Influence On Cloud Data Center Performances. - Marco Gribaudo; Mauro Iacono; Daniele Manini (ECMS, 2016)

Simulating Hybrid Systems Within SIMTHESys Multi-formalism Models. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono (EPEW, 2016)

Stochastic Analysis of Energy Consumption in Pool Depletion Systems. - Davide Cerotti; Marco Gribaudo; Riccardo Pinciroli; Giuseppe Serazzi (MMB/DFT, 2016)

Optimal population mix in pool depletion systems with two-class workload. - Davide Cerotti; Marco Gribaudo; Riccardo Pinciroli; Giuseppe Serazzi (VALUETOOLS, 2016)

Fluid Petri Nets for the Performance Evaluation of MapReduce Applications. - Eugenio Gianniti; Alessandro Maria Rizzi; Enrico Barbierato; Marco Gribaudo; Danilo Ardagna (VALUETOOLS, 2016)

Matching performance objectives for open and closed workloads by consolidation and replication. - Davide Cerotti; Marco Gribaudo; Pietro Piazzolla; Giuseppe Serazzi (Ann. Oper. Res., 2016)

Modeling and analysis of performances for concurrent multithread applications on multicore and graphics processing unit systems. - Davide Cerotti; Marco Gribaudo; Mauro Iacono; Pietro Piazzolla (Concurr. Comput. Pract. Exp., 2016)

Advances in modelling and simulation for big-data applications (AMSBA). - Florin Pop; Mauro Iacono; Marco Gribaudo; Joanna Kolodziej (Concurr. Comput. Pract. Exp., 2016)

Modeling Hybrid Systems in SIMTHESys. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono (PASM, 2016)

Improving reliability and performances in large scale distributed applications with erasure codes and replication. - Marco Gribaudo; Mauro Iacono; Daniele Manini (Future Gener. Comput. Syst., 2016)

Modeling and Evaluating the Effects of Big Data Storage Resource Allocation in Global Scale Cloud Architectures. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono (Int. J. Data Warehous. Min., 2016)

Hybrid Petri nets with general one-shot transitions. - Marco Gribaudo; Anne Remke (Perform. Evaluation, 2016)

Performance Modeling of Big Data-Oriented Architectures. - Marco Gribaudo; Mauro Iacono; Francesco Palmieri 002 (Resource Management for Big Data Platforms, 2016)

Modeling Multiclass Task-Based Applications on Heterogeneous Distributed Environments. - Riccardo Pinciroli; Marco Gribaudo; Giuseppe Serazzi (ASMTA, 2017)

Performance Evaluation Of Massively Distributed Microservices Based Applications. - Marco Gribaudo; Mauro Iacono; Daniele Manini (ECMS, 2017)

A Low-cost Distributed IoT-based Augmented Reality Interactive Simulator For Team Training. - Pietro Piazzolla; Marco Gribaudo; Simone Colombo 001; Davide Manca; Mauro Iacono (ECMS, 2017)

Improving Energy Efficiency for Transactional Workloads in Cloud Environments. - N. T. T. Ho; Marco Gribaudo; Barbara Pernici (e-Energy, 2017)

Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip. - Riccardo Pinciroli; Andrea Bobbio; Cristiana Bolchini; Davide Cerotti; Marco Gribaudo; Antonio Miele; Kishor S. Trivedi (ICSRS, 2017)

Modeling Crowd Behavior in a Theater. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono; Alexander H. Levis (InfQ@VALUETOOLS, 2017)

Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents. - Andrea Bobbio; Cristiana Bolchini; Davide Cerotti; Marco Gribaudo; Antonio Miele (VALUETOOLS, 2017)

Capacity Planning of Fog Computing Infrastructures for Smart Monitoring. - Riccardo Pinciroli; Marco Gribaudo; Manuel Roveri; Giuseppe Serazzi (InfQ@VALUETOOLS, 2017)

Modeling and evaluating performances of complex edge computing based systems: a firefighting support system case study. - Edoardo Cavalieri d'Oro; Simone Colombo 001; Marco Gribaudo; Mauro Iacono; Davide Manca; Pietro Piazzolla (VALUETOOLS, 2017)

An IoT-based monitoring approach for cultural heritage sites: The Matera case. - Marco Gribaudo; Mauro Iacono; Alexander H. Levis (Concurr. Comput. Pract. Exp., 2017)

Performance Evaluation of Replication Policies in Microservice Based Architectures. - Marco Gribaudo; Mauro Iacono; Daniele Manini (PASM, 2017)

Epistemic Uncertainty Propagation in Power Models. - Marco Gribaudo; Riccardo Pinciroli; Kishor S. Trivedi (PASM, 2017)

Modeling and evaluation of highly complex computer systems architectures. - Mauro Iacono; Marco Gribaudo; Joanna Kolodziej; Florin Pop (J. Comput. Sci., 2017)

Fluid Petri Nets for the Performance Evaluation of MapReduce and Spark Applications. - Eugenio Gianniti; Alessandro Maria Rizzi; Enrico Barbierato; Marco Gribaudo; Danilo Ardagna (SIGMETRICS Perform. Evaluation Rev., 2017)

Performance Optimisation Of Edge Computing Homeland Security Support Applications. - Marco Gribaudo; Mauro Iacono; Agnieszka Jakobik; Joanna Kolodziej (ECMS, 2018)

Anchor Placement In Indoor Object Tracking Systems For Virtual Reality Simulations. - Marco Gribaudo; Pietro Piazzolla; Mauro Iacono (ECMS, 2018)

Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono; Pietro Piazzolla (EPEW, 2018)

Performance Prediction of Cloud-Based Big Data Applications. - Danilo Ardagna; Enrico Barbierato; Athanasia Evangelinou; Eugenio Gianniti; Marco Gribaudo; Túlio B. M. Pinto; Anna Guimarães; Ana Paula Couto da Silva; Jussara M. Almeida (ICPE, 2018)

A performance modeling framework for lambda architecture based applications. - Marco Gribaudo; Mauro Iacono; Mariam Kiran (Future Gener. Comput. Syst., 2018)

Energy vs. QoX Network- and Cloud Services Management. - Bego Blanco; Fidel Liberal; Pasi E. Lassila; Samuli Aalto; Javier Sainz; Marco Gribaudo; Barbara Pernici (Autonomous Control for a Reliable Internet of Services, 2018)

Modeling Techniques for Pool Depletion Systems. - Davide Cerotti; Marco Gribaudo; Riccardo Pinciroli; Giuseppe Serazzi (Systems Modeling: Methodologies and Tools, 2019)

Map-Reduce Process Algebra: A Formalism to Describe Directed Acyclic Graph Task-Based Jobs in Parallel Environments. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono (ASMTA, 2019)

Non-linear-Optimization Using SQP for 3D Deformable Prostate Model Pose Estimation in Minimally Invasive Surgery. - Daniele Amparore; Enrico Checcucci; Marco Gribaudo; Pietro Piazzolla; Francesco Porpiglia; Enrico Vezzetti (CVC (1), 2019)

Reducing Sickness And Enhancing Virtual Reality Simulation On Mobile Devices By Tracking The Body Rotation. - Gianpaolo Branca; Marco Gribaudo (ECMS, 2019)

Performance Modeling And Analysis Of An Autonomic Router. - Marco Gribaudo; Lelio Campanile; Mauro Iacono; Michele Mastroianni (ECMS, 2019)

Evaluating the Safety of Crowds in Enclosed Spaces by Markovian Agents. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono; Alexander H. Levis (PASM, 2019)

Preface. - Matthew Forshaw; Marco Gribaudo; William J. Knottenbelt; Nigel Thomas (PASM, 2019)

Quantitative Modeling of the Behaviour of an Autonomic Router. - Lelio Campanile; Marco Gribaudo; Mauro Iacono; Michele Mastroianni (VALUETOOLS, 2019)

Modeling and evaluating a complex edge computing based systems: An emergency management support system case study. - Edoardo Cavalieri d'Oro; Simone Colombo 001; Marco Gribaudo; Mauro Iacono; Davide Manca; Pietro Piazzolla (Internet Things, 2019)

Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents. - Davide Cerotti; Antonio Miele; Marco Gribaudo; Andrea Bobbio; Cristiana Bolchini (Perform. Evaluation, 2019)

Exploiting CloudSim in a multiformalism modeling approach for cloud based systems. - Enrico Barbierato; Marco Gribaudo; Mauro Iacono; Agnieszka Jakobik (Simul. Model. Pract. Theory, 2019)

Towards Human Cell Simulation. - Simone Spolaor; Marco Gribaudo; Mauro Iacono; Tomas Kadavy; Zuzana Komínková Oplatková; Giancarlo Mauri; Sabri Pllana; Roman Senkerik; Natalija Stojanovic; Esko Turunen; Adam Viktorin; Salvatore Vitabile; et al. (High-Performance Modelling and Simulation for Big Data Applications, 2019)

Circular Economy: A Coloured Petri Net Based Discrete Event Simulation Model. - Marco Gribaudo; Marco Pironti; Paola Pisano; Daniele Manini; Veronica Scuotto (ECMS, 2020)

Circular Economy: a Performance Evaluation Perspective. - Marco Gribaudo; Daniele Manini; Marco Pironti; Paola Pisano (VALUETOOLS, 2020)

Modelling large timescale and small timescale service variability. - Marco Gribaudo; Illés Horváth; Daniele Manini; Miklós Telek (Ann. Oper. Res., 2020)

3D augmentation of the surgical video stream: Toward a modular approach. - Marco Gribaudo; Pietro Piazzolla; Francesco Porpiglia; Enrico Vezzetti; Maria Grazia Violante (Comput. Methods Programs Biomed., 2020)

Analytical modeling of performance indices under epistemic uncertainty applied to cloud computing systems. - Fabio Antonelli; Vittorio Cortellessa; Marco Gribaudo; Riccardo Pinciroli; Kishor S. Trivedi; Catia Trubiani (Future Gener. Comput. Syst., 2020)

Multi-formalism Models for Performance Engineering. - Enrico Barbierato; Marco Gribaudo; Giuseppe Serazzi (Future Internet, 2020)

Modelling performances of an autonomic router running under attack. - Lelio Campanile; Marco Gribaudo; Mauro Iacono; Michele Mastroianni (Int. J. Embed. Syst., 2020)

Performance evaluation of a fog WSN infrastructure for emergency management. - Lelio Campanile; Marco Gribaudo; Mauro Iacono; Michele Mastroianni (Simul. Model. Pract. Theory, 2020)

Performance-Driven Analysis for an Adaptive Car-Navigation Service on HPC Systems. - Leonardo Arcari; Marco Gribaudo; Gianluca Palermo; Giuseppe Serazzi (SN Comput. Sci., 2020)

Performance Evaluation of a Data Lake Architecture via Modeling Techniques. - Enrico Barbierato; Marco Gribaudo; Giuseppe Serazzi; Letizia Tanca (EPEW, 2021)

Hybrid Simulation of Energy Management in IoT Edge Computing Surveillance Systems. - Lelio Campanile; Marco Gribaudo; Mauro Iacono; Michele Mastroianni (EPEW, 2021)

Simulation of N-Dimensional Second-Order Fluid Models with Different Absorbing, Reflecting and Mixed Barriers. - Marco Gribaudo; Mauro Iacono; Daniele Manini (QEST, 2021)

Modelling user radio access in dense heterogeneous networks. - Marco Gribaudo; Daniele Manini; Carla-Fabiana Chiasserini (Perform. Evaluation, 2021)

Performance evaluation for the design of a hybrid cloud based distance synchronous and asynchronous learning architecture. - Enrico Barbierato; Lelio Campanile; Marco Gribaudo; Mauro Iacono; Michele Mastroianni; Stefania Nacchia (Simul. Model. Pract. Theory, 2021)

Predicting the performance of big data applications on the cloud. - Danilo Ardagna; Enrico Barbierato; Eugenio Gianniti; Marco Gribaudo; Túlio B. M. Pinto; Ana Paula Couto da Silva; Jussara M. Almeida (J. Supercomput., 2021)

Enabling Real-World Medicine with Data Lake Federation: A Research Perspective. - Cinzia Cappiello; Marco Gribaudo; Pierluigi Plebani; Mattia Salnitri; Letizia Tanca (Poly/DMAH@VLDB, 2022)

A DSL-Based Modeling Approach For Energy Harvesting IoT / WSN. - Lelio Campanile; Mauro Iacono; Fiammetta Marulli; Marco Gribaudo; Michele Mastrioianni (ECMS, 2022)

Places, Transitions and Queues: New Proposals for Interconnection Semantics. - Marco Gribaudo; Mauro Iacono (EPEW, 2022)

Analysis of the Battery Level in Complex Wireless Sensor Networks Using a Two Time Scales Second Order Fluid Model. - Marco Gribaudo; Mauro Iacono; Daniele Manini; Michele Mastroianni (PASM, 2022)

Analysis of an Electric Vehicle Charging System Along a Highway. - Davide Cerotti; Simona Mancini; Marco Gribaudo; Andrea Bobbio (QEST, 2022)

A Domain Specific Language for the Design of Artificial Intelligence Applications for Process Engineering. - Lelio Campanile; Luigi Piero Di Bonito; Marco Gribaudo; Mauro Iacono (VALUETOOLS, 2022)

Cost- And Performance-Based Evaluation Of Cloud-Based Disaster Recovery. - Enrico Barbierato; Mauro Iacono; Marco Gribaudo; Michele Mastroianni (ECMS, 2023)

HEALER: A Data Lake Architecture for Healthcare. - Carlo Manco; Tommaso Dolci; Fabio Azzalini; Enrico Barbierato; Marco Gribaudo; Letizia Tanca (EDBT/ICDT Workshops, 2023)

Workflow Characterization of a Big Data System Model for Healthcare Through Multiformalism. - Tancredi Covioli; Tommaso Dolci; Fabio Azzalini; Davide Piantella; Enrico Barbierato; Marco Gribaudo (EPEW, 2023)

A Systematic Mapping Study of Italian Research on Workflows. - Marco Aldinucci; Elena Maria Baralis; Valeria Cardellini; Iacopo Colonnelli; Marco Danelutto; Sergio Decherchi; Giuseppe Di Modica; Luca Ferrucci; Marco Gribaudo; Francesco Iannone; Marco Lapegna; Doriana Medic; et al. (SC Workshops, 2023)

A cyber warfare perspective on risks related to health IoT devices and contact tracing. - Andrea Bobbio; Lelio Campanile; Marco Gribaudo; Mauro Iacono; Fiammetta Marulli; Michele Mastroianni (Neural Comput. Appl., 2023)

Lung Operation Training In Low-Cost Virtual Reality Simulation Environments. - Pietro Piazzolla; Marco Gribaudo; Marco Domenico Buttiglione; Francesco Guerrera; Giorgio Colombo 002 (ECMS, 2024)

Performance Evaluation of Smart Bin Systems Using Markovian Agents for Efficient Garbage Collection. - Enrico Barbierato; Alice Gatti; Marco Gribaudo; Mauro Iacono (EPEW, 2024)

A Lumped CTMC for Modular Rewritable PN. - Lorenzo Capra; Marco Gribaudo (EPEW, 2024)

Analytical Modelling of Asymmetric Multi-core Servers. - Marco Gribaudo; Tuan Phung-Duc (EPEW, 2024)

Efficient Performance Analysis of Modular Rewritable Petri Nets. - Lorenzo Capra; Marco Gribaudo (FROM, 2024)

Physically Based Rendering of Animated Point Clouds for EXtended Reality. - Marco Rossoni; Matteo Pozzi; Giorgio Colombo 002; Marco Gribaudo; Pietro Piazzolla (J. Comput. Inf. Sci. Eng., 2024)

Modeling Cyber Threats In Autonomous Guided Vehicles Using Mean Field Models. - Enrico Barbierato; Serena Curzel; Alice Gatti; Marco Gribaudo; Mauro Iacono (ECMS, 2025)

Collaborative Virtual Reality Framework For Surgical Training And Simulation. - Marco Domenico Buttiglione; Francesco Guerrera; Pietro Piazzolla; Giorgio Colombo 002; Enrico Ruffini; Marco Gribaudo (ECMS, 2025)

Ray Distribution Aware Heuristics For BVHs Construction In Ray Tracing. - Lapo Falcone; Marco Domenico Buttiglione; Pietro Piazzolla; Marco Gribaudo (ECMS, 2025)

Custom Floating-Point Computations for the Optimization of ODE Solvers on FPGA. - Serena Curzel; Marco Gribaudo (PARMA-DITAM, 2025)