Teodor Stoenescu

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 2

Top Topics

Symbolic Execution

Static Analysis

General Purpose

Top Venues

Fundam. Informaticae

Publications

Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate
Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. Fundam. Informaticae 153 (1-2) (2017)
Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. FM (2016)
Andreea Sandu, Emil Slusanschi, Alin Murarasu, Andreea Serban, Alexandru Herisanu, Teodor Stoenescu
Towards efficient video compression using scalable vector graphics on the Cell/B.E. IWMSE@ICSE (2010)