( en | de | ru )

 

Disambiguierung von "Parízek, Pavel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
JPF: From 2003 to 2023.

, , , , und . TACAS (2), Volume 14571 von Lecture Notes in Computer Science, Seite 3-22. Springer, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael Parizek

Dietrich Pavel

Wieland Werther Pavel

Ji Pavelka

Luciana Pavel

 

Weitere Publikationen von Autoren mit dem selben Namen

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