( en | de | ru )

 

Disambiguierung von "Melham, Tom"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hardware Verification Using Software Analyzers.

, , und . ISVLSI, Seite 7-12. IEEE Computer Society, (2015)

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.

Marieta Ioana Toma

Zentrosomenmorphologie in Prostatakarzinomen: eine immunhistologische Studie mit Korrelation zu DNA-Ploidie und kliniko-pathologischen Parametern. TU Dresden, (2008)

Tom Rapoport

Tom Walde

Tom Grigull

Tom Ritter

 

Weitere Publikationen von Autoren mit dem selben Namen

A Formal CHERI-C Semantics for Verification., , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 549-568. Springer, (2023)Automatic Heap Layout Manipulation for Exploitation., , und . USENIX Security Symposium, Seite 763-779. USENIX Association, (2018)End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers., und . FMCAD, Seite 24-33. IEEE, (2021)DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning., , , , und . AAAI, Seite 7647-7656. AAAI Press, (2021)Equivalence Checking Using Trace Partitioning., , , und . ISVLSI, Seite 13-18. IEEE Computer Society, (2015)Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel., , , und . CoRR, (2016)Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training., , und . CoRR, (2019)Active Learning of Abstract System Models from Traces using Model Checking., , und . DATE, Seite 100-103. IEEE, (2022)Relational STE and theorem proving for formal verification of industrial circuit designs., , und . FMCAD, Seite 97-104. IEEE, (2013)Verification of tree-based hierarchical read-copy update in the Linux kernel., , , und . DATE, Seite 61-66. IEEE, (2018)