prof. RNDr. Luboš Brim, CSc.

2006

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

  BRIM Luboš

  Projekty výzkumu a vývoje

  Rok: 2006, druh: Projekty výzkumu a vývoje

2005

• Assumption-based distribution of CTL model checking

  BRIM Luboš ŽIDKOVÁ Jitka YORAV Karen

  Článek v odborném periodiku

  International Journal on Software Tools for Technology Transfer (STTT), rok: 2005, ročník: 7, vydání: 1

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

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

  Článek ve sborníku

  Proceedings of SAVCBS 2005, rok: 2005

• Distributed Analysis of Large Systems

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Článek ve sborníku

  Formal Methods for Components and Objects, rok: 2005

• Distributed Partial Order Reduction of State Spaces

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

  Článek v odborném periodiku

  Electronic Notes on Theoretical Computer Science, rok: 2005, ročník: 128, vydání: 3

• DIVINE - The Distributed Verification Environment

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

  Článek ve sborníku

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

• Enhancing Random Walk State Space Exploration

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

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 2005

• From Distributed Memory Cycle Detection to Parallel LTL Model Checking

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Článek v odborném periodiku

  Electronical Notes in Theoretical Computer Science, rok: 2005, ročník: 2005, vydání: 133

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

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

  Článek ve sborníku

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

• Introductory paper: Parallel and Distributed Model Checking

  BRIM Luboš GRUMBERG Orna

  Článek v odborném periodiku

  International Journal on Software Tools for Technology Transfer (STTT), rok: 2005, ročník: 7, vydání: 1