Pavel Parízek

44 papers A* 1A 3B 4C 2Misc 2Journal 13Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules. SPIN Filip Kliber, Pavel Parízek
2024	—	`conf`	Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners. ICSE-SEIP Pavel Parízek, Lukás Hermann
2024	—	`conf`	JPF: From 2003 to 2023. TACAS (2) Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi
2024	J	`jnl`	Pure Methods for roDOT (Artifact). Dagstuhl Artifacts Ser. Vlastimil Dort, Yufeng Li, Ondrej Lhoták, Pavel Parízek
2024	A	`conf`	Pure Methods for roDOT. ECOOP Vlastimil Dort, Yufeng Li, Ondrej Lhoták, Pavel Parízek
2023	J	`jnl`	Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs. ACM SIGSOFT Softw. Eng. Notes Pavel Parízek, Filip Kliber
2023	J	`jnl`	The Java Pathfinder Workshop 2022. ACM SIGSOFT Softw. Eng. Notes 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
2023	J	`jnl`	Towards Wider Support for Java String Functions. ACM SIGSOFT Softw. Eng. Notes Qiuchen Yan, Cyrille Artho, Pavel Parízek
2020	—	`conf`	Endicheck: Dynamic Analysis for Detecting Endianness Bugs. TACAS (2) Roman Kápl, Pavel Parízek
2020	B	`conf`	SharpDetect: Dynamic Analysis Framework for C#/.NET Programs. RV Andrej Cizmárik, Pavel Parízek
2020	J	`jnl`	The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 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
2019	J	`jnl`	A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes Kyle Storey, Eric Mercer, Pavel Parízek
2019	B	`conf`	BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment. ATVA Pavel Parízek
2019	J	`jnl`	Fast detection of concurrency errors by state space traversal with randomization and early backtracking. Int. J. Softw. Tools Technol. Transf. Pavel Parízek, Ondrej Lhoták
2019	J	`jnl`	Symbolic data race detection for Habanero programs. ACM SIGSOFT Softw. Eng. Notes Egor Namakonov, Eric Mercer, Pavel Parízek, Kyle Storey
2016	Misc	`conf`	Fast error detection with hybrid analyses of future accesses. SAC Pavel Parízek
2016	B	`conf`	Hybrid Analysis for Partial Order Reduction of Programs with Arrays. VMCAI Pavel Parízek
2016	B	`conf`	Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information. FMCAD Pavel Parízek
2015	J	`jnl`	Model checking of concurrent programs with static analysis of field accesses. Sci. Comput. Program. Pavel Parízek, Ondrej Lhoták
2015	—	`conf`	PANDA: Simultaneous Predicate Abstraction and Concrete Execution. Haifa Verification Conference Jakub Daniel, Pavel Parízek
2014	—	`conf`	Approximating happens-before order: interplay between static analysis and state space traversal. SPIN Pavel Parízek, Pavel Jancík
2014	—	`conf`	Predicate Abstraction in Program Verification: Survey and Current Trends. ICCSW Jakub Daniel, Pavel Parízek
2014	J	`jnl`	Predicate abstraction in Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes Jakub Daniel, Pavel Parízek, Corina S. Pasareanu
2012	J	`jnl`	Abstract pathfinder. ACM SIGSOFT Softw. Eng. Notes Artem Khyzha, Pavel Parízek, Corina S. Pasareanu
2012	A	`conf`	Predicate abstraction of Java programs with collections. OOPSLA Pavel Parízek, Ondrej Lhoták
2011	A*	`conf`	Identifying future field accesses in exhaustive state space traversal. ASE Pavel Parízek, Ondrej Lhoták
2011	—	`conf`	Randomized Backtracking in State Space Traversal. SPIN Pavel Parízek, Ondrej Lhoták
2010	J	`jnl`	Assume-guarantee verification of software components in SOFA 2 framework. IET Softw. Pavel Parízek, Frantisek Plásil
2010	—	`conf`	Challenge benchmarks for verification of real-time programs. PLPV Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek
2010	A	`conf`	Efficient Detection of Errors in Java Components Using Random Environment and Restarts. TACAS Pavel Parízek, Tomas Kalibera
2010	—	`conf`	Exhaustive testing of safety critical Java. JTRES Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl
2010	Misc	`conf`	Extraction of component-environment interaction model using state space traversal. SAC Pavel Parízek, Nodir Yuldashev
2009	—	`conf`	Automated Construction of Reasonable Environment for Java Components. FESCA@ETAPS Pavel Parízek, Jirí Adámek, Tomas Kalibera
2009	J	`jnl`	Challenge benchmarks for verification of real-time programs: (abstract only). ACM SIGPLAN Notices Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek
2009	—	`conf`	On Teaching Formal Methods: Behavior Models and Code Analysis. TFM Jan Kofron, Pavel Parízek, Ondrej Sery
2009	C	`conf`	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. FMICS Pavel Parízek, Tomas Kalibera
2008	—	`conf`	Checking Session-Oriented Interactions between Web Services. EUROMICRO-SEAA Pavel Parízek, Jirí Adámek
2008	—	`conf`	Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. TOOLS (46) Pavel Parízek, Frantisek Plásil
2007	—	`conf`	CoCoME in Fractal. CoCoME 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
2007	—	`conf`	CoCoME in SOFA. CoCoME Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plásil, Tomás Poch, Ondrej Sery, Petr Tuma
2007	—	`conf`	Partial Verification of Software Components: Heuristics for Environment Construction. EUROMICRO-SEAA Pavel Parízek, Frantisek Plásil
2006	C	`conf`	Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. SEW Pavel Parízek, Frantisek Plásil, Jan Kofron
2006	—	`conf`	Modeling Environment for Component Model Checking from Hierarchical Architecture. FACS Pavel Parízek, Frantisek Plásil
2006	—	`conf`	Specification and Generation of Environment for Model Checking of Software Components. FESCA@ETAPS Pavel Parízek, Frantisek Plásil