Mateusz Ujma
Mateusz Ujma
DPhil Student, Oxford University
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
Verification of Markov decision processes using learning algorithms
T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ...
International Symposium on Automated Technology for Verification and …, 2014
1522014
Software engineering meets control theory
A Filieri, M Maggio, K Angelopoulos, N d'Ippolito, I Gerostathopoulos, ...
2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015
942015
Permissive controller synthesis for probabilistic systems
K Dräger, V Forejt, M Kwiatkowska, D Parker, M Ujma
International Conference on Tools and Algorithms for the Construction and …, 2014
392014
Incremental runtime verification of probabilistic systems
V Forejt, M Kwiatkowska, D Parker, H Qu, M Ujma
International Conference on Runtime Verification, 314-319, 2012
372012
Control strategies for self-adaptive software systems
A Filieri, M Maggio, K Angelopoulos, N D’ippolito, I Gerostathopoulos, ...
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 1-31, 2017
342017
Jpf-awt: Model checking gui applications
P Mehlitz, O Tkachuk, M Ujma
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
342011
jpf-concurrent: an extension of Java PathFinder for java. util. concurrent
M Ujma, N Shafiei
JPF Workshop, Lawrence, USA, 2012
112012
On verification and controller synthesis for probabilistic systems at runtime
M Ujma
University of Oxford, 2015
102015
On incremental quantitative verification for probabilistic systems
M Kwiatkowska, D Parker, H Qu, M Ujma
72011
Permissive controller synthesis for probabilistic systems
M Ujma, D Parker, M Kwiatkowska, V Forejt, K Drager
Logical Methods in Computer Science 11, 2015
32015
INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
H Qu, M Ujma
2012
The system can't perform the operation now. Try again later.
Articles 1–11