prof. RNDr. Luboš Brim, CSc.

2006

• Účast ČR ve výzkumném sdružení ERCIM

  BRIM Luboš

  Year: 2006, type:

2005

• Assumption-based distribution of CTL model checking

  BRIM Luboš ŽIDKOVÁ Jitka YORAV Karen

  Article in Periodical

  International Journal on Software Tools for Technology Transfer (STTT), year: 2005, volume: 7, edition: 1

• Component-Interaction Automata as a Verification-Oriented Component-Based System Specification

  BRIM Luboš ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Article in Proceedings

  Proceedings of SAVCBS 2005, year: 2005

• Distributed Analysis of Large Systems

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Article in Proceedings

  Formal Methods for Components and Objects, year: 2005

• Distributed Partial Order Reduction of State Spaces

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

  Article in Periodical

  Electronic Notes on Theoretical Computer Science, year: 2005, volume: 128, edition: 3

• DIVINE - The Distributed Verification Environment

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana ŠIMEČEK Pavel

  Article in Proceedings

  In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), year: 2005

• Enhancing Random Walk State Space Exploration

  PELÁNEK Radek HANŽL Tomáš ČERNÁ Ivana BRIM Luboš

  Article in Proceedings

  Formal Methods for Industrial Critical Systems, year: 2005

• From Distributed Memory Cycle Detection to Parallel LTL Model Checking

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Article in Periodical

  Electronical Notes in Theoretical Computer Science, year: 2005, volume: 2005, edition: 133

• How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors

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

  Article in Proceedings

  Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005), year: 2005

• Introductory paper: Parallel and Distributed Model Checking

  BRIM Luboš GRUMBERG Orna

  Article in Periodical

  International Journal on Software Tools for Technology Transfer (STTT), year: 2005, volume: 7, edition: 1