In this page you can see the list of my publications, ordered by type

Journals

  1. Barbierato, E.; Gribaudo, M.; Iacono, M. & Jakobik, A.: `Exploiting CloudSim in a multiformalism modeling approach for cloud based systems’. In Simulation Modelling Practice and Theory volume 93, pages 133–147, 2019. Journal paper, availble on Science direct. DOI:10.1016/j.simpat.2018.09.018.
  2. Cerotti, D.; Miele, A.; Gribaudo, M.; Bobbio, A. & Bolchini, C.: `Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents’. In Performance Evaluation volume 132, pages 21–37, 2019. Journal paper, availble on Science direct. DOI:10.1016/j.peva.2019.01.001.
  3. Gribaudo, M.; Iacono, M. & Manini, D.: `Performance Evaluation of Replication Policies in Microservice Based Architectures’. In Electronic Notes in Theoretical Computer Science volume 337, pages 45–65, 2018. Journal paper, availble on Science direct. DOI:10.1016/j.entcs.2018.03.033.
  4. Gribaudo; M., Pinciroli & R., Trivedi, K.: `Epistemic Uncertainty Propagation in Power Models’. In Electronic Notes in Theoretical Computer Science volume 337, pages 67–68, 2018. Journal paper, availble on Science direct. DOI:10.1016/j.entcs.2018.03.034.
  5. Gribaudo, M.; Iacono, M. & Kiran, M.: `A performance modeling framework for lambda architecture based applications’. In Future Generation Computer Systems volume 86, pages 1032–1041, 2018. Journal paper, availble on Science direct. DOI:10.1016/j.future.2017.07.033.
  6. Gribaudo, M.; Iacono, M. & Levis, A. H.: `An IoT-based monitoring approach for cultural heritage sites: The Matera case’. In Concurrency Computation volume 29, pages e4153, 2017. Journal paper, availble on Wiley OnLine Library. DOI:10.1002/cpe.4153.
  7. Gianniti, E.; Rizzi, A. M.; Barbierato, E.; Gribaudo, M. & Ardagna, D.: `Fluid Petri Nets for the Performance Evaluation of MapReduce and Spark Applications’. In Performance Evaluation Review volume 44, pages 23–36, 2017. Journal paper, availble on ACM digital library. DOI:10.1145/3092819.3092824.
  8. Iacono, M.; Gribaudo, M.; Kolodziej, J. & Pop, F.: `Modeling and evaluation of highly complex computer systems architectures’. In Journal of Computational Science volume 22, pages 126–130, 2017. Journal paper, availble on Science direct. DOI:10.1016/j.jocs.2017.10.003.
  9. Cerotti, D.; Gribaudo, M.; Piazzolla, P. & Serazzi, G.: `Matching performance objectives for open and closed workloads by consolidation and replication’. In Annals of Operations Research volume 239, pages 589–612, 2016. Journal paper, availble on SpringerLink. DOI:10.1007/s10479-014-1591-9.
  10. Gribaudo, M. & Remke, A.: `Hybrid Petri nets with general one-shot transitions’. In Performance Evaluation volume 105, pages 22–50, 2016. Journal paper, availble on Science direct. DOI:10.1016/j.peva.2016.09.002.
  11. Barbierato, E.; Gribaudo, M. & Iacono, M.: `Modeling Hybrid Systems in SIMTHESys’. In Electronic Notes in Theoretical Computer Science volume 327, pages 5–25, 2016. Journal paper, availble on Science direct. DOI:10.1016/j.entcs.2016.09.021.
  12. Barbierato, E.; Gribaudo, M. & Iacono, M.: `Modeling and evaluating the effects of big data storage resource allocation in global scale cloud architectures’. In International Journal of Data Warehousing and Mining volume 12, pages 1–20, 2016. Journal paper, availble on this source. DOI:10.4018/IJDWM.2016040101.
  13. Gribaudo, M.; Iacono, M. & Manini, D.: `Improving reliability and performances in large scale distributed applications with erasure codes and replication’. In Future Generation Computer Systems volume 56, pages 773–782, 2016. Journal paper, availble on Science direct. DOI:10.1016/j.future.2015.07.006.
  14. Cerotti, D.; Gribaudo, M.; Iacono, M. & Piazzolla, P.: `Modeling and analysis of performances for concurrent multithread applications on multicore and graphics processing unit systems’. In Concurrency Computation volume 28, pages 438–452, 2016. Journal paper, availble on Wiley OnLine Library. DOI:10.1002/cpe.3504.
  15. Florin Pop; Iacono, M.; Gribaudo, M. & Kolodziej, J.: `Advances in modelling and simulation for big-data applications (AMSBA)’. In Concurrency Computation volume 28, pages 291–293, 2016. Journal paper, availble on Wiley OnLine Library. DOI:10.1002/cpe.3750.
  16. Ho, T.T.N.; Gribaudo, M. & Pernici, B.: `Characterizing Energy per Job in Cloud Applications’. In Electronics volume 5, pages #90, 2016. Journal paper, availble on this source. DOI:10.3390/electronics5040090.
  17. Castiglione, A.; Gribaudo, M.; Iacono, M. & Palmieri, F.: `Modeling performances of concurrent big data applications’. In Software – Practice and Experience volume 48, pages 1127–1144, 2015. Journal paper, availble on Wiley OnLine Library. DOI:10.1002/spe.2269.
  18. Feng, C.; Gribaudo, M. & Hillston, J.: `Performance Analysis of Collective Adaptive Behaviour in Time and Space’. In Electronic Notes in Theoretical Computer Science volume 318, pages 53–68, 2015. Journal paper, availble on Science direct. DOI:10.1016/j.entcs.2015.10.019.
  19. Zehtabian, A.; Nazari, A.; Ghassemian, H. & Gribaudo, M.: `Adaptive restoration of multispectral datasets used for SVM classification’. In European Journal of Remote Sensing volume 48, pages 183–200, 2015. Journal paper, availble on this source. DOI:10.5721/EuJRS20154811.
  20. Cerotti, D.; Gribaudo, M.; Piazzolla, P. & Serazzi, G.: `Asymptotic behavior and performance constraints of replication policies’. In Electronic Notes in Theoretical Computer Science volume 310, pages 49–63, 2015. Journal paper, availble on Science direct. DOI:10.1016/j.entcs.2014.12.012.
  21. Gribaudo, M.; Iacono, M. & Marrone, S.: `Exploiting Bayesian Networks for the analysis of combined Attack Trees’. In Electronic Notes in Theoretical Computer Science volume 310, pages 91–111, 2015. Journal paper, availble on Science direct. DOI:10.1016/j.entcs.2014.12.014.
  22. Cerotti, D.; Gribaudo, M. & Bobbio, A.: `Markovian agents models for wireless sensor networks deployed in environmental protection’. In Reliability Engineering and System Safety volume 130, pages 149–158, 2014. Journal paper, availble on Science direct. DOI:10.1016/j.ress.2014.05.010.
  23. Barbierato, E.; Gribaudo, M. & Iacono, M.: `Performance evaluation of NoSQL big-data applications using multi-formalism models’. In Future Generation Computer Systems volume 37, pages 345–353, 2014. Journal paper, availble on Science direct. DOI:10.1016/j.future.2013.12.036.
  24. Spoto, S.; Gribaudo, M. & Manini, D.: `Performance evaluation of peering-agreements among autonomous systems subject to peer-to-peer traffic’. In Performance Evaluation volume 77, pages 1–20, 2014. Journal paper, availble on Science direct. DOI:10.1016/j.peva.2014.02.004.
  25. Castiglione, A.; Gribaudo, M.; Iacono, M. & Palmieri, F.: `Exploiting mean field analysis to model performances of big data architectures’. In Future Generation Computer Systems volume 37, pages 203–211, 2014. Journal paper, availble on Science direct. DOI:10.1016/j.future.2013.07.016.
  26. Barbierato, E.; Dei Rossi, G.-L.; Gribaudo, M.; Iacono, M. & Marin, A.: `Exploiting product forms solution techniques in multiformalism modeling’. In Electronic Notes in Theoretical Computer Science volume 296, pages 61–77, 2013. Journal paper, availble on Science direct. DOI:10.1016/j.entcs.2013.07.005.
  27. Bruneo, D.; Scarpa, M.; Bobbio, A.; Cerotti, D. & Gribaudo, M.: `Markovian agent modeling swarm intelligence algorithms in wireless sensor networks’. In Performance Evaluation volume 69, pages 135–149, 2012. Journal paper, availble on Science direct. DOI:10.1016/j.peva.2010.11.007.
  28. Iacono, M.; Barbierato, E. & Gribaudo, M.: `The SIMTHESys multiformalism modeling framework’. In Computers and Mathematics with Applications volume 64, pages 3828–3839, 2012. Journal paper, availble on Science direct. DOI:10.1016/j.camwa.2012.03.009.
  29. Barbierato, E.; Gribaudo, M. & Iacono, M.: `Defining Formalisms for Performance Evaluation with SIMTHESys’. In Electronic Notes in Theoretical Computer Science volume 275, pages 37–51, 2011. Journal paper, availble on Science direct. DOI:10.1016/j.entcs.2011.09.004.
  30. Gribaudo, M.; Manini, D.; Nordio, A. & Chiasserini, C.-F.: `Transient analysis of IEEE 802.15.4 sensor networks’. In IEEE Transactions on Wireless Communications volume 10, pages 1165–1175, 2011. Journal paper, availble on IEEExplore. DOI:10.1109/TWC.2011.011311.100188.
  31. Piazzolla, P. & Gribaudo, M.: `Analysis of Television and Cinema Productions using Mean Field Models’. In Electronic Notes in Theoretical Computer Science volume 261, pages 91–108, 2010. Journal paper, availble on Science direct. DOI:10.1016/j.entcs.2010.01.007.
  32. Garelli, M. & Gribaudo, M.: `Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets’. In Electronic Notes in Theoretical Computer Science volume 232, pages 55–73, 2009. Journal paper, availble on Science direct. DOI:10.1016/j.entcs.2009.02.050.
  33. Gribaudo, M.; Manini, D.; Sericola, B. & Telek, M.: `Second order fluid models with general boundary behaviour’. In Annals of Operations Research volume 160, pages 69–82, 2008. Journal paper, availble on SpringerLink. DOI:10.1007/s10479-007-0297-7.
  34. Garetto, M.; Gribaudo, M.; Chiasserini, C.-F. & Leonardi, E.: `Sensor deployment and relocation: A unified scheme’. In Journal of Computer Science and Technology volume 23, pages 400–412, 2008. Journal paper, availble on SpringerLink. DOI:10.1007/s11390-008-9142-y.
  35. Gribaudo, M. & Telek, M.: `Stationary analysis of fluid level dependent bounded fluid models’. In Performance Evaluation volume 65, pages 241–261, 2008. Journal paper, availble on Science direct. DOI:10.1016/j.peva.2007.06.027.
  36. Chiasserini, C.-F.; Gaeta, R.; Garetto, M.; Gribaudo, M.; Manini, D. & Sereno, M.: `Fluid models for large-scale wireless sensor networks’. In Performance Evaluation volume 64, pages 715–736, 2007. Journal paper, availble on Science direct. DOI:10.1016/j.peva.2006.11.003.
  37. Gaeta, R.; Gribaudo, M.; Manini, D. & Sereno, M.: `Analysis of resource transfers in peer-to-peer file sharing applications using fluid models’. In Performance Evaluation volume 63, pages 149–174, 2006. Journal paper, availble on Science direct. DOI:10.1016/j.peva.2005.01.001.
  38. Gribaudo, M. & Gaeta, R.: `Efficient steady-state analysis of second-order fluid stochastic Petri nets’. In Performance Evaluation volume 63, pages 1032–1047, 2006. Journal paper, availble on Science direct. DOI:10.1016/j.peva.2005.11.002.
  39. Gaeta, R.; Balbo, G.; Bruell, S.; Gribaudo, M. & Sereno, M.: `A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks’. In Performance Evaluation volume 62, pages 694–703, 2005. Journal paper, availble on Science direct. DOI:10.1016/j.peva.2005.07.023.
  40. Gaeta, R.; Gribaudo, M.; Manini, D. & Sereno, M.: `Fluid Stochastic Petri Nets for computing transfer time distributions in peer-to-peer file sharing applications’. In Electronic Notes in Theoretical Computer Science volume 128, pages 79–99, 2005. Journal paper, availble on Science direct. DOI:10.1016/j.entcs.2005.01.014.
  41. Gribaudo, M. & Horvath, A.: `Model checking functional and performability properties of stochastic fluid models’. In Electronic Notes in Theoretical Computer Science volume 128, pages 295–310, 2005. Journal paper, availble on Science direct. DOI:10.1016/j.entcs.2005.04.018.
  42. Gribaudo, M.; Horvath, A.; Bobbio, A.; Tronci, E.; Ciancamerla, E. & Minichino, M.: `Fluid petri nets and hybrid model-checking: A comparative case study’. In Reliability Engineering and System Safety volume 81, pages 239–257, 2003. Journal paper, availble on Science direct. DOI:10.1016/S0951-8320(03)00089-9.
  43. Gribaudo, M. & Horvath, A.: `Fluid stochastic Petri nets augmented with flush-out arcs: A transient analysis technique’. In IEEE Transactions on Software Engineering volume 28, pages 944–955, 2002. Journal paper, availble on IEEExplore. DOI:10.1109/TSE.2002.1041051.
  44. Gribaudo, M.; Sereno, M.; Horvath, A. & Bobbio, A.: `Fluid Stochastic Petri Nets augmented with flush-out arcs: Modelling and analysis’. In Discrete Event Dynamic Systems: Theory and Applications volume 11, pages 97–117, 2001. Journal paper, availble on SpringerLink. DOI:10.1023/A:1008339216603.

Books

  1. Chiasserini, C.F.; Gribaudo, M. & Manini, D.: `Analytical modeling of wireless communication systems ‘. Pages 1–128, 2016. Book, availble on SpringerLink. DOI:10.1002/9781119307723.
  2. Gribaudo, M. & Iacono, M.: `Theory and application of multi-formalism modeling’. Pages 1–293, 2013. Book, availble on this source. DOI:10.4018/978-1-4666-4659-9.

Papers in book series

  1. Spolaor, S.; Gribaudo, M.; Iacono, M.; Kadavy, T.; Komínková Oplatková, Z.; Mauri, G.; Pllana, S.; Senkerik, R.; Stojanovic, N.; Turunen, E.; Viktorin, A.; Vitabile, S.; Zamuda, S. & Nobile, M. S.: `Towards human cell simulation’. In Lecture Notes in Computer Science (LNCS 11400), pages 221–249, 2019. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-030-16272-6_8.
  2. Amparore, D.; Checcucci, E.; Gribaudo, M.; Piazzolla, P.; Porpiglia, F. & Vezzetti, E.: `Non-linear-Optimization Using SQP for 3D Deformable Prostate Model Pose Estimation in Minimally Invasive Surgery’. In Advances in Intelligent Systems and Computing (AISC 943), pages 477–496, 2019. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-030-17795-9_35.
  3. Pinciroli, R.; Gribaudo, M.; Roveri, M. & Serazzi, G.: `Capacity Planning of Fog Computing Infrastructures for Smart Monitoring’. In Communications in Computer and Information Science (CCIS 825), pages 72–81, 2018. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-91632-3_6.
  4. Barbierato, E.; Gribaudo, M.; Iacono, M. & Levis, A. H.: `Modeling Crowd Behavior in a Theater’. In Communications in Computer and Information Science (CCIS 825), pages 49–54, 2018. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-91632-3_4.
  5. Blanco, B.; Liberal, F.; Lassila, P. E.; Aalto, S.; Sainz, J.; Gribaudo, M. & Pernici, B.: `Energy vs. QoX network- and cloud services management’. In Lecture Notes in Computer Science (LNCS 10768), pages 241–268, 2018. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-90415-3_10.
  6. Gribaudo, M.; Horváth, I.; Manini, D. & Telek, M.: `Modelling large timescale and small timescale service variability’. In Lecture Notes in Computer Science (LNCS 10932), pages 103–111, 2018. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-93736-6_7.
  7. Barbierato, E.; Gribaudo, M.; Iacono, M. & Piazzolla, P.: `Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming’. In Lecture Notes in Computer Science (LNCS 11178), pages 205–218, 2018. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-030-02227-3_14.
  8. Pinciroli, R.; Gribaudo, M. & Serazzi, G.:: `Modeling Multiclass Task-Based Applications on Heterogeneous Distributed Environments’. In Lecture Notes in Computer Science (LNCS 10378), pages 166–180, 2017. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-61428-1_12.
  9. Cremonesi, P.; Garzotto, F.; Gribaudo, M.; Piazzolla, P. & Iacono, M.: `Toward a new fashion concepts design tool: The vMannequin framework’. In Lecture Notes in Electrical Engineering (LNEE 413), pages 123–133, 2017. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-48511-9_11.
  10. Manini, D.; Gribaudo, M. & Iacono, M.: `Modeling replication and erasure coding in large scale distributed storage systems based on CEPH’. In Lecture Notes in Information Systems and Organisation (LNISO 18), pages 273–284, 2016. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-40265-9_20.
  11. Ciardo, G.; Gribaudo, M.; Iacono, M.; Miner, A. & Piazzolla, P.: `Power consumption analysis of replicated virtual applications in heterogeneous architectures’. In Lecture Notes in Information Systems and Organisation (LNISO 19), pages 285–297, 2016. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-40265-9_21.
  12. Barbierato, E.; Gribaudo, M. & Manini, D.: `Fluid approximation of pool depletion systems’. In Lecture Notes in Computer Science (LNCS 9845), pages 60–75, 2016. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-43904-4_5.
  13. Barbierato, E.; Gribaudo, M. & Iacono, M.: `Simulating hybrid systems within SIMTHESys multi-formalism models’. In Lecture Notes in Computer Science (LNCS 9951), pages 189–203, 2016. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-46433-6_13.
  14. Cerotti, D.; Gribaudo, M.; Pinciroli, R. & Serazzi, G.: `Stochastic analysis of energy consumption in pool depletion systems’. In Lecture Notes in Computer Science (LNCS 9629), pages 25–39, 2016. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-31559-1_4.
  15. Gribaudo, M.; Manini, D.& Remke, A.: `Analytical and stochastic modelling techniques and applications 22nd international conference, ASMTA 2015 Albena, Bulgaria, may 26–29, 2015 proceedings’. In Lecture Notes in Computer Science (LNCS 9081), pages 1–217, 2015. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-18579-8.
  16. Gribaudo, M.; Ho, T.T.N.; Pernici, B. & Serazzi, G.: `Analysis of the influence of application deployment on energy consumption’. In Lecture Notes in Computer Science (LNCS 8945), pages 87–101, 2015. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-15786-3_6.
  17. Cerotti, D.; Gribaudo, M.; Piazzolla, P.; Pinciroli, R. & Serazzi, G.: `Modeling Power Consumption in Multicore CPUs with Multithreading and Frequency Scaling’. In Lecture Notes in Electrical Engineering (LNEE 355), pages 81–90, 2015. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-22635-4_7.
  18. Cerotti, D.; Gribaudo, M.; Kruger, I.; Piazzolla, P.; Seracini, F. & Serazzi, G.: `Throughput maximization with multiclass workloads and resource constraints’. In Lecture Notes in Computer Science (LNCS 8499), pages 238–252, 2014. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-08219-6_17.
  19. Cordero, F; Fornari, C.; Gribaudo, M. & Manini, D.: `Markovian agents population models to study cancer evolution’. In Lecture Notes in Computer Science (LNCS 8499), pages 16–32, 2014. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-08219-6_2.
  20. Gandini, A; Gribaudo, M.; Knottenbelt, W.J.; Osman, R.b & Piazzolla, P.: `Performance evaluation of NoSQL databases’. In Lecture Notes in Computer Science (LNCS 8721), pages 16–29, 2014. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-319-10885-8_2.
  21. Cerotti, D.; Gribaudo, M.; Piazzolla, P. & Serazzi, G.: `End-to-end performance of multi-core systems in cloud environments’. In Lecture Notes in Computer Science (LNCS 8168), pages 221–235, 2013. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-40725-3_17.
  22. Gribaudo, M.; Manini, D. & Chiasserini, C.: `Studying mobile internet technologies with agent based mean-field models’. In Lecture Notes in Computer Science (LNCS 7984), pages 112–126, 2013. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-39408-9_9.
  23. Gribaudo, M.; Piazzolla, P. & Serazzi, G.: `Consolidation and replication of VMs matching performance objectives’. In Lecture Notes in Computer Science (LNCS 7314), pages 106–120, 2012. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-30782-9_8.
  24. Ghasemieh, H.; Remke, A.; Haverkort, B. & Gribaudo, M.: `Region-based analysis of hybrid Petri nets with a single general one-shot transition’. In Lecture Notes in Computer Science (LNCS 7595), pages 139–154, 2012. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-33365-1_11.
  25. Cerotti, D.; Barbierato, E. & Gribaudo, M.: `A tool suite for modelling spatial interdependencies of distributed systems with Markovian agents’. In Lecture Notes in Computer Science (LNCS 6977), pages 280–294, 2011. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-24749-1_21.
  26. Barbierato, E.; Gribaudo, M.; Iacono, M. & Marrone, S.: `Performability modeling of exceptions-aware systems in multiformalism tools’. In Lecture Notes in Computer Science (LNCS 6751), pages 257–272, 2011. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-21713-5_19.
  27. Casale, G.; Gribaudo, M. & Serazzi, G.: `Tools for performance evaluation of computer systems: Historical evolution and perspectives’. In Lecture Notes in Computer Science (LNCS 6821), pages 24–37, 2011. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-25575-5_3.
  28. Cerotti, D.; Gribaudo, M.; Bobbio, A.; Calafate, C.T. & Manzoni, P.: `A markovian agent model for fire propagation in outdoor environments’. In Lecture Notes in Computer Science (LNCS 6342), pages 131–146, 2010. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-15784-4_9.
  29. Piazzolla, P.; Gribaudo, M.; Borgotallo, R. & Messina, A.: `Performance evaluation of media segmentation heuristics using non-markovian multi-class arrival processes’. In Lecture Notes in Computer Science (LNCS 6148), pages 218–232, 2010. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-13568-2_16.
  30. Tosatto, C. & Gribaudo, M.: `A 3D history class: A new perspective for the use of computer based technology in history classes’. In Lecture Notes in Computer Science (LNCS 5794), pages 719–724, 2009. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-04636-0_74.
  31. Gribaudo, M.: `Analysis of large populations of interacting objects with mean field and markovian agents’. In Lecture Notes in Computer Science (LNCS 5652), pages 218–219, 2009. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-02924-0_18.
  32. Cerotti, D.; Gribaudo, M. & Bobbio, A.: `Disaster propagation in heterogeneous media via markovian agents’. In Lecture Notes in Computer Science (LNCS 5508), pages 328–335, 2009. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-03552-4_31.
  33. Pacini Naumovich, E.; Bernardi, S. & Gribaudo, M.: `ITPN-Perfbound: A performance bound tool for interval time petri nets’. In Lecture Notes in Computer Science (LNCS 5505), pages 50–53, 2009. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-00768-2_5.
  34. Piazzolla, P.; Gribaudo, M. & Messina, A.: `Stochastic modelling of poll based multimedia productions’. In Lecture Notes in Computer Science (LNCS 5513), pages 370–385, 2009. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-642-02205-0_26.
  35. Manini, D. & Gribaudo, M.: `An analytical study of the resource diffusion in non-homogeneous P2P networks’. In Lecture Notes in Computer Science (LNCS 5055), pages 88–100, 2008. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-540-68982-9_7.
  36. Gribaudo, M. & Telek, M.: `Fluid models in performance analysis’. In Lecture Notes in Computer Science (LNCS 4486), pages 271–317, 2007. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-540-72522-0_7.
  37. Franceschinis, G.; Gribaudo, M.; Iacono, M.; Marrone, S.; Mazzocca, N. & Vittorini, V.: `Compositional modeling of complex systems: contact center scenarios in osmosys’. In Lecture Notes in Computer Science (LNCS 3099), pages 177–196, 2004. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-540-27793-4_11.
  38. Gribaudo, M. & Horvath, A.: `Modeling hybrid positive systems with hybrid Petri nets’. In Lecture Notes in Control and Information Science (LNCIS 294), pages 71–78, 2003. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/978-3-540-44928-7_11.
  39. Gaeta, R.; Gribaudo, M.; Manini, D. & Sereno, M.: `On the use of Petri Nets for the computation of completion time distribution for short TCP transfers’. In Lecture Notes in Computer Science (LNCS 2679), pages 181–200, 2003. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/3-540-44919-1_14.
  40. Franceschinis, G.; Gribaudo, M.; Iacono, M.; Mazzocca, N. & Vittorini, V.: `DrawNET++: Model objects to support performance analysis and simulation of systems’. In Lecture Notes in Computer Science (LNCS 2324), pages 233-238, 2002. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/3-540-46029-2_18.
  41. Gribaudo, M.; Horvath, A.; Bobbio, A.; Tronci, E.; Ciancamerla, E. & Minichino, M.: `Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant’. In Lecture Notes in Computer Science (LNCS 2434), pages 273-283, 2002. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/3-540-45732-1_27.
  42. Ajmone Marsan, M.; Gribaudo, M.; Meo, M. & Sereno, M.: `Performance Analysis of Data Services over GPRS’. In Lecture Notes in Computer Science (LNCS 2228), pages 425-436, 2001. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/3-540-45307-5_37.
  43. Gribaudo, M. & Sereno, M.: `On the use of structural Petri net analysis for studying product form equilibrium distributions of queueing networks with blocking’. In Lecture Notes in Computer Science (LNCS 1420), pages 246–265, 1998. Paper in a Book Series, availble on SpringerLink. DOI:10.1007/3-540-69108-1_14.

Conference papers

  1. Campanile, L.; Gribaudo, M.; Iacono, M. & Mastroianni, M.: `Quantitative modeling of the behaviour of an autonomic router’. In Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2019 , pages 193–194, 2019. Conference paper, availble on ACM digital library. DOI:10.1145/3306309.3306344.
  2. Gribaudo, M.; Iacono, M.; Jakobik, A. & Kolodziej, J.: `Performance optimization of edge computing homeland security support applications’. In Proceedings of the 32nd Annual Conference of the European Conference on Modelling and Simulation, ECMS 2017 , pages 447–453, 2018. Conference paper, availble on this source. DOI:10.7148/2018-0440.
  3. Gribaudo, M.; Piazzolla, P. & Iacono, M.: `Anchor placement in indoor object tracking systems for virtual reality simulations’. In Proceedings of the 32nd Annual Conference of the European Conference on Modelling and Simulation, ECMS 2018 , pages 440–446, 2018. Conference paper, availble on this source. DOI:10.7148/2018-0447.
  4. Pinciroli, R.; Bobbio, A.; Bolchini, C.; Cerotti, D.; Gribaudo, M.;,Miele, A. & Trivedi, K.: `Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip’. In Proccedings of the 2nd International Conference on System Reliability and Safety, ICSRS 2017 , pages 516–520, 2018. Conference paper, availble on IEEExplore. DOI:10.1109/ICSRS.2017.8272875.
  5. Ardagna, S.; Barbierato, E.; Evangelinou, A.; Gianniti. E.; Gribaudo, M.; Pinto, T. B. M.; Guimarães, A.; Couto da Silva, A. P.; Almeida, J. M.: `Performance prediction of cloud-based big data applications’. In Proceedings of 2018 ACM/SPEC International Conference on Performance Engineering, ICPE 2018 , pages 192–199, 2018. Conference paper, availble on ACM digital library. DOI:10.1145/3184407.3184420.
  6. Piazzolla, P.; Gribaudo, M.; Colombo. S.; Manca, D. & Iacono, M.: `A low-cost distributed iot-based augmented reality interactive simulator for team training’. In Proceedings of the 31st European Conference on Modelling and Simulation, ECMS 2017 , pages 591–597, 2017. Conference paper, availble on this source. DOI:10.7148/2017-0591.
  7. Gribaudo, M.; Iacono, M. & Manini, D.: `Performance evaluation of massively distributed microservices based applications’. In Proceedings of the 31st European Conference on Modelling and Simulation, ECMS 2018 , pages 598–604, 2017. Conference paper, availble on this source. DOI:10.7148/2017-0598.
  8. Cerotti, D.; Gribaudo, M., Pinciroli, R., Serazzi, G.: `Optimal population mix in pool depletion systems with two-class workload’. In Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2016 , pages 11–18, 2017. Conference paper, availble on this source. DOI:10.4108/eai.25-10-2016.2266566.
  9. Gianniti, E.; Rizzi, A. M.; Barbierato, E.; Gribaudo, M. & Ardagna. D.: `Fluid Petri nets for the performance evaluation of MapReduce applications’. In Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017 , pages 243–250, 2017. Conference paper, availble on this source. DOI:10.4108/eai.25-10-2016.2267025.
  10. Ho, N. T. T.; Gribaudo, M. & Pernici, B.: `Improving energy efficiency for transactional workloads in cloud environments’. In Proceedings of the 8th International Conference on Future Energy Systems , pages 290–295, 2017. Conference paper, availble on ACM digital library. DOI:10.1145/3077839.3084026.
  11. Cavalieri d’Oro, E.; Colombo, S.; Gribaudo, M.; Iacono, M.; Manca, D. & Piazzolla, P.: `Modeling and evaluating performances of complex edge computing based systems: A firefighting support system case study’. In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017 , pages 261–262, 2017. Conference paper, availble on ACM digital library. DOI:10.1145/3150928.3150970.
  12. Bobbio, A.; Bolchini, C.; Cerotti, D.; Gribaudo, M. & Miele, A.: `Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents’. In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017 , pages 156–163, 2017. Conference paper, availble on ACM digital library. DOI:10.1145/3150928.3150935.
  13. Gribaudo, M.; Iacono, M. & Manini, D.: `Three layers network influence on cloud data center performances’. In Proceedings of the 30th European Conference on Modelling and Simulation, ECMS 2016 , pages 621–627, 2016. Conference paper, availble on this source. DOI:10.7148/2016-0621.
  14. Cremonesi, P.; Garzotto, F.; Gribaudo, M.; Piazzolla, P. & Iacono, M.: `vMannequin: A fashion store concept design tool’. In Proceedings of the 30th European Conference on Modelling and Simulation, ECMS 2017 , pages 527–522, 2016. Conference paper, availble on this source. DOI:10.7148/2016-0527.
  15. Nazari, A.; Zehtabian, A.; Gribaudo, M. & Ghassemian, H.: `Remotely sensed image restoration using partial differential equations and watershed transformation’. In Proceedings of SPIE – The International Society for Optical Engineering , pages #944520, 2015. Conference paper, availble on this source. DOI:10.1117/12.2181817.
  16. Rosa, A.; Binder, W.; Chen, L.Y.; Gribaudo, M. & Serazzi, G.: `ParSim: A tool for workload modeling and reproduction of parallel applications’. In Proceedings of IEEE Computer Society’s Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS , pages 494–497, 2015. Conference paper, availble on IEEExplore. DOI:10.1109/MASCOTS.2014.71.
  17. Gribaudo, M.; Iacono, M.; Manini, D.; Pironti, M. & Pisano, P.: `A Simulation Based Approach For The Evaluation Of Outcome Driven Innovation Models’. In Proceedings of the 29th European Conference on Modelling and Simulation, ECMS 2015 , pages 138–144, 2015. Conference paper, availble on this source. DOI:10.7148/2015-0138.
  18. Cerotti, D.; Gribaudo, M.; Iacono, M. & Piazzolla, P.: `Workload characterization of multithreaded applications on multicore architectures’. In Proceedings of the 28th European Conference On Modeling And Simulation , pages 480–486, 2014. Conference paper, availble on this source. DOI:10.7148/2014-0480.
  19. Bolzern, P.; Cerotti, D.; Colaneri, P. & Gribaudo, M.: `Probabilistic consensus in Markovian multi-agent networks’. In Proceddings of 2014 European Control Conference, ECC 2014 , pages 558–563, 2014. Conference paper, availble on IEEExplore. DOI:10.1109/ECC.2014.6862254.
  20. Bolchini, C.; Carminati, M.; Gribaudo, M. & Miele, A.: `A Lightweight and Open-source Framework for the Lifetime Estimation of Multicore Systems’. In Proceedings of the 32nd IEEE International Conference on Computer Design, ICCD 2014 , pages 166–172, 2014. Conference paper, availble on IEEExplore. DOI:10.1109/ICCD.2014.6974677.
  21. Cerotti, D.; Gribaudo, M.; Piazzolla, P.; Pinciroli, R. & Serazzi, G.: `Multi-class queuing networks models for energy optimization’. In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2014 , pages 98–105, 2014. Conference paper, availble on ACM digital library. DOI:10.4108/icst.valuetools.2014.258214.
  22. Barbierato, E.; Gribaudo, M. & Iacono, M.: `Modeling apache hive based applications in big data architectures’. In Proceedings of the 7th International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013 , pages 30–38, 2013. Conference paper, availble on ACM digital library. DOI:10.4108/icst.valuetools.2013.254398.
  23. Cerotti, D.; Gribaudo, M.; Piazzolla, P. & Serazzi, G.: `Performance optimization with JMT: Java modelling tools’. In Proceedings of the 7th International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013 , pages 328–331, 2013. Conference paper, availble on ACM digital library. DOI:10.4108/icst.valuetools.2013.254399.
  24. Birke, R.; Chen, L.; Gribaudo, M. & Piazzolla, P.: `Characterization analysis of resource utilization distribution’. In Proceedings – IEEE Computer Society’s Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS, 2013, , pages 370–374, 2013. Conference paper, availble on IEEExplore. DOI:10.1109/MASCOTS.2013.54.
  25. Barbierato, E.; Gribaudo, M. & Iacono, M.: `A Performance Modeling Language For Big Data Architectures’. In Proceedings of the 27th European Conference On Modeling And Simulation , pages 511–517, 2013. Conference paper, availble on this source. DOI:10.7148/2013-0511.
  26. Piazzolla, P.; Gribaudo, M. & Serazzi, G.: `jBM: a CPU benchmarking tool for cloud environments’. In Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques , pages 57–62, 2013. Conference paper, availble on ACM digital library. DOI:10.4108/icst.simutools.2013.251751 .
  27. Chiasserini, C.-F.; Gribaudo, M. & Manini, D.: `Traffic offloading/onloading in multi-RAT cellular networks’. In Proceedings of Wireless Days 2013 , pages 1–10, 2013. Conference paper, availble on IEEExplore. DOI:10.1109/WD.2013.6686526.
  28. Abbaldo, D.; Gribaudo, M. & Manini, D.: `Evaluation of different scheduling policies in IaaS applications by Mean Field analysis’. In Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2012 , pages 307–316, 2012. Conference paper, availble on IEEExplore. DOI:10.4108/icst.valuetools.2012.250285.
  29. Cerotti, D.; Gribaudo, M.; Piazzolla, P. & Serazzi, G.: `Flexible CPU provisioning in clouds: A new source of performance unpredictability’. In Proceedings of the 9th International Conference on Quantitative Evaluation of Systems, QEST 2012 , pages 230–237, 2012. Conference paper, availble on IEEExplore. DOI:10.1109/QEST.2012.23.
  30. Barbierato, E.; Bobbio, A.; Gribaudo, M. & Iacono, M.: `Multiformalism to support software rejuvenation modeling’. In Proceedings of the 23rd IEEE International Symposium On Software Reliability Engineering Workshops (issre 2012) , pages 271–276, 2012. Conference paper, availble on IEEExplore. DOI:10.1109/ISSREW.2012.92.
  31. Piazzolla, P.; Gribaudo, M.; Grosso, A. & Messina, A.: `Modelling and Optimization of Cross-Media Production Processes’. In Operations Research Proceedings 2010 , pages 157–162, 2011. Conference paper, availble on SpringerLink. DOI:10.1007/978-3-642-20009-0_25.
  32. Barbierato, E.; Gribaudo, M. & Iacono, M.: `Exploiting multiformalism models for testing and performance evaluation in SIMTHESys’. In Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools , pages 121–130, 2011. Conference paper, availble on ACM digital library. DOI:10.4108/icst.valuetools.2011.245727 .
  33. Bruneo, D.; Scarpa, M.; Bobbio, A.; Cerotti, D. & Gribaudo, M.: `Adaptive swarm intelligence routing algorithms for WSN in a changing environment’. In Proceedings of IEEE Sensors , pages 1813–1818, 2010. Conference paper, availble on IEEExplore. DOI:10.1109/ICSENS.2010.5689994.
  34. Cavagnino, D. & Gribaudo, M.: `Discretization of 3D Models Using Voxel Elements of Different Shapes’. In Proceeding of Computational Aesthetics’10 Proceedings of the Sixth international conference on Computational Aesthetics in Graphics, Visualization and Imaging , pages 91-98, 2010. Conference paper, availble on this source. DOI:10.2312/COMPAESTH/COMPAESTH10/091-098.
  35. Iacono, M. & Gribaudo, M.: `Element based semantics in multi formalism performance models’. In Proceedings of the 18th Annual IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2010 , pages 413–416, 2010. Conference paper, availble on IEEExplore. DOI:10.1109/MASCOTS.2010.54.
  36. Gribaudo, M. & Remke, A.: `Hybrid Petri nets with general one-shot transitions for dependability evaluation of fluid critical infrastructures’. In Proceedings of IEEE International Symposium on High Assurance Systems Engineering , pages 84–93, 2010. Conference paper, availble on IEEExplore. DOI:10.1109/HASE.2010.27.
  37. Gribaudo, M.; Manini, D.; Nordio, A. & Chiasserini, C.-F.: `Analysis of IEEE 802.15.4 sensor networks for event detection’. In Proceedings of IEEE Global Telecommunications Conference, GLOBECOM , pages 1–6, 2009. Conference paper, availble on IEEExplore. DOI:10.1109/GLOCOM.2009.5425795.
  38. Bruneo, D.; Scarpa, M.; Bobbio, A.; Cerotti, D. & Gribaudo, M.: `Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents’. In Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2009 , pages 1–10, 2009. Conference paper, availble on ACM digital library. DOI:10.4108/ICST.VALUETOOLS2009.7672.
  39. Franceschinis, G.; Gribaudo, M.; Iacono, M.; Marrone, S.; Moscato, F. & Vittorini, V.: `Interfaces and binding in component based development of formal models’. In Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2009 , pages 11–20, 2009. Conference paper, availble on ACM digital library. DOI:10.4108/ICST.VALUETOOLS2009.7677.
  40. Cerotti, D.; Gribaudo, M. & Bobbio, A.: `Presenting dynamic Markovian agents with a road tunnel application’. In Proceedings of IEEE International Symposium On Modeling, Analysis & Simulation of Computer and Telecommunication Systems (mascots) , pages 621–624, 2009. Conference paper, availble on IEEExplore. DOI:10.1109/MASCOT.2009.5367075.
  41. Cordero, F.; Gribaudo, M. & Manini, D.: `Modeling Biological Pathways: An Object-Oriented like Methodology Based on Mean Field Analysis ‘. In Proceedings of the Third International Conference on Advanced Engineering Computing and Applications in Sciences, ADVCOMP , pages 117–122, 2009. Conference paper, availble on IEEExplore. DOI:10.1109/ADVCOMP.2009.25.
  42. Bobbio, A.; Garg, S.; Gribaudo, M.; Horv√°th, A.; Sereno, M. & Telek, M.: `Compositional fluid stochastic petri net model for operational software system performance’. In Proceedings of IEEE International Conference on Software Reliability Engineering Workshops, ISSRE 2008 , pages 1–10, 2008. Conference paper, availble on IEEExplore. DOI:10.1109/ISSREW.2008.5355517.
  43. Bobbio, A.; Gribaudo, M. & Telek, M.: `Analysis of large scale interacting systems by mean field method’. In Proceedings of Quantitative Evaluation of Systems: QEST 2008 , pages 215–224, 2008. Conference paper, availble on IEEExplore. DOI:10.1109/QEST.2008.47.
  44. Gribaudo, M.; Cerotti, D. & Bobbio, A.: `Analysis of on-off policies in sensor networks using interacting Markovian agents’. In Proseedings of IEEE International Conference On Pervasive Computing and Communications , pages 300–305, 2008. Conference paper, availble on IEEExplore. DOI:10.1109/PERCOM.2008.100.
  45. Garetto, M.; Gribaudo, M.; Chiasserini, C.-F. & Leonardi, E.: `A distributed sensor relocation scheme for environmental control’. In Proceedings of IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS , pages 1–10, 2007. Conference paper, availble on IEEExplore. DOI:10.1109/MOBHOC.2007.4428663.
  46. La Mura, F.; Della Corte, F.; Gribaudo, M.; Tosi, B.; Alciati, S.; Bordino, R. & Franceschinis, G.: `Collaborative virtual environments as research and teaching instruments in the field of disaster medicine: The e-DISTRICT CiPro” simulator”‘. In Proceedings of the International Conference on Information Visualisation , pages 892–898, 2007. Conference paper, availble on IEEExplore. DOI:10.1109/IV.2007.34.
  47. Garetto, M. & Gribaudo, M.: `Model checking techniques for the performance analysis of Delay Tolerant Networks with on-off behavior’. In Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 , pages 249–254, 2006. Conference paper, availble on IEEExplore. DOI:10.1109/ISoLA.2006.35.
  48. Chiasserini, C.-F.; Gaeta, R.; Garetto, M.; Gribaudo, M. & Sereno, M.: `Efficient broadcasting of safety messages in multihop vehicular networks’. In Proceedings of the 20th International Parallel and Distributed Processing Symposium, IPDPS 2006 , pages 326–335, 2006. Conference paper, availble on IEEExplore. DOI:10.1109/IPDPS.2006.1639638.
  49. Gaeta, R.; Gribaudo, M.; Manini, D. & Sereno, M.: `Fixed-point approximations for TCP behavior in networks of routers implementing heterogeneous queue management policies’. In Proceedings of Messung, Modellierung und Bewertung von Rechensystemen, MMB , pages 303-316, 2006. Conference paper, availble on IEEExplore.
  50. Bobbio, A.; Gribaudo, M. & Horvath, A.: `Modelling a car safety controller in road tunnels using hybrid Petri nets’. In Proceedings of IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC , pages 1436–1441, 2006. Conference paper, availble on IEEExplore. DOI:10.1109/ITSC.2006.1707425.
  51. Manini, D. & Gribaudo, M.: `Modelling search, availability, and parallel download in P2P file sharing applications with fluid model’. In Proceedings of the 14th International Conference on Advanced Computing and Communications, ADCOM 2006 , pages 449–454, 2006. Conference paper, availble on IEEExplore. DOI:10.1109/ADCOM.2006.4289934.
  52. Garetto, M. & Gribaudo, M.: `Performance analysis of Delay Tolerant Networks with model checking techniques’. In Proceedinsg of the Third International Conference On the Quantitative Evaluation of Systems, QEST 2006 , pages 73–82, 2006. Conference paper, availble on IEEExplore. DOI:10.1109/QEST.2006.42.
  53. Gribaudo, M.; Chiasserini, C.-F.; Gaeta, R.; Garetto, M.; Manini, D. & Sereno, M.: `A spatial fluid-based framework to analyze large-scale wireless sensor networks’. In Proceedings of the International Conference On Dependable Systems and Networks , pages 694–703, 2005. Conference paper, availble on IEEExplore. DOI:10.1109/DSN.2005.13.
  54. Gribaudo, M.; Codetta-Raiteri, D. & Franceschinis, G.: `Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems’. In Proceedings of the Second International Conference On the Quantitative Evaluation of Systems, QEST 2005 , pages 257–258, 2005. Conference paper, availble on IEEExplore. DOI:10.1109/QEST.2005.10.
  55. Gribaudo, M.; Moscato, F.; Mazzocca, N. & Vittorini, V.: `Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework’. In Proceedings of the Second International Conference On the Quantitative Evaluation of Systems, QEST 2005 , pages 85-94, 2005. Conference paper, availble on IEEExplore. DOI:10.1109/QEST.2005.22.
  56. Gaeta, R.; Gribaudo, M.; Manini, D. & Sereno, M.: `A GSPN model for the analysis of DNS-based redirection in distributed web systems’. In Proceedings of IEEE Computer Society’s 12th Annual International Symposium On Modeling, Analysis, and Simulation of Computer and Telecommunications Systems , pages 39–48, 2004. Conference paper, availble on IEEExplore. DOI:10.1109/MASCOT.2004.1348180.
  57. Gribaudo, M. & Sereno, M.: `An efficient algorithm for the transient analysis of a class of deterministic stochastic petri nets’. In Proceedings of the International Conference On Dependable Systems and Networks , pages 835–844, 2004. Conference paper, availble on IEEExplore. DOI:10.1109/DSN.2004.1311954.
  58. German, R.; Gribaudo, M.; Horvath, G. & Telek, M.: `Stationary analysis of FSPNs with mutually dependent discrete and continuous parts’. In Proceedings of the 10th International Workshop On Petri Nets and Performance Models , pages 30–39, 2003. Conference paper, availble on IEEExplore. DOI:10.1109/PNPM.2003.1231540.
  59. Gribaudo, M.; Iacono, M.; Mazzocca, N. & Vittorini, V.: `The OsMoSys/DrawNET Xe! languages system: A novel infrastructure for multi-formalism object-oriented modelling’. In Proceedings of the 15th European Simulation Symposium and Exhibition, ESS2003 , pages 165–174, 2003. Conference paper, availble on this source.
  60. Franceschinis, G.; Gribaudo, M.; Iacono, M.; Vittorini, V. & Bertoncello, C.: `DrawNet++: A flexible framework for building dependability models’. In Proceedings of the International Conference On Dependable Systems and Networks , pages 540–540, 2002. Conference paper, availble on IEEExplore. DOI:10.1109/DSN.2002.1028961.
  61. Horvath, A. & Gribaudo, M.: `Matrix geometric solution of fluid stochastic Petri nets’. In Preceedings of Matrix-analytic Methods:theory and Applications , pages 163–182, 2002. Conference paper, availble on this source. DOI:10.1142/9789812777164_0010.
  62. Ajmone Marsan, M.; Gribaudo, M.; Meo, M. & Sereno, M.: `On petri net-based modeling paradigms for the performance analysis of wireless Internet accesses’. In Proceedings of the 9th International Workshop On Petri Nets and Performance Models , pages 19–28, 2001. Conference paper, availble on IEEExplore. DOI:10.1109/PNPM.2001.953352.
  63. Gribaudo, M. & Sereno, M.: `Simulation of Fluid Stochastic Petri Nets’. In Proceedings of the 8th International Symposium On Modeling, Analysis and Simulation of Computer and Telecommunication Systems , pages 231–239, 2000. Conference paper, availble on IEEExplore. DOI:10.1109/MASCOT.2000.876449.
  64. Gribaudo, M. ; Sereno, M. & Bobbio, A. : `Fluid stochastic Petri nets: An extended formalism to include non-Markovian models ‘. In Proceedings of the 8th International Workshop On Petri Nets and Performance Models , pages 71–81, 1999. Conference paper, availble on IEEExplore. DOI:10.1109/PNPM.1999.796554.
  65. Bobbio, A. ; Garg, S. ; Gribaudo, M. ; Horvath, A. ; Sereno, M. & Telek, M. : `Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets ‘. In Proceedings of the 8th International Workshop On Petri Nets and Performance Models , pages 82–91, 1999. Conference paper, availble on IEEExplore. DOI:10.1109/PNPM.1999.796555.
  66. Gribaudo, M. & Sereno, M.: `GSPN semantics for queueing networks with blocking’. In Proceedings of the 7th International Workshop On Petri Nets and Performance Models , pages 26–35, 1997. Conference paper, availble on IEEExplore. DOI:10.1109/PNPM.1997.595534.

Book Chapters

  1. Gribaudo, M.; Iacono, M. & Lewis, A. H.: `Multi-formalism Modeling of Complex Social-Behavioral Systems’. In Social-Behavioral Modeling for Complex Systems , pages 711–740, 2019. Book chapter, availble on Wiley OnLine Library. DOI:10.1002/9781119485001.ch31.
  2. Bobbio, A.; Cerotti, D.; Gribaudo, M.; Iacono, M. and Manini, D.: `Markovian Agent Models: A Dynamic Population of Interdependent Markovian Agents’. In Seminal Contributions to Modelling and Simulation , pages 185–203, 2016. Book chapter, availble on SpringerLink. DOI:10.1007/978-3-319-33786-9_13.
  3. Gribaudo, M.; Iacono, M. & Palmieri, F.: `Performance Modeling of Big Data-Oriented Architectures’. In Resource Management for Big Data Platforms , pages 3–34, 2016. Book chapter, availble on SpringerLink. DOI:10.1007/978-3-319-44881-7_1.
  4. Bruneo, D.; Scarpa, M.; Bobbio, A.; Cerotti, D. & Gribaudo, M.: `An intelligent swarm of markovian agents ‘. In Springer Handbook of Computational Intelligence , pages 1345–1359, 2015. Book chapter, availble on SpringerLink. DOI:10.1007/978-3-662-43505-2_69.
  5. Gribaudo, M., Iacono, M.: `An introduction to multiformalism modeling’. In Theory and Application of Multi-Formalism Modeling , pages 1–16, 2013. Book chapter, availble on this source. DOI:10.4018/978-1-4666-4659-9.ch001.

Workshops

  1. Manini, D.; Pisano, P.; Pironti, M. & Gribaudo, M.: `The financial asset regulation: a new theoretical framework based on Mean field Analysis’. In Economics and Finance Research , pages 379–383, 2011. Workshop paper.
  2. Pisano, P.; Manini, D.; Gribaudo, M. & Pironti, M.: `Open Organization Model Diffusion: The Mean Field Analysis Approach’. In Proceedings of the 6th European Conference On Management Leadership and Governance , pages 1–10, 2010. Workshop paper.
  3. Gribaudo, M. & Sessi, D.: `A multipardigm simulation framework’. In Proceedings of the International Conference On Parallel and Distributed Processing Techniques and Applications , pages 1–10, 2001. Workshop paper.
  4. Gribaudo, M. & German, R.: `Numerical Analysis of Bounded Fluid Models using Matrix Exponentiation’. In Proceedings of Messung, Modellierung und Bewertung von Rechensystemen, MMB , pages 41–56, 2001. Workshop paper.