2001

• Distributed LTL Model-Checking in SPIN

  BARNAT Jiří BRIM Luboš STŘÍBRNÁ Jitka

  Článek ve sborníku

  M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop, rok: 2001

• How to Employ Reverse Search in Distributed Single-Source Shortest Paths

  BRIM Luboš ČERNÁ Ivana KRČÁL Pavel PELÁNEK Radek

  Článek ve sborníku

  SOFSEM 2001, rok: 2001

• Characterizing Non-Zenoness on Real-Time Processes

  STŘÍBRNÁ Jitka LEE Insup

  Odborná kniha

  Rok: 2001, počet stran: 10 s.

• Model-Checking LTL with Regular Valuations for Pushdown Systems

  ESPARZA Javier KUČERA Antonín SCHWOON Stefan

  Článek ve sborníku

  Proceedings of 4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001), rok: 2001

• Randomization Helps in LTL Model Checking

  BRIM Luboš ČERNÁ Ivana NEČESAL Martin

  Článek ve sborníku

  Process Algebra and Probabilistic Methods. Proceedings of PAPM-PROBMIV 2001, rok: 2001

2000

• Constrained Rewrite Transition Systems

  STREJČEK Jan

  Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

  Rok: 2000, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

• Distributed LTL Model-Checking in SPIN

  BARNAT Jiří BRIM Luboš STŘÍBRNÁ Jitka

  Odborná kniha

  Rok: 2000, počet stran: 16 s.

• JOMP Application Program Interface

  BULL Mark OBDRŽÁLEK Jan

  Odborná kniha

  Rok: 2000, vydání: Vyd. Version 0.1 (draft), počet stran: 32 s.

• On Simulation-Checking with Sequential Systems

  KUČERA Antonín

  Článek ve sborníku

  Proceedings of 6th Asian Computing Science Conference (ASIAN 2000), rok: 2000

• OpenMP for Java

  OBDRŽÁLEK Jan

  Odborná kniha

  Rok: 2000, počet stran: 25 s.