Mateusz Ujma

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 2

Top Venues

CoRR

TACAS

ACM Trans. Auton. Adapt. Syst.

Log. Methods Comput. Sci.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
Learning Algorithms for Verification of Markov Decision Processes. CoRR (2024)
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, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. 11 (4) (2017)
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Permissive Controller Synthesis for Probabilistic Systems. Log. Methods Comput. Sci. 11 (2) (2015)
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, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
Software Engineering Meets Control Theory. SEAMS@ICSE (2015)
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Permissive Controller Synthesis for Probabilistic Systems. TACAS (2014)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Verification of Markov Decision Processes Using Learning Algorithms. ATVA (2014)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Verification of Markov Decision Processes using Learning Algorithms. CoRR (2014)
Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
Incremental Runtime Verification of Probabilistic Systems. RV (2012)
Mateusz Ujma, Nastaran Shafiei
jpf-concurrent: An extension of Java PathFinder for java.util.concurrent CoRR (2012)
Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma
JPF-AWT: Model checking GUI applications. ASE (2011)

Mateusz Ujma.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mateusz Ujma