Francisco Durán
Orcid: 0000-0001-5864-8094Affiliations:
- University of Málaga, Spain
According to our database1,
Francisco Durán
authored at least 158 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on lcc.uma.es
On csauthors.net:
Bibliography
2024
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring.
J. Log. Algebraic Methods Program., January, 2024
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024
2023
J. Log. Algebraic Methods Program., 2023
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
2022
Softw. Syst. Model., 2022
Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools.
J. Object Technol., 2022
Internet Things, 2022
Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic.
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Proceedings of the Service-Oriented Computing - 20th International Conference, 2022
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
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
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
Proceedings of the Service-Oriented Computing - 19th International Conference, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics.
Proceedings of the Composing Model-Based Analysis Tools, 2021
Proceedings of the Composing Model-Based Analysis Tools, 2021
Proceedings of the Composing Model-Based Analysis Tools, 2021
2020
J. Log. Algebraic Methods Program., 2020
J. Log. Algebraic Methods Program., 2020
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
Multilevel coupled model transformations for precise and reusable definition of model behaviour.
J. Log. Algebraic Methods Program., 2019
Dagstuhl Reports, 2019
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the Service-Oriented Computing - 17th International Conference, 2019
Proceedings of the 12th IEEE International Conference on Cloud Computing, 2019
2018
Sci. Comput. Program., 2018
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
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
2017
J. Log. Algebraic Methods Program., 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017
Proceedings of the Fundamental Approaches to Software Engineering, 2017
Proceedings of the Coordination Models and Languages, 2017
Proceedings of the Cloud Computing and Service Science - 7th International Conference, 2017
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
Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016
Proceedings of the Fundamental Approaches to Software Engineering, 2016
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2016
Proceedings of the CLOSER 2016, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
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
CLEI Electron. J., 2015
2014
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014
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
Proceedings of the Specification, Algebra, and Software, 2014
2013
Inf. Softw. Technol., 2013
2012
Sci. Comput. Program., 2012
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories.
J. Log. Algebraic Methods Program., 2012
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Proceedings of the Software Language Engineering, 5th International Conference, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011
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
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
2010
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010
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
Simul., 2009
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009
2008
High. Order Symb. Comput., 2008
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
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation.
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008
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
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
2007
J. Object Technol., 2007
Comput. Stand. Interfaces, 2007
Proceedings of the All About Maude, 2007
Proceedings of the All About Maude, 2007
Proceedings of the All About Maude, 2007
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
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
2006
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
2005
Comput. Stand. Interfaces, 2005
2004
Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004
Proceedings of the 5th International Workshop on Rule-Based Programming, 2004
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004
2003
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003
2002
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 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
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
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
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Proceedings of the Conference on Category Theory and Computer Science, 1999
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999
1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
1995
Objects communication by extending the unification.
Proceedings of the 9th International Workshop on Unification, 1995
1994
Comunicacion entre objetos mediante la unificacion de canales logicos.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994