Seuraa
Daniel Grumberg
Daniel Grumberg
PhD Student, Imperial College London
Vahvistettu sähköpostiosoite verkkotunnuksessa imperial.ac.uk
Nimike
Viittaukset
Viittaukset
Vuosi
A {DSL} Approach to Reconcile Equivalent Divergent Program Executions
L Pina, D Grumberg, A Andronidis, C Cadar
2017 USENIX Annual Technical Conference (USENIX ATC 17), 417-429, 2017
182017
SaBRe: load-time selective binary rewriting
PA Arras, A Andronidis, L Pina, K Mituzas, Q Shu, D Grumberg, C Cadar
International Journal on Software Tools for Technology Transfer 24 (2), 205-223, 2022
112022
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–2