Stebėti
Predut Sorina-Nicoleta
Predut Sorina-Nicoleta
Assistant Professor, University of Bucharest
Patvirtintas el. paštas my.fmi.unibuc.ro - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
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
102018
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
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–5