Madalina Erascu

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 20

Top Topics

Quantifier Elimination

Numerical Algorithms

Contractual Obligations

Top Venues

LPAR (Workshop and Short Papers)

J. Log. Algebraic Methods Program.

Publications

Bogdan David, Madalina Erascu
Benchmarking Optimization Solvers and Symmetry Breakers for the Automated Deployment of Component-based Applications in the Cloud (EXTENDED ABSTRACT). CoRR (2023)
Vlad-Ioan Luca, Madalina Erascu
SAGE - A Tool for Optimal Deployments in Kubernetes Clusters. CoRR (2023)
Vlad-Ioan Luca, Madalina Erascu
SAGE - A Tool for Optimal Deployments in Kubernetes Clusters. CloudCom (2023)
Andreea Postovan, Madalina Erascu
Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition. FROM (2023)
Andreea Postovan, Madalina Erascu
Architecturing Binarized Neural Networks for Traffic Sign Recognition. CoRR (2023)
Bogdan David, Madalina Erascu
Automatic Deployment of Component-based Applications in the Cloud (short paper). SC-Square@FLoC (2022)
Madalina Erascu, Velibor Mladenovici
Transferring Learning into the Workplace: Evaluating a Student-centered Learning Approach through Computer Science Students' Lens. CSEDU (2) (2022)
Madalina Erascu, Flavia Micota, Daniela Zaharie
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking. J. Log. Algebraic Methods Program. 121 (2021)
Madalina Erascu, Flavia Micota, Daniela Zaharie
Scalable Optimal Deployment in the Cloud of Component-based Applications using Optimization Modulo Theory, Mathematical Programming and Symmetry Breaking. CoRR (2020)
Madalina Erascu, Flavia Micota, Daniela Zaharie
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) (2018)
Madalina Erascu, Gabriel Iuhasz, Flavia Micota
An Architecture for a Management Agency for Cloud Resources. SYNASC (2018)
Flavia Micota, Madalina Erascu, Daniela Zaharie
Constraint Satisfaction Approaches in Cloud Resource Selection for Component Based Applications. ICCP (2018)
Bashar Al Asaad, Madalina Erascu
A Tool for Fake News Detection. SYNASC (2018)
Valentina Casola, Alessandra De Benedictis, Madalina Erascu, Jolanda Modic, Massimiliano Rak
Automatically Enforcing Security SLAs in the Cloud. IEEE Trans. Serv. Comput. 10 (5) (2017)
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi
Formal verification of data-intensive applications through model checking modulo theories. SPIN (2017)
Valentina Casola, Alessandra De Benedictis, Madalina Erascu, Massimiliano Rak, Umberto Villano
A Security SLA-driven Methodology to Set-Up Security Capabilities on Top of Cloud Services. CISIS (2016)
Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. ICFEM (2016)
Madalina Erascu
Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms. CASC (2016)
Madalina Erascu, Hoon Hong
Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). J. Symb. Comput. 75 (2016)
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu
A tool for verification of big-data applications. QUDOS@ISSTA (2016)
Madalina Erascu
Semi-automatic analysis of algorithm complexity (Case study: Square-root computation). SISY (2014)
Madalina Erascu, Hoon Hong
Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). ISSAC (2014)
Madalina Erascu, Hoon Hong
The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation. Reliab. Comput. 18 (2013)
Madalina Erascu, Tudor Jebelean
Soundness of a Logic-Based Verification Method for Imperative Loops. SYNASC (2012)
Madalina Erascu, Tudor Jebelean
A Purely Logical Approach to the Termination of Imperative Loops. SYNASC (2010)
Madalina Erascu, Tudor Jebelean
A Calculus for Imperative Programs: Formalization and Implementation. SYNASC (2009)