Madalina Erascu
TitluCitat deAnul
Automatically enforcing security slas in the cloud
V Casola, A De Benedictis, M Erașcu, J Modic, M Rak
IEEE Transactions on Services Computing 10 (5), 741-755, 2017
272017
Synthesis of optimal numerical algorithms using real quantifier elimination (Case Study: Square root computation)
M Erașcu, H Hong
Proceedings of the 39th International Symposium on Symbolic and Algebraic …, 2014
122014
Towards the formal verification of data-intensive applications through metric temporal logic
F Marconi, MM Bersani, M Erascu, M Rossi
International Conference on Formal Engineering Methods, 193-209, 2016
72016
Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation)
M Erascu, H Hong
JOURNAL OF SYMBOLIC COMPUTATION 75, 110-126, 2016
52016
DICE verification tool-initial version
M Bersani, M Erascu, F Marconi, M Rossi
Technical report, DICE Consortium, 2016. www. dice-h2020. eu, 2016
52016
A Calculus for Imperative Programs: Formalization and Implementation
M Erascu, T Jebelean
2009 11th International Symposium on Symbolic and Numeric Algorithms for …, 2009
52009
Practical Program Verification by Forward Symbolic Execution: Correctness and Examples
M Erascu, T Jebelean
Austrian-Japan Workshop on Symbolic Computation in Software Science (B …, 2008
52008
A tool for verification of big-data applications
MM Bersani, F Marconi, M Rossi, M Erascu
Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 44-45, 2016
42016
The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation
M Erașcu, H Hong
Reliable Computing 18, 73-81, 2013
32013
A Purely Logical Approach to the Termination of Imperative Loops
M Erașcu, T Jebelean
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2010 12th …, 2010
32010
A Purely Logical Approach to Imperative Program Verification
M Erascu, T Jebelean
Tech. Report 10-07, Research Institute for Symbolic Computation, Johannes …, 2010
32010
A scalable hybrid approach for applications placement in the cloud
M Erașcu, F Micota, D Zaharie
Grid, Cloud & High Performance Computing in Science (ROLCG), 2015 Conference …, 2015
22015
A Purely Logical Approach to Program Termination
M Erascu, T Jebelean
Proceedings of the 11th International Workshop on Termination, FLOC 2010, 2010
22010
Constraint Satisfaction Approaches in Cloud Resource Selection for Component Based Applications
F Micota, M Erașcu, D Zaharie
2018 IEEE 14th International Conference on Intelligent Computer …, 2018
2018
Formal verification of data-intensive applications through model checking modulo theories
MM Bersani, F Marconi, M Rossi, M Erascu, S Ghilardi
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
2017
Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms
M Erașcu
International Workshop on Computer Algebra in Scientific Computing, 193-211, 2016
2016
A Security SLA-driven Methodology to Set-Up Security Capabilities on Top of Cloud Services
V Casola, A De Benedictis, M Erașcu, M Rak, U Villano
Complex, Intelligent, and Software Intensive Systems (CISIS), 2016 10th …, 2016
2016
Semi-automatic analysis of algorithm complexity (Case study: Square-root computation)
M Erascu
Intelligent Systems and Informatics (SISY), 2014 IEEE 12th International …, 2014
2014
Soundness of a Logic-Based Verification Method for Imperative Loops
M Erascu, T Jebelean
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2012 14th …, 2012
2012
Automated Certification of a Logic-Based Verification Method for Imperative Loops
M Erascu, T Jebelean
TURING, 41, 2012
2012
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20