Francisco Durán

	2012
84		Francisco Durán, Meriem Ouederni, Gwen Salaün: A generic framework for n-protocol compatibility checking. Sci. Comput. Program. 77(7-8): 870-886 (2012)
	2011
83		Francisco Durán, Vlad Rusu: Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering AMMSE 2011
82		Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera: Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies AMMSE 2011: 49-63
81		Francisco Durán, Martin Gogolla, Manuel Roldán: Tracing Properties of UML and OCL Models with Maude AMMSE 2011: 81-97
80		Francisco Durán, Camilo Rocha, José M. Álvarez: Tool Interoperability in the Maude Formal Environment. CALCO 2011: 400-406
79		Francisco Durán, Camilo Rocha, José M. Álvarez: Towards a Maude Formal Environment. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 329-351
78		Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott: Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA 2011: 31-40
77		Manuel Roldán, Francisco Durán: Dynamic Validation of OCL Constraints with mOdCL. ECEASST 44: (2011)
	2010
76		José Eduardo Rivera, Francisco Durán, Antonio Vallecillo: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. WRLA 2010: 174-190
75		Francisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg: The Third Rewrite Engines Competition. WRLA 2010: 243-261
74		Francisco Durán, José Meseguer: A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. WRLA 2010: 69-85
73		Francisco Durán, José Meseguer: A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. WRLA 2010: 86-103
	2009
72		Francisco Durán, Salvador Lucas, José Meseguer: Termination Modulo Combinations of Equational Theories. FroCos 2009: 246-262
71		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
70		José Eduardo Rivera, Francisco Durán, Antonio Vallecillo: A graphical approach for modeling time-dependent behavior of DSLs. VL/HCC 2009: 51-55
69		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)
68		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)
67		Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez: Web Services and Interoperability for the Maude Termination Tool. Electr. Notes Theor. Comput. Sci. 248: 83-92 (2009)
66		Francisco Durán, Salvador Lucas, José Meseguer: Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. Electr. Notes Theor. Comput. Sci. 248: 93-113 (2009)
65		Francisco Durán, Meriem Ouederni, Gwen Salaün: Checking Protocol Compatibility using Maude. Electr. Notes Theor. Comput. Sci. 255: 65-81 (2009)
64		Manuel Roldán, Francisco Durán, Antonio Vallecillo: Invariant-driven specifications in Maude. Sci. Comput. Program. 74(10): 812-835 (2009)
63		José Eduardo Rivera, Francisco Durán, Antonio Vallecillo: Formal Specification and Analysis of Domain Specific Models Using Maude. Simulation 85(11-12): 778-792 (2009)
	2008
62		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
61		Francisco Durán, Salvador Lucas, José Meseguer: MTT: The Maude Termination Tool (System Description). IJCAR 2008: 313-319
60		Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel: A formalization of the SMEPP model in Maude. MobiQuitous 2008
59		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
58		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
57		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28
56		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
55		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
54		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
53		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
52		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
51		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
50		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
49		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
48		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
47		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
46		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
45		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
44		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
43		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
42		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
41		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
40		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
39		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
38		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
37		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
36		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
35		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
34		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
33		Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
32		José Eduardo Rivera, Francisco Durán, Antonio Vallecillo, José Raúl Romero: Maudeling: Herramienta de gestión de modelos usando Maude. JISBD 2007: 409-410
31		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		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		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		Francisco Durán, José Meseguer: Maude's module algebra. Sci. Comput. Program. 66(2): 125-153 (2007)
	2005
27		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		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		Francisco Durán, Santiago Escobar, Salvador Lucas: On-demand Evaluation for Maude. Electr. Notes Theor. Comput. Sci. 124(1): 25-39 (2005)
24		Francisco Durán: Maude's Internal Strategies. Electr. Notes Theor. Comput. Sci. 124(2): 11-15 (2005)
23		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		Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain: Proving termination of membership equational programs. PEPM 2004: 147-158
	2003
21		Francisco Durán, Javier Herrador, Antonio Vallecillo: Using UML and Maude for Writing and Reasoning about ODP Policies. POLICY 2003: 15-25
20		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		Francisco Durán, Antonio Vallecillo: Formalizing ODP enterprise specifications in Maude. Computer Standards & Interfaces 25(2): 83-102 (2003)
18		Francisco Durán, José Meseguer: Structured theories and institutions. Theor. Comput. Sci. 309(1-3): 357-380 (2003)
	2002
17		Francisco Durán, Alberto Verdejo: A Conference Reviewing System in Mobile Maude. Electr. Notes Theor. Comput. Sci. 71: 127-143 (2002)
16		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		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		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		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: 294-315 (2000)
8		Francisco Durán, José Meseguer: Parameterized Theories and Views in Full Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: 316-338 (2000)
7		Manuel Clavel, Francisco Durán, Narciso Martí-Oliet: Polytypic Programming in Maude. Electr. Notes Theor. Comput. Sci. 36: 339-360 (2000)
	1999
6		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		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		Francisco Durán, José Meseguer: Structured Theories and Institutions. Electr. Notes Theor. Comput. Sci. 29: 23-41 (1999)
	1998
3		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: 147-160 (1998)
2		Francisco Durán, José Meseguer: An extensible module algebra for Maude. Electr. Notes Theor. Comput. Sci. 15: 174-195 (1998)
1		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer: Metalevel computation in Maude. Electr. Notes Theor. Comput. Sci. 15: 331-352 (1998)

Coauthor Index

1	Antonio Albarrán	[15]
2	José M. Álvarez	[79] [80]
3	Jean-Christophe Bach	[75]
4	Emilie Balland	[69] [75]
5	Christiano Braga (Christiano de O. Braga)	[37]
6	Mark van den Brand (Mark G. J. van den Brand, M. G. J. van den Brand)	[69] [75]
7	Jordi Cabot	[62]
8	Manuel Clavel	[1] [3] [5] [6] [7] [9] [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] [58] [71]
9	James R. Cordy	[75]
10	Steven Eker	[1] [3] [5] [6] [9] [11] [12] [16] [20] [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] [69] [71] [75] [78]
11	Luc Engelen	[75]
12	Santiago Escobar	[25] [26] [71] [78]
13	Azadeh Farzan	[37]
14	Martin Gogolla	[81]
15	Francisco Gutiérrez	[60] [67]
16	Joe Hendrix	[33] [37]
17	Javier Herrador	[21]
18	Maartje de Jonge	[75]
19	Karl Trygve Kalleberg	[69] [75]
20	Lennart C. L. Kats	[69]
21	Patrick Lincoln	[1] [3] [6] [9] [11] [12] [16] [20] [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] [71]
22	Pablo López	[60]
23	Salvador Lucas	[22] [25] [26] [33] [59] [61] [66] [67] [72]
24	Claude Marché	[22] [59]
25	Narciso Martí-Oliet	[1] [3] [6] [7] [9] [11] [16] [20] [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] [71]
26	José Meseguer	[1] [2] [3] [4] [5] [6] [8] [9] [11] [12] [16] [18] [20] [22] [28] [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] [61] [66] [67] [71] [72] [73] [74] [78]
27	Pierre-Etienne Moreau	[69]
28	Nathalie Moreno (Nathalie Moreno Vergara)	[62]
29	Peter Csaba Ölveczky	[33] [37] [68] [82]
30	Meriem Ouederni	[65] [84]
31	Miguel Palomino	[37] [51] [54]
32	Ernesto Pimentel	[60]
33	Jose F. Quesada	[3] [6] [9] [11] [16]
34	Adrián Riesco	[30] [43]
35	José Eduardo Rivera	[29] [32] [63] [70] [76] [82]
36	Camilo Rocha	[79] [80]
37	Manuel Roldán	[23] [27] [64] [69] [75] [77] [81]
38	José Raúl Romero	[29] [31] [32] [62]
39	Vlad Rusu	[83]
40	Gwen Salaün	[65] [84]
41	Ralf Sasse	[37]
42	Ruslan Schevchenko	[69]
43	Mark-Oliver Stehr	[5] [37]
44	Carolyn L. Talcott	[20] [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] [71] [78]
45	Xavier Urbain	[22] [59]
46	Antonio Vallecillo (Antonio Vallecillo Moreno)	[14] [15] [19] [21] [23] [27] [29] [31] [32] [62] [63] [64] [70] [76]
47	Alberto Verdejo	[17] [30] [37] [43] [51] [54]
48	Eelco Visser	[69]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page