( en | de | ru )

 

Disambiguation of "Parízek, Pavel"

Author of the publication

copydeleteadd this publication to your clipboard
CoCoME in SOFA.

, , , , , , , , and . CoCoME, volume 5153 of Lecture Notes in Computer Science, page 388-417. Springer, (2007)

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

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)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)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)Predicate abstraction in Java Pathfinder., , and . ACM SIGSOFT Softw. Eng. Notes, 39 (1): 1-5 (2014)Assume-guarantee verification of software components in SOFA 2 framework., and . IET Softw., 4 (3): 210-211 (2010)The Java Pathfinder Workshop 2019., , , , , , , , , and 28 other author(s). ACM SIGSOFT Softw. Eng. Notes, 45 (2): 20-22 (2020)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)