Mateusz Ujma

13 papers A* 1A 1B 2Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Learning Algorithms for Verification of Markov Decision Processes.
TheoretiCS
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2024 J jnl
Learning Algorithms for Verification of Markov Decision Processes.
CoRR
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2017 J jnl
Control Strategies for Self-Adaptive Software Systems.
ACM Trans. Auton. Adapt. Syst.
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
2015 — —
On verification and controller synthesis for probabilistic systems at runtime.
Mateusz Ujma
2015 J jnl
Permissive Controller Synthesis for Probabilistic Systems.
Log. Methods Comput. Sci.
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2015 — conf
Software Engineering Meets Control Theory.
SEAMS@ICSE
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
2014 — ch.
On Incremental Quantitative Verification for Probabilistic Systems.
HOWARD-60
Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
2014 A conf
Permissive Controller Synthesis for Probabilistic Systems.
TACAS
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2014 B conf
Verification of Markov Decision Processes Using Learning Algorithms.
ATVA
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2014 J jnl
Verification of Markov Decision Processes using Learning Algorithms.
CoRR
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2012 B conf
Incremental Runtime Verification of Probabilistic Systems.
RV
Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
2012 J jnl
jpf-concurrent: An extension of Java PathFinder for java.util.concurrent
CoRR
Mateusz Ujma, Nastaran Shafiei
2011 A* conf
JPF-AWT: Model checking GUI applications.
ASE
Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma