Follow
Madalina Erascu
Title
Cited by
Cited by
Year
A tool for fake news detection
B Al Asaad, M Erascu
2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018
732018
Automatically enforcing security slas in the cloud
V Casola, A De Benedictis, M Eraşcu, J Modic, M Rak
IEEE Transactions on Services Computing 10 (5), 741-755, 2016
602016
Synthesis of optimal numerical algorithms using real quantifier elimination (Case Study: Square root computation)
M Eraşcu, H Hong
Proceedings of the 39th International Symposium on Symbolic and Algebraic …, 2014
132014
Constraint satisfaction approaches in cloud resource selection for component based applications
F Micota, M Eraşcu, D Zaharie
2018 IEEE 14th International Conference on Intelligent Computer …, 2018
102018
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
M Eraşcu, F Micota, D Zaharie
Journal of Logical and Algebraic Methods in Programming 121, 100664, 2021
92021
A tool for verification of big-data applications
MM Bersani, F Marconi, M Rossi, M Erascu
Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 44-45, 2016
92016
Towards the formal verification of data-intensive applications through metric temporal logic
F Marconi, MM Bersani, M Erascu, M Rossi
Formal Methods and Software Engineering: 18th International Conference on …, 2016
92016
Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation)
M Erascu, H Hong
JOURNAL OF SYMBOLIC COMPUTATION 75, 110-126, 2016
82016
Practical Program Verification by Forward Symbolic Execution: Correctness and Examples
M Erascu, T Jebelean
Austrian-Japan Workshop on Symbolic Computation in Software Science (B …, 2008
72008
Architecturing binarized neural networks for traffic sign recognition
A Postovan, M Eraşcu
International Conference on Artificial Neural Networks, 87-98, 2023
62023
A Calculus for Imperative Programs: Formalization and Implementation
M Erascu, T Jebelean
2009 11th International Symposium on Symbolic and Numeric Algorithms for …, 2009
62009
Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection.
M Erascu, F Micota, D Zaharie
LPAR (Workshop and Short Papers), 1-14, 2018
52018
A security sla-driven methodology to set-up security capabilities on top of cloud services
V Casola, A De Benedictis, M Eraşcu, M Rak, U Villano
2016 10th International Conference on Complex, Intelligent, and Software …, 2016
52016
DICE verification tool-initial version
M Bersani, M Erascu, F Marconi, M Rossi
Technical report, DICE Consortium, 2016. www. dice-h2020. eu, 2016
42016
A scalable hybrid approach for applications placement in the cloud
M Eraşcu, F Micota, D Zaharie
2015 Conference Grid, Cloud & High Performance Computing in Science (ROLCG), 1-4, 2015
42015
A Purely Logical Approach to Program Termination
M Erascu, T Jebelean
Proceedings of the 11th International Workshop on Termination, FLOC 2010, 2010
42010
A Purely Logical Approach to Imperative Program Verification
M Erascu, T Jebelean
Tech. Report 10-07, Research Institute for Symbolic Computation, Johannes …, 2010
42010
Formal verification of data-intensive applications through model checking modulo theories
MM Bersani, F Marconi, M Rossi, M Erascu, S Ghilardi
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
32017
The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation
M Eraşcu, H Hong
Reliable Computing 18, 73-81, 2013
32013
A Purely Logical Approach to the Termination of Imperative Loops
M Eraşcu, T Jebelean
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2010 12th …, 2010
32010
The system can't perform the operation now. Try again later.
Articles 1–20