prof. RNDr. Luboš Brim, CSc.

2012

• Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs

  BARNAT Jiří BERAN Jan BRIM Luboš KRATOCHVÍLA Tomáš ROČKAI Petr

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems (FMICS 2012), rok: 2012

• Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  NASA Formal Methods, rok: 2012

• Using strategy improvement to stay alive

  BRIM Luboš CHALOUPKA Jakub

  Článek v odborném periodiku

  International Journal of Foundations of Computer Science, rok: 2012, ročník: 23, vydání: 3, DOI

2011

• Computing Optimal Cycle Mean in Parallel on CUDA

  BARNAT Jiří BAUCH Petr BRIM Luboš ČEŠKA Milan

  Článek v odborném periodiku

  Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: 72, vydání: 2011, DOI

• Computing Strongly Connected Components in Parallel on CUDA

  BARNAT Jiří BAUCH Petr BRIM Luboš ČEŠKA Milan

  Článek ve sborníku

  Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, rok: 2011

• E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes

  ŠAFRÁNEK David ČERVENÝ Jan KLEMENT Matej POSPÍŠILOVÁ Jana BRIM Luboš LAZÁR Dušan NEDBAL Ladislav

  Článek v odborném periodiku

  BioSystems, rok: 2011, ročník: 103, vydání: 2, DOI

• Faster algorithms for mean-payoff games

  BRIM Luboš CHALOUPKA Jakub DOYEN Laurent GENTILINI Raffaella RASKIN Jean-François

  Článek v odborném periodiku

  Formal Methods in System Design, rok: 2011, ročník: 38, vydání: 2, DOI

• Flash memory efficient LTL model checking

  EDELKAMP Stefan SULEWSKI Damian BARNAT Jiří BRIM Luboš ŠIMEČEK Pavel

  Článek v odborném periodiku

  Science of Computer Programming, rok: 2011, ročník: 76, vydání: 2, DOI

• Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata

  BENEŠ Nikola BRIM Luboš BÜHNOVÁ Barbora ČERNÁ Ivana SOCHOR Jiří MORAVCOVÁ VAŘEKOVÁ Pavlína

  Článek v odborném periodiku

  Science of Computer Programming, rok: 2011, ročník: 76, vydání: 10, DOI

• Platform Dependent Verification: On Engineering Verification Tools for 21st Century

  BRIM Luboš BARNAT Jiří

  Článek v odborném periodiku

  Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: 72, vydání: 2011, DOI