Mateusz Ujma : Publications
-
[1]
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
-
[2]
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
-
[3]
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
-
[4]
JPF−AWT: Model Checking GUI Applications
Peter Mehlitz‚ Oksana Tkachuk and Mateusz Ujma
In Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering. 2011.
Details about JPF−AWT: Model Checking GUI Applications | BibTeX data for JPF−AWT: Model Checking GUI Applications