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

  Article in Proceedings

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

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

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Article in Proceedings

  NASA Formal Methods, year: 2012

• Using strategy improvement to stay alive

  BRIM Luboš CHALOUPKA Jakub

  Article in Periodical

  International Journal of Foundations of Computer Science, year: 2012, volume: 23, edition: 3, DOI

2011

• Computing Optimal Cycle Mean in Parallel on CUDA

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

  Article in Periodical

  Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: 72, edition: 2011, DOI

• Computing Strongly Connected Components in Parallel on CUDA

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

  Article in Proceedings

  Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, year: 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

  Article in Periodical

  BioSystems, year: 2011, volume: 103, edition: 2, DOI

• Faster algorithms for mean-payoff games

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

  Article in Periodical

  Formal Methods in System Design, year: 2011, volume: 38, edition: 2, DOI

• Flash memory efficient LTL model checking

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

  Article in Periodical

  Science of Computer Programming, year: 2011, volume: 76, edition: 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

  Article in Periodical

  Science of Computer Programming, year: 2011, volume: 76, edition: 10, DOI

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

  BRIM Luboš BARNAT Jiří

  Article in Periodical

  Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: 72, edition: 2011, DOI