Skip to content
cs-conference-ranking.org

Pavel Parzek

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

15

Venues

12

Active years

2006–2024

Best venue rank

A*

Where they publish

Papers

15 indexed papers, newest first.

YearVenueTitleAuthors
2024ECOOPPure Methods for roDOT.Vlastimil Dort, Yufeng Li, Ondrej Lhotk, Pavel Parzek
2024ICSEData Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners.Pavel Parzek, Luks Hermann
2024TACASJPF: From 2003 to 2023.Cyrille Artho, Pavel Parzek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi
2020RVSharpDetect: Dynamic Analysis Framework for C#/.NET Programs.Andrej Cizmrik, Pavel Parzek
2020TACASEndicheck: Dynamic Analysis for Detecting Endianness Bugs.Roman Kpl, Pavel Parzek
2019ATVABUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment.Pavel Parzek
2016FMCADHybrid partial order reduction with under-approximate dynamic points-to and determinacy information.Pavel Parzek
2016SACFast error detection with hybrid analyses of future accesses.Pavel Parzek
2016VMCAIHybrid Analysis for Partial Order Reduction of Programs with Arrays.Pavel Parzek
2012OOPSLAPredicate abstraction of Java programs with collections.Pavel Parzek, Ondrej Lhotk
2010SACExtraction of component-environment interaction model using state space traversal.Pavel Parzek, Nodir Yuldashev
2010TACASEfficient Detection of Errors in Java Components Using Random Environment and Restarts.Pavel Parzek, Tomas Kalibera
2009FMICSPlatform-Specific Restrictions on Concurrency in Model Checking of Java Programs.Pavel Parzek, Tomas Kalibera
2008SEAAChecking Session-Oriented Interactions between Web Services.Pavel Parzek, Jir Admek
2006SEWModel Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.Pavel Parzek, Frantisek Plsil, Jan Kofron