prof. RNDr. Luboš Brim, CSc.

2006

• Cluster-Based LTL Model Checking of Large Systems

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Article in Proceedings

  Formal Methods for Components and Objects, year: 2006

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

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

  Article in Periodical

  Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering, year: 2006, volume: 31, edition: 2

• Distributed Qualitative LTL Model Checking of Markov Decision Processes

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

  Article in Proceedings

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

• Distributed Verification: Exploring the Power of Raw Computing Power

  BRIM Luboš

  Article in Proceedings

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

• DiVinE -- A Tool for Distributed Verification

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

  Article in Proceedings

  Computer Aided Verification, year: 2006

• DiVinE Library

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

  Year: 2006

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

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

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 2006, volume: 135, edition: 2

• On Combining Partial Order Reduction with Fairness Assumptions

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

  Article in Proceedings

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

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

  BRIM Luboš LINDEN Isabelle

  Monograph

  Year: 2006, number of pages: 159 s.

• Special Issue on Parallel and Distributed Verification - Foreword

  BRIM Luboš LEUCKER Martin

  Article in Periodical

  Formal Methods in System Design, year: 2006, volume: 29, edition: 2