Marco Paolieri

Contacts

Email: paolieri@usc.edu

Telephone: +1 (213) 740-2579

Office: Salvatori Computer Science Center (SAL), Room #204

Address: 941 Bloom Walk, Los Angeles, CA 90089-0781, USA

Connect: LinkedIn

Research

I completed my PhD in Computer Engineering at the University of Florence, Italy (2015). From August 2016 to November 2018, I was a postdoc at USC in the Quantitative Evaluation and Design Group. Since December 2018, I am a Senior Research Associate at USC. My research focuses on:

• stochastic models for performance and reliability evaluation;
• solution techniques for non-Markovian processes;
• concurrent and distributed systems.

• Our work on performance and revenue analysis of hybrid cloud federations will be presented at IEEE CLOUD 2022 (July 11-15 in Bercelona, Spain)
• An article on the ORIS Tool was accepted on the IEEE Transactions on Software Engineering and will be presented at ICSE 2020!
• Our work on probabilistic model checking has been published on the IEEE Transactions on Software Engineering!

Teaching

I've been teaching the course "Introduction to Computer Systems" (CS356) since 2019 (Spring and Fall semesters). Please check the class website for up-to-date information and office hours.

Software tools

I am a main developer of the ORIS Tool (featured on Transactions on Software Engineering). I designed and implemented (in Java):

• state space analysis of time Petri nets using DBM zones;
• transient analysis of stochastic time Petri nets (STPNs) with generally-distributed timers (and underlying GSMP process);
• regenerative transient analysis of STPNs (symbolic integration over DBM zones and numerical solution of integral equations);
• probabilistic model checking of an interval until operator for Markov regenerative processes.

Professional activities

I served as reviewer, PC member and chair of conferences in the area of performance, reliability, and quantitative system analysis.

• SIGMETRICS: publicity chair of SIGMETRICS 2018.
• QEST (International Conference on Quantitative Analysis of Systems): PC chair (2022), PC member (2019, 2020, 2021, 2023), publicity and publications chair (2014, 2021), tools chair (2017), external reviewer (2014, 2015, 2016, 2017).
• IFIP Performance: external reviewer (2016).
• ISSRE (IEEE International Symposium on Software Reliability Engineering): publicity chair (2020, 2023), PC member (2015, 2023, 2024).
• ASMTA (International Conference on Analytical and Statistical Modelling Techniques and Applications): publicity chair (2024).
• EPEW (European Workshop on Performance Engineering): PC member (2015, 2017, 2018, 2019, 2024), program co-chair (2016).
• VALUETOOLS (International Conference on Performance Evaluation Methodologies and Tools): PC chair (2023), publicity chair (2015), external reviewer (2013, 2014, 2015).
• ICPE (International Conference on Performance Engineering): publicity chair (2024), tools and demonstrations chair (2018).
• MASCOTS (Modeling, Analysis and Simulation of Computer and Telecommunication Systems): external reviewer (2016, 2017).
• FORMATS (International conference on Formal Modeling and Analysis of Timed Systems): external reviewer (2013, 2015, 2016).

I have been a reviewer for Performance Evaluation (2017), Journal of Systems and Software (2016), Reliability Engineering & System Safety (2016), Journal of Internet Services and Applications (2016).

Publications

Analysis and Probabilistic Model Checking of Stochastic Systems

• The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems, by M. Paolieri, M. Biagi, L. Carnevali, E. Vicario, IEEE Transactions on Software Engineering, 2021. BIBPDF
A continuous-time model-based approach for activity recognition in pervasive environments, by M. Biagi, L. Carnevali, M. Paolieri, F. Patara, E. Vicario, in THMS'19, IEEE, 2019. BIBPDF
• Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes, by M. Biagi, L. Carnevali, M. Paolieri, T. Papini, E.Vicario, in QEST'17, Springer, 2017. BIBPDF
• Performance evaluation of Fischer's protocol through steady-state analysis of Markov regenerative processes, by S. Martina, M. Paolieri, T. Papini, E. Vicario, in MASCOTS'16, IEEE, 2016. BIBPDF
• A stochastic model-based approach to on-line event prediction and response scheduling, by M. Biagi, L. Carnevali, M. Paolieri, F. Patara, E. Vicario, in EPEW'16, Springer, 2016. BIBPDF
• Probabilistic model checking of regenerative concurrent systems, by M. Paolieri, A. Horváth, E. Vicario, IEEE Transactions on Software Engineering, Feb. 2016. BIBPDF
• Transient analysis of networks of stochastic timed automata using stochastic state classes, by P. Ballarini, N. Bertrand, A. Horváth, M. Paolieri, E. Vicario, in QEST'13, LNCS, vol. 8054, pp. 355–371, Springer, 2013. BIBPDF
• Non-Markovian analysis for model driven engineering of real-time software, by L. Carnevali, M. Paolieri, A. Santoni, E. Vicario, in ICPE'13, pp. 113–124, ACM, 2013. BIBPDF
• Transient analysis of non-Markovian models using stochastic state classes, by A. Horváth, M. Paolieri, L. Ridi, E. Vicario, Perform. Eval., vol. 69, no. 7, pp. 315–335, Jul. 2012. BIBPDF
• Probabilistic model checking of non-Markovian models with concurrent generally distributed timers, by A. Horváth, M. Paolieri, L. Ridi, E. Vicario, in QEST'11, pp. 131–140, 2011. BIBPDF

Performance and Reliability Analysis of Critical Infrastructures

• Performability evaluation of the ERTMS/ETCS - Level 3, by M. Biagi, L. Carnevali, M. Paolieri, E. Vicario, in Transportation Research Part C, vol. 82, pp. 314–336, Elsevier, 2017. BIBPDF
• Non-Markovian performability evaluation of ERTMS/ETCS Level 3, by L. Carnevali, F. Flammini, M. Paolieri, E. Vicario, in EPEW'15, LNCS, vol. 9272, pp. 47–62, Springer, 2015. BIBPDF
• A scalable approach to the assessment of storm impact in power grid networks, by A. Avritzer, L. Carnevali, L. Happe, A. Koziolek, D. S. Menasché, M. Paolieri, S. Suresh, in QEST'14, pp. 345–367, Springer, 2014. BIBPDF
• Modeling and evaluation of maintenance procedures for gas distribution networks with time-dependent parameters, by L. Carnevali, M. Paolieri, F. Tarani, E. Vicario, K. Tadano, in SAFECOMP Workshops, pp. 304–315, Springer, 2014. BIB
• Quantitative evaluation of availability measures of gas distribution networks, by L. Carnevali, M. Paolieri, F. Tarani, E. Vicario, in VALUETOOLS'13, pp. 145–154, IEEE, 2013. BIB
• Towards the quantitative evaluation of phased maintenance procedures using non-Markovian regenerative analysis, by L. Carnevali, M. Paolieri, K. Tadano, E. Vicario, in EPEW'13, LNCS, vol. 8168, pp. 176–190, Springer, 2013. BIB
• Software rejuvenation impacts on a phased-mission system for Mars exploration, by S. Ballerini, L. Carnevali, M. Paolieri, K. Tadano, F. Machida, in ISSRE Workshop on Software Aging and Rejuvenation, pp. 275–280, IEEE, 2013. BIB

Performance of Machine Learning Systems

• Throughput Prediction of Asynchronous SGD in TensorFlow, by Z. Li, W. Yan, M. Paolieri, L. Golubchik, in ICPE'20, ACM, 2020. BIBPDF
• A model-based approach to streamlining distributed training for asynchronous SGD, by S. Lin, M. Paolieri, C. Chou, L. Golubchik, in MASCOTS'18, IEEE, 2018. BIBPDF

Editor

• Computer Performance Engineering: EPEW'16 Proceedings, by D. Fiems, M. Paolieri, A. Platis, Springer, 2016.
• Real-Time Systems: Special Issue on Formal Modeling and Analysis of Timed Systems, by M. Paolieri, S. Sankaranarayanan, E. Vicario, Springer, 2017.