( en | de | ru )

 

Disambiguierung von "Trtík, Marek"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Low-Level Pointers to High-Level Containers.

, , , , und . VMCAI, Volume 9583 von Lecture Notes in Computer Science, Seite 431-452. Springer, (2016)

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.

Katja Marek

Rekonstruktion und Kulturgesellschaft. Uni Kassel, (2009)

Andrea Marek

Christian Marek

Astrid Marek

Hanko Marek

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Memory with Pointers., und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 380-395. Springer, (2014)Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)., , und . TACAS, Volume 7795 von Lecture Notes in Computer Science, Seite 630-632. Springer, (2013)Abstracting path conditions., und . ISSTA, Seite 155-165. ACM, (2012)Efficient Loop Navigation for Symbolic Execution., und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 453-462. Springer, (2011)From Low-Level Pointers to High-Level Containers., , , , und . VMCAI, Volume 9583 von Lecture Notes in Computer Science, Seite 431-452. Springer, (2016)Tighter Loop Bound Analysis., , und . ATVA, Volume 9938 von Lecture Notes in Computer Science, Seite 512-527. (2016)Abstracting Path Conditions, und . CoRR, (2011)Fizzer: New Gray-Box Fuzzer - (Competition Contribution)., , , und . FASE, Volume 14573 von Lecture Notes in Computer Science, Seite 309-313. Springer, (2024)Abstracting Path Conditions for Effective Symbolic Execution. CoRR, (2011)STANSE: Bug-finding Framework for C Programs, , und . CoRR, (2012)