Articles with public access mandates - Francisco DuránLearn more
Not available anywhere: 9
Bidimensional cross-cloud management with TOSCA and Brooklyn
J Carrasco, J Cubo, F Durán, E Pimentel
2016 IEEE 9th International Conference on Cloud Computing (CLOUD), 951-955, 2016
Mandates: European Commission, Government of Spain
Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud
J Carrasco, F Durán, E Pimentel
Computer Standards & Interfaces 58, 167-179, 2018
Mandates: European Commission, Government of Spain
Built-in variant generation and unification, and their applications in Maude 2.7
F Durán, S Eker, S Escobar, N Martí-Oliet, J Meseguer, C Talcott
International Joint Conference on Automated Reasoning, 183-192, 2016
Mandates: US National Science Foundation, Government of Spain
Runtime migration of applications in a trans-cloud environment
J Carrasco, F Durán, E Pimentel
Service-Oriented Computing–ICSOC 2017 Workshops: ASOCA, ISyCC, WESOACS, and …, 2018
Mandates: Government of Spain
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
F Durán, N Pozas, C Rocha
Journal of Logical and Algebraic Methods in Programming 136, 100928, 2024
Mandates: Government of Spain
Component migration in a trans-cloud environment
J Carrasco, F Durán, E Pimentel
Cloud Computing and Service Science: 7th International Conference, CLOSER …, 2018
Mandates: Government of Spain
On the scalability of compositions of service-oriented applications
N Pozas, F Durán
Service-Oriented Computing: 19th International Conference, ICSOC 2021 …, 2021
Mandates: Government of Spain
Towards the performance analysis of elastic systems with e-Motions
PA de Oliveira, F Durán, E Pimentel
FOCLASA, 2017
Mandates: Government of Spain
Statistical Model Checking for
F Durán, N Pozas, C Ramírez, C Rocha
International Conference on Formal Methods for Industrial Critical Systems …, 2023
Mandates: Government of Spain
Available somewhere: 27
Programming and symbolic computation in Maude
F Durán, S Eker, S Escobar, N Martí-Oliet, J Meseguer, R Rubio, C Talcott
Journal of Logical and Algebraic Methods in Programming 110, 100497, 2020
Mandates: US Department of Defense, Government of Spain
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
F Durán, J Meseguer
The Journal of Logic and Algebraic Programming 81 (7-8), 816-850, 2012
Mandates: Government of Spain
Robust and reliable reconfiguration of cloud applications
F Durán, G Salaün
Journal of Systems and Software 122, 524-537, 2016
Mandates: European Commission
Model-driven performance analysis of rule-based domain specific visual models
J Troya, A Vallecillo, F Durán, S Zschaler
Information and Software Technology 55 (1), 88-110, 2013
Mandates: Government of Spain
Stochastic analysis of BPMN with time in rewriting logic
F Durán, C Rocha, G Salaün
Science of Computer Programming 168, 1-17, 2018
Mandates: Government of Spain
A generic framework for n-protocol compatibility checking
F Durán, M Ouederni, G Salaün
Science of Computer Programming 77 (7-8), 870-886, 2012
Mandates: Government of Spain
Towards a Maude formal environment
F Durán, C Rocha, JM Álvarez
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011
Mandates: Government of Spain
Dynamic validation of OCL constraints with mOdCL
M Roldán, F Durán
Electronic Communications of the EASST 44, 2011
Mandates: Government of Spain
Associative unification and symbolic reasoning modulo associativity in Maude
F Durán, S Eker, S Escobar, N Martí-Oliet, J Meseguer, C Talcott
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018 …, 2018
Mandates: US Department of Defense, Government of Spain
Verifying timed BPMN processes using Maude
F Durán, G Salaün
Coordination Models and Languages: 19th IFIP WG 6.1 International Conference …, 2017
Mandates: Government of Spain
On the reusable specification of non-functional properties in DSLs
F Durán, S Zschaler, J Troya
International Conference on Software Language Engineering, 332-351, 2012
Mandates: Government of Spain
Publication and funding information is determined automatically by a computer program