default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPavel 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, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi:
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, 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): 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, Ondrej Lhoták:
Model checking of concurrent programs with static analysis of field accesses. Sci. Comput. Program. 98: 735-763 (2015) - [c21]Jakub Daniel, Pavel Parízek:
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, Pavel Parízek:
Predicate Abstraction in Program Verification: Survey and Current Trends. ICCSW 2014: 27-35 - [c19]Pavel Parízek, Pavel Jancík:
Approximating happens-before order: interplay between static analysis and state space traversal. SPIN 2014: 1-10 - 2012
- [j3]Artem Khyzha, Pavel Parízek, Corina S. Pasareanu:
Abstract pathfinder. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - [c18]Pavel Parízek, Ondrej Lhoták:
Predicate abstraction of Java programs with collections. OOPSLA 2012: 75-94 - 2011
- [c17]Pavel Parízek, Ondrej Lhoták:
Identifying future field accesses in exhaustive state space traversal. ASE 2011: 93-102 - [c16]Pavel Parízek, Ondrej Lhoták:
Randomized Backtracking in State Space Traversal. SPIN 2011: 75-89 - 2010
- [j2]Pavel Parízek, Frantisek Plásil:
Assume-guarantee verification of software components in SOFA 2 framework. IET Softw. 4(3): 210-211 (2010) - [c15]Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl:
Exhaustive testing of safety critical Java. JTRES 2010: 164-174 - [c14]Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek:
Challenge benchmarks for verification of real-time programs. PLPV 2010: 57-62 - [c13]Pavel Parízek, Nodir Yuldashev:
Extraction of component-environment interaction model using state space traversal. SAC 2010: 2203-2210 - [c12]Pavel Parízek, Tomas Kalibera:
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, Tomas Kalibera:
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. FMICS 2009: 117-132 - [c10]Jan Kofron, Pavel Parízek, Ondrej Sery:
On Teaching Formal Methods: Behavior Models and Code Analysis. TFM 2009: 144-157 - [c9]Pavel Parízek, Jirí Adámek, Tomas Kalibera:
Automated Construction of Reasonable Environment for Java Components. FESCA@ETAPS 2009: 145-160 - 2008
- [c8]Pavel Parízek, Jirí Adámek:
Checking Session-Oriented Interactions between Web Services. EUROMICRO-SEAA 2008: 3-10 - [c7]Pavel Parízek, Frantisek Plásil:
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. TOOLS (46) 2008: 2-21 - 2007
- [c6]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:
CoCoME in Fractal. CoCoME 2007: 357-387 - [c5]Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plásil, Tomás Poch, Ondrej Sery, Petr Tuma:
CoCoME in SOFA. CoCoME 2007: 388-417 - [c4]Pavel Parízek, Frantisek Plásil:
Partial Verification of Software Components: Heuristics for Environment Construction. EUROMICRO-SEAA 2007: 75-82 - 2006
- [c3]Pavel Parízek, Frantisek Plásil, Jan Kofron:
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. SEW 2006: 133-141 - [c2]Pavel Parízek, Frantisek Plásil:
Modeling Environment for Component Model Checking from Hierarchical Architecture. FACS 2006: 139-153 - [c1]Pavel Parízek, Frantisek Plásil:
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-09-14 02:05 CEST 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:
