( en | de | ru )

 

Disambiguierung von "Melham, Tom"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Relational STE and theorem proving for formal verification of industrial circuit designs.

, , und . FMCAD, Seite 97-104. IEEE, (2013)

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 Ritter

Tom Grigull

Tom Walde

Tom Smolinka

 

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)Equivalence Checking Using Trace Partitioning., , , und . ISVLSI, Seite 13-18. IEEE Computer Society, (2015)DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning., , , , und . AAAI, Seite 7647-7656. AAAI Press, (2021)Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training., , und . CoRR, (2019)Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel., , , und . CoRR, (2016)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)