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

  Workshop

  Year: 2005, type: Workshop

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

  BRIM Luboš LINDEN Isabelle

  Monograph

  Year: 2005, number of pages: 105 s.

• Under-Approximation Generation using Partial Order Reduction

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

  Monograph

  Year: 2005, number of pages: 21 s.

2004

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

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

  Article in Proceedings

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

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

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

  Monograph

  Year: 2004, number of pages: 22 s.

• Distributed Memory LTL Model Checking Based on Breadth First Search

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Monograph

  Year: 2004, number of pages: 57 s.

• Distributed Negative Cycle Detection Algorithms

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

  Article in Proceedings

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

• Distributed Partial Order Reduction of State Spaces

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

  Article in Proceedings

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

• From Distributed Memory Cycle Detection to Parallel LTL Model Checking

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Article in Proceedings

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

• Parallel Model-Checking

  BRIM Luboš

  Article in Periodical

  ERCIM News, year: 2004, volume: 58, edition: June