Research Interests

Main research topics I am interested in:

  • Formal Methods in Software Engineering (MDA, ODP, web services, COP, UML, OCL, ...).
  • Algebraic Specification, Equational Logics, and Rewriting Logic (The Maude system).
  • Category Theory. 
  • Modularity.

Software

Tools in whose development I've been involved:

Research Publications

Journal papers

Books

  • M. Clavel, F. Durán, S. Eker, S. Escobar, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. All About Maude - A High-Performance Logical Framework. LNCS 4350, Springer, 2007.
  • F. Durán, F. Gutiérrez, and E. Pimentel. Programación orientada a objetos en Java. Thomson-Paraninfo, 2007.

Conference and workshop papers

  • F. Durán and J. Meseguer. A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. In P. C. Ölveczky, ed., Proc. of WRLA 2010. LNCS 6381: 86-103. Springer 2010.
  • F. Durán and J. Meseguer. A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. In P. C. Ölveczky, ed., Proc. of WRLA 2010. LNCS 6381: 69-85. Springer 2010.
  • F. Durán, M. Roldán, J.-C. Bach, E. Balland, M. van den Brand, J. R. Cordy, S. Eker, L. Engelen, M. de Jonge, and K. T. Kalleberg. The Third Rewrite Engines Competition. In P. C. Ölveczky, ed., Proc. of WRLA 2010. LNCS 6381: 243-265. Springer 2010.
  • J. E. Rivera, F. Durán, and A. Vallecillo. On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. In P. C. Ölveczky, ed., Proc. of WRLA 2010. LNCS 6381: 174-190. Springer 2010.
  • F. Durán, S. Lucas, and J. Meseguer. Termination Modulo Combinations of Equational Theories. In Proc. of FroCos 2009, Trento, Italy, Sept. 16-18, 2009. LNCS 5749:246-262, Springer, 2009.
  • J. E. Rivera, A. Vallecillo and F. Durán. A Graphical Approach for Modeling Time-Dependent Behavior of Domain Specific Languages, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon, USA, Sep 20-24. IEEE Computer Society 2009.
  • F. Durán, M. Ouederni, and G. Salaun. Checking Protocol Compatibility using Maude. In Proc. of FOCLASA 2009, Rhodes, Greece, July 11th, 2009. To appear in ENTCS.
  • M. Clavel, F. Durán, S. Eker, S. Escobar, P. Lincoln, N. Martí-Oliet, J. Meseguer and C. Talcott. Unification and Narrowing in Maude 2.4. 20th International Conference on Rewriting Techniques and Applications (RTA 2009), Brasília, Brazil, June 29 to July 1, 2009. LNCS 5595: 380-390, Springer 2009.
  • F. Durán, S. Lucas, and J. Meseguer. MTT: The Maude Termination Tool (System Description), 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia, August 12-15, 2008. LNAI 5195:313-319, Springer, 2008.
  • F. Durán, S. Lucas, and J. Meseguer. Methods for proving termination of rewriting-based programming languages. Proc. of PROLE 2008. ENTCS.
  • F. Durán, S. Lucas, J. Meseguer, and F. Gutiérrez. Web Services and Interoperability for the Maude Termination Tool. Proc. of PROLE 2008. ENTCS.
  • F. Durán, F. Gutiérrez, P. López, and E. Pimentel. A Formalization of the SMEPP Model in Maude. In Proceedings of the 1st International Workshop on Middleware for Mobile Embedded Peer-to-Peer Systems (MIMES 2008), Trinity College Dublin, Ireland, 2008.
  • F. Durán, M. Roldán, E. Balland, M. van den Brand, S. Eker, K. T. Kalleberg, L. C. L. Kats, P.-E. Moreau, R. Schevchenko, and E. Visser. The Second Rewrite Engines Competition. In G. Rosu (ed.), Procs. of the 7th Intl. Workshop on Rewriting Logic and its Applications (WRLA'08). ENTCS
  • F. Durán and P.C. Ölveczky. A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude.  In G. Rosu (ed.), Procs. of the 7th Intl. Workshop on Rewriting Logic and its Applications (WRLA'08). ENTCS.
  • J. R. Romero, J. E. Rivera, F. Durán, A. Vallecillo. Formal and Tool Support for Model Driven Engineering with Maude, TOOLS Europe 2007, Zurich, Switzerland, June 24-27, 2007.
  • F. Durán, S. Lucas, J. Meseguer, C. Marché, and X. Urbain. Termination of Membership Equational Programs. Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (PEPM'04), pp. 147–158. ACM Press, 2004.
  • F. Durán. Maude’s Internal Strategies. Position paper. In S. Antoy and Y. Toyama (eds.), Proceedings of the 4th International Workshop on Reduction Stratategies and Programming (WRS'04), pp. 51-53. Electronic Notes in Theoretical Computer Science, Elsevier,  2004. 
  • F. Durán, M. Roldán, and A. Vallecillo. Invariant-Driven Strategies for Maude. In S. Antoy and Y. Toyama (eds.), Proceedings of the 4th International Workshop on Reduction Strategies and Programming (WRS'04), pp. 36-44. Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier,  2004.
  • F. Durán and M. Roldán. Invariant-Based Control of the Execution of Maude Specifications. The LTL Case. In Proceedings de las IV Jornadas sobre Programación y Lenguajes, pp. 137-152. 2004.
  • F. Durán, S. Escobar, and S. Lucas. Towards (constructor) normal forms for Maude within Full Maude. In Proceedings de las IV Jornadas sobre Programación y Lenguajes, pp. 125-136. 2004. 
  • F. Durán, S. Escobar, and S. Lucas. On-demand evaluation for Maude. In S. Abdennadher and C. Ringeissen (eds.), Proceedings of the Fitth International Workshop on Rule-Based Programming (RULE’04), pp. 20-30. Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier,  2004.
  • F. Durán, S. Escobar, and S. Lucas. New evaluation commands for Maude within Full Maude. In N. Martí-Oliet (ed.), Proceedings of the 5th International Workshop on Rewriting Logic and its Applications (WRLA’04), pp. 245-266. Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, 2004.
  • M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. The Maude 2.0 System. In R. Nieuwenhuis (ed.), Proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA’03). Lecture Notes in Computer Science , vol. 2706, pp. 76-87. Springer,  2003. 
  • F. Durán, J. Herrador, and A. Vallecillo. Using UML and Maude for Writing and Reasoning about ODP Policies. In Proceedings of the IEEE 4th International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), pp. 15-25, IEEE Computer Society Press, 2003.
  • F. Durán and A. Verdejo. A Conference Reviewing System in Mobile Maude. In F. Gaducci and U. Montanari (eds.), Procs. of the 4th Intl. Workshop on Rewriting Logic and its Applications (WRLA'02). To appear in ENTCS.
  • F. Durán and A. Vallecillo. "Specifying the ODP Information Viewpoint using Maude". In H. Kilov and K. Baclawski (eds.), Proc. of the Tenth OOPSLA Workshop on Behavioral Semantics, pp. 44-57, October 2001.
  • F. Durán and A. Vallecillo. "Writing ODP Enterprise Specifications in Maude". In J. Cordeiro and H. Kilov (eds.), Proc. of WOODPECKER'01, pp. 55-68. July 2001. An extended technical report of this paper is also available.
  • A. Albarrán, F. Durán, and A. Vallecillo. "From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition". In Proc. of JISBD'01, November 2001.
  • A. Albarrán, F. Durán, and A. Vallecillo. "Maude meets CORBA". In Proc. of ASSE'01, September 2001.
  • A. Albarrán, F. Durán, and A. Vallecillo. "On the Smooth Implementation of Component-based System Specifications". In Proc. of the 6th ECOOP Workshop on Component-Oriented Programming (WCOP'01). June 2001.
  • M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Using Maude. In T. Maibaum (ed.), Fundamental Approaches to Software Engineering (FASE'00). LNCS 1783, pp. 371--374. Springer 2000.
  • M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Towards Maude 2.0. In K. Futatsugi (ed.), Procs. of the 3rd Intl. Workshop on Rewriting Logic and its Applications (WRLA'00). ENTCS, vol. 36. Elsevier, 2000.
  • F. Durán, S. Eker, P. Lincoln y J. Meseguer. Principles of Mobile Maude. In D. Kotz y F. Mattern (eds.), Agent Systems, Mobile Agents, and Applications (ASA/MA'00). LNCS 1882, pp. 73--85. Springer 2000.
  • M. Clavel, F. Durán, and N. Martí-Oliet. Polytypic Programming in Maude. In K. Futatsugi (ed.), Procs. of the 3rd Intl. Workshop on Rewriting Logic and its Applications (WRLA'00). ENTCS, vol. 36. Elsevier, 2000.
  • F. Durán. The Extensibility of Maude's Module Algebra. In T. Rus (ed.), Algebraic Methodology and Software Technology (AMAST'00). LNCS, vol. 1816, pp. 422-437. Springer 2000.
  • F. Durán and J. Meseguer. Parameterized Theories and Views in Full Maude 2.0. In K. Futatsugi  (ed.), Procs. of the 3rd Intl. Workshop on Rewriting Logic and its Applications (WRLA'00). ENTCS, vol. 36. Elsevier, 2000.
  • F. Durán y J. Meseguer. Structured Theories and Institutions. In M. Hofmann, G. Rosolini, and D. Pavlovic (eds.), Procs. of the 8th Conference on Category Theory and Computer Science (CTCS'99). ENTCS, vol. 29. Elsevier, 1999.
  • M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. The Maude System. In P. Narendran and M. Rusinowitch (eds.), Rewriting Techniques and Applications (RTA'99). LNCS 1631, pp. 240-243. Springer, 1999.
  • M. Clavel, F. Durán, S. Eker, J. Meseguer, and M. Stehr. Maude as a Formal Meta-Tool. In J. Wing, J. Woodcock, and J. Davies (eds.), Procs. of the 1st World Congress on Formal Methods in the Development of Computing Systems (FM'99). LNCS, vol. 1709, pp. 1684--1703. Springer 1999.
  • M. Clavel, F. Durán, S. Eker, J. Meseguer, and Mark-Oliver Stehr. Maude as a Formal Meta-Tool. In K. Futatsugi, J. Goguen, and J. Meseguer (eds.), OBJ/CafeOBJ/Maude, pp. 1--16. Theta, 1999.
  • M. Clavel, F. Durán, S. Eker, and J. Meseguer. Building Equational Proving Tools by Reflection in Rewriting Logic. In Procs. of the CafeOBJ Symposium. CafeOBJ Project, 1998.
  • F. Durán and J. Meseguer. An Extensible Module Algebra for Maude. In C. Kirchner and H. Kirchner (eds.), Procs. of the 2nd Intl. Workshop on Rewriting Logic and its Applications (WRLA'98). ENTCS, vol. 15. Elsevier 1998.
  • M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, and J. Meseguer. Metalevel Computation in Maude. In C. Kirchner and H. Kirchner (eds.), Procs. of the 2nd Intl. Workshop on Rewriting Logic and its Applications (WRLA'98). ENTCS, vol. 15. Elsevier 1998.
  • M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude as a Metalanguage. In C. Kirchner and H. Kirchner (eds.), Procs. of the 2nd Intl. Workshop on Rewriting Logic and its Applications (WRLA'98). ENTCS, vol. 15. Elsevier 1998.
  • F. Durán and E. Pimentel. Objects Communication by Extending the Unification. In Procs. of Intl. Workshop UNIF'95, 1995.
  • F. Durán, E. Pimentel, and J. M. Troya. State Change and Communication by Extending the Unification. In Procs. of Workshop on Logical Foundations of Object-Oriented Programming, 1994.
  • F. Durán, E. Pimentel, and J. M. Troya. Comunicación entre objetos mediante la unificación de canales lógicos. In Procs. of GULP-PRODE'94, 1994. Vol II, pp. 147--160.

Book chapters

Manuscripts and technical reports

PhD Thesis

Tutorials

  • M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. A tutorial on Maude. In European Joint Conference on Theory and Practice of Software (ETAPS'00), March-April 2000. Manuscrit, SRI International, 2000, available at Maude's web site.

On Education

  • J. Cabot, F. Durán, N. Moreno, A. Vallecillo, J.R. Romero. From Programming to Modeling: Our Experience with a Distributed Software Enginering Course. 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, 10 - 18 May 2008. ACM Press.
  • C. Rossi E. Guzmán M. Enciso, and F. Durán. Desarrollos cuasi-profesionales: la empresa en el aula. In Proc. de las Jornadas de Enseñanza Universitaria de la Informática (JENUI 2008), Granada, 9-11 Julio, 2008.
  • F. Durán, F. Gutiérrez, and E. Pimentel. El uso de herramientas de apoyo para la valoración de actividades prácticas de programación. En actas de Hacia el EEES desde las Experiencias Piloto de las Universidades Andaluzas. Cádiz, 19-21 Sept, 2006.
  • E. Pimentel, C. Canal, and F. Durán. Una experiencia en la enseñanza del Diseño Orientado a Objetos. In V Congreso Iberoamericano de Educación Superior en Computación (EDUC'96), 1996, pp. 233-242.

Events

Events in which I am or I've been involved in one way or another:

Back to Durán's Home Page

Last modified:January 20, 2010