F
Francisco Durán
Researcher at University of Málaga
Publications - 75
Citations - 1550
Francisco Durán is an academic researcher from University of Málaga. The author has contributed to research in topics: Cloud computing & Rewriting. The author has an hindex of 14, co-authored 75 publications receiving 1420 citations.
Papers
More filters
Book
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn L. Talcott +6 more
TL;DR: This chapter discusses core Maude, a Hierarchy of Data Types: From Trees to Sets to Sets, and Object-Based Programming, which specifies Parameterized Data Structures in Maude.
Book ChapterDOI
Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio
TL;DR: This work addresses some of the limitations for extending and validating MDE-based implementations of NFP analysis tools by presenting a modular, model-based partial reimplementation of one well-known analysis framework, namely the Palladio Architecture Simulator.
Journal ArticleDOI
Robust and reliable reconfiguration of cloud applications
Francisco Durán,Gwen Salaün +1 more
TL;DR: A protocol for runtime reconfiguration of cloud applications with failures, de-centralized and robust, and automatically reconfigures cloud applications using the rewriting logic-based language Maude.
Journal ArticleDOI
Adaptive management of applications across multiple clouds: The SeaClouds Approach
Antonio Brogi,Jose Carrasco,Javier Cubo,Elisabetta Di Nitto,Francisco Durán,Michela Fazzolari,Ahmad Ibrahim,Ernesto Pimentel,Jacopo Soldani,Pengwei Wang,Francesco D'Andria +10 more
TL;DR: The context, motivations and objectives of the EU research project SeaClouds, which aims at enabling a seamless adaptive multi-cloud management of complex applications by supporting the distribution, monitoring and migration of application modules over multiple heterogeneous cloud platforms, are presented.
Journal ArticleDOI
Dynamic Validation of OCL Constraints with mOdCL
Manuel Roldán,Francisco Durán +1 more
TL;DR: Given its OCL expression evaluator, the use of execution strategies allows mOdCL, not only validating invariant constraints on concrete system states, but also dynamically validates invariants and pre- and post-conditions on the successive states obtained during system execution.