Automatic Generation of Polynomial Symmetry Breaking Constraints.

Madalina Erascu West University of Timisoara, Romania https://orcid.org/0000-0002-0435-5883 Madalina Erascu Johannes Middeke Automatic Generation of Polynomial Symmetry Breaking Constraints. 172-181 2026 ISSAC https://doi.org/10.1145/3815436.3815476 conf/issac/2026 db/conf/issac/issac2026.html#ErascuM26

Madalina Erascu Johannes Middeke Automatic Generation of Polynomial Symmetry Breaking Constraints. 2026 February abs/2602.08297 CoRR https://doi.org/10.48550/arXiv.2602.08297 db/journals/corr/corr2602.html#abs-2602-08297 streams/journals/corr

Madalina Erascu Mikolás Janota 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 CEUR-WS.org 2025 CEUR Workshop Proceedings 4116 https://ceur-ws.org/Vol-4116 https://nbn-resolving.org/urn:nbn:de:0074-4116-x db/conf/scsquare/scsquare2025.html

Madalina Erascu Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory. 2025 November abs/2511.23109 CoRR https://doi.org/10.48550/arXiv.2511.23109 db/journals/corr/corr2511.html#abs-2511-23109 streams/journals/corr

Madalina Erascu Fast and Exact Synthesis of Application Deployment Plans using Graph Neural Networks and Satisfiability Modulo Theory. 1-10 2024 IJCNN https://doi.org/10.1109/IJCNN60899.2024.10650114 conf/ijcnn/2024 db/conf/ijcnn/ijcnn2024.html#Erascu24 streams/conf/ijcnn Vlad-Ioan Luca Madalina Erascu SAGE - A Tool for Optimal Deployments in Kubernetes Clusters. 10-17 2023 CloudCom https://doi.org/10.1109/CloudCom59040.2023.00016 conf/cloudcom/2023 db/conf/cloudcom/cloudcom2023.html#LucaE23 Andreea Postovan Madalina Erascu Architecturing Binarized Neural Networks for Traffic Sign Recognition. 87-98 2023 ICANN (1) https://doi.org/10.1007/978-3-031-44207-0_8 conf/icann/2023-1 db/conf/icann/icann2023-1.html#PostovanE23 streams/conf/icann Andreea Postovan Madalina Erascu Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition. FROM 2023 120-130 journals/corr/abs-2309-12959 https://doi.org/10.4204/EPTCS.389.10 https://doi.org/10.48550/arXiv.2310.03033 db/series/eptcs/eptcs389.html#abs-2310-03033

Andreea Postovan Madalina Erascu Architecturing Binarized Neural Networks for Traffic Sign Recognition. 2023 abs/2303.15005 CoRR https://doi.org/10.48550/arXiv.2303.15005 db/journals/corr/corr2303.html#abs-2303-15005

Bogdan David Madalina Erascu Benchmarking Optimization Solvers and Symmetry Breakers for the Automated Deployment of Component-based Applications in the Cloud (EXTENDED ABSTRACT). 2023 abs/2305.15231 CoRR https://doi.org/10.48550/arXiv.2305.15231 db/journals/corr/corr2305.html#abs-2305-15231

Vlad-Ioan Luca Madalina Erascu SAGE - A Tool for Optimal Deployments in Kubernetes Clusters. 2023 abs/2307.06318 CoRR https://doi.org/10.48550/arXiv.2307.06318 db/journals/corr/corr2307.html#abs-2307-06318

Madalina Erascu Velibor Mladenovici Transferring Learning into the Workplace: Evaluating a Student-centered Learning Approach through Computer Science Students' Lens. 442-449 2022 CSEDU (2) https://doi.org/10.5220/0010999300003182 conf/csedu/2022-2 db/conf/csedu/csedu2022-2.html#ErascuM22 Bogdan David Madalina Erascu Automatic Deployment of Component-based Applications in the Cloud (short paper). 37-44 2022 SC-Square@FLoC https://ceur-ws.org/Vol-3458/paper4.pdf conf/scsquare/2022 db/conf/scsquare/scsquare2022.html#DavidE22

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. 100664 2021 121 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2021.100664 db/journals/jlap/jlap121.html#ErascuMZ21

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. 2020 abs/2006.05401 CoRR https://arxiv.org/abs/2006.05401 db/journals/corr/corr2006.html#abs-2006-05401

Flavia Micota Madalina Erascu Daniela Zaharie Constraint Satisfaction Approaches in Cloud Resource Selection for Component Based Applications. 443-450 2018 ICCP https://doi.org/10.1109/ICCP.2018.8516639 conf/iccp2/2018 db/conf/iccp2/iccp2018.html#MicotaEZ18 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. 1-14 2018 LPAR (Workshop and Short Papers) https://doi.org/10.29007/zwdh conf/lpar/2018w db/conf/lpar/lpar2018w.html#ErascuMZ18 Madalina Erascu Gabriel Iuhasz Flavia Micota An Architecture for a Management Agency for Cloud Resources. 288-295 2018 SYNASC https://doi.org/10.1109/SYNASC.2018.00052 conf/synasc/2018 db/conf/synasc/synasc2018.html#ErascuIM18 Bashar Al Asaad Madalina Erascu A Tool for Fake News Detection. 379-386 2018 SYNASC https://doi.org/10.1109/SYNASC.2018.00064 conf/synasc/2018 db/conf/synasc/synasc2018.html#AsaadE18

Valentina Casola Alessandra De Benedictis Madalina Erascu Jolanda Modic Massimiliano Rak Automatically Enforcing Security SLAs in the Cloud. 741-755 2017 10 IEEE Trans. Serv. Comput. 5 https://doi.org/10.1109/TSC.2016.2540630 http://doi.ieeecomputersociety.org/10.1109/TSC.2016.2540630 https://www.wikidata.org/entity/Q125767055 db/journals/tsc/tsc10.html#CasolaBEMR17

Marcello M. Bersani Francesco Marconi Matteo Rossi 0001 Madalina Erascu Silvio Ghilardi Formal verification of data-intensive applications through model checking modulo theories. 98-101 2017 SPIN https://doi.org/10.1145/3092282.3092300 conf/spin/2017 db/conf/spin/spin2017.html#BersaniMREG17

Madalina Erascu Hoon Hong Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). 110-126 2016 75 J. Symb. Comput. https://doi.org/10.1016/j.jsc.2015.11.010 https://www.wikidata.org/entity/Q57431541 db/journals/jsc/jsc75.html#ErascuH16

Madalina Erascu Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms. 193-211 2016 CASC https://doi.org/10.1007/978-3-319-45641-6_13 conf/casc/2016 db/conf/casc/casc2016.html#Erascu16 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. 549-554 2016 CISIS https://doi.org/10.1109/CISIS.2016.116 https://doi.ieeecomputersociety.org/10.1109/CISIS.2016.116 conf/cisis/2016 db/conf/cisis/cisis2016.html#CasolaBERV16 Francesco Marconi Marcello M. Bersani Madalina Erascu Matteo Rossi 0001 Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. 193-209 2016 ICFEM https://doi.org/10.1007/978-3-319-47846-3_13 conf/icfem/2016 db/conf/icfem/icfem2016.html#MarconiBER16 Marcello M. Bersani Francesco Marconi Matteo Rossi 0001 Madalina Erascu A tool for verification of big-data applications. 44-45 2016 QUDOS@ISSTA https://doi.org/10.1145/2945408.2945419 conf/issta/2016qudos db/conf/issta/qudos2016.html#BersaniMRE16 Madalina Erascu Hoon Hong Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). 162-169 2014 ISSAC https://doi.org/10.1145/2608628.2608654 https://www.wikidata.org/entity/Q130955368 conf/issac/2014 db/conf/issac/issac2014.html#ErascuH14 Madalina Erascu Semi-automatic analysis of algorithm complexity (Case study: Square-root computation). 67-72 2014 SISY https://doi.org/10.1109/SISY.2014.6923559 conf/sisy/2014 db/conf/sisy/sisy2014.html#Erascu14

Madalina Erascu Hoon Hong The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation. 73-81 2013 18 Reliab. Comput. http://interval.louisiana.edu/reliable-computing-journal/volume-18/reliable-computing-18-pp-073-081.pdf db/journals/rc/rc18.html#ErascuH13

Madalina Erascu Tudor Jebelean Soundness of a Logic-Based Verification Method for Imperative Loops. 127-134 2012 SYNASC https://doi.org/10.1109/SYNASC.2012.63 https://doi.ieeecomputersociety.org/10.1109/SYNASC.2012.63 conf/synasc/2012 db/conf/synasc/synasc2012.html#ErascuJ12 Madalina Erascu Tudor Jebelean A Purely Logical Approach to the Termination of Imperative Loops. 142-149 2010 SYNASC https://doi.org/10.1109/SYNASC.2010.64 https://doi.ieeecomputersociety.org/10.1109/SYNASC.2010.64 conf/synasc/2010 db/conf/synasc/synasc2010.html#ErascuJ10 Madalina Erascu Tudor Jebelean A Calculus for Imperative Programs: Formalization and Implementation. 77-84 2009 SYNASC https://doi.org/10.1109/SYNASC.2009.42 https://doi.ieeecomputersociety.org/10.1109/SYNASC.2009.42 conf/synasc/2009 db/conf/synasc/synasc2009.html#ErascuJ09 Bashar Al Asaad Alessandra De Benedictis Marcello M. Bersani Valentina Casola Bogdan David Silvio Ghilardi Hoon Hong Gabriel Iuhasz Mikolás Janota Tudor Jebelean Vlad-Ioan Luca Francesco Marconi Flavia Micota Johannes Middeke Velibor Mladenovici Jolanda Modic Andreea Postovan Massimiliano Rak Matteo G. RossiMatteo Rossi 0001 Umberto Villano Daniela Zaharie