Search results for "Pavel Parizek"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Pavel Parizek, Ondrej Lhoták	Identifying future field accesses in exhaustive state space traversal.	ASE	2011	DBLP DOI BibTeX RDF
1	Pavel Parizek, Ondrej Lhoták	Randomized Backtracking in State Space Traversal.	SPIN	2011	DBLP DOI BibTeX RDF
1	Pavel Parizek, Frantisek Plasil	Assume-guarantee verification of software components in SOFA 2 framework.	IET Software	2010	DBLP DOI BibTeX RDF
1	Pavel Parizek, Tomas Kalibera	Efficient Detection of Errors in Java Components Using Random Environment and Restarts.	TACAS	2010	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek	Challenge benchmarks for verification of real-time programs.	PLPV	2010	DBLP DOI BibTeX RDF	java, verification, real-time
1	Pavel Parizek, Nodir Yuldashev	Extraction of component-environment interaction model using state space traversal.	SAC	2010	DBLP DOI BibTeX RDF	software components, behavior protocols, Java PathFinder
1	Tomas Kalibera, Pavel Parizek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
1	Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek	Challenge benchmarks for verification of real-time programs: (abstract only).	SIGPLAN Notices	2009	DBLP DOI BibTeX RDF
1	Pavel Parizek, Jirí Adámek, Tomas Kalibera	Automated Construction of Reasonable Environment for Java Components.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Jan Kofron, Pavel Parizek, Ondrej Sery	On Teaching Formal Methods: Behavior Models and Code Analysis.	TFM	2009	DBLP DOI BibTeX RDF
1	Pavel Parizek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
1	Pavel Parizek, Frantisek Plasil	Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.	TOOLS	2008	DBLP DOI BibTeX RDF	modeling of environment behavior, autonomous activities, Assume-guarantee reasoning, behavior protocols, callbacks
1	Pavel Parizek, Jirí Adámek	Checking Session-Oriented Interactions between Web Services.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
1	Pavel Parizek, Frantisek Plasil	Specification and Generation of Environment for Model Checking of Software Components.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Pavel Parizek, Frantisek Plasil	Modeling Environment for Component Model Checking from Hierarchical Architecture.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parizek, Frantisek Plasil, Tomás Poch, Ondrej Sery, Petr Tuma	CoCoME in SOFA.	CoCoME	2007	DBLP DOI BibTeX RDF
1	Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parizek, Frantisek Plasil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma	CoCoME in Fractal.	CoCoME	2007	DBLP DOI BibTeX RDF
1	Pavel Parizek, Frantisek Plasil	Partial Verification of Software Components: Heuristics for Environment Construction.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF	concurrency errors, model checking, static analysis, software components, Java PathFinder
1	Pavel Parizek, Frantisek Plasil, Jan Kofron	Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.	SEW	2006	DBLP DOI BibTeX RDF	cooperation of model checkers, model checking, software components, behavior protocols

Publications of "Pavel Parizek" ( http://dblp.L3S.de/Authors/Pavel_Parizek )