2008

• Discounted Properties of Probabilistic Pushdown Automata

  BRÁZDIL Tomáš BROŽEK Václav HOLEČEK Jan KUČERA Antonín

  Článek ve sborníku

  Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, rok: 2008

• DiVinE Multi-Core -- A Parallel LTL Model-Checker

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  Automated Technology for Verification and Analysis, rok: 2008

• Fighting State Space Explosion: Review and Evaluation

  PELÁNEK Radek

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 2008

• From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation, rok: 2008

• IEEE-1516.2 compliant data encoding for CERTI

  GOTTHARD Petr

  Software

  Rok: 2008

• Improved Distributed Algorithms for SCC Decomposition

  BARNAT Jiří CHALOUPKA Jakub VAN DE POL Jaco

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2008, ročník: 2008, vydání: 198(1)

• Model Classifications and Automated Verification

  PELÁNEK Radek

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 2008

• Model Checking of Control-User Component-Based Parametrised Systems

  MORAVCOVÁ VAŘEKOVÁ Pavlína ČERNÁ Ivana

  Článek ve sborníku

  Lecture Notes in Computer Science 5282, rok: 2008

• New infinite families of almost-planar crossing-critical graphs

  HLINĚNÝ Petr

  Článek v odborném periodiku

  Electronic Journal of Combinatorics, rok: 2008, ročník: 15, vydání: 1

• On the Controller Synthesis for Finite-State Markov Decision Processes

  KUČERA Antonín STRAŽOVSKÝ Oldřich

  Článek v odborném periodiku

  Fundamenta Informaticae, rok: 2008, ročník: 82, vydání: 1-2