E-LIB Suche - Ergebnisse für: Melham, Tom

1

A Formal CHERI-C Semantics for Verification:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Park, Seung Hoon ; Pai, Rekha ; Melham, Tom - p. 549-568 , 2023

2

Enhancing active model learning with equivalence checking u..:

Yogananda Jeppu, Natasha ; Melham, Tom ; Kroening, Daniel
Formal Methods in System Design. 61 (2022) 2-3 - p. 164-197 , 2022

Link: https://doi.org/10.1007/..

3

Position Paper: Towards a Hybrid Approach to Protect Agains..:

, In: 2022 IEEE Secure Development Conference (SecDev),

Alshmrany, Kaled ; Bhayat, Ahmed ; Braube, Franz... - p. 52-58 , 2022

Link: https://doi.org/10.1109/..

4

Exposing previously undetectable faults in deep neural netw..:

, In: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Dunn, Isaac ; Pouget, Hadrien ; Kroening, Daniel. - p. 56-66 , 2021

Link: https://dl.acm.org/doi/1..

5

Gollum : Modular and Greybox Exploit Generation for Heap..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,

Heelan, Sean ; Melham, Tom ; Kroening, Daniel - p. 1689-1706 , 2019

Link: https://dl.acm.org/doi/1..

6

Symbolic Trajectory Evaluation:

, In: Handbook of Model Checking,

Melham, Tom - p. 831-870 , 2018

Link: https://doi.org/10.1007/..

7

Effective Verification for Low-Level Software with Competin..:

Liang, Lihao ; Melham, Tom ; Kroening, Daniel..
ACM Transactions on Embedded Computing Systems. 17 (2017) 2 - p. 1-26 , 2017

Link: https://doi.org/10.1145/..

8

Effective Verification for Low-Level Software with Competin..:

Liang, Lihao ; Melham, Tom ; Kroening, Daniel..
ACM Transactions on Embedded Computing Systems (TECS). 17 (2017) 2 - p. 1-26 , 2017

Link: https://dl.acm.org/doi/1..

9

Effective verification of low-level software with nested in..:

, In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition,

Kroening, Daniel ; Liang, Lihao ; Melham, Tom.. - p. 229-234 , 2015

Link: https://dl.acm.org/doi/1..

10

Generating test case chains for reactive systems:

Schrammel, Peter ; Melham, Tom ; Kroening, Daniel
International Journal on Software Tools for Technology Transfer. 18 (2014) 3 - p. 319-334 , 2014

Link: https://doi.org/10.1007/..

11

Plenary discussion of the conceptual foundations of systems..:

Bard, Jonathan ; Melham, Tom ; Werner, Eric.
Progress in Biophysics and Molecular Biology. 111 (2013) 2-3 - p. 137-140 , 2013

Link: https://doi.org/10.1016/..

12

Modelling, abstraction, and computation in systems biology:..:

Melham, Tom
Progress in Biophysics and Molecular Biology. 111 (2013) 2-3 - p. 129-136 , 2013

Link: https://doi.org/10.1016/..

13

Epilogue:

Bard, Jonathan ; Melham, Tom ; Noble, Denis
Progress in Biophysics and Molecular Biology. 111 (2013) 2-3 - p. 147-149 , 2013

Link: https://doi.org/10.1016/..

14

Conceptual foundations of systems biology:

Melham, Tom ; Bard, Jonathan ; Werner, Eric.
Progress in Biophysics and Molecular Biology. 111 (2013) 2-3 - p. 55-56 , 2013

Link: https://doi.org/10.1016/..

15

Tool Building Requirements for an API to First-Order Solver:

Grundy, Jim ; Melham, Tom ; Krstić, Sava.
Electronic Notes in Theoretical Computer Science. 144 (2006) 2 - p. 15-26 , 2006

Link: https://doi.org/10.1016/..