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)

Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. - Sorina-Nicoleta Predut; Florentin Ipate; Marian Gheorghe 001; Felician Campean (HPCC/SmartCity/DSS, 2018)