default search action
Marco Gribaudo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j44]Marco Rossoni, Matteo Pozzi, Giorgio Colombo, Marco Gribaudo, Pietro Piazzolla:
Physically Based Rendering of Animated Point Clouds for EXtended Reality. J. Comput. Inf. Sci. Eng. 24(5) (2024) - [c133]Pietro Piazzolla, Marco Gribaudo, Marco Domenico Buttiglione, Francesco Guerrera, Giorgio Colombo:
Lung Operation Training In Low-Cost Virtual Reality Simulation Environments. ECMS 2024: 536-542 - 2023
- [j43]Andrea Bobbio, Lelio Campanile, Marco Gribaudo, Mauro Iacono, Fiammetta Marulli, Michele Mastroianni:
A cyber warfare perspective on risks related to health IoT devices and contact tracing. Neural Comput. Appl. 35(19): 13823-13837 (2023) - [c132]Enrico Barbierato, Mauro Iacono, Marco Gribaudo, Michele Mastroianni:
Cost- And Performance-Based Evaluation Of Cloud-Based Disaster Recovery. ECMS 2023: 568-574 - [c131]Carlo Manco, Tommaso Dolci, Fabio Azzalini, Enrico Barbierato, Marco Gribaudo, Letizia Tanca:
HEALER: A Data Lake Architecture for Healthcare. EDBT/ICDT Workshops 2023 - [c130]Tancredi Covioli, Tommaso Dolci, Fabio Azzalini, Davide Piantella, Enrico Barbierato, Marco Gribaudo:
Workflow Characterization of a Big Data System Model for Healthcare Through Multiformalism. EPEW 2023: 279-293 - [c129]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, Giuseppa Muscianisi, Francesca Righetti, Eva Sciacca, Nicola Tonellotto, Mauro Tortonesi, Paolo Trunfio, Tullio Vardanega:
A Systematic Mapping Study of Italian Research on Workflows. SC Workshops 2023: 2065-2076 - 2022
- [c128]Cinzia Cappiello, Marco Gribaudo, Pierluigi Plebani, Mattia Salnitri, Letizia Tanca:
Enabling Real-World Medicine with Data Lake Federation: A Research Perspective. Poly/DMAH@VLDB 2022: 39-56 - [c127]Lelio Campanile, Mauro Iacono, Fiammetta Marulli, Marco Gribaudo, Michele Mastrioianni:
A DSL-Based Modeling Approach For Energy Harvesting IoT / WSN. ECMS 2022: 317-323 - [c126]Marco Gribaudo, Mauro Iacono:
Places, Transitions and Queues: New Proposals for Interconnection Semantics. EPEW 2022: 216-230 - [c125]Marco Gribaudo, Mauro Iacono, Daniele Manini, Michele Mastroianni:
Analysis of the Battery Level in Complex Wireless Sensor Networks Using a Two Time Scales Second Order Fluid Model. PASM 2022: 47-60 - [c124]Davide Cerotti, Simona Mancini, Marco Gribaudo, Andrea Bobbio:
Analysis of an Electric Vehicle Charging System Along a Highway. QEST 2022: 298-316 - [c123]Lelio Campanile, Luigi Piero Di Bonito, Marco Gribaudo, Mauro Iacono:
A Domain Specific Language for the Design of Artificial Intelligence Applications for Process Engineering. VALUETOOLS 2022: 133-146 - 2021
- [j42]Marco Gribaudo, Daniele Manini, Carla-Fabiana Chiasserini:
Modelling user radio access in dense heterogeneous networks. Perform. Evaluation 146: 102167 (2021) - [j41]Enrico Barbierato, Lelio Campanile, Marco Gribaudo, Mauro Iacono, Michele Mastroianni, Stefania Nacchia:
Performance evaluation for the design of a hybrid cloud based distance synchronous and asynchronous learning architecture. Simul. Model. Pract. Theory 109: 102303 (2021) - [j40]Danilo Ardagna, Enrico Barbierato, Eugenio Gianniti, Marco Gribaudo, Túlio B. M. Pinto, Ana Paula Couto da Silva, Jussara M. Almeida:
Predicting the performance of big data applications on the cloud. J. Supercomput. 77(2): 1321-1353 (2021) - [c122]Enrico Barbierato, Marco Gribaudo, Giuseppe Serazzi, Letizia Tanca:
Performance Evaluation of a Data Lake Architecture via Modeling Techniques. EPEW 2021: 115-130 - [c121]Lelio Campanile, Marco Gribaudo, Mauro Iacono, Michele Mastroianni:
Hybrid Simulation of Energy Management in IoT Edge Computing Surveillance Systems. EPEW 2021: 345-359 - [c120]Marco Gribaudo, Mauro Iacono, Daniele Manini:
Simulation of N-Dimensional Second-Order Fluid Models with Different Absorbing, Reflecting and Mixed Barriers. QEST 2021: 276-292 - 2020
- [j39]Marco Gribaudo, Illés Horváth, Daniele Manini, Miklós Telek:
Modelling large timescale and small timescale service variability. Ann. Oper. Res. 293(1): 123-140 (2020) - [j38]Marco Gribaudo, Pietro Piazzolla, Francesco Porpiglia, Enrico Vezzetti, Maria Grazia Violante:
3D augmentation of the surgical video stream: Toward a modular approach. Comput. Methods Programs Biomed. 191: 105505 (2020) - [j37]Fabio Antonelli, Vittorio Cortellessa, Marco Gribaudo, Riccardo Pinciroli, Kishor S. Trivedi, Catia Trubiani:
Analytical modeling of performance indices under epistemic uncertainty applied to cloud computing systems. Future Gener. Comput. Syst. 102: 746-761 (2020) - [j36]Enrico Barbierato, Marco Gribaudo, Giuseppe Serazzi:
Multi-formalism Models for Performance Engineering. Future Internet 12(3): 50 (2020) - [j35]Lelio Campanile, Marco Gribaudo, Mauro Iacono, Michele Mastroianni:
Modelling performances of an autonomic router running under attack. Int. J. Embed. Syst. 12(4): 458-466 (2020) - [j34]Lelio Campanile, Marco Gribaudo, Mauro Iacono, Michele Mastroianni:
Performance evaluation of a fog WSN infrastructure for emergency management. Simul. Model. Pract. Theory 104: 102120 (2020) - [j33]Leonardo Arcari, Marco Gribaudo, Gianluca Palermo, Giuseppe Serazzi:
Performance-Driven Analysis for an Adaptive Car-Navigation Service on HPC Systems. SN Comput. Sci. 1(1): 41:1-41:8 (2020) - [c119]Marco Gribaudo, Marco Pironti, Paola Pisano, Daniele Manini, Veronica Scuotto:
Circular Economy: A Coloured Petri Net Based Discrete Event Simulation Model. ECMS 2020: 97-103 - [c118]Marco Gribaudo, Daniele Manini, Marco Pironti, Paola Pisano:
Circular Economy: a Performance Evaluation Perspective. VALUETOOLS 2020: 196-199 - [e7]Marco Gribaudo, Eduard S. Sopin, Irina A. Kochetkova:
Analytical and Stochastic Modelling Techniques and Applications - 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019, Proceedings. Lecture Notes in Computer Science 12023, Springer 2020, ISBN 978-3-030-62884-0 [contents] - [e6]Marco Gribaudo, Mauro Iacono, Tuan Phung-Duc, Rostislav Razumchik:
Computer Performance Engineering - 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12039, Springer 2020, ISBN 978-3-030-44410-5 [contents] - [e5]Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas:
Tenth International Workshop on the Practical Application of Stochastic Modelling, PASM 2019, Milan, Italy, November 2019. Electronic Notes in Theoretical Computer Science 353, Elsevier 2020 [contents] - [e4]Marco Gribaudo, David N. Jansen, Anne Remke:
Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings. Lecture Notes in Computer Science 12289, Springer 2020, ISBN 978-3-030-59853-2 [contents]
2010 – 2019
- 2019
- [j32]Edoardo Cavalieri d'Oro, Simone Colombo, Marco Gribaudo, Mauro Iacono, Davide Manca, Pietro Piazzolla:
Modeling and evaluating a complex edge computing based systems: An emergency management support system case study. Internet Things 6 (2019) - [j31]Davide Cerotti, Antonio Miele, Marco Gribaudo, Andrea Bobbio, Cristiana Bolchini:
Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents. Perform. Evaluation 132: 21-37 (2019) - [j30]Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Agnieszka Jakobik:
Exploiting CloudSim in a multiformalism modeling approach for cloud based systems. Simul. Model. Pract. Theory 93: 133-147 (2019) - [c117]Enrico Barbierato, Marco Gribaudo, Mauro Iacono:
Map-Reduce Process Algebra: A Formalism to Describe Directed Acyclic Graph Task-Based Jobs in Parallel Environments. ASMTA 2019: 85-99 - [c116]Daniele Amparore, Enrico Checcucci, Marco Gribaudo, Pietro Piazzolla, Francesco Porpiglia, Enrico Vezzetti:
Non-linear-Optimization Using SQP for 3D Deformable Prostate Model Pose Estimation in Minimally Invasive Surgery. CVC (1) 2019: 477-496 - [c115]Gianpaolo Branca, Marco Gribaudo:
Reducing Sickness And Enhancing Virtual Reality Simulation On Mobile Devices By Tracking The Body Rotation. ECMS 2019: 428-433 - [c114]Marco Gribaudo, Lelio Campanile, Mauro Iacono, Michele Mastroianni:
Performance Modeling And Analysis Of An Autonomic Router. ECMS 2019: 441-447 - [c113]Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas:
Preface. PASM 2019: 1-3 - [c112]Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Alexander H. Levis:
Evaluating the Safety of Crowds in Enclosed Spaces by Markovian Agents. PASM 2019: 61-75 - [c111]Lelio Campanile, Marco Gribaudo, Mauro Iacono, Michele Mastroianni:
Quantitative Modeling of the Behaviour of an Autonomic Router. VALUETOOLS 2019: 193-194 - [p5]Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi:
Modeling Techniques for Pool Depletion Systems. Systems Modeling: Methodologies and Tools 2019: 79-94 - [p4]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, Ales Zamuda, Marco S. Nobile:
Towards Human Cell Simulation. High-Performance Modelling and Simulation for Big Data Applications 2019: 221-249 - [e3]Mauro Iacono, Francesco Palmieri, Marco Gribaudo, Massimo Ficco:
Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019 Caserta, Italy, June 11-14, 2019. European Council for Modeling and Simulation 2019 [contents] - 2018
- [j29]Marco Gribaudo, Mauro Iacono, Mariam Kiran:
A performance modeling framework for lambda architecture based applications. Future Gener. Comput. Syst. 86: 1032-1041 (2018) - [c110]Marco Gribaudo, Mauro Iacono, Agnieszka Jakobik, Joanna Kolodziej:
Performance Optimisation Of Edge Computing Homeland Security Support Applications. ECMS 2018: 440-446 - [c109]Marco Gribaudo, Pietro Piazzolla, Mauro Iacono:
Anchor Placement In Indoor Object Tracking Systems For Virtual Reality Simulations. ECMS 2018: 447-453 - [c108]Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla:
Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming. EPEW 2018: 205-218 - [c107]Marco Gribaudo, Illés Horváth, Daniele Manini, Miklós Telek:
Modelling Large Timescale and Small Timescale Service Variability. QTNA 2018: 103-111 - [c106]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:
Performance Prediction of Cloud-Based Big Data Applications. ICPE 2018: 192-199 - [p3]Bego Blanco, Fidel Liberal, Pasi E. Lassila, Samuli Aalto, Javier Sainz, Marco Gribaudo, Barbara Pernici:
Energy vs. QoX Network- and Cloud Services Management. Autonomous Control for a Reliable Internet of Services 2018: 241-268 - 2017
- [j28]Marco Gribaudo, Mauro Iacono, Alexander H. Levis:
An IoT-based monitoring approach for cultural heritage sites: The Matera case. Concurr. Comput. Pract. Exp. 29(11) (2017) - [j27]Mauro Iacono, Marco Gribaudo, Joanna Kolodziej, Florin Pop:
Modeling and evaluation of highly complex computer systems architectures. J. Comput. Sci. 22: 126-130 (2017) - [j26]Eugenio Gianniti, Alessandro Maria Rizzi, Enrico Barbierato, Marco Gribaudo, Danilo Ardagna:
Fluid Petri Nets for the Performance Evaluation of MapReduce and Spark Applications. SIGMETRICS Perform. Evaluation Rev. 44(4): 23-36 (2017) - [c105]Riccardo Pinciroli, Marco Gribaudo, Giuseppe Serazzi:
Modeling Multiclass Task-Based Applications on Heterogeneous Distributed Environments. ASMTA 2017: 166-180 - [c104]Pietro Piazzolla, Marco Gribaudo, Simone Colombo, Davide Manca, Mauro Iacono:
A Low-cost Distributed IoT-based Augmented Reality Interactive Simulator For Team Training. ECMS 2017: 591-597 - [c103]Marco Gribaudo, Mauro Iacono, Daniele Manini:
Performance Evaluation Of Massively Distributed Microservices Based Applications. ECMS 2017: 598-604 - [c102]N. T. T. Ho, Marco Gribaudo, Barbara Pernici:
Improving Energy Efficiency for Transactional Workloads in Cloud Environments. e-Energy 2017: 290-295 - [c101]Riccardo Pinciroli, Andrea Bobbio, Cristiana Bolchini, Davide Cerotti, Marco Gribaudo, Antonio Miele, Kishor S. Trivedi:
Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip. ICSRS 2017: 516-520 - [c100]Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Alexander H. Levis:
Modeling Crowd Behavior in a Theater. InfQ@VALUETOOLS 2017: 49-54 - [c99]Riccardo Pinciroli, Marco Gribaudo, Manuel Roveri, Giuseppe Serazzi:
Capacity Planning of Fog Computing Infrastructures for Smart Monitoring. InfQ@VALUETOOLS 2017: 72-81 - [c98]Andrea Bobbio, Cristiana Bolchini, Davide Cerotti, Marco Gribaudo, Antonio Miele:
Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents. VALUETOOLS 2017: 156-163 - [c97]Edoardo Cavalieri d'Oro, Simone Colombo, Marco Gribaudo, Mauro Iacono, Davide Manca, Pietro Piazzolla:
Modeling and evaluating performances of complex edge computing based systems: a firefighting support system case study. VALUETOOLS 2017: 261-262 - [c96]Marco Gribaudo, Mauro Iacono, Daniele Manini:
Performance Evaluation of Replication Policies in Microservice Based Architectures. PASM 2017: 45-65 - [c95]Marco Gribaudo, Riccardo Pinciroli, Kishor S. Trivedi:
Epistemic Uncertainty Propagation in Power Models. PASM 2017: 67-86 - 2016
- [j25]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
Matching performance objectives for open and closed workloads by consolidation and replication. Ann. Oper. Res. 239(2): 589-612 (2016) - [j24]Florin Pop, Mauro Iacono, Marco Gribaudo, Joanna Kolodziej:
Advances in modelling and simulation for big-data applications (AMSBA). Concurr. Comput. Pract. Exp. 28(2): 291-293 (2016) - [j23]Davide Cerotti, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla:
Modeling and analysis of performances for concurrent multithread applications on multicore and graphics processing unit systems. Concurr. Comput. Pract. Exp. 28(2): 438-452 (2016) - [j22]Marco Gribaudo, Mauro Iacono, Daniele Manini:
Improving reliability and performances in large scale distributed applications with erasure codes and replication. Future Gener. Comput. Syst. 56: 773-782 (2016) - [j21]Enrico Barbierato, Marco Gribaudo, Mauro Iacono:
Modeling and Evaluating the Effects of Big Data Storage Resource Allocation in Global Scale Cloud Architectures. Int. J. Data Warehous. Min. 12(2): 1-20 (2016) - [j20]Marco Gribaudo, Anne Remke:
Hybrid Petri nets with general one-shot transitions. Perform. Evaluation 105: 22-50 (2016) - [c94]Enrico Barbierato, Marco Gribaudo, Daniele Manini:
Fluid Approximation of Pool Depletion Systems. ASMTA 2016: 60-75 - [c93]Paolo Cremonesi, Franca Garzotto, Marco Gribaudo, Pietro Piazzolla, Mauro Iacono:
vMannequin: A Fashion Store Concept Design Tool. ECMS 2016: 527-533 - [c92]Marco Gribaudo, Mauro Iacono, Daniele Manini:
Three Layers Network Influence On Cloud Data Center Performances. ECMS 2016: 621-627 - [c91]Enrico Barbierato, Marco Gribaudo, Mauro Iacono:
Simulating Hybrid Systems Within SIMTHESys Multi-formalism Models. EPEW 2016: 189-203 - [c90]Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi:
Stochastic Analysis of Energy Consumption in Pool Depletion Systems. MMB/DFT 2016: 25-39 - [c89]Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi:
Optimal population mix in pool depletion systems with two-class workload. VALUETOOLS 2016 - [c88]Eugenio Gianniti, Alessandro Maria Rizzi, Enrico Barbierato, Marco Gribaudo, Danilo Ardagna:
Fluid Petri Nets for the Performance Evaluation of MapReduce Applications. VALUETOOLS 2016 - [c87]Enrico Barbierato, Marco Gribaudo, Mauro Iacono:
Modeling Hybrid Systems in SIMTHESys. PASM 2016: 5-25 - [p2]Marco Gribaudo, Mauro Iacono, Francesco Palmieri:
Performance Modeling of Big Data-Oriented Architectures. Resource Management for Big Data Platforms 2016: 3-34 - [e2]William J. Knottenbelt, Katinka Wolter, Ana Busic, Marco Gribaudo, Philipp Reinecke:
VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Berlin, Germany, December 14-16, 2015. ACM 2016, ISBN 978-1-63190-096-9 [contents] - 2015
- [j19]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi:
Multi-Class Queuing Networks Models for Energy Optimization. EAI Endorsed Trans. Energy Web 2(6): e4 (2015) - [j18]Aniello Castiglione, Marco Gribaudo, Mauro Iacono, Francesco Palmieri:
Modeling performances of concurrent big data applications. Softw. Pract. Exp. 45(8): 1127-1144 (2015) - [c86]Marco Gribaudo, Mauro Iacono, Daniele Manini, Marco Pironti, Paola Pisano:
A Simulation Based Approach For The Evaluation Of Outcome Driven Innovation Models. ECMS 2015: 138-144 - [c85]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi:
Modeling Power Consumption in Multicore CPUs with Multithreading and Frequency Scaling. ISCIS 2015: 81-90 - [p1]Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo:
An Intelligent Swarm of Markovian Agents. Handbook of Computational Intelligence 2015: 1345-1359 - [e1]Marco Gribaudo, Daniele Manini, Anne Remke:
Analytical and Stochastic Modelling Techniques and Applications - 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings. Lecture Notes in Computer Science 9081, Springer 2015, ISBN 978-3-319-18578-1 [contents] - 2014
- [j17]Aniello Castiglione, Marco Gribaudo, Mauro Iacono, Francesco Palmieri:
Exploiting mean field analysis to model performances of big data architectures. Future Gener. Comput. Syst. 37: 203-211 (2014) - [j16]Enrico Barbierato, Marco Gribaudo, Mauro Iacono:
Performance evaluation of NoSQL big-data applications using multi-formalism models. Future Gener. Comput. Syst. 37: 345-353 (2014) - [j15]Salvatore Spoto, Marco Gribaudo, Daniele Manini:
Performance evaluation of peering-agreements among autonomous systems subject to peer-to-peer traffic. Perform. Evaluation 77: 1-20 (2014) - [j14]Davide Cerotti, Marco Gribaudo, Andrea Bobbio:
Markovian agents models for wireless sensor networks deployed in environmental protection. Reliab. Eng. Syst. Saf. 130: 149-158 (2014) - [c84]Francesca Cordero, Chiara Fornari, Marco Gribaudo, Daniele Manini:
Markovian Agents Population Models to Study Cancer Evolution. ASMTA 2014: 16-32 - [c83]Davide Cerotti, Marco Gribaudo, Ingolf Krüger, Pietro Piazzolla, Filippo Seracini, Giuseppe Serazzi:
Throughput Maximization with Multiclass Workloads and Resource Constraints. ASMTA 2014: 238-252 - [c82]Marco Gribaudo, Thi Thao Nguyen Ho, Barbara Pernici, Giuseppe Serazzi:
Analysis of the Influence of Application Deployment on Energy Consumption. E2DC 2014: 87-101 - [c81]Davide Cerotti, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla:
Workload Characterization Of Multithreaded Applications On Multicore Architectures. ECMS 2014: 480-486 - [c80]Andrea Gandini, Marco Gribaudo, William J. Knottenbelt, Rasha Osman, Pietro Piazzolla:
Performance Evaluation of NoSQL Databases. EPEW 2014: 16-29 - [c79]Paolo Bolzern, Davide Cerotti, Patrizio Colaneri, Marco Gribaudo:
Probabilistic consensus in Markovian multi-agent networks. ECC 2014: 558-563 - [c78]Cristiana Bolchini, Matteo Carminati, Marco Gribaudo, Antonio Miele:
A lightweight and open-source framework for the lifetime estimation of multicore systems. ICCD 2014: 166-172 - [c77]Avishan Nazari, Amin Zehtabian, Marco Gribaudo, Hassan Ghassemian:
Remotely sensed image restoration using partial differential equations and watershed transformation. ICMV 2014: 944520 - [c76]Andrea Rosà, Walter Binder, Lydia Y. Chen, Marco Gribaudo, Giuseppe Serazzi:
ParSim: A Tool for Workload Modeling and Reproduction of Parallel Applications. MASCOTS 2014: 494-497 - [c75]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Riccardo Pinciroli, Giuseppe Serazzi:
Multi-Class Queuing Networks Models for Energy Optimization. VALUETOOLS 2014 - [c74]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
Asymptotic Behavior and Performance Constraints of Replication Policies. PASM 2014: 49-63 - [c73]Cheng Feng, Marco Gribaudo, Jane Hillston:
Performance Analysis of Collective Adaptive Behaviour in Time and Space. UKPEW 2014: 53-68 - [c72]Marco Gribaudo, Mauro Iacono, Stefano Marrone:
Exploiting Bayesian Networks for the Analysis of Combined Attack Trees. PASM 2014: 91-111 - 2013
- [c71]Marco Gribaudo, Daniele Manini, Carla-Fabiana Chiasserini:
Studying Mobile Internet Technologies with Agent Based Mean-Field Models. ASMTA 2013: 112-126 - [c70]Enrico Barbierato, Marco Gribaudo, Mauro Iacono:
A Performance Modeling Language For Big Data Architectures. ECMS 2013: 511-517 - [c69]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
End-to-End Performance of Multi-core Systems in Cloud Environments. EPEW 2013: 221-235 - [c68]Robert Birke, Lydia Y. Chen, Marco Gribaudo, Pietro Piazzolla:
Characterization Analysis of Resource Utilization Distribution. MASCOTS 2013: 370-374 - [c67]Pietro Piazzolla, Marco Gribaudo, Giuseppe Serazzi:
jBM: a CPU benchmarking tool for cloud environments. SimuTools 2013: 57-62 - [c66]Enrico Barbierato, Marco Gribaudo, Mauro Iacono:
Modeling apache hive based applications in big data architectures. VALUETOOLS 2013: 30-38 - [c65]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
Performance optimization with JMT: Java modelling tools. VALUETOOLS 2013: 328-331 - [c64]Carla-Fabiana Chiasserini, Marco Gribaudo, Daniele Manini:
Traffic offloading/onloading in multi-RAT cellular networks. Wireless Days 2013: 1-7 - 2012
- [j13]Mauro Iacono, Enrico Barbierato, Marco Gribaudo:
The SIMTHESys multiformalism modeling framework. Comput. Math. Appl. 64(12): 3828-3839 (2012) - [j12]Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo:
Markovian agent modeling swarm intelligence algorithms in wireless sensor networks. Perform. Evaluation 69(3-4): 135-149 (2012) - [c63]Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
Consolidation and Replication of VMs Matching Performance Objectives. ASMTA 2012: 106-120 - [c62]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Marco Gribaudo:
Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition. FORMATS 2012: 139-154 - [c61]Enrico Barbierato, Andrea Bobbio, Marco Gribaudo, Mauro Iacono:
Multiformalism to Support Software Rejuvenation Modeling. ISSRE Workshops 2012: 271-276 - [c60]Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability. QEST 2012: 230-237 - [c59]Danilo Abbaldo, Marco Gribaudo, Daniele Manini:
Evaluation of different scheduling policies in IaaS applications by Mean Field analysis. VALUETOOLS 2012: 307-316 - [c58]Enrico Barbierato, Gian-Luca Dei Rossi, Marco Gribaudo, Mauro Iacono, Andrea Marin:
Exploiting product forms solution techniques in multiformalism modeling. PASM/PDMC 2012: 61-77 - 2011
- [j11]Marco Gribaudo, Daniele Manini, Alessandro Nordio, Carla-Fabiana Chiasserini:
Transient Analysis of IEEE 802.15.4 Sensor Networks. IEEE Trans. Wirel. Commun. 10(4): 1165-1175 (2011) - [c57]Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Stefano Marrone:
Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools. ASMTA 2011: 257-272 - [c56]Davide Cerotti, Enrico Barbierato, Marco Gribaudo:
A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents. EPEW 2011: 280-294 - [c55]Enrico Barbierato, Marco Gribaudo, Mauro Iacono:
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys. VALUETOOLS 2011: 121-130 - [c54]Enrico Barbierato, Marco Gribaudo, Mauro Iacono:
Defining Formalisms for Performance Evaluation With SIMTHESys. PASM@ICPE 2011: 37-51 - 2010
- [c53]Pietro Piazzolla, Marco Gribaudo, Roberto Borgotallo, Alberto Messina:
Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes. ASMTA 2010: 218-232 - [c52]Davide Cavagnino, Marco Gribaudo:
Discretization of 3D Models Using Voxel Elements of Different Shapes. CAe 2010: 91-98 - [c51]Davide Cerotti, Marco Gribaudo, Andrea Bobbio, Carlos Miguel Tavares Calafate, Pietro Manzoni:
A Markovian Agent Model for Fire Propagation in Outdoor Environments. EPEW 2010: 131-146 - [c50]Marco Gribaudo, Anne Remke:
Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures. HASE 2010: 84-93 - [c49]Giuliano Casale, Marco Gribaudo, Giuseppe Serazzi:
Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives. PERFORM 2010: 24-37 - [c48]Mauro Iacono, Marco Gribaudo:
Element Based Semantics in Multi Formalism Performance Models. MASCOTS 2010: 413-416 - [c47]Pietro Piazzolla, Andrea Grosso, Marco Gribaudo, Alberto Messina:
Modelling and Optimization of Cross-Media Production Processes. OR 2010: 157-162
2000 – 2009
- 2009
- [c46]Pietro Piazzolla, Marco Gribaudo, Alberto Messina:
Stochastic Modelling of Poll Based Multimedia Productions. ASMTA 2009: 370-385 - [c45]Claudio Tosatto, Marco Gribaudo:
A 3D History Class: A New Perspective for the Use of Computer Based Technology in History Classes. EC-TEL 2009: 719-724 - [c44]Marco Gribaudo:
Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents. EPEW 2009: 218-219 - [c43]Marco Gribaudo, Daniele Manini, Alessandro Nordio, Carla-Fabiana Chiasserini:
Analysis of IEEE 802.15.4 Sensor Networks for Event Detection. GLOBECOM 2009: 1-6 - [c42]Davide Cerotti, Marco Gribaudo, Andrea Bobbio:
Presenting Dynamic Markovian Agents with a road tunnel application. MASCOTS 2009: 1-4 - [c41]Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo:
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. TACAS 2009: 50-53 - [c40]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini:
Interfaces and binding in component based development of formal models. VALUETOOLS 2009: 44 - [c39]Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo:
Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents. VALUETOOLS 2009: 52 - [c38]Pietro Piazzolla, Marco Gribaudo:
Analysis of Television and Cinema Productions using Mean Field Models. PASM@MASCOTS 2009: 91-108 - 2008
- [j10]Marco Gribaudo, Daniele Manini, Bruno Sericola, Miklós Telek:
Second order fluid models with general boundary behaviour. Ann. Oper. Res. 160(1): 69-82 (2008) - [j9]Michele Garetto, Marco Gribaudo, Carla-Fabiana Chiasserini, Emilio Leonardi:
Sensor Deployment and Relocation: A Unified Scheme. J. Comput. Sci. Technol. 23(3): 400-412 (2008) - [j8]Marco Gribaudo, Miklós Telek:
Stationary analysis of fluid level dependent bounded fluid models. Perform. Evaluation 65(3-4): 241-261 (2008) - [c37]Daniele Manini, Marco Gribaudo:
An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks. ASMTA 2008: 88-100 - [c36]Davide Cerotti, Marco Gribaudo, Andrea Bobbio:
Disaster Propagation in Heterogeneous Media via Markovian Agents. CRITIS 2008: 328-335 - [c35]Andrea Bobbio, Sachin Garg, Marco Gribaudo, András Horváth, Matteo Sereno, Miklós Telek:
Compositional fluid stochastic Petri net model for operational software system performance. ISSRE Workshops 2008: 1-6 - [c34]Marco Gribaudo, Davide Cerotti, Andrea Bobbio:
Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. PerCom 2008: 300-305 - [c33]Andrea Bobbio, Marco Gribaudo, Miklós Telek:
Analysis of Large Scale Interacting Systems by Mean Field Method. QEST 2008: 215-224 - [c32]Maurizio Garelli, Marco Gribaudo:
Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets. PASM@EPEW 2008: 55-73 - 2007
- [j7]Carla-Fabiana Chiasserini, Rossano Gaeta, Michele Garetto, Marco Gribaudo, Daniele Manini, Matteo Sereno:
Fluid models for large-scale wireless sensor networks. Perform. Evaluation 64(7-8): 715-736 (2007) - [c31]F. La Mura, Francesco 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: 892-898 - [c30]Michele Garetto, Marco Gribaudo, Carla-Fabiana Chiasserini, Emilio Leonardi:
A Distributed Sensor Relocatlon Scheme for Environmental Control. MASS 2007: 1-10 - [c29]Marco Gribaudo, Miklós Telek:
Fluid Models in Performance Analysis. SFM 2007: 271-317 - 2006
- [j6]Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno:
Analysis of resource transfers in peer-to-peer file sharing applications using fluid models. Perform. Evaluation 63(3): 149-174 (2006) - [j5]Marco Gribaudo, Rossano Gaeta:
Efficient steady-state analysis of second-order fluid stochastic Petri nets. Perform. Evaluation 63(9-10): 1032-1047 (2006) - [c28]Carla-Fabiana Chiasserini, Rossano Gaeta, Michele Garetto, Marco Gribaudo, Matteo Sereno:
Efficient broadcasting of safety messages in multihop vehicular networks. IPDPS 2006 - [c27]Michele Garetto, Marco Gribaudo:
Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior. ISoLA 2006: 249-254 - [c26]Andrea Bobbio, Marco Gribaudo, András Horváth:
Modelling a car safety controller in road tunnels using hybrid petri nets. ITSC 2006: 1436-1441 - [c25]Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno:
Fixed-point approximations for TCP behavior in networks of routers implementing heterogeneous queue management policies. MMB 2006: 303-316 - [c24]Michele Garetto, Marco Gribaudo:
Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. QEST 2006: 73-82 - 2005
- [j4]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. Evaluation 62(1-4): 1-16 (2005) - [c23]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: 694-703 - [c22]Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini:
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. QEST 2005: 85-94 - [c21]Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis:
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. QEST 2005: 257-258 - 2004
- [c20]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN 2004: 177-196 - [c19]Marco Gribaudo, Matteo Sereno:
An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets. DSN 2004: 835-844 - [c18]Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno:
A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems. MASCOTS 2004: 39-48 - [c17]Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno:
Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications. PASM 2004: 79-99 - [c16]Marco Gribaudo, András Horváth:
Model Checking Functional and Performability Properties of Stochastic Fluid Models. AVoCS 2004: 295-310 - 2003
- [j3]Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino:
Fluid Petri Nets and hybrid model-checking: a comparative case study. Reliab. Eng. Syst. Saf. 81(3): 239-257 (2003) - [c15]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: 181-200 - [c14]Reinhard German, Marco Gribaudo, Gábor Horváth, Miklós Telek:
Stationary analysis of FSPNs with mutually dependent discrete and continuous parts. PNPM 2003: 30-39 - [c13]Marco Gribaudo, András Horváth:
Modeling Hybrid Positive Systems with Hybrid Petri Nets. POSTA 2003: 71-78 - 2002
- [j2]Marco Gribaudo, András Horváth:
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique. IEEE Trans. Software Eng. 28(10): 944-955 (2002) - [c12]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: 233-238 - [c11]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, Claudio Bertoncello:
DrawNet++: A Flexible Framework for Building Dependability Models. DSN 2002: 540 - [c10]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: 273-283 - 2001
- [j1]Marco Gribaudo, Matteo Sereno, András Horváth, Andrea Bobbio:
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. Discret. Event Dyn. Syst. 11(1-2): 97-117 (2001) - [c9]Marco Ajmone Marsan, Marco Gribaudo, Michela Meo, Matteo Sereno:
Performance Analysis of Data Services over GPRS. HiPC 2001: 425-436 - [c8]Marco Gribaudo, Reinhard German:
Numerical Analysis of Bounded Fluid Models using Matrix Exponentiation. MMB 2001: 41-56 - [c7]Marco Ajmone Marsan, Marco Gribaudo, Michela Meo, Matteo Sereno:
On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses. PNPM 2001: 19-28 - [c6]Marco Gribaudo, András Horváth:
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution Techniques. PNPM 2001: 145-154 - 2000
- [c5]Marco Gribaudo, Matteo Sereno:
Simulation of Fluid Stochastic Petri Nets. MASCOTS 2000: 231-239
1990 – 1999
- 1999
- [c4]Marco Gribaudo, Matteo Sereno, Andrea Bobbio:
Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. PNPM 1999: 74-81 - [c3]Andrea Bobbio, Sachin Garg, Marco Gribaudo, András Horváth, Matteo Sereno, Miklós Telek:
Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. PNPM 1999: 82-91 - 1998
- [c2]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: 246-265 - 1997
- [c1]Marco Gribaudo, Matteo Sereno:
GSPN semantics for queueing networks with blocking. PNPM 1997: 26-35
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint