Francisco Durán Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*	2009
65	EE	Francisco Durán, Salvador Lucas, José Meseguer: Termination Modulo Combinations of Equational Theories. FroCos 2009: 246-262
64	EE	Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Unification and Narrowing in Maude 2.4. RTA 2009: 380-390
63	EE	Francisco Durán, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser: The Second Rewrite Engines Competition. Electr. Notes Theor. Comput. Sci. 238(3): 281-291 (2009)
62	EE	Francisco Durán, Peter Csaba Ölveczky: A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. Electr. Notes Theor. Comput. Sci. 238(3): 83-102 (2009)
61	EE	Manuel Roldán, Francisco Durán, Antonio Vallecillo: Invariant-driven specifications in Maude. Sci. Comput. Program. 74(10): 812-835 (2009)
	2008
60	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
59	EE	Francisco Durán, Salvador Lucas, José Meseguer: MTT: The Maude Termination Tool (System Description). IJCAR 2008: 313-319
58	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
57		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
56	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
55	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
54	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
53	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
52	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
51	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
50	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
49	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
48	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
47	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
46	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
45	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
44	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
43	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
42	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
41	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
40	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
39	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
38	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
37	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
36	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
35	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
34	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
33	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
32	EE	Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
31	EE	José Raúl Romero, Antonio Vallecillo, Francisco Durán: Writing and executing ODP computational viewpoint specifications using Maude. Computer Standards & Interfaces 29(4): 481-498 (2007)
30	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)
29	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)
28	EE	Francisco Durán, José Meseguer: Maude's module algebra. Sci. Comput. Program. 66(2): 125-153 (2007)
	2005
27	EE	Francisco Durán, Manuel Roldán, Antonio Vallecillo: Using Maude to write and execute ODP information viewpoint specifications. Computer Standards & Interfaces 27(6): 597-620 (2005)
26	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)
25	EE	Francisco Durán, Santiago Escobar, Salvador Lucas: On-demand Evaluation for Maude. Electr. Notes Theor. Comput. Sci. 124(1): 25-39 (2005)
24	EE	Francisco Durán: Maude's Internal Strategies. Electr. Notes Theor. Comput. Sci. 124(2): 11-15 (2005)
23	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
22	EE	Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain: Proving termination of membership equational programs. PEPM 2004: 147-158
	2003
21	EE	Francisco Durán, Javier Herrador, Antonio Vallecillo: Using UML and Maude for Writing and Reasoning about ODP Policies. POLICY 2003: 15-25
20	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
19	EE	Francisco Durán, Antonio Vallecillo: Formalizing ODP enterprise specifications in Maude. Computer Standards & Interfaces 25(2): 83-102 (2003)
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 Emilie Balland [63]

3 Christiano Braga (Christiano de O. Braga) [36]

4 Mark van den Brand (M. G. J. van den Brand) [63]

5 Jordi Cabot [60]

6 Manuel Clavel [1] [2] [5] [6] [7] [8] [11] [16] [20] [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] [57] [64]

7 Steven Eker [1] [2] [5] [6] [7] [11] [12] [16] [20] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [63] [64]

8 Santiago Escobar [25] [26] [64]

9 Azadeh Farzan [36]

10 Joe Hendrix [32] [36]

11 Javier Herrador [21]

12 Karl Trygve Kalleberg [63]

13 Lennart C. L. Kats [63]

14 Patrick Lincoln [1] [2] [6] [7] [11] [12] [16] [20] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [64]

15 Salvador Lucas [22] [25] [26] [32] [58] [59] [65]

16 Claude Marché [22] [58]

17 Narciso Martí-Oliet [1] [2] [6] [7] [8] [11] [16] [20] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [64]

18 José Meseguer [1] [2] [3] [4] [5] [6] [7] [9] [11] [12] [16] [18] [20] [22] [28] [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] [57] [58] [59] [64] [65]

19 Pierre-Etienne Moreau [63]

20 Nathalie Moreno [60]

21 Peter Csaba Ölveczky [32] [36] [62]

22 Miguel Palomino [36] [50] [53]

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

24 Adrián Riesco [30] [42]

25 José Eduardo Rivera [29]

26 Manuel Roldán [23] [27] [61] [63]

27 José Raúl Romero [29] [31] [60]

28 Ralf Sasse [36]

29 Ruslan Schevchenko [63]

30 Mark-Oliver Stehr [5] [36]

31 Carolyn L. Talcott [20] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [64]

32 Xavier Urbain [22] [58]

33 Antonio Vallecillo [14] [15] [19] [21] [23] [27] [29] [31] [60] [61]

34 Alberto Verdejo [17] [30] [36] [42] [50] [53]

35 Eelco Visser [63]

1	Antonio Albarrán	[15]
2	Emilie Balland	[63]
3	Christiano Braga (Christiano de O. Braga)	[36]
4	Mark van den Brand (M. G. J. van den Brand)	[63]
5	Jordi Cabot	[60]
6	Manuel Clavel	[1] [2] [5] [6] [7] [8] [11] [16] [20] [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] [57] [64]
7	Steven Eker	[1] [2] [5] [6] [7] [11] [12] [16] [20] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [63] [64]
8	Santiago Escobar	[25] [26] [64]
9	Azadeh Farzan	[36]
10	Joe Hendrix	[32] [36]
11	Javier Herrador	[21]
12	Karl Trygve Kalleberg	[63]
13	Lennart C. L. Kats	[63]
14	Patrick Lincoln	[1] [2] [6] [7] [11] [12] [16] [20] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [64]
15	Salvador Lucas	[22] [25] [26] [32] [58] [59] [65]
16	Claude Marché	[22] [58]
17	Narciso Martí-Oliet	[1] [2] [6] [7] [8] [11] [16] [20] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [64]
18	José Meseguer	[1] [2] [3] [4] [5] [6] [7] [9] [11] [12] [16] [18] [20] [22] [28] [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] [57] [58] [59] [64] [65]
19	Pierre-Etienne Moreau	[63]
20	Nathalie Moreno	[60]
21	Peter Csaba Ölveczky	[32] [36] [62]
22	Miguel Palomino	[36] [50] [53]
23	Jose F. Quesada	[2] [6] [7] [11] [16]
24	Adrián Riesco	[30] [42]
25	José Eduardo Rivera	[29]
26	Manuel Roldán	[23] [27] [61] [63]
27	José Raúl Romero	[29] [31] [60]
28	Ralf Sasse	[36]
29	Ruslan Schevchenko	[63]
30	Mark-Oliver Stehr	[5] [36]
31	Carolyn L. Talcott	[20] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [64]
32	Xavier Urbain	[22] [58]
33	Antonio Vallecillo	[14] [15] [19] [21] [23] [27] [29] [31] [60] [61]
34	Alberto Verdejo	[17] [30] [36] [42] [50] [53]
35	Eelco Visser	[63]