Radek Pelánek: Publications

Bibtex file with references.

Homepage

Journal

  1. Properties of State Spaces and Their Applications
    Radek Pelanek
    International Journal on Software Tools for Technology Transfer, 2008.

  2. Predicate Abstraction with Under-Approximation Refinement
    C. Pasareanu and R. Pelanek and W. Visser
    Logical Methods in Computer Science, 2007

  3. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
    Gerd Behrmann, Patricia Bouyer, Kim G. Larsen, and Radek Pelanek
    International Journal on Software Tools for Technology Transfer, 2005

Conference

  1. Adaptive Practice of Facts in Domains with Varied Prior Knowledge
    J. Papoušek, R. Pelánek, V. Stanislav.
    Educational Data Mining (EDM), 2014.

  2. Application of Time Decay Functions and the Elo System in Student Modeling
    R. Pelánek.
    Educational Data Mining (EDM), 2014.

  3. Modeling Students' Learning and Variability of Performance in Problem Solving
    P. Jarušek, M. Klusáček, R. Pelánek.
    Educational Data Mining (EDM), 2013.

  4. Automatic Detection of Concepts from Problem Solving Times
    P. Boroš, J. Nižnan, R. Pelánek, J. Řihák.
    Artificial Intelligence in Education (AIED), 2013.

  5. Analysis of a Simple Model of Problem Solving Times
    P. Jarušek, R. Pelánek.
    Intelligent Tutoring Systems (ITS), 2012.

  6. Modeling and Predicting Students Problem Solving Times
    P. Jarušek, R. Pelánek.
    Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), 2012.

  7. Difficulty rating of Sudoku Puzzles by a Computational Model
    R. Pelánek.
    Florida Artificial Intelligence Research Society Conference (FLAIRS), 2011.

  8. What Determines Difficulty of Transport Puzzles?
    P. Jarušek, R. Pelánek
    Florida Artificial Intelligence Research Society Conference (FLAIRS), 2011.

  9. EMMA: Explicit Model Checking Manager (Tool Presentation)
    R. Pelanek, V. Rosecky
    SPIN 2009

  10. Fighting State Space Explosion: Review and Evaluation
    R. Pelanek
    FMICS 2008

  11. BEEM: Benchmarks for Explicit Model Checkers
    R. Pelanek
    SPIN Workshop 2007

  12. Model Classifications and Automated Verification
    R. Pelanek
    FMICS 2007

  13. Test input generation for java containers using state matching
    C. Pasareanu and R. Pelanek and W. Visser
    International Symposium on Software Testing and Analysis (ISSTA 2006)

  14. On Sampled Semantics of Timed Systems
    P. Krcal and R. Pelanek
    FSTTCS 2005

  15. Concrete Model Checking with Abstract Matching and Refinement
    C. Pasareanu and R. Pelanek and W. Visser
    Computer Aided Verification (CAV 2005)

  16. Test Input Generation for Red Black Trees using Abstraction
    C. Pasareanu and R. Pelanek and W. Visser
    Automated Software Engineering (ASE 2005)

  17. Enhancing Random Walk State Space Exploration
    R. Pelanek and T. Hanzl and I. Cerna and L. Brim
    FMICS 2005

  18. Deeper Connections between LTL and Alternating Automata
    R. Pelanek and J. Strejcek
    (CIAA 2005)

  19. Typical Structural Properties of State Spaces
    R. Pelanek
    SPIN Workshop 2004

  20. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
    Gerd Behrmann, Patricia Bouyer, Kim G. Larsen, and Radek Pelanek
    Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004)

  21. Distributed Explicit Fair Cycle Detection
    I. Cerna and R. Pelanek
    SPIN Workshop 2003

  22. To Store or Not To Store
    G. Behrmann, K. G. Larsen, and R. Pelanek
    Computer Aided Verification (CAV 2003)

  23. Relating Hierarchy of Temporal Properties to Model Checking
    I. Cerna and R. Pelanek
    Mathematical Foundations of Computer Science (MFCS 2003)

  24. How to Employ Reverse Search in Distributed Single-Source Shortest Paths
    L. Brim, I. Cerna, P. Krcal, and R. Pelanek
    SOFSEM 2001

  25. Distributed LTL Model-Checking Based on Negative Cycle Detection
    L. Brim, I. Cerna, P. Krcal, and R. Pelanek
    Foundations of Software Technology and Theoretical Computer Science (FST-TCS 2001)

Workshops, Short Papers, Posters, Other

  1. A Brief Overview of Metrics for Evaluation of Student Models
    R. Pelánek.
    BKT20y Workshop - Approaching Twenty Years of Knowledge Tracing, 2014.

  2. Using Problem Solving Times and Expert Opinion to Detect Skills
    J. Nižnan, R. Pelánek, J. Řihák.
    Educational Data Mining (EDM), 2014

  3. Difficulty Rating of Sudoku Puzzles: An Overview and Evaluation
    R. Pelánek.
    arXiv:1403.7373, 2014

  4. A Web-Based Problem Solving Tool for Introductory Computer Science
    P. Jarušek, R. Pelánek.
    Innovation and technology in computer science education, 2012.

  5. Problem Response Theory and its Application for Tutoring
    P. Jarušek, R. Pelánek.
    Educational Data Mining, 2011.

  6. Difficulty Rating of Sokoban Puzzle
    P. Jarušek, R. Pelánek
    European Starting AI Researcher Symposium (STAIRS 2010).

  7. Analýza obtížnosti logických úloh na základě modelů lidského chování
    P. Jarušek, R. Pelánek.
    Kognice a umělý život, 2010.

  8. Complementarity of Error Detection Techniques
    R. Pelanek, V. Rosecky, P. Moravec
    Parallel and Distributed Methods in verifiCation (PDMC), 2008

  9. Evaluation of On-the-fly State Space Reductions
    R. Pelanek
    Mathematical and Engineering Methods in Computer Science (MEMICS'05)

  10. LTL Hierarchies and Model Checking
    R. Pelanek
    ESSLLI 2003 Student Session, 2003

Thesis

  1. Reduction and Abstraction Techniques for Model Checking
    R. Pelanek
    Faculty of Informatics, Masaryk University, Brno, PhD Thesis, 2006
  2. LTL Model Checking
    R. Pelanek
    Faculty of Informatics, Masaryk University, Brno, Master's Thesis, 2003

Technical Report

To download technical reports go to this page.
  1. Human Problem Solving: Sudoku Case Study
    R. Pelánek.
    Technical report FIMU-RS-2011-01, 2011.

  2. Human Problem Solving: Sokoban Case Study
    P. Jarušek, R. Pelánek.
    Technical report FIMU-RS-2010-01.

  3. Verification Manager: Automating the Verification Process
    R. Pelanek, V. Rosecky
    Technical report FIMU-RS-2009-02, 17 pages

  4. Evaluation of State Caching and State Compression Techniques
    R. Pelanek, V. Rosecky, J. Sedenka
    Technical report FIMU-RS-2008-02, 19 pages

  5. Estimating State Space Parameters
    R. Pelanek, P. Simecek
    Technical report FIMU-RS-2008-01, 21 pages

  6. Web Portal for Benchmarking Explicit Model Checkers
    R. Pelanek
    Technical report FIMU-RS-2006-03, 39 pages

  7. Reachability Relations and Sampled Semantics of Timed Systems
    P. Krcal and R. Pelanek
    Technical report FIMU-RS-2005-09, 31 pages

  8. On-the-fly State Space Reductions
    R. Pelanek
    Technical report FIMU-RS-2005-03, 22 pages

  9. Deeper Connections between LTL and Alternating Automata
    R. Pelanek and J. Strejcek
    Technical report FIMU-RS-2004-08, 26 pages

  10. Relating Hierarchy of Linear Temporal Properties to Model Checking
    I. Cerna and R. Pelanek
    Technical report FIMU-RS-2003-03, full version of MFCS 03 paper, 18 pages , 2003

  11. Distributed Explicit Fair Cycle Detection: Set Based Approach
    I. Cerna and R. Pelanek
    Technical report FIMU-RS-2002-09, 24 pages, full version of the SPIN'03 paper, 2002

  12. How to Employ Reverse Search in Distributed Single Source Shortest Paths
    L. Brim, I. Cerna, P. Krcal, and R. Pelanek
    Technical report FIMU-RS-2001-09, 22 pages, full version of the SOFSEM 01 paper, 2001

  13. Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths
    L. Brim, I. Cerna, P. Krcal, and R. Pelanek
    Technical report FIMU-RS-2001-01, 19 pages, full version of the FST TCS 01 paper, 2001