2015

• Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties

  SVOREŇOVÁ Mária ČERNÁ Ivana BELTA Calin

  Článek v odborném periodiku

  IEEE Transactions on Automatic Control, rok: 2015, ročník: 60, vydání: 6, DOI

• Temporal Logic Motion Planning using POMDPs with Parity Objectives

  SVOREŇOVÁ Mária CHMELÍK Martin LEAHY Kevin ENISER Hasan Ferit CHATTERJEE Krishnendu ČERNÁ Ivana BELTA Calin

  Článek ve sborníku

  Proceedings of ACM international conference on Hybrid Systems: Computation and Control, rok: 2015

2014

• Model Checking Parallel Programs with Inputs

  BARNAT Jiří BAUCH Petr HAVEL Vojtěch

  Článek ve sborníku

  Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), rok: 2014

• Temporal Verification of Simulink Diagrams

  BARNAT Jiří BAUCH Petr HAVEL Vojtěch

  Článek ve sborníku

  Proceedings of HASE 2014, rok: 2014

• Towards Verification of Ensemble Based Component Systems

  BARNAT Jiří BENEŠ Nikola BUREŠ Tomáš ČERNÁ Ivana KEZNIKL Tomáš PLÁŠIL František

  Článek ve sborníku

  Formal Aspects of Component Software, rok: 2014

2013

• DCCL: Verification of Component Systems with Ensembles

  BARNAT Jiří BENEŠ Nikola ČERNÁ Ivana PETRUCHOVÁ Zuzana

  Článek ve sborníku

  CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, rok: 2013

• Distributed LTL Model Checking with Hash Compaction

  BARNAT Jiří HAVLÍČEK Jan ROČKAI Petr

  Článek ve sborníku

  Electronic Notes in Theoretical Computer Science, Volume 296, rok: 2013

• DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs

  BARNAT Jiří BRIM Luboš HAVEL Vojtěch HAVLÍČEK Jan KRIHO Jan LENČO Milan ROČKAI Petr ŠTILL Vladimír WEISER Jiří

  Článek ve sborníku

  Computer Aided Verification 2013, rok: 2013

• Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

  BRIM Luboš ČEŠKA Milan DRAŽAN Sven ŠAFRÁNEK David

  Článek ve sborníku

  25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, rok: 2013

• Formal analysis of piecewise affine systems through formula-guided refinement

  YORDANOV Boyan TŮMOVÁ Jana ČERNÁ Ivana BARNAT Jiří BELTA Calin

  Článek v odborném periodiku

  Automatica, rok: 2013, ročník: 49, vydání: 1, DOI