Search Results - "Erascu, Madalina"

Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation) by Eraşcu, Mădălina, Hong, Hoon

“…We report on our on-going efforts to apply real quantifier elimination to the synthesis of optimal numerical algorithms. In particular, we describe a case…”
Get full text

Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking by Eraşcu, Mădălina, Micota, Flavia, Zaharie, Daniela

“…Automated deployment of component-based applications in the Cloud consists in the allocation of virtual machines (VMs) offers from various Cloud Providers such…”
Get full text

Automatically Enforcing Security SLAs in the Cloud by Casola, Valentina, De Benedictis, Alessandra, Erascu, Madalina, Modic, Jolanda, Rak, Massimiliano

“…Dealing with the provisioning of cloud services granted by Security SLAs is a very challenging research topic. At the state of the art, the main related issues…”
Get full text

Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition by Postovan, Andreea, Eraşcu, Mădălina

Get full text

SAGE - A Tool for Optimal Deployments in Kubernetes Clusters by Luca, Vlad-Ioan, Erascu, Madalina

“…Cloud computing has brought a fundamental transformation in how organizations operate their applications, enabling them to achieve affordable high availability…”
Get full text

A scalable hybrid approach for applications placement in the cloud by Erascu, Madalina, Micota, Flavia, Zaharie, Daniela

“…The exact methods do not scale well for resource management problems requiring to deploy a set of applications on some virtual machines (VMs) such that (1)…”
Get full text

Fast and Exact Synthesis of Application Deployment Plans using Graph Neural Networks and Satisfiability Modulo Theory by Erascu, Madalina

“…Learning-augmented algorithms use machine learning predictions to boost optimization algorithms performance. The extra information incorporated into…”
Get full text

A Purely Logical Approach to the Termination of Imperative Loops by Eraşcu, Mȃdȃlina, Jebelean, Tudor

“…We present and illustrate a method for the generation of the termination conditions for nested loops with abrupt termination statements. The conditions are…”
Get full text

A Calculus for Imperative Programs: Formalization and Implementation by Erascu, Madalina, Jebelean, Tudor

“…As an extension of our previous work on imperative program verification, we present a formalism for handling the total correctness of While loops in imperative…”
Get full text

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

“…CEUR-WS, vol 3458, 2023 Optimization solvers based on methods from constraint programming (OR-Tools, Chuffed, Gecode), optimization modulo theory (Z3), and…”
Get full text

SAGE -- A Tool for Optimal Deployments in Kubernetes Clusters by Luca, Vlad-Ioan, Erascu, Madalina

“…Cloud computing has brought a fundamental transformation in how organizations operate their applications, enabling them to achieve affordable high availability…”
Get full text

A Tool for Fake News Detection by Al Asaad, Bashar, Erascu, Madalina

“…The word post-truth was considered by Oxford Dictionaries Word of the Year 2016. The word is an adjective relating to or denoting circumstances in which…”
Get full text

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

“…We report on our on-going efforts to apply real quantifier elimination to the (semi-)automatic complexity analysis of numerical algorithms. In particular, we…”
Get full text

Scalable Optimal Deployment in the Cloud of Component-based Applications using Optimization Modulo Theory, Mathematical Programming and Symmetry Breaking by Erascu, Madalina, Micota, Flavia, Zaharie, Daniela

“…The problem of Cloud resource provisioning for component-based applications consists in the allocation of virtual machines (VMs) offers from various Cloud…”
Get full text

Constraint Satisfaction Approaches in Cloud Resource Selection for Component Based Applications by Micota, Flavia, Erascu, Madalina, Zaharie, Daniela

“…Cloud resource provisioning for applications con-sisting of interacting components requires solving a constrained optimization problem. In this paper two exact…”
Get full text

An Architecture for a Management Agency for Cloud Resources by Erascu, Madalina, Iuhasz, Gabriel, Micota, Flavia

“…Cloud computing offers attractive options to migrate corporate applications without the end users needing to manage any physical resources. While this "ease"…”
Get full text

A Security SLA-driven Methodology to Set-Up Security Capabilities on Top of Cloud Services by Casola, Valentina, De Benedictis, Alessandra, Erascu, Madalina, Rak, Massimiliano, Villano, Umberto

“…The extensive use of cloud services by both individual users and organizations induces several security risks. The risk perception is higher when Cloud Service…”
Get full text

Soundness of a Logic-Based Verification Method for Imperative Loops by Erascu, M., Jebelean, T.

“…We present a logic-based verification method for imperative loops (including ones with abrupt termination) and the automatic proof of its soundness. The…”
Get full text

Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition by Postovan, Andreea, Eraşcu, Mădălina

“…EPTCS 389, 2023, pp. 120-130 Traffic signs play a critical role in road safety and traffic management for autonomous driving systems. Accurate traffic sign…”
Get full text

Architecturing Binarized Neural Networks for Traffic Sign Recognition by Postovan, Andreea, Eraşcu, Mădălina

“…Traffic signs support road safety and managing the flow of traffic, hence are an integral part of any vision system for autonomous driving. While the use of…”
Get full text