( en | de | ru )

 

Disambiguierung von "Kästner, Daniel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Validierung des Zeitverhaltens von kritischer Echtzeit-Software.

, , , , , , , , , , , , , und . GI Jahrestagung (1), Volume P-34 von LNI, Seite 335-339. GI, (2003)

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.

Daniel Kästner

Daniel Kästner

Daniel Kästner

Peter Kästner

Rudolf Kästner

 

Weitere Publikationen von Autoren mit dem selben Namen

Randomness is the Root of All Evil: More Reliable Evaluation of Deep Active Learning., , , und . WACV, Seite 3932-3941. IEEE, (2023)TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis., , , und . WCET, Volume 72 von OASIcs, Seite 1:1-1:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation., , , , und . ITC, Seite 409-418. IEEE, (2021)Towards Zero Alarms in Sound Static Analysis of Finite State Machines., , , und . SAFECOMP, Volume 11698 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2019)Abstract Interpretation in Industry - Experience and Lessons Learned., , und . SAS, Volume 14284 von Lecture Notes in Computer Science, Seite 10-27. Springer, (2023)Validierung des Zeitverhaltens von kritischer Echtzeit-Software., , , , , , , , , und 4 andere Autor(en). GI Jahrestagung (1), Volume P-34 von LNI, Seite 335-339. GI, (2003)Static Verification of Non-Functional Software Requirements in the ISO-26262., und . Automotive - Safety & Security, Volume P-210 von LNI, Seite 39-53. GI, (2012)Testing Implementation Soundness of a WCET Analysis Tool., , , und . A Journey of Embedded and Cyber-Physical Systems, Seite 5-17. Springer, (2021)Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation., , , , und . MBMV, Seite 1-4. VDE/IEEE, (2022)