Zobrazeno 1 - 10
of 116
pro vyhledávání: '"Stefanescu, Andrei"'
Autor:
Scott, Ryan G., Boston, Brett, Davis, Benjamin, Diatchki, Iavor, Dodds, Mike, Hendrix, Joe, Matichuk, Daniel, Quick, Kevin, Ravitch, Tristan, Robert, Valentin, Selfridge, Benjamin, Stefănescu, Andrei, Wagner, Daniel, Winwood, Simon
When attempting to understand the behavior of an executable, a binary analyst can make use of many different techniques. These include program slicing, dynamic instrumentation, binary-level rewriting, symbolic execution, and formal verification, all
Externí odkaz:
http://arxiv.org/abs/2407.06375
Autor:
Rosen, Allison D., Howerton, Isabelle, Brosnan, Hannah K., Stefanescu, Andrei, Gomih, Ayodele, Ngo, Cathy, Chang, Alicia H., Nguyen, Anh, Thomas, Emily H.
Publikováno v:
In American Journal of Preventive Medicine July 2023 65(1):12-18
Publikováno v:
In Journal of the Academy of Consultation-Liaison Psychiatry May-June 2023 64(3):226-235
Autor:
Bruce, Katharine, Stefanescu, Andrei, Romero, Lisa, Okoroh, Ekwutosi, Cox, Shanna, Kieltyka, Lyn, Kroelinger, Charlan
Publikováno v:
In Women's Health Issues March-April 2023 33(2):133-141
Autor:
Stefanescu, Andrei, Ciobaca, Stefan, Mereuta, Radu, Moore, Brandon, Serbanuta, Traian Florin, Rosu, Grigore
Publikováno v:
Logical Methods in Computer Science, Volume 15, Issue 2 (April 30, 2019) lmcs:4939
This paper presents a language-independent proof system for reachability properties of programs written in non-deterministic (e.g., concurrent) languages, referred to as all-path reachability logic. It derives partial-correctness properties with all-
Externí odkaz:
http://arxiv.org/abs/1810.10826
Reachability logic has been applied to $\mathbb{K}$ rewrite-rule-based language definitions as a language-generic logic of programs. To be able to verify not just code but also distributed system designs, a new rewrite-theory-generic reachability log
Externí odkaz:
http://arxiv.org/abs/1709.05045
Autor:
Stefanescu, Andrei1,2 stefanes@umich.edu, Jespersen, Megan3
Publikováno v:
Maternal & Child Health Journal. Feb2023, Vol. 27 Issue 2, p318-327. 10p. 4 Maps.
Autor:
Stefanescu, Andrei1, Hilliker, Amy2
Publikováno v:
American Indian & Alaska Native Mental Health Research: The Journal of the National Center. 2023, Vol. 30 Issue 1, p1-13. 13p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
A5321 Team, Gandhi, Monica, Gandhi, Rajesh T., Stefanescu, Andrei, Bosch, Ronald J., Cyktor, Joshua C., Horng, Howard, Louie, Alexander, Phung, Nhi, Eron, Joseph J., Hogg, Evelyn, Macatangay, Bernard J. C., Hensel, Christopher, Fletcher, Courtney V., Mellors, John W., McMahon, Deborah K.
Publikováno v:
The Journal of Infectious Diseases, 2018 Jul . 218(2), 234-238.
Externí odkaz:
https://www.jstor.org/stable/26495442