JPF-AWT: Model checking GUI applications. - Peter C. Mehlitz; Oksana Tkachuk; Mateusz Ujma (ASE, 2011)

Incremental Runtime Verification of Probabilistic Systems. - Vojtech Forejt; Marta Z. Kwiatkowska; David Parker 001; Hongyang Qu 001; Mateusz Ujma (RV, 2012)

jpf-concurrent: An extension of Java PathFinder for java.util.concurrent - Mateusz Ujma; Nastaran Shafiei (CoRR, 2012)

Verification of Markov Decision Processes Using Learning Algorithms. - Tomás Brázdil; Krishnendu Chatterjee; Martin Chmelik; Vojtech Forejt; Jan Kretínský; Marta Z. Kwiatkowska; David Parker 001; Mateusz Ujma (ATVA, 2014)

On Incremental Quantitative Verification for Probabilistic Systems. - Marta Z. Kwiatkowska; David Parker 001; Hongyang Qu 001; Mateusz Ujma (HOWARD-60, 2014)

Software Engineering Meets Control Theory. - Antonio Filieri; Martina Maggio; Konstantinos Angelopoulos; Nicolás D'Ippolito; Ilias Gerostathopoulos; Andreas B. Hempel; Henry Hoffmann; Pooyan Jamshidi; Evangelia Kalyvianaki; Cristian Klein; Filip Krikava; Sasa Misailovic; et al. (SEAMS@ICSE, 2015)

Permissive Controller Synthesis for Probabilistic Systems. - Klaus Dräger; Vojtech Forejt; Marta Z. Kwiatkowska; David Parker 001; Mateusz Ujma (Log. Methods Comput. Sci., 2015)

On verification and controller synthesis for probabilistic systems at runtime. - Mateusz Ujma (2015)

Control Strategies for Self-Adaptive Software Systems. - Antonio Filieri; Martina Maggio; Konstantinos Angelopoulos; Nicolás D'Ippolito; Ilias Gerostathopoulos; Andreas Berndt Hempel; Henry Hoffmann; Pooyan Jamshidi; Evangelia Kalyvianaki; Cristian Klein; Filip Krikava; Sasa Misailovic; et al. (ACM Trans. Auton. Adapt. Syst., 2017)

Learning Algorithms for Verification of Markov Decision Processes. - Tomás Brázdil; Krishnendu Chatterjee; Martin Chmelik; Vojtech Forejt; Jan Kretínský; Marta Kwiatkowska; Tobias Meggendorfer; David Parker 001; Mateusz Ujma (TheoretiCS, 2025)