prof. RNDr. Luboš Brim, CSc.

2014

• Model Checking C++ with Exceptions

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Článek v odborném periodiku

  Electronic Communications of the EASST, rok: 2014, ročník: 70, vydání: Listopad, DOI

• Robustness Analysis of Stochastic Biochemical Systems

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

  Článek v odborném periodiku

  Plos One, rok: 2014, ročník: 9, vydání: 4, DOI

• STL*: Extending signal temporal logic with signal-value freezing operator

  BRIM Luboš DLUHOŠ Petr ŠAFRÁNEK David VEJPUSTEK Tomáš

  Článek v odborném periodiku

  Information and computation, rok: 2014, ročník: 236, vydání: January, DOI

2013

• DIVINE 3.0

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

  Software

  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

• Improved State Space Reductions for LTL Model Checking of C & C++ Programs

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Článek ve sborníku

  NASA Formal Methods 2013, rok: 2013

• LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model

  BARNAT Jiří BRIM Luboš HAVEL Vojtěch

  Článek ve sborníku

  Proceedings of Application of Concurrency to System Design, 2013, rok: 2013

• Model Checking of Biological Systems

  BRIM Luboš ČEŠKA Milan ŠAFRÁNEK David

  Článek ve sborníku

  Formal Methods for Dynamical Systems, rok: 2013

• Qualitative modelling and analysis of Photosystem II

  BRIM Luboš DĚD Vilém ŠAFRÁNEK David

  Článek ve sborníku

  CEUR Workshop Proceedings, rok: 2013