| 2026 | ISSAC | Automatic Generation of Polynomial Symmetry Breaking Constraints. | Madalina Erascu, Johannes Middeke |
| 2024 | IJCNN | Fast and Exact Synthesis of Application Deployment Plans using Graph Neural Networks and Satisfiability Modulo Theory. | Madalina Erascu |
| 2023 | CloudCom | SAGE - A Tool for Optimal Deployments in Kubernetes Clusters. | Vlad-Ioan Luca, Madalina Erascu |
| 2023 | ICANN | Architecturing Binarized Neural Networks for Traffic Sign Recognition. | Andreea Postovan, Madalina Erascu |
| 2022 | CSEDU | Transferring Learning into the Workplace: Evaluating a Student-centered Learning Approach through Computer Science Students' Lens. | Madalina Erascu, Velibor Mladenovici |
| 2018 | LPAR | 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 |
| 2018 | SYNASC | A Tool for Fake News Detection. | Bashar Al Asaad, Madalina Erascu |
| 2018 | SYNASC | An Architecture for a Management Agency for Cloud Resources. | Madalina Erascu, Gabriel Iuhasz, Flavia Micota |
| 2016 | CASC | Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms. | Madalina Erascu |
| 2016 | CISIS | 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 |
| 2016 | ICFEM | Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. | Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi |
| 2016 | ISSTA | A tool for verification of big-data applications. | Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu |
| 2014 | ISSAC | Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). | Madalina Erascu, Hoon Hong |
| 2014 | SISY | Semi-automatic analysis of algorithm complexity (Case study: Square-root computation). | Madalina Erascu |
| 2012 | SYNASC | Soundness of a Logic-Based Verification Method for Imperative Loops. | Madalina Erascu, Tudor Jebelean |
| 2010 | SYNASC | A Purely Logical Approach to the Termination of Imperative Loops. | Madalina Erascu, Tudor Jebelean |
| 2009 | SYNASC | A Calculus for Imperative Programs: Formalization and Implementation. | Madalina Erascu, Tudor Jebelean |