( en | de | ru )

 

Disambiguierung von "Hermanns, Holger"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
PRODeep: a platform for robustness verification of deep neural networks.

, , , , , , , und . ESEC/SIGSOFT FSE, Seite 1630-1634. ACM, (2020)

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.

Holger Hermanns

Holger Hermanns

Holger Hermanns

Gerhard Hermanns

Bernward Hermanns

 

Weitere Publikationen von Autoren mit dem selben Namen

On Generative Parallel Composition., , und . PROBMIV, Volume 22 von Electronic Notes in Theoretical Computer Science, Seite 30-54. Elsevier, (1998)Doping Tests for Cyber-Physical Systems., , und . QEST, Volume 11785 von Lecture Notes in Computer Science, Seite 313-331. Springer, (2019)On the Foundations of Cycles in Bayesian Networks., , , und . CoRR, (2023)Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations., und . ACM Trans. Embed. Comput. Syst., 22 (4): 68:1-68:48 (Juli 2023)From Verification to Explanation (Track Introduction)., und . ISoLA (4), Volume 12479 von Lecture Notes in Computer Science, Seite 1-7. Springer, (2020)Momba: JANI Meets Python., , und . TACAS (2), Volume 12652 von Lecture Notes in Computer Science, Seite 389-398. Springer, (2021)Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds., , , , , , , , und . CoRR, (2024)CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)., , , , und . CONCUR, Volume 171 von LIPIcs, Seite 5:1-5:3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains., und . CONCUR, Volume 2154 von Lecture Notes in Computer Science, Seite 59-81. Springer, (2001)Deep Statistical Model Checking., , , , und . FORTE, Volume 12136 von Lecture Notes in Computer Science, Seite 96-114. Springer, (2020)