Mateusz Ujma
Biography
I'm a DPhil student working on VERIWARE project. VERIWARE is a five year research project at the Department of Computer Science, University of Oxford, funded by the European Research Council Advanced Investigators Grant and led by Professor Marta Kwiatkowska.Before joining Oxford I did my Masters Degree in Computer Science at Cracow University of Technology. During that time I have also been an intern at NASA Ames Research Center where I worked on Java PathFinder model checker under supervision of Peter Mehlitz
Selected Publications
-
Permissive Controller Synthesis for Probabilistic Systems
Klaus Dräger‚ Vojtĕch Forejt‚ Marta Kwiatkowska‚ David Parker and Mateusz Ujma
No. RR−14−01. DCS. 2014.
Details about Permissive Controller Synthesis for Probabilistic Systems | BibTeX data for Permissive Controller Synthesis for Probabilistic Systems | Download (pdf) of Permissive Controller Synthesis for Probabilistic Systems
-
INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker‚ Hongyang Qu and Mateusz Ujma
No. RR−12−05. DCS. 2012.
Details about INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS | BibTeX data for INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS | Download (pdf) of INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
-
jpf−concurrent: an extension of Java PathFinder for java.util.concurrent
Mateusz Ujma and Nastaran Shafiei
In To Appear in the Proceedings of Java Pathfinder Workshop 2011‚ Lawrence Kansas. 2011.
Details about jpf−concurrent: an extension of Java PathFinder for java.util.concurrent | BibTeX data for jpf−concurrent: an extension of Java PathFinder for java.util.concurrent