Pavel Parízek

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 17

Top Topics

Concurrent Programs

Static Analysis

Partial Order Reduction

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi
JPF: From 2003 to 2023. TACAS (2) (2024)
Pavel Parízek, Lukás Hermann
Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners. ICSE-SEIP (2024)
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, Matt Walker, Hongru Wang, Qiuchen Yan
The Java Pathfinder Workshop 2022. ACM SIGSOFT Softw. Eng. Notes 48 (1) (2023)
Qiuchen Yan, Cyrille Artho, Pavel Parízek
Towards Wider Support for Java String Functions. ACM SIGSOFT Softw. Eng. Notes 48 (1) (2023)
Pavel Parízek, Filip Kliber
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs. ACM SIGSOFT Softw. Eng. Notes 48 (1) (2023)
Roman Kápl, Pavel Parízek
Endicheck: Dynamic Analysis for Detecting Endianness Bugs. TACAS (2) (2020)
Andrej Cizmárik, Pavel Parízek
SharpDetect: Dynamic Analysis Framework for C#/.NET Programs. RV (2020)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Pavel Parízek
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment. ATVA (2019)
Pavel Parízek, Ondrej Lhoták
Fast detection of concurrency errors by state space traversal with randomization and early backtracking. Int. J. Softw. Tools Technol. Transf. 21 (4) (2019)
Kyle Storey, Eric Mercer, Pavel Parízek
A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Egor Namakonov, Eric Mercer, Pavel Parízek, Kyle Storey
Symbolic data race detection for Habanero programs. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Pavel Parízek
Hybrid Analysis for Partial Order Reduction of Programs with Arrays. VMCAI (2016)
Pavel Parízek
Fast error detection with hybrid analyses of future accesses. SAC (2016)
Pavel Parízek
Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information. FMCAD (2016)
Jakub Daniel, Pavel Parízek
PANDA: Simultaneous Predicate Abstraction and Concrete Execution. Haifa Verification Conference (2015)
Pavel Parízek, Ondrej Lhoták
Model checking of concurrent programs with static analysis of field accesses. Sci. Comput. Program. 98 (2015)
Jakub Daniel, Pavel Parízek, Corina S. Pasareanu
Predicate abstraction in Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Jakub Daniel, Pavel Parízek
Predicate Abstraction in Program Verification: Survey and Current Trends. ICCSW (2014)
Pavel Parízek, Pavel Jancík
Approximating happens-before order: interplay between static analysis and state space traversal. SPIN (2014)
Pavel Parízek, Ondrej Lhoták
Predicate abstraction of Java programs with collections. OOPSLA (2012)
Artem Khyzha, Pavel Parízek, Corina S. Pasareanu
Abstract pathfinder. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Pavel Parízek, Ondrej Lhoták
Identifying future field accesses in exhaustive state space traversal. ASE (2011)
Pavel Parízek, Ondrej Lhoták
Randomized Backtracking in State Space Traversal. SPIN (2011)
Pavel Parízek, Tomas Kalibera
Efficient Detection of Errors in Java Components Using Random Environment and Restarts. TACAS (2010)
Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl
Exhaustive testing of safety critical Java. JTRES (2010)
Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek
Challenge benchmarks for verification of real-time programs. PLPV (2010)
Pavel Parízek, Nodir Yuldashev
Extraction of component-environment interaction model using state space traversal. SAC (2010)
Pavel Parízek, Frantisek Plasil
Assume-guarantee verification of software components in SOFA 2 framework. IET Softw. 4 (3) (2010)
Pavel Parízek, Tomas Kalibera
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. FMICS (2009)
Pavel Parízek, Jirí Adámek, Tomas Kalibera
Automated Construction of Reasonable Environment for Java Components. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek
Challenge benchmarks for verification of real-time programs: (abstract only). ACM SIGPLAN Notices 44 (11) (2009)
Jan Kofron, Pavel Parízek, Ondrej Sery
On Teaching Formal Methods: Behavior Models and Code Analysis. TFM (2009)
Pavel Parízek, Frantisek Plasil
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. TOOLS (46) (2008)
Pavel Parízek, Jirí Adámek
Checking Session-Oriented Interactions between Web Services. EUROMICRO-SEAA (2008)
Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parízek, Frantisek Plasil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma
CoCoME in Fractal. CoCoME (2007)
Pavel Parízek, Frantisek Plasil
Specification and Generation of Environment for Model Checking of Software Components. Electron. Notes Theor. Comput. Sci. 176 (2) (2007)
Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plasil, Tomás Poch, Ondrej Sery, Petr Tuma
CoCoME in SOFA. CoCoME (2007)
Pavel Parízek, Frantisek Plasil
Modeling Environment for Component Model Checking from Hierarchical Architecture. Electron. Notes Theor. Comput. Sci. 182 (2007)
Pavel Parízek, Frantisek Plasil
Partial Verification of Software Components: Heuristics for Environment Construction. EUROMICRO-SEAA (2007)
Pavel Parízek, Frantisek Plasil, Jan Kofron
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. SEW (2006)