prof. RNDr. Luboš Brim, CSc.

2005

• MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems

  BRIM Luboš LINDEN Isabelle

  Uspořádání workshopu

  Rok: 2005, druh: Uspořádání workshopu

• Proceedings of the 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems

  BRIM Luboš LINDEN Isabelle

  Odborná kniha

  Rok: 2005, počet stran: 105 s.

• Under-Approximation Generation using Partial Order Reduction

  BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří

  Odborná kniha

  Rok: 2005, počet stran: 21 s.

2004

• Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.

  BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří

  Článek ve sborníku

  Formal Methods in Computer-Aided Design (FMCAD), rok: 2004

• Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.

  BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří

  Odborná kniha

  Rok: 2004, počet stran: 22 s.

• Distributed Memory LTL Model Checking Based on Breadth First Search

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Odborná kniha

  Rok: 2004, počet stran: 57 s.

• Distributed Negative Cycle Detection Algorithms

  BRIM Luboš ČERNÁ Ivana HEJTMÁNEK Lukáš

  Článek ve sborníku

  Parallel Computing: Software Technology, Algorithms, Architectures & Applications, rok: 2004

• Distributed Partial Order Reduction of State Spaces

  BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří

  Článek ve sborníku

  Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004), rok: 2004

• From Distributed Memory Cycle Detection to Parallel LTL Model Checking

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Článek ve sborníku

  Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), rok: 2004

• Parallel Model-Checking

  BRIM Luboš

  Článek v odborném periodiku

  ERCIM News, rok: 2004, ročník: 58, vydání: June