prof. RNDr. Luboš Brim, CSc.

2006

• 11th International Workshop on Formal Methods for Industrial Critical Systems

  BRIM Luboš LEUCKER Martin

  Uspořádání workshopu

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

• Cluster-Based LTL Model Checking of Large Systems

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Článek ve sborníku

  Formal Methods for Components and Objects, rok: 2006

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

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

  Článek v odborném periodiku

  Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering, rok: 2006, ročník: 31, vydání: 2

• Distributed Qualitative LTL Model Checking of Markov Decision Processes

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

  Článek ve sborníku

  Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, rok: 2006

• Distributed Verification: Exploring the Power of Raw Computing Power

  BRIM Luboš

  Článek ve sborníku

  5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006), rok: 2006

• DiVinE -- A Tool for Distributed Verification

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ROČKAI Petr ŠIMEČEK Pavel

  Článek ve sborníku

  Computer Aided Verification, rok: 2006

• DiVinE Library

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

  Software

  Rok: 2006

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

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

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2006, ročník: 135, vydání: 2

• On Combining Partial Order Reduction with Fairness Assumptions

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

  Článek ve sborníku

  Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006), rok: 2006

• Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005)

  BRIM Luboš LINDEN Isabelle

  Odborná kniha

  Rok: 2006, počet stran: 159 s.