Search results for "Radek Pelánek"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Petr Jarusek, Radek Pelánek	Modeling and Predicting Students Problem Solving Times.	SOFSEM	2012	DBLP DOI BibTeX RDF
1	Petr Jarusek, Radek Pelánek	What Determines Difficulty of Transport Puzzles?	FLAIRS Conference	2011	DBLP BibTeX RDF
1	Radek Pelánek	Difficulty Rating of Sudoku Puzzles by a Computational Model.	FLAIRS Conference	2011	DBLP BibTeX RDF
1	Petr Jarusek, Radek Pelánek	Problem Response Theory and its Application for Tutoring.	EDM	2011	DBLP BibTeX RDF
1	Petr Jarusek, Radek Pelánek	Difficulty Rating of Sokoban Puzzle.	STAIRS	2010	DBLP DOI BibTeX RDF
1	Radek Pelánek, Václav Rosecký	EMMA: Explicit Model Checking Manager (Tool Presentation).	SPIN	2009	DBLP DOI BibTeX RDF
1	Radek Pelánek, Václav Rosecký, Pavel Moravec	Complementarity of Error Detection Techniques.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Radek Pelánek	Properties of state spaces and their applications.	STTT	2008	DBLP DOI BibTeX RDF
1	Radek Pelánek	Fighting State Space Explosion: Review and Evaluation.	FMICS	2008	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Predicate Abstraction with Under-Approximation Refinement.	Logical Methods in Computer Science	2007	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Predicate Abstraction with Under-approximation Refinement	CoRR	2007	DBLP BibTeX RDF
1	Radek Pelánek	Model Classifications and Automated Verification.	FMICS	2007	DBLP DOI BibTeX RDF
1	Radek Pelánek	BEEM: Benchmarks for Explicit Model Checkers.	SPIN	2007	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek	Lower and upper bounds in zone-based abstractions of timed automata.	STTT	2006	DBLP DOI BibTeX RDF	Verification, Abstraction, Timed automata, Extrapolation
1	Willem Visser, Corina S. Pasareanu, Radek Pelánek	Test input generation for java containers using state matching.	ISSTA	2006	DBLP DOI BibTeX RDF
1	Willem Visser, Corina S. Pasareanu, Radek Pelánek	Test input generation for red-black trees using abstraction.	ASE	2005	DBLP DOI BibTeX RDF	testing object oriented programs, model checking, abstraction, coverage, red-black trees
1	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Concrete Model Checking with Abstract Matching and Refinement.	CAV	2005	DBLP DOI BibTeX RDF
1	Radek Pelánek, Jan Strejcek	Deeper Connections Between LTL and Alternating Automata.	CIAA	2005	DBLP DOI BibTeX RDF
1	Pavel Krcál, Radek Pelánek	On Sampled Semantics of Timed Systems.	FSTTCS	2005	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek	Lower and Upper Bounds in Zone Based Abstractions of Timed Automata.	TACAS	2004	DBLP DOI BibTeX RDF
1	Radek Pelánek	Typical Structural Properties of State Spaces.	SPIN	2004	DBLP DOI BibTeX RDF
1	Ivana Cerná, Radek Pelánek	Relating Hierarchy of Temporal Properties to Model Checking.	MFCS	2003	DBLP DOI BibTeX RDF
1	Ivana Cerná, Radek Pelánek	Distributed Explicit Fair Cycle Detection (Set Based Approach).	SPIN	2003	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek	To Store or Not to Store.	CAV	2003	DBLP DOI BibTeX RDF	Timed automata model checking, Static analysis
1	Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek	How to Employ Reverse Search in Distributed Single Source Shortest Paths.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek	Distributed LTL Model Checking Based on Negative Cycle Detection.	FSTTCS	2001	DBLP DOI BibTeX RDF

Publications of "Radek Pelánek" ( http://dblp.L3S.de/Authors/Radek_Pelánek )