Madalina Erascu
Universitatea de Vest din Timisoara
H-index: 8
Europe-Romania
Top articles of Madalina Erascu
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Formal Verification of Storm Topologies-Supplementary Material | E Pagani Marcello Maria Bersani M Erascu F Marconi S Ghilardi | 2024/4/10 | |
Architecturing binarized neural networks for traffic sign recognition | Andreea Postovan Mădălina Eraşcu | 2023/9/22 | |
SAGE--A Tool for Optimal Deployments in Kubernetes Clusters | arXiv preprint arXiv:2307.06318 | Vlad-Ioan Luca Madalina Erascu | 2023/7/12 |
Benchmarking Optimization Solvers and Symmetry Breakers for the Automated Deployment of Component-based Applications in the Cloud | arXiv preprint arXiv:2305.15231 | Bogdan David Madalina Erascu | 2023/5/24 |
Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition | arXiv preprint arXiv:2310.03033 | Andreea Postovan Mădălina Eraşcu | 2023/9/25 |
Transferring Learning into the Workplace: Evaluating a Student-centered Learning Approach through Computer Science Students' Lens. | Madalina Erascu Velibor Mladenovici | 2022 | |
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking | Journal of Logical and Algebraic Methods in Programming | Mădălina Eraşcu Flavia Micota Daniela Zaharie | 2021/6/1 |
Applying Optimization Modulo Theory, Mathematical Programming and Symmetry Breaking for Automatic Deployment in the Cloud of Component-based Applications extended abstract | 4 th Women in Logic Workshop | Mădălina Eraşcu Flavia Micota Daniela Zaharie | 2020/6/30 |