Madalina Erascu

31 papers B 4C 2Misc 7Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automatic Generation of Polynomial Symmetry Breaking Constraints.
CoRR
Madalina Erascu, Johannes Middeke
2025 J jnl
Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory.
CoRR
Madalina Erascu
2025 — ed.
Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025) Collocated with The 30th International Conference on Automated Deduction (CADE 2025), Stuttgart, Germany, August 2, 2025.
SC-Square@CADE
Madalina Erascu, Mikolás Janota
2024 B conf
Fast and Exact Synthesis of Application Deployment Plans using Graph Neural Networks and Satisfiability Modulo Theory.
IJCNN
Madalina Erascu
2023 — conf
Architecturing Binarized Neural Networks for Traffic Sign Recognition.
ICANN (1)
Andreea Postovan, Madalina Erascu
2023 J jnl
Architecturing Binarized Neural Networks for Traffic Sign Recognition.
CoRR
Andreea Postovan, Madalina Erascu
2023 — conf
Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition.
FROM
Andreea Postovan, Madalina Erascu
2023 J jnl
Benchmarking Optimization Solvers and Symmetry Breakers for the Automated Deployment of Component-based Applications in the Cloud (EXTENDED ABSTRACT).
CoRR
Bogdan David, Madalina Erascu
2023 C conf
SAGE - A Tool for Optimal Deployments in Kubernetes Clusters.
CloudCom
Vlad-Ioan Luca, Madalina Erascu
2023 J jnl
SAGE - A Tool for Optimal Deployments in Kubernetes Clusters.
CoRR
Vlad-Ioan Luca, Madalina Erascu
2022 — conf
Automatic Deployment of Component-based Applications in the Cloud (short paper).
SC-Square@FLoC
Bogdan David, Madalina Erascu
2022 — conf
Transferring Learning into the Workplace: Evaluating a Student-centered Learning Approach through Computer Science Students' Lens.
CSEDU (2)
Madalina Erascu, Velibor Mladenovici
2021 J jnl
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking.
J. Log. Algebraic Methods Program.
Madalina Erascu, Flavia Micota, Daniela Zaharie
2020 J jnl
Scalable Optimal Deployment in the Cloud of Component-based Applications using Optimization Modulo Theory, Mathematical Programming and Symmetry Breaking.
CoRR
Madalina Erascu, Flavia Micota, Daniela Zaharie
2018 Misc conf
A Tool for Fake News Detection.
SYNASC
Bashar Al Asaad, Madalina Erascu
2018 Misc conf
An Architecture for a Management Agency for Cloud Resources.
SYNASC
Madalina Erascu, Gabriel Iuhasz, Flavia Micota
2018 B conf
Constraint Satisfaction Approaches in Cloud Resource Selection for Component Based Applications.
ICCP
Flavia Micota, Madalina Erascu, Daniela Zaharie
2018 — conf
Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection.
LPAR (Workshop and Short Papers)
Madalina Erascu, Flavia Micota, Daniela Zaharie
2017 J jnl
Automatically Enforcing Security SLAs in the Cloud.
IEEE Trans. Serv. Comput.
Valentina Casola, Alessandra De Benedictis, Madalina Erascu, Jolanda Modic, Massimiliano Rak
2017 — conf
Formal verification of data-intensive applications through model checking modulo theories.
SPIN
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi
2016 Misc conf
A Security SLA-driven Methodology to Set-Up Security Capabilities on Top of Cloud Services.
CISIS
Valentina Casola, Alessandra De Benedictis, Madalina Erascu, Massimiliano Rak, Umberto Villano
2016 — conf
A tool for verification of big-data applications.
QUDOS@ISSTA
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu
2016 B conf
Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms.
CASC
Madalina Erascu
2016 J jnl
Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation).
J. Symb. Comput.
Madalina Erascu, Hoon Hong
2016 C conf
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.
ICFEM
Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi
2014 Misc conf
Semi-automatic analysis of algorithm complexity (Case study: Square-root computation).
SISY
Madalina Erascu
2014 B conf
Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation).
ISSAC
Madalina Erascu, Hoon Hong
2013 J jnl
The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation.
Reliab. Comput.
Madalina Erascu, Hoon Hong
2012 Misc conf
Soundness of a Logic-Based Verification Method for Imperative Loops.
SYNASC
Madalina Erascu, Tudor Jebelean
2010 Misc conf
A Purely Logical Approach to the Termination of Imperative Loops.
SYNASC
Madalina Erascu, Tudor Jebelean
2009 Misc conf
A Calculus for Imperative Programs: Formalization and Implementation.
SYNASC
Madalina Erascu, Tudor Jebelean