Urmăriți
Madalina Erascu
Titlu
Citat de
Citat de
Anul
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, 2016
532016
A tool for fake news detection
B Al Asaad, M Erascu
2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018
382018
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
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
92018
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
92016
Towards the formal verification of data-intensive applications through metric temporal logic
F Marconi, MM Bersani, M Erascu, M Rossi
Formal Methods and Software Engineering: 18th International Conference on …, 2016
92016
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
82016
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
72008
A Calculus for Imperative Programs: Formalization and Implementation
M Erascu, T Jebelean
2009 11th International Symposium on Symbolic and Numeric Algorithms for …, 2009
62009
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
M Erașcu, F Micota, D Zaharie
Journal of Logical and Algebraic Methods in Programming 121, 100664, 2021
52021
DICE verification tool-initial version
M Bersani, M Erascu, F Marconi, M Rossi
Technical report, DICE Consortium, 2016. www. dice-h2020. eu, 2016
52016
Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection.
M Erascu, F Micota, D Zaharie
LPAR (Workshop and Short Papers), 1-14, 2018
42018
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
2016 10th International Conference on Complex, Intelligent, and Software …, 2016
42016
A Purely Logical Approach to Program Termination
M Erascu, T Jebelean
Proceedings of the 11th International Workshop on Termination, FLOC 2010, 2010
42010
A Purely Logical Approach to Imperative Program Verification
M Erascu, T Jebelean
Tech. Report 10-07, Research Institute for Symbolic Computation, Johannes …, 2010
42010
A scalable hybrid approach for applications placement in the cloud
M Erașcu, F Micota, D Zaharie
2015 Conference Grid, Cloud & High Performance Computing in Science (ROLCG), 1-4, 2015
32015
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
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
22017
Automated Certification of a Logic-Based Verification Method for Imperative Loops
M Erascu, T Jebelean
TURING, 41, 2012
22012
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20