@techreport{RR-14-05,
  title = "Permissive Controller Synthesis for Probabilistic Systems",
  author = "Klaus Dräger and Vojtĕch Forejt and Marta Kwiatkowska and David Parker and Mateusz Ujma",
  year = "2014",
  institution = "DCS",
  number = "RR-14-01",
  pages = "29",
}
@techreport{RR-12-05,
  title = "INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS",
  author = "Vojtech Forejt and Marta Kwiatkowska and David Parker and Hongyang Qu and Mateusz Ujma",
  year = "2012",
  institution = "DCS",
  number = "RR-12-05",
  pages = "15",
}
@inproceedings{5542,
  title = "jpf-concurrent: an extension of Java PathFinder for java.util.concurrent",
  author = "Mateusz Ujma and Nastaran Shafiei",
  year = "2011",
  booktitle = "To Appear in the Proceedings of Java Pathfinder Workshop 2011, Lawrence Kansas",
}
@inproceedings{jpf_awt,
  title = "JPF-AWT: Model Checking GUI Applications",
  author = "Peter Mehlitz and Oksana Tkachuk and Mateusz Ujma",
  year = "2011",
  booktitle = "Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering",
}