Segui
Madalina Erascu
Titolo
Citata da
Citata da
Anno
A tool for fake news detection
B Al Asaad, M Erascu
2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018
722018
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
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
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
82021
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
A Calculus for Imperative Programs: Formalization and Implementation
M Erascu, T Jebelean
2009 11th International Symposium on Symbolic and Numeric Algorithms for …, 2009
62009
Architecturing binarized neural networks for traffic sign recognition
A Postovan, M Eraşcu
International Conference on Artificial Neural Networks, 87-98, 2023
52023
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20