Mateusz Ujma

According to our database, Mateusz Ujma authored at least 10 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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, Mateusz Ujma

CoRR, 2024

2017

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, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel

ACM Trans. Auton. Adapt. Syst., 2017

2015

On verification and controller synthesis for probabilistic systems at runtime.

Mateusz Ujma

PhD thesis, 2015

Permissive Controller Synthesis for Probabilistic Systems.

Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma

Log. Methods Comput. Sci., 2015

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, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

2014

On Incremental Quantitative Verification for Probabilistic Systems.

Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

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, Mateusz Ujma

Proceedings of the Automated Technology for Verification and Analysis, 2014

2012

jpf-concurrent: An extension of Java PathFinder for java.util.concurrent

Mateusz Ujma, Nastaran Shafiei

CoRR, 2012

Incremental Runtime Verification of Probabilistic Systems.

Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

JPF-AWT: Model checking GUI applications.

Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011