A Calculus for Imperative Programs: Formalization and Implementation. - Madalina Erascu; Tudor Jebelean (SYNASC, 2009)

A Purely Logical Approach to the Termination of Imperative Loops. - Madalina Erascu; Tudor Jebelean (SYNASC, 2010)

Soundness of a Logic-Based Verification Method for Imperative Loops. - Madalina Erascu; Tudor Jebelean (SYNASC, 2012)

The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation. - Madalina Erascu; Hoon Hong (Reliab. Comput., 2013)

Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). - Madalina Erascu; Hoon Hong (ISSAC, 2014)

Semi-automatic analysis of algorithm complexity (Case study: Square-root computation). - Madalina Erascu (SISY, 2014)

Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms. - Madalina Erascu (CASC, 2016)

A Security SLA-driven Methodology to Set-Up Security Capabilities on Top of Cloud Services. - Valentina Casola; Alessandra De Benedictis; Madalina Erascu; Massimiliano Rak; Umberto Villano (CISIS, 2016)

Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. - Francesco Marconi; Marcello M. Bersani; Madalina Erascu; Matteo Rossi 001 (ICFEM, 2016)

A tool for verification of big-data applications. - Marcello M. Bersani; Francesco Marconi; Matteo Rossi 001; Madalina Erascu (QUDOS@ISSTA, 2016)

Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). - Madalina Erascu; Hoon Hong (J. Symb. Comput., 2016)

Formal verification of data-intensive applications through model checking modulo theories. - Marcello M. Bersani; Francesco Marconi; Matteo Rossi 001; Madalina Erascu; Silvio Ghilardi (SPIN, 2017)

Automatically Enforcing Security SLAs in the Cloud. - Valentina Casola; Alessandra De Benedictis; Madalina Erascu; Jolanda Modic; Massimiliano Rak (IEEE Trans. Serv. Comput., 2017)

Constraint Satisfaction Approaches in Cloud Resource Selection for Component Based Applications. - Flavia Micota; Madalina Erascu; Daniela Zaharie (ICCP, 2018)

Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection. - Madalina Erascu; Flavia Micota; Daniela Zaharie (LPAR (Workshop and Short Papers), 2018)

A Tool for Fake News Detection. - Bashar Al Asaad; Madalina Erascu (SYNASC, 2018)

An Architecture for a Management Agency for Cloud Resources. - Madalina Erascu; Gabriel Iuhasz; Flavia Micota (SYNASC, 2018)

Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking. - Madalina Erascu; Flavia Micota; Daniela Zaharie (J. Log. Algebraic Methods Program., 2021)

Transferring Learning into the Workplace: Evaluating a Student-centered Learning Approach through Computer Science Students' Lens. - Madalina Erascu; Velibor Mladenovici (CSEDU (2), 2022)

Automatic Deployment of Component-based Applications in the Cloud (short paper). - Bogdan David; Madalina Erascu (SC-Square@FLoC, 2022)

SAGE - A Tool for Optimal Deployments in Kubernetes Clusters. - Vlad-Ioan Luca; Madalina Erascu (CloudCom, 2023)

Architecturing Binarized Neural Networks for Traffic Sign Recognition. - Andreea Postovan; Madalina Erascu (ICANN (1), 2023)

Benchmarking Optimization Solvers and Symmetry Breakers for the Automated Deployment of Component-based Applications in the Cloud (EXTENDED ABSTRACT). - Bogdan David; Madalina Erascu (CoRR, 2023)

Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition. - Andreea Postovan; Madalina Erascu (FROM, 2023)

Fast and Exact Synthesis of Application Deployment Plans using Graph Neural Networks and Satisfiability Modulo Theory. - Madalina Erascu (IJCNN, 2024)