Follow
Predut Sorina-Nicoleta
Predut Sorina-Nicoleta
Assistant Professor, University of Bucharest
Verified email at my.fmi.unibuc.ro - Homepage
Title
Cited by
Cited by
Year
Formal modelling of cruise control system using Event-B and Rodin platform
SN Predut, F Ipate, M Gheorghe, F Campean
2018 IEEE 20th International Conference on High Performance Computing and …, 2018
82018
RIVER: A Binary Analysis Framework using Symbolic Execution and Reversible x86 Instructions
FI T. Stoenescu, A. Stefanescu, S. Predut
21st International Symposium on Formal Methods (FM 2016), 779-785, 2016
6*2016
Binary analysis based on symbolic execution and reversible x86 instructions
T Stoenescu, A Stefanescu, S Predut, F Ipate
Fundamenta Informaticae 153 (1-2), 105-124, 2017
42017
Jordan isomorphisms of generalized structural matrix rings
S Dăscălescu, S Preduţ, L van Wyk
Linear and Multilinear Algebra 61 (3), 369-376, 2013
32013
Frobenius structural matrix algebras
S Dăscălescu, MC Iovanov, S Preduţ
Linear algebra and its applications 439 (10), 3166-3172, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–5