Journal papers
- J. E. Rivera, F.
Durán, and A. Vallecillo. Formal Specification and
Analysis of Domain Specific
Models using Maude. Accepted for
publication at Simulation:
Transactions of the Society for Modeling and Simulation International,
2009.
- M.
Roldán, F. Durán, and A. Vallecillo. Invariant-driven
Specifications in Maude. Science
of Computer Programming 74(10):812-835,
August 2009.
- F. Durán,
S. Lucas, C. Marché,
J. Meseguer, and X. Urbain. Proving
Operational Termination of
Membership
Equational Programs. Higher Order and Symbolic Computation
21(1-2):59-88, 2008.
- F. Durán
and J. Meseguer. Maude's
Module Algebra. Science of Computer Programming 66:125-153,
2007.
- J. R. Romero, A.
Vallecillo, and F. Durán. Writing
and Executing ODP Computational Viewpoint Specifications using
Maude.
Computer Standards and Interfaces 29:481-498, 2007.
- J. R. Romero, J. E.
Rivera, F. Durán, A. Vallecillo. Formal
and Tool Support for Model Driven Engineering with Maude.
Journal of Object Technology 6(9), 2007.
- F.
Durán,
M. Roldán, and A. Vallecillo. Using Maude to Write and
Execute ODP Information Viewpoint Specifications. In Computer Standards
& Interfaces, 27(6):597-620, 2005.
- F. Durán
and A. Vallecillo. Formalizing ODP Enterprise Specifications in Maude.
Computer Standard & Interfaces, 25:83-102, 2003.
- F. Durán
and J. Meseguer. Structured Theories and Institutions. Theoretical
Computer Science, 309:357-380, 2003.
- M. Clavel, F.
Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J.
Meseguer, and J. Quesada. Maude: Specification and Programming in
Rewriting Logic. Theoretical Computer Science 285(2):187-243.
Elsevier 2002.
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
- F. Durán,
S. Lucas, and J. Meseguer. Termination Modulo
Combinations of Equational Theories (Long Version).
University of Illinois Tech. Rep. June 2009.
- F.
Durán
and P.C. Ölveczky. A Guide to Extending
Full Maude Illustrated with the Implementation of Real-Time Maude
(Extended Version). Manuscript. January 2008.
- F.
Durán
and J. Meseguer.
A Church-Rosser Checker Tool for Maude Equational Specifications.
Technical Report ITI-2000-5, Dpto. de Lenguajes y Ciencias de la
Computación, Universidad de Málaga, October 2000.
- F.
Durán.
Termination Checker and Knuth-Bendix Completion Tools for Maude
Equational Specifications. Technical Report ITI-2000-6, Dpto.
de Lenguajes y Ciencias de la Computación, Universidad de
Málaga, October 2000.
- F.
Durán.
Coherence Checker and Completion Tools for Maude Specifications.
Technical Report ITI-2000-7, Dpto. de Lenguajes y Ciencias de la
Computación, Universidad de Málaga, October 2000.
- M.
Clavel, F.
Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J.
Meseguer, and J. Quesada. Maude:
Specification and Programming in Rewriting Logic. Manuscript,
SRI International, March 1999.
- F.
Durán
y
J. Meseguer. The Maude Specification of Full Maude. Manuscrito, SRI
International, February 1999. Available in http://maude.csl.sri.com.
- M.
Clavel, F.
Durán, S. Eker, P. Lincoln, and J. Meseguer. An Introduction
to Maude (Beta Version). Manuscrit, SRI International, March, 1998.
- F.
Durán.
A Reflective Module Algebra with Applications to the Maude Language.
Manuscript, SRI International, June 1999.
- F.
Durán
and J. Meseguer. The
Maude Specification of Full Maude. Manuscript, May 1999.
- Manuel
Clavel,
Francisco Durán, Steven Eker, and José Meseguer. Design
and Implementation of the Cafe Prover and Church-Rosser Checker Tools.
Manuscript, March 1998.
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.
|
|