Mateusz Ujma : Publications
|
[1] |
INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker‚ Hongyang Qu and Mateusz Ujma No. RR−12−05. DCS. 2012. |
|
[2] |
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. |
|
[3] |
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. |