Towards efficient video compression using scalable vector graphics on the Cell/B.E. - Andreea Sandu; Emil Slusanschi; Alin Murarasu; Andreea Serban; Alexandru Herisanu; Teodor Stoenescu (IWMSE@ICSE, 2010)

RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. - Teodor Stoenescu; Alin Stefanescu; Sorina Predut; Florentin Ipate (FM, 2016)

Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. - Teodor Stoenescu; Alin Stefanescu; Sorina Predut; Florentin Ipate (Fundam. Informaticae, 2017)