Journals
P. Parízek and O. Lhoták. Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking . International Journal on Software Tools for Technology Transfer , vol. 21, issue 4, Springer, 2019
P. Parízek and O. Lhoták. Model Checking of Concurrent Programs with Static Analysis of Field Accesses . Science of Computer Programming , vol. 98, part 4, Elsevier, 2015
P. Parízek and F. Plášil. Assume-Guarantee Verification of Software Components in SOFA 2 Framework . IET Software , vol. 4, issue 3, IET, 2010
Conference/Workshop Proceedings
V. Dort, Y. Li, O. Lhoták, and P. Parízek. Pure Methods for roDOT . ECOOP 2024 , LIPIcs
P. Parízek and L. Hermann. Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners . ICSE 2024 - SEIP , ACM
C. Artho, P. Parízek, D. Qu, V. Galgali, and P. Yi. JPF: From 2003 to 2023 . TACAS 2024 , LNCS, vol. 14571
P. Parízek and F. Kliber. Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs . Java Pathfinder Workshop 2022 , ACM SIGSOFT Software Engineering Notes, vol. 48, issue 1
A. Čižmárik and P. Parízek. SharpDetect: Dynamic Analysis Framework for C#/.NET Programs . RV 2020 , LNCS, vol. 12399
R. Kápl and P. Parízek. Endicheck: Dynamic Analysis for Detecting Endianness Bugs . TACAS 2020 , LNCS, vol. 12079
K. Storey, E. Mercer, and P. Parízek. A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder . Java Pathfinder Workshop 2019 , ACM SIGSOFT Software Engineering Notes, vol. 44, issue 4
P. Parízek. BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment . ATVA 2019 , LNCS, vol. 11781
P. Parízek. Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information . FMCAD 2016 , IEEE
P. Parízek. Fast Error Detection with Hybrid Analyses of Future Accesses . SAC 2016 , MUSEPAT track, ACM
P. Parízek. Hybrid Analysis for Partial Order Reduction of Programs with Arrays . VMCAI 2016 , LNCS, vol. 9583
J. Daniel and P. Parízek. PANDA: Simultaneous Predicate Abstraction and Concrete Execution . HVC 2015 , LNCS, vol. 9434
J. Daniel and P. Parízek. Predicate Abstraction in Program Verification: Survey and Current Trends . ICCSW 2014 , OpenAccess Series in Informatics (OASIcs), vol. 43
P. Parízek and P. Jančík. Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal . SPIN 2014 , ACM
J. Daniel, P. Parízek, and C.S. Pasareanu. Predicate Abstraction in Java Pathfinder . Java Pathfinder Workshop 2013 , ACM SIGSOFT Software Engineering Notes, vol. 39, issue 1
A. Khyzha, P. Parízek, and C.S. Pasareanu. Abstract Pathfinder . Java Pathfinder Workshop 2012 , ACM SIGSOFT Software Engineering Notes, vol. 37, issue 6
P. Parízek and O. Lhoták. Predicate Abstraction of Java Programs with Collections . OOPSLA 2012 , ACM
P. Parízek and O. Lhoták. Identifying Future Field Accesses in Exhaustive State Space Traversal . ASE 2011 , IEEE CS
P. Parízek and O. Lhoták. Randomized Backtracking: Next Steps . Java Pathfinder Workshop 2011
P. Jančík, J. Kofroň, and P. Parízek. Advanced Debugging with JPF-Inspector . Java Pathfinder Workshop 2011
P. Parízek and O. Lhoták. Randomized Backtracking in State Space Traversal . SPIN 2011 , LNCS, vol. 6823
T. Kalibera, P. Parízek, M. Malohlava, and M. Schoeberl. Exhaustive Testing of Safety Critical Java . JTRES 2010 , ACM
P. Parízek and T. Kalibera. Efficient Detection of Errors in Java Components Using Random Environment and Restarts . TACAS 2010 , LNCS, vol. 6015
P. Parízek and N. Yuldashev. Extraction of Component-Environment Interaction Model Using State Space Traversal . SAC 2010 , SE track, ACM
T. Kalibera, P. Parízek, G. Haddad, G. Leavens, and J. Vitek. Challenge Benchmarks for Verification of Real-time Programs . PLPV 2010 , ACM
P. Parízek and T. Kalibera. Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs . FMICS 2009 , LNCS, vol. 5825
J. Kofroň, P. Parízek, and O. Šerý. On Teaching Formal Methods: Behavior Models and Code Analysis . TFM 2009 , LNCS, vol. 5846
P. Parízek, J. Adámek, and T. Kalibera. Automated Construction of Reasonable Environment for Java Components . FESCA 2009 , ENTCS, vol. 253, issue 1
P. Parízek and J. Adámek. Checking Session-Oriented Interactions between Web Services . EUROMICRO SEAA 2008 , IEEE CS
P. Parízek and F. Plášil. Modeling of Component Environment in Presence of Callbacks and Autonomous Activities . TOOLS 2008 , LNBIP, vol. 11
P. Parízek and F. Plášil. Partial Verification of Software Components: Heuristics for Environment Construction . EUROMICRO SEAA 2007 , IEEE CS
P. Parízek and F. Plášil. Modeling Environment for Component Model Checking from Hierarchical Architecture . FACS 2006 , ENTCS, vol. 182
P. Parízek and F. Plášil. Specification and Generation of Environment for Model Checking of Software Components . FESCA 2006 , ENTCS, vol. 176, issue 2
P. Parízek, F. Plášil, and J. Kofroň. Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker . SEW 2006 , IEEE CS
Book Chapters
T. Bureš, M. Děcký, P. Hnětynka, J. Kofroň, P. Parízek, F. Plášil, T. Poch, O. Šerý, and P. Tůma. CoCoME in SOFA . The Common Component Modeling Example: Comparing Software Component Models , Springer-Verlag, LNCS, vol. 5153, 2008
L. Bulej, T. Bureš, T. Coupaye, M. Děcký, P. Ježek, P. Parízek, F. Plášil, T. Poch, N. Rivierre, O. Šerý, and P. Tůma. CoCoME in Fractal . The Common Component Modeling Example: Comparing Software Component Models , Springer-Verlag, LNCS, vol. 5153, 2008
Theses