( en | de | ru )

 

Disambiguation of "Parízek, Pavel"

Author of the publication

copydeleteadd this publication to your clipboard
JPF: From 2003 to 2023.

, , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 3-22. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Parizek

Dietrich Pavel

Wieland Werther Pavel

Luciana Pavel

Ji Pavelka

 

Other publications of authors with the same name

Fast detection of concurrency errors by state space traversal with randomization and early backtracking., and . Int. J. Softw. Tools Technol. Transf., 21 (4): 365-400 (2019)Efficient Detection of Errors in Java Components Using Random Environment and Restarts., and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 451-465. Springer, (2010)Modeling Environment for Component Model Checking from Hierarchical Architecture., and . FACS, volume 182 of Electronic Notes in Theoretical Computer Science, page 139-153. Elsevier, (2006)SharpDetect: Dynamic Analysis Framework for C#/.NET Programs., and . RV, volume 12399 of Lecture Notes in Computer Science, page 298-309. Springer, (2020)Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker., , and . SEW, page 133-141. IEEE Computer Society, (2006)Assume-guarantee verification of software components in SOFA 2 framework., and . IET Softw., 4 (3): 210-211 (2010)Challenge benchmarks for verification of real-time programs: (abstract only)., , , , and . ACM SIGPLAN Notices, 44 (11): 7-8 (2009)Predicate abstraction in Java Pathfinder., , and . ACM SIGSOFT Softw. Eng. Notes, 39 (1): 1-5 (2014)Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information.. FMCAD, page 141-148. IEEE, (2016)Hybrid Analysis for Partial Order Reduction of Programs with Arrays.. VMCAI, volume 9583 of Lecture Notes in Computer Science, page 291-310. Springer, (2016)