Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. - Pavel Parízek; Frantisek Plásil; Jan Kofron (SEW, 2006)

Specification and Generation of Environment for Model Checking of Software Components. - Pavel Parízek; Frantisek Plásil (FESCA@ETAPS, 2006)

Modeling Environment for Component Model Checking from Hierarchical Architecture. - Pavel Parízek; Frantisek Plásil (FACS, 2006)

CoCoME in Fractal. - Lubomír Bulej; Tomás Bures; Thierry Coupaye; Martin Decký; Pavel Jezek; Pavel Parízek; Frantisek Plásil; Tomás Poch; Nicolas Rivierre; Ondrej Sery; Petr Tuma 001 (CoCoME, 2007)

CoCoME in SOFA. - Tomás Bures; Martin Decký; Petr Hnetynka; Jan Kofron; Pavel Parízek; Frantisek Plásil; Tomás Poch; Ondrej Sery; Petr Tuma 001 (CoCoME, 2007)

Partial Verification of Software Components: Heuristics for Environment Construction. - Pavel Parízek; Frantisek Plásil (EUROMICRO-SEAA, 2007)

Checking Session-Oriented Interactions between Web Services. - Pavel Parízek; Jirí Adámek (EUROMICRO-SEAA, 2008)

Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. - Pavel Parízek; Frantisek Plásil (TOOLS (46), 2008)

Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. - Pavel Parízek; Tomas Kalibera (FMICS, 2009)

On Teaching Formal Methods: Behavior Models and Code Analysis. - Jan Kofron; Pavel Parízek; Ondrej Sery (TFM, 2009)

Automated Construction of Reasonable Environment for Java Components. - Pavel Parízek; Jirí Adámek; Tomas Kalibera (FESCA@ETAPS, 2009)

Challenge benchmarks for verification of real-time programs: (abstract only). - Tomas Kalibera; Pavel Parízek; Ghaith Haddad; Gary T. Leavens; Jan Vitek (ACM SIGPLAN Notices, 2009)

Exhaustive testing of safety critical Java. - Tomas Kalibera; Pavel Parízek; Michal Malohlava; Martin Schoeberl (JTRES, 2010)

Challenge benchmarks for verification of real-time programs. - Tomas Kalibera; Pavel Parízek; Ghaith Haddad; Gary T. Leavens; Jan Vitek (PLPV, 2010)

Extraction of component-environment interaction model using state space traversal. - Pavel Parízek; Nodir Yuldashev (SAC, 2010)

Efficient Detection of Errors in Java Components Using Random Environment and Restarts. - Pavel Parízek; Tomas Kalibera (TACAS, 2010)

Assume-guarantee verification of software components in SOFA 2 framework. - Pavel Parízek; Frantisek Plásil (IET Softw., 2010)

Identifying future field accesses in exhaustive state space traversal. - Pavel Parízek; Ondrej Lhoták (ASE, 2011)

Randomized Backtracking in State Space Traversal. - Pavel Parízek; Ondrej Lhoták (SPIN, 2011)

Predicate abstraction of Java programs with collections. - Pavel Parízek; Ondrej Lhoták (OOPSLA, 2012)

Abstract pathfinder. - Artem Khyzha; Pavel Parízek; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2012)

Predicate Abstraction in Program Verification: Survey and Current Trends. - Jakub Daniel; Pavel Parízek (ICCSW, 2014)

Approximating happens-before order: interplay between static analysis and state space traversal. - Pavel Parízek; Pavel Jancík (SPIN, 2014)

Predicate abstraction in Java Pathfinder. - Jakub Daniel; Pavel Parízek; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2014)

PANDA: Simultaneous Predicate Abstraction and Concrete Execution. - Jakub Daniel; Pavel Parízek (Haifa Verification Conference, 2015)

Model checking of concurrent programs with static analysis of field accesses. - Pavel Parízek; Ondrej Lhoták (Sci. Comput. Program., 2015)

Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information. - Pavel Parízek (FMCAD, 2016)

Fast error detection with hybrid analyses of future accesses. - Pavel Parízek (SAC, 2016)

Hybrid Analysis for Partial Order Reduction of Programs with Arrays. - Pavel Parízek (VMCAI, 2016)

BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment. - Pavel Parízek (ATVA, 2019)

Symbolic data race detection for Habanero programs. - Egor Namakonov; Eric Mercer; Pavel Parízek; Kyle Storey (ACM SIGSOFT Softw. Eng. Notes, 2019)

A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder. - Kyle Storey; Eric Mercer; Pavel Parízek (ACM SIGSOFT Softw. Eng. Notes, 2019)

Fast detection of concurrency errors by state space traversal with randomization and early backtracking. - Pavel Parízek; Ondrej Lhoták (Int. J. Softw. Tools Technol. Transf., 2019)

SharpDetect: Dynamic Analysis Framework for C#/.NET Programs. - Andrej Cizmárik; Pavel Parízek (RV, 2020)

Endicheck: Dynamic Analysis for Detecting Endianness Bugs. - Roman Kápl; Pavel Parízek (TACAS (2), 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs. - Pavel Parízek; Filip Kliber (ACM SIGSOFT Softw. Eng. Notes, 2023)

The Java Pathfinder Workshop 2022. - Elena Sherman; Yannic Noller; Cyrille Artho; Franck van Breugel; Anto Nanah Ji; John Kellerman; Parssa Khazra; Filip Kliber; Gaurang Kudale; Pavel Parízek; Corina S. Pasareanu; Ron Pressler; et al. (ACM SIGSOFT Softw. Eng. Notes, 2023)

Towards Wider Support for Java String Functions. - Qiuchen Yan; Cyrille Artho; Pavel Parízek (ACM SIGSOFT Softw. Eng. Notes, 2023)

Pure Methods for roDOT. - Vlastimil Dort; Yufeng Li; Ondrej Lhoták; Pavel Parízek (ECOOP, 2024)

Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners. - Pavel Parízek; Lukás Hermann (ICSE-SEIP, 2024)

JPF: From 2003 to 2023. - Cyrille Artho; Pavel Parízek; Daohan Qu; Varadraj Galgali; Pu (Luke) Yi 001 (TACAS (2), 2024)

Pure Methods for roDOT (Artifact). - Vlastimil Dort; Yufeng Li; Ondrej Lhoták; Pavel Parízek (Dagstuhl Artifacts Ser., 2024)