Mateusz Ujma
Mateusz Ujma
DPhil Student, Oxford University
Geverifieerd e-mailadres voor cs.ox.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
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
1192014
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
862015
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
372014
Incremental runtime verification of probabilistic systems
V Forejt, M Kwiatkowska, D Parker, H Qu, M Ujma
International Conference on Runtime Verification, 314-319, 2012
312012
Jpf-awt: Model checking gui applications
P Mehlitz, O Tkachuk, M Ujma
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
312011
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
292017
jpf-concurrent: an extension of Java PathFinder for java. util. concurrent
M Ujma, N Shafiei
JPF Workshop, Lawrence, USA, 2012
112012
On incremental quantitative verification for probabilistic systems
M Kwiatkowska, D Parker, H Qu, M Ujma
72011
On verification and controller synthesis for probabilistic systems at runtime
M Ujma
University of Oxford, 2015
62015
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–11