( en | de | ru )

 

Disambiguation of "Melham, Tom"

Author of the publication

copydeleteadd this publication to your clipboard
Assume-guarantee validation for STE properties within an SVA environment.

, , and . FMCAD, page 108-115. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marieta Ioana Toma

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

Tom Herrmann

Tom Hellriegel

Tom Nilges

Tom Walde

 

Other publications of authors with the same name

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)., , , , and . CoRR, (2016)Enhancing active model learning with equivalence checking using simulation relations., , and . Formal Methods Syst. Des., 61 (2): 164-197 (December 2022)Equivalence Checking Using Trace Partitioning., , , and . ISVLSI, page 13-18. IEEE Computer Society, (2015)DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning., , , , and . AAAI, page 7647-7656. AAAI Press, (2021)Hardware/Software Co-verification Using Path-based Symbolic Execution., , , , and . CoRR, (2020)DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning., , , , and . CoRR, (2019)Automatic Heap Layout Manipulation for Exploitation., , and . USENIX Security Symposium, page 763-779. USENIX Association, (2018)A Formal CHERI-C Semantics for Verification., , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 549-568. Springer, (2023)End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers., and . FMCAD, page 24-33. IEEE, (2021)Modelling, abstraction, and computation in Systems Biology: A view from Computer Science. Progress in Biophysics and Molecular Biology, (September 2012)