Teodor Stoenescu

According to our database, Teodor Stoenescu authored at least 3 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Binary Analysis based on Symbolic Execution and Reversible x86 Instructions.

Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate

Fundam. Informaticae, 2017

2016

RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions.

Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate

Proceedings of the FM 2016: Formal Methods, 2016

2010

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

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010