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

• GPU-accelerated DXT and JPEG compression schemes for low-latency network transmissions of HD, 2K, and 4K video

  HOLUB Petr ŠROM Martin PULEC Martin MATELA Jiří JIRMAN Martin

  Článek v odborném periodiku

  Future Generation Computer Systems, rok: 2013, ročník: 29, vydání: 8, DOI

• Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics

  CHEN Yushan TŮMOVÁ Jana ULUSOY Alphan BELTA Calin

  Článek v odborném periodiku

  International Journal of Robotics Research, rok: 2013, ročník: 32, vydání: 5, DOI

2012

• Almost linear Büchi automata

  BABIAK Tomáš STREJČEK Jan ŘEHÁK Vojtěch

  Článek v odborném periodiku

  Mathematical Structures in Computer Science, rok: 2012, ročník: 22, vydání: 2, DOI

• Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints

  SVOREŇOVÁ Mária TŮMOVÁ Jana BARNAT Jiří ČERNÁ Ivana

  Článek ve sborníku

  Proceedings of the 51st IEEE Conference on Decision and Control, rok: 2012

• Automatically Optimized GPU Acceleration of Element Subroutines in Finite Element Method

  FILIPOVIČ Jiří FOUSEK Jan LAKOMÝ Bedřich MADZIN Matúš

  Článek ve sborníku

  Symposium on Application Accelerators in High Performance Computing, rok: 2012

• Designing Fast LTL Model Checking Algorithms for Many-core GPUs

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

  Článek v odborném periodiku

  Journal of Parallel and Distributed Computing, rok: 2012, ročník: 72, vydání: 9, DOI

• Factorization for Component-Interaction Automata

  BENEŠ Nikola ČERNÁ Ivana ŠTEFAŇÁK Filip

  Článek ve sborníku

  SOFSEM 2012: Theory and Practice of Computer Science, rok: 2012

• GPU-specific reformulations of image compression algorithms

  MATELA Jiří HOLUB Petr JIRMAN Martin ŠROM Martin

  Článek ve sborníku

  Proceedings of Applications of Digital Image Processing XXXV, rok: 2012

• Checking Sanity of Software Requirements

  BARNAT Jiří BAUCH Petr BRIM Luboš

  Článek ve sborníku

  Proceedings of the 10th International Conference on Software Engineering and Formal Methods, rok: 2012