Radek Pelánek

2009

Radek Pelánek:
Fighting State Space Explosion: Review and Evaluation,
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers, Springer Berlin Heidelberg, 2009, 37–52. [bibtex, url]

2008

Radek Pelánek:
Model Classifications and Automated Verification,
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, Springer Berlin Heidelberg, 2008, 149–163. [bibtex, url]

2007

Radek Pelánek:
BEEM: Benchmarks for Explicit Model Checkers,
Model Checking Software, Springer Berlin Heidelberg, 2007, volume 4595 of Lecture Notes in Computer Science, 263–267. [bibtex, url]

2006

Radek Pelánek and Jan Strejček:
Deeper Connections Between LTL and Alternating Automata,
Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers, Springer Berlin Heidelberg, 2006, 238–249. [bibtex, url]

2005

Radek Pelánek, Tomáš Hanžl, Ivana Černá, and Luboš Brim:
Enhancing Random Walk State Space Exploration,
Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 05), ACM Press, 2005, 98–105. [bibtex]

2004

Radek Pelánek:
Typical Structural Properties of State Spaces,
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings, Springer Berlin Heidelberg, 2004, 5–22. [bibtex, url]

2003

Ivana Černá and Radek Pelánek:
Distributed Explicit Fair Cycle Detection (Set Based Approach),
Model Checking Software. 10th International SPIN Workshop, Springer Verlag, 2003, volume 2648 of Lecture Notes in Computer Science, 49 – 73. [bibtex, pdf]

Radek Pelánek:
LTL Hierarchies and Model Checking,
Proceedings of the Eight ESSLLI Student Session, TU Wien, 2003, 245-254. [bibtex]

Ivana Černá and Radek Pelánek:
Relating Hierarchy of Temporal Properties to Model Checking,
Mathematical Foundations of Computer Science (MFCS), Springer, 2003, volume 2747 of LNCS, 318 - 327. [bibtex]

Ivana Černá and Radek Pelánek:
Relating Hierarchy of Temporal Properties to Model Checking,
2003. [bibtex, pdf]

Gerd Behrmann, Kim G. Larsen, and Radek Pelánek:
To Store or Not To Store,
Computer Aided Verification (CAV 2003), Springer-Verlag, 2003, 433-445. [bibtex]

2002

Ivana Černá and Radek Pelánek:
Distributed Explicit Fair cycle Detection,
2002. [bibtex, pdf]

2001

Luboš Brim, Ivana Černá, Pavel Krčál, and Radek Pelánek:
Distributed LTL Model Checking Based on Negative Cycle Detection,
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings, Springer Verlag, 2001, 96–107. [bibtex]

Luboš Brim, Ivana Černá, Pavel Krčál, and Radek Pelánek:
Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths ,
2001. [bibtex, pdf]

Luboš Brim, Ivana Černá, Pavel Krčál, and Radek Pelánek:
How to Employ Reverse Search in Distributed Single-Source Shortest Paths ,
2001. [bibtex, pdf]

Luboš Brim, Ivana Černá, Pavel Krčál, and Radek Pelánek:
How to Employ Reverse Search in Distributed Single-Source Shortest Paths,
SOFSEM’01, Springer Verlag, 2001, 191–200. [bibtex]