Francisco Durán

Affiliations:
  • University of Málaga, Spain


According to our database1, Francisco Durán authored at least 135 papers between 1998 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems.
Softw. Pract. Exp., 2021

Resource provisioning strategies for BPMN processes: Specification and analysis using Maude.
J. Log. Algebraic Methods Program., 2021

Seamless Reconfiguration of Rule-based IoT Applications.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

R-MOZART: A Reconfiguration Tool for WebThings Applications.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020
Ground confluence of order-sorted conditional specifications modulo axioms.
J. Log. Algebraic Methods Program., 2020

Programming and symbolic computation in Maude.
J. Log. Algebraic Methods Program., 2020

Live migration of trans-cloud applications.
Comput. Stand. Interfaces, 2020

Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude.
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020

2019
A rewriting logic approach to resource allocation analysis in business process models.
Sci. Comput. Program., 2019

Executing Multilevel Domain-Specific Models in Maude.
J. Object Technol., 2019

Multilevel coupled model transformations for precise and reusable definition of model behaviour.
J. Log. Algebraic Methods Program., 2019

Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481).
Dagstuhl Reports, 2019

Automated Composition, Analysis and Deployment of IoT Applications.
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

The Rewrite Engines Competitions: A RECtrospective.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

A Foundation for the Composition of Multilevel Domain-Specific Languages.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Analysis of Resource Allocation of BPMN Processes.
Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

Robust Management of Trans-Cloud Applications.
Proceedings of the 12th IEEE International Conference on Cloud Computing, 2019

2018
Stochastic analysis of BPMN with time in rewriting logic.
Sci. Comput. Program., 2018

Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud.
Comput. Stand. Interfaces, 2018

Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT.
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Proving Ground Confluence of Equational Specifications Modulo Axioms.
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude.
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Computing the Parallelism Degree of Timed BPMN Processes.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Multilevel modelling of coloured petri nets.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017
Amalgamation of domain specific languages with behaviour.
J. Log. Algebraic Methods Program., 2017

Towards the Performance Analysis of Elastic Systems with e-Motions.
Proceedings of the Software Engineering and Formal Methods, 2017

An Approach to Predictive Analysis of Self-Adaptive Systems in Design Time.
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

Runtime Migration of Applications in a Trans-Cloud Environment.
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

GTS Families for the Flexible Composition of Graph Transformation Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

Verifying Timed BPMN Processes Using Maude.
Proceedings of the Coordination Models and Languages, 2017

Component Migration in a Trans-cloud Environment.
Proceedings of the Cloud Computing and Service Science - 7th International Conference, 2017

Component-wise Application Migration in Bidimensional Cross-cloud Environments.
Proceedings of the CLOSER 2017, 2017

Towards the Predictive Analysis of Cloud Systems with e-Motions.
Proceedings of the XX Iberoamerican Conference on Software Engineering, 2017

2016
Robust and reliable reconfiguration of cloud applications.
J. Syst. Softw., 2016

Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications.
Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

Statistical Model Checking of e-Motions Domain-Specific Modeling Languages.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

Towards a Unified Management of Applications on Heterogeneous Clouds.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2016

Deployment over Heterogeneous Clouds with TOSCA and CAMP.
Proceedings of the CLOSER 2016, 2016

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

Bidimensional Cross-Cloud Management with TOSCA and Brooklyn.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015
Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012).
Sci. Comput. Program., 2015

Adaptive management of applications across multiple clouds: The SeaClouds Approach.
CLEI Electron. J., 2015

Two Decades of Maude.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation.
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

The Movie Database Case: A Solution Using the Maude-based e-Motions Tool.
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

Equational Abstractions in Rewriting Logic and Maude.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio.
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

Robust reconfiguration of cloud applications.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Dynamic Validation of Maude Prototypes of UML Models.
Proceedings of the Specification, Algebra, and Software, 2014

2013
Model-driven performance analysis of rule-based domain specific visual models.
Inf. Softw. Technol., 2013

2012
A generic framework for n-protocol compatibility checking.
Sci. Comput. Program., 2012

On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories.
J. Log. Algebraic Methods Program., 2012

Behaviour Protection in Modular Rule-Based System Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

On the Reusable Specification of Non-functional Properties in DSLs.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

2011
Dynamic Validation of OCL Constraints with mOdCL.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Tracing Properties of UML and OCL Models with Maude
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6.
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

On the Formal Analysis of P2P Algorithms with aSMoL and Maude.
Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

Tool Interoperability in the Maude Formal Environment.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

Towards a Maude Formal Environment.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

The Third Rewrite Engines Competition.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

2009
Formal Specification and Analysis of Domain Specific Models Using Maude.
Simul., 2009

Invariant-driven specifications in Maude.
Sci. Comput. Program., 2009

Checking Protocol Compatibility using Maude.
Electron. Notes Theor. Comput. Sci., 2009

Web Services and Interoperability for the Maude Termination Tool.
Electron. Notes Theor. Comput. Sci., 2009

Methods for Proving Termination of Rewriting-based Programming Languages by Transformation.
Electron. Notes Theor. Comput. Sci., 2009

A graphical approach for modeling time-dependent behavior of DSLs.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

Unification and Narrowing in Maude 2.4.
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

Termination Modulo Combinations of Equational Theories.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2008
Proving operational termination of membership equational programs.
High. Order Symb. Comput., 2008

The Second Rewrite Engines Competition.
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude.
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

A formalization of the SMEPP model in Maude.
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2008

From programming to modeling: our experience with a distributed software engineering course.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

MTT: The Maude Termination Tool (System Description).
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007
Maude's module algebra.
Sci. Comput. Program., 2007

Formal and Tool Support for Model Driven Engineering with Maude.
J. Object Technol., 2007

Writing and executing ODP computational viewpoint specifications using Maude.
Comput. Stand. Interfaces, 2007


Specifying Parameterized Data Structures in Maude.
Proceedings of the All About Maude, 2007




Complete List of Maude Commands.
Proceedings of the All About Maude, 2007

Debugging and Troubleshooting.
Proceedings of the All About Maude, 2007

A Sampler of Application Areas.
Proceedings of the All About Maude, 2007

Object-Oriented Modules.
Proceedings of the All About Maude, 2007

Full Maude: Extending Core Maude.
Proceedings of the All About Maude, 2007

User Interfaces and Metalanguage Applications.
Proceedings of the All About Maude, 2007

Metaprogramming Applications.
Proceedings of the All About Maude, 2007

Reflection, Metalevel Computation, and Strategies.
Proceedings of the All About Maude, 2007


Model Checking Invariants Through Search.
Proceedings of the All About Maude, 2007

Object-Based Programming.
Proceedings of the All About Maude, 2007

Predefined Data Modules.
Proceedings of the All About Maude, 2007



A Hierarchy of Data Types: From Trees to Sets.
Proceedings of the All About Maude, 2007


Syntax and Basic Parsing.
Proceedings of the All About Maude, 2007



Maudeling: Herramienta de gestión de modelos usando Maude.
Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

The Maude Formal Tool Environment.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006
A Distributed Implementation of Mobile Maude.
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

2005
Invariant-Driven Strategies for Maude.
Electron. Notes Theor. Comput. Sci., 2005

On-demand Evaluation for Maude.
Electron. Notes Theor. Comput. Sci., 2005

Maude's Internal Strategies.
Electron. Notes Theor. Comput. Sci., 2005

Using Maude to write and execute ODP information viewpoint specifications.
Comput. Stand. Interfaces, 2005

2004
New Evaluation Commands for Maude Within Full Maude.
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Proving termination of membership equational programs.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2003
Structured theories and institutions.
Theor. Comput. Sci., 2003

Formalizing ODP enterprise specifications in Maude.
Comput. Stand. Interfaces, 2003

The Maude 2.0 System.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Using UML and Maude for Writing and Reasoning about ODP Policies.
Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

2002
Maude: specification and programming in rewriting logic.
Theor. Comput. Sci., 2002

A Conference Reviewing System in Mobile Maude.
Electron. Notes Theor. Comput. Sci., 2002

2001
Writing ODP Enterprise Specifications in Maude.
Proceedings of the Open Distribute Processing: Enterprise, 2001

From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

2000
Parameterized Theories and Views in Full Maude 2.0.
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Polytypic Programming in Maude.
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Towards Maude 2.0.
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

The Reflective Design of Maude's Module Algebra.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Principles of Mobile Maude.
Proceedings of the Agent Systems, 2000

Using Maude.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

The Extensibility of Maude's Module Algebra.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999
The Maude System.
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Maude as a Formal Meta-tool.
Proceedings of the FM'99 - Formal Methods, 1999

1998
An extensible module algebra for Maude.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Maude as a metalanguage.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Metalevel computation in Maude.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998


  Loading...