prof. RNDr. Luboš Brim, CSc.

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

• Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

  BRIM Luboš FABRIKOVÁ Jana DRAŽAN Sven ŠAFRÁNEK David

  Článek v odborném periodiku

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