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 | 10 | 2018 |
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 | 4 | 2017 |
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 | 3 | 2013 |
Frobenius structural matrix algebras S Dăscălescu, MC Iovanov, S Preduţ Linear Algebra and its Applications 439 (10), 3166-3172, 2013 | 2 | 2013 |