Francisco Durán

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
57	EE	Jordi Cabot, Francisco Durán, Nathalie Moreno, Antonio Vallecillo, José Raúl Romero: From programming to modeling: our experience with a distributed software engineering course. ICSE 2008: 749-758
56	EE	Francisco Durán, Salvador Lucas, José Meseguer: MTT: The Maude Termination Tool (System Description). IJCAR 2008: 313-319
55	EE	Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain: Proving operational termination of membership equational programs. Higher-Order and Symbolic Computation 21(1-2): 59-88 (2008)
2007
54		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic Springer 2007
53	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28
52	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: A Hierarchy of Data Types: From Trees to Sets. All About Maude 2007: 119-129
51	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: System Modules. All About Maude 2007: 131-157
50	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo: Playing with Maude. All About Maude 2007: 159-184
49	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Module Operations. All About Maude 2007: 185-230
48	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Predefined Data Modules. All About Maude 2007: 231-305
47	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo: Specifying Parameterized Data Structures in Maude. All About Maude 2007: 307-338
46	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Using Maude. All About Maude 2007: 31-37
45	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Object-Based Programming. All About Maude 2007: 339-372
44	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Model Checking Invariants Through Search. All About Maude 2007: 373-384
43	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: LTL Model Checking. All About Maude 2007: 385-418
42	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Syntax and Basic Parsing. All About Maude 2007: 39-59
41	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Reflection, Metalevel Computation, and Strategies. All About Maude 2007: 419-458
40	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Metaprogramming Applications. All About Maude 2007: 459-483
39	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo: Mobile Maude. All About Maude 2007: 485-522
38	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: User Interfaces and Metalanguage Applications. All About Maude 2007: 523-555
37	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Full Maude: Extending Core Maude. All About Maude 2007: 559-597
36	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Object-Oriented Modules. All About Maude 2007: 599-642
35	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Functional Modules. All About Maude 2007: 61-118
34	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: A Sampler of Application Areas. All About Maude 2007: 645-665
33	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo: Some Tools. All About Maude 2007: 667-693
32	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Debugging and Troubleshooting. All About Maude 2007: 697-736
31	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Complete List of Maude Commands. All About Maude 2007: 737-749
30	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Core Maude Grammar. All About Maude 2007: 751-756
29	EE	Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
28	EE	Francisco Durán, Adrián Riesco, Alberto Verdejo: A Distributed Implementation of Mobile Maude. Electr. Notes Theor. Comput. Sci. 176(4): 113-131 (2007)
27	EE	José Raúl Romero, José Eduardo Rivera, Francisco Durán, Antonio Vallecillo: Formal and Tool Support for Model Driven Engineering with Maude. Journal of Object Technology 6(9): 187-207 (2007)
26	EE	Francisco Durán, José Meseguer: Maude's module algebra. Sci. Comput. Program. 66(2): 125-153 (2007)
2005
25	EE	Francisco Durán, Santiago Escobar, Salvador Lucas: New Evaluation Commands for Maude Within Full Maude. Electr. Notes Theor. Comput. Sci. 117: 263-284 (2005)
24	EE	Francisco Durán, Santiago Escobar, Salvador Lucas: On-demand Evaluation for Maude. Electr. Notes Theor. Comput. Sci. 124(1): 25-39 (2005)
23	EE	Francisco Durán: Maude's Internal Strategies. Electr. Notes Theor. Comput. Sci. 124(2): 11-15 (2005)
22	EE	Francisco Durán, Manuel Roldán, Antonio Vallecillo: Invariant-Driven Strategies for Maude. Electr. Notes Theor. Comput. Sci. 124(2): 17-28 (2005)
2004
21	EE	Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain: Proving termination of membership equational programs. PEPM 2004: 147-158
2003
20	EE	Francisco Durán, Javier Herrador, Antonio Vallecillo: Using UML and Maude for Writing and Reasoning about ODP Policies. POLICY 2003: 15-25
19	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: The Maude 2.0 System. RTA 2003: 76-87
18	EE	Francisco Durán, José Meseguer: Structured theories and institutions. Theor. Comput. Sci. 309(1-3): 357-380 (2003)
2002
17	EE	Francisco Durán, Alberto Verdejo: A Conference Reviewing System in Mobile Maude. Electr. Notes Theor. Comput. Sci. 71: (2002)
16	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002)
2001
15		Antonio Albarrán, Francisco Durán, Antonio Vallecillo: From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition. JISBD 2001: 419-434
14		Francisco Durán, Antonio Vallecillo: Writing ODP Enterprise Specifications in Maude. WOODPECKER 2001: 55-68
2000
13	EE	Francisco Durán: The Extensibility of Maude's Module Algebra. AMAST 2000: 422-437
12		Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Mobile Maude. ASA/MA 2000: 73-85
11	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Using Maude. FASE 2000: 371-374
10		Francisco Durán: The Reflective Design of Maude's Module Algebra. WFLP 2000: 128-134
9	EE	Francisco Durán, José Meseguer: Parameterized Theories and Views in Full Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: (2000)
8	EE	Manuel Clavel, Francisco Durán, Narciso Martí-Oliet: Polytypic Programming in Maude. Electr. Notes Theor. Comput. Sci. 36: (2000)
7	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Towards Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: (2000)
1999
6	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: The Maude System. RTA 1999: 240-243
5	EE	Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr: Maude as a Formal Meta-tool. World Congress on Formal Methods 1999: 1684-1703
4	EE	Francisco Durán, José Meseguer: Structured Theories and Institutions. Electr. Notes Theor. Comput. Sci. 29: (1999)
1998
3	EE	Francisco Durán, José Meseguer: An extensible module algebra for Maude. Electr. Notes Theor. Comput. Sci. 15: (1998)
2	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Maude as a metalanguage. Electr. Notes Theor. Comput. Sci. 15: (1998)
1	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer: Metalevel computation in Maude. Electr. Notes Theor. Comput. Sci. 15: (1998)

Coauthor Index

1 Antonio Albarrán [15]

2 Christiano Braga (Christiano de O. Braga) [33]

3 Jordi Cabot [57]

4 Manuel Clavel [1] [2] [5] [6] [7] [8] [11] [16] [19] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54]

5 Steven Eker [1] [2] [5] [6] [7] [11] [12] [16] [19] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54]

6 Santiago Escobar [24] [25]

7 Azadeh Farzan [33]

8 Joe Hendrix [29] [33]

9 Javier Herrador [20]

10 Patrick Lincoln [1] [2] [6] [7] [11] [12] [16] [19] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54]

11 Salvador Lucas [21] [24] [25] [29] [55] [56]

12 Claude Marché [21] [55]

13 Narciso Martí-Oliet [1] [2] [6] [7] [8] [11] [16] [19] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54]

14 José Meseguer [1] [2] [3] [4] [5] [6] [7] [9] [11] [12] [16] [18] [19] [21] [26] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56]

15 Nathalie Moreno [57]

16 Peter Csaba Ölveczky [29] [33]

17 Miguel Palomino [33] [47] [50]

18 Jose F. Quesada [2] [6] [7] [11] [16]

19 Adrián Riesco [28] [39]

20 José Eduardo Rivera [27]

21 Manuel Roldán [22]

22 José Raúl Romero [27] [57]

23 Ralf Sasse [33]

24 Mark-Oliver Stehr [5] [33]

25 Carolyn L. Talcott [19] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54]

26 Xavier Urbain [21] [55]

27 Antonio Vallecillo [14] [15] [20] [22] [27] [57]

28 Alberto Verdejo [17] [28] [33] [39] [47] [50]

Colors in the list of coauthors

1	Antonio Albarrán	[15]
2	Christiano Braga (Christiano de O. Braga)	[33]
3	Jordi Cabot	[57]
4	Manuel Clavel	[1] [2] [5] [6] [7] [8] [11] [16] [19] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54]
5	Steven Eker	[1] [2] [5] [6] [7] [11] [12] [16] [19] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54]
6	Santiago Escobar	[24] [25]
7	Azadeh Farzan	[33]
8	Joe Hendrix	[29] [33]
9	Javier Herrador	[20]
10	Patrick Lincoln	[1] [2] [6] [7] [11] [12] [16] [19] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54]
11	Salvador Lucas	[21] [24] [25] [29] [55] [56]
12	Claude Marché	[21] [55]
13	Narciso Martí-Oliet	[1] [2] [6] [7] [8] [11] [16] [19] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54]
14	José Meseguer	[1] [2] [3] [4] [5] [6] [7] [9] [11] [12] [16] [18] [19] [21] [26] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56]
15	Nathalie Moreno	[57]
16	Peter Csaba Ölveczky	[29] [33]
17	Miguel Palomino	[33] [47] [50]
18	Jose F. Quesada	[2] [6] [7] [11] [16]
19	Adrián Riesco	[28] [39]
20	José Eduardo Rivera	[27]
21	Manuel Roldán	[22]
22	José Raúl Romero	[27] [57]
23	Ralf Sasse	[33]
24	Mark-Oliver Stehr	[5] [33]
25	Carolyn L. Talcott	[19] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54]
26	Xavier Urbain	[21] [55]
27	Antonio Vallecillo	[14] [15] [20] [22] [27] [57]
28	Alberto Verdejo	[17] [28] [33] [39] [47] [50]