Marco Paolieri

Marco Paolieri

Senior Research Associate
Department of Computer Science
University of Southern California



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


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.


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

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), PC member (2015, 2023).
  • EPEW (European Workshop on Performance Engineering): PC member (2015), program co-chair (2016), PC member (2017, 2018, 2019).
  • 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): 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).
  • SDDCS (International Workshop of Software-Defined Data Communications and Storage): PC member (2017).
  • VECoS (International Workshop on Verification and Evaluation of Computer and Communication Systems): PC member (2013).
  • ICTAC (International Colloquium on Theoretical Aspects of Computing): external reviewer (2014).

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).


Analysis and Probabilistic Model Checking of Stochastic Systems

Performance and Reliability Analysis of Critical Infrastructures

Performance of Machine Learning Systems