Madalina Erascu

According to our database, Madalina Erascu authored at least 24 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition.

Andreea Postovan, Madalina Erascu

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 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

Architecturing Binarized Neural Networks for Traffic Sign Recognition.

Andreea Postovan, Madalina Erascu

CoRR, 2023

SAGE - A Tool for Optimal Deployments in Kubernetes Clusters.

Vlad-Ioan Luca, Madalina Erascu

Proceedings of the IEEE International Conference on Cloud Computing Technology and Science, 2023

2022

Automatic Deployment of Component-based Applications in the Cloud (short paper).

Bogdan David, Madalina Erascu

Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022

Transferring Learning into the Workplace: Evaluating a Student-centered Learning Approach through Computer Science Students' Lens.

Madalina Erascu, Velibor Mladenovici

Proceedings of the 14th International Conference on Computer Supported Education, 2022

2021

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

2018

An Architecture for a Management Agency for Cloud Resources.

Madalina Erascu, Gabriel Iuhasz, Flavia Micota

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

A Tool for Fake News Detection.

Bashar Al Asaad, Madalina Erascu

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 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

Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018

Constraint Satisfaction Approaches in Cloud Resource Selection for Component Based Applications.

Flavia Micota, Madalina Erascu, Daniela Zaharie

Proceedings of the 14th IEEE International Conference on Intelligent Computer Communication and Processing, 2018

2017

Automatically Enforcing Security SLAs in the Cloud.

Valentina Casola, Alessandra De Benedictis, Madalina Erascu, Jolanda Modic, Massimiliano Rak

IEEE Trans. Serv. Comput., 2017

Formal verification of data-intensive applications through model checking modulo theories.

Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016

Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation).

Madalina Erascu, Hoon Hong

J. Symb. Comput., 2016

A tool for verification of big-data applications.

Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu

Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016

Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.

Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi

Proceedings of the Formal Methods and Software Engineering, 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

Proceedings of the 10th International Conference on Complex, 2016

Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms.

Madalina Erascu

Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

2014

Semi-automatic analysis of algorithm complexity (Case study: Square-root computation).

Madalina Erascu

Proceedings of the IEEE 12th International Symposium on Intelligent Systems and Informatics, 2014

Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation).

Madalina Erascu, Hoon Hong

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

2013

The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation.

Madalina Erascu, Hoon Hong

Reliab. Comput., 2013

2012

Soundness of a Logic-Based Verification Method for Imperative Loops.

Madalina Erascu, Tudor Jebelean

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

2010

A Purely Logical Approach to the Termination of Imperative Loops.

Madalina Erascu, Tudor Jebelean

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2009

A Calculus for Imperative Programs: Formalization and Implementation.

Madalina Erascu, Tudor Jebelean

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009