Sorina Predut

According to our database, Sorina Predut authored at least 3 papers between 2016 and 2018.

Collaborative distances:

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

2018

Formal Modelling of Cruise Control System Using Event-B and Rodin Platform.

Sorina-Nicoleta Predut, Florentin Ipate, Marian Gheorghe, Felician Campean

Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, 2018

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