default search action
Pavel Parízek
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j13]Vlastimil Dort, Yufeng Li, Ondrej Lhoták, Pavel Parízek:
Pure Methods for roDOT (Artifact). Dagstuhl Artifacts Ser. 10(2): 6:1-6:8 (2024) - [c30]Vlastimil Dort, Yufeng Li, Ondrej Lhoták, Pavel Parízek:
Pure Methods for roDOT. ECOOP 2024: 13:1-13:29 - [c29]Pavel Parízek
, Lukás Hermann
Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners. ICSE-SEIP 2024: 25-35 - [c28]Cyrille Artho
JPF: From 2003 to 2023. TACAS (2) 2024: 3-22 - 2023
- [j12]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): 19-21 (2023) - [j11]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): 27-31 (2023) - [j10]Qiuchen Yan, Cyrille Artho, Pavel Parízek:
Towards Wider Support for Java String Functions. ACM SIGSOFT Softw. Eng. Notes 48(1): 37 (2023) - 2020
- [j9]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): 20-22 (2020) - [c27]Andrej Cizmárik, Pavel Parízek
SharpDetect: Dynamic Analysis Framework for C#/.NET Programs. RV 2020: 298-309 - [c26]Roman Kápl, Pavel Parízek
Endicheck: Dynamic Analysis for Detecting Endianness Bugs. TACAS (2) 2020: 254-270
2010 – 2019
- 2019
- [j8]Kyle Storey, Eric Mercer, Pavel Parízek:
A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes 44(4): 15 (2019) - [j7]Egor Namakonov, Eric Mercer, Pavel Parízek, Kyle Storey:
Symbolic data race detection for Habanero programs. ACM SIGSOFT Softw. Eng. Notes 44(4): 18 (2019) - [j6]Pavel Parízek
Fast detection of concurrency errors by state space traversal with randomization and early backtracking. Int. J. Softw. Tools Technol. Transf. 21(4): 365-400 (2019) - [c25]Pavel Parízek
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment. ATVA 2019: 228-245 - 2016
- [c24]Pavel Parízek
Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information. FMCAD 2016: 141-148 - [c23]Pavel Parízek
Fast error detection with hybrid analyses of future accesses. SAC 2016: 1251-1254 - [c22]Pavel Parízek
Hybrid Analysis for Partial Order Reduction of Programs with Arrays. VMCAI 2016: 291-310 - 2015
- [j5]Pavel Parízek
Model checking of concurrent programs with static analysis of field accesses. Sci. Comput. Program. 98: 735-763 (2015) - [c21]Jakub Daniel
PANDA: Simultaneous Predicate Abstraction and Concrete Execution. Haifa Verification Conference 2015: 87-103 - 2014
- [j4]Jakub Daniel, Pavel Parízek, Corina S. Pasareanu:
Predicate abstraction in Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [c20]Jakub Daniel
Predicate Abstraction in Program Verification: Survey and Current Trends. ICCSW 2014: 27-35 - [c19]Pavel Parízek
Approximating happens-before order: interplay between static analysis and state space traversal. SPIN 2014: 1-10 - 2012
- [j3]Artem Khyzha
Abstract pathfinder. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - [c18]Pavel Parízek
Predicate abstraction of Java programs with collections. OOPSLA 2012: 75-94 - 2011
- [c17]Pavel Parízek
Identifying future field accesses in exhaustive state space traversal. ASE 2011: 93-102 - [c16]Pavel Parízek
Randomized Backtracking in State Space Traversal. SPIN 2011: 75-89 - 2010
- [j2]Pavel Parízek
Assume-guarantee verification of software components in SOFA 2 framework. IET Softw. 4(3): 210-211 (2010) - [c15]Tomas Kalibera, Pavel Parízek
Exhaustive testing of safety critical Java. JTRES 2010: 164-174 - [c14]Tomas Kalibera, Pavel Parízek
Challenge benchmarks for verification of real-time programs. PLPV 2010: 57-62 - [c13]Pavel Parízek
Extraction of component-environment interaction model using state space traversal. SAC 2010: 2203-2210 - [c12]Pavel Parízek
Efficient Detection of Errors in Java Components Using Random Environment and Restarts. TACAS 2010: 451-465
2000 – 2009
- 2009
- [j1]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): 7-8 (2009) - [c11]Pavel Parízek
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. FMICS 2009: 117-132 - [c10]Jan Kofron
On Teaching Formal Methods: Behavior Models and Code Analysis. TFM 2009: 144-157 - [c9]Pavel Parízek
Automated Construction of Reasonable Environment for Java Components. FESCA@ETAPS 2009: 145-160 - 2008
- [c8]Pavel Parízek
Checking Session-Oriented Interactions between Web Services. EUROMICRO-SEAA 2008: 3-10 - [c7]Pavel Parízek
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. TOOLS (46) 2008: 2-21 - 2007
- [c6]Lubomír Bulej
CoCoME in Fractal. CoCoME 2007: 357-387 - [c5]Tomás Bures
CoCoME in SOFA. CoCoME 2007: 388-417 - [c4]Pavel Parízek
Partial Verification of Software Components: Heuristics for Environment Construction. EUROMICRO-SEAA 2007: 75-82 - 2006
- [c3]Pavel Parízek
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. SEW 2006: 133-141 - [c2]Pavel Parízek
Modeling Environment for Component Model Checking from Hierarchical Architecture. FACS 2006: 139-153 - [c1]Pavel Parízek
Specification and Generation of Environment for Model Checking of Software Components. FESCA@ETAPS 2006: 143-154
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 21:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: