Manuel Clavel

List of publications from the DBLP Bibliography Server - FAQ

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

2008
50	EE	Manuel Clavel, Viviane da Silva, Christiano Braga, Marina Egea: Model-Driven Security in Practice: An Industrial Experience. ECMDA-FA 2008: 326-337
2007
49		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
48	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
47	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
46	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
45	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
44	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
43	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
42	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
41	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
40	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
39	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
38	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
37	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
36	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
35	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
34	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
33	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
32	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
31	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
30	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
29	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
28	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
27	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
26	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
25	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
24	EE	Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
23	EE	David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea: A Metamodel-Based Approach for Analyzing Security-Design Models. MoDELS 2007: 420-435
22	EE	Manuel Clavel, José Meseguer, Miguel Palomino: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theor. Comput. Sci. 373(1-2): 70-91 (2007)
2006
21	EE	Manuel Clavel, Marina Egea: ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. AMAST 2006: 368-373
20	EE	Manuel Clavel, Miguel Palomino, Adrián Riesco: Introducing the ITP Tool: a Tutorial. J. UCS 12(11): 1618-1650 (2006)
2005
19	EE	Joe Hendrix, Manuel Clavel, José Meseguer: A Sufficient Completeness Reasoning Tool for Partial Specifications. RTA 2005: 165-174
2004
18	EE	Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino: Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST 2004: 72-86
17	EE	David A. Basin, Manuel Clavel, José Meseguer: Reflective metalogical frameworks. ACM Trans. Comput. Log. 5(3): 528-576 (2004)
2003
16	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
15	EE	Manuel Clavel: Strategies and user interfaces in Maude at work. Electr. Notes Theor. Comput. Sci. 86(4): (2003)
2002
14	EE	Manuel Clavel, José Meseguer, Miguel Palomino: Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. Electr. Notes Theor. Comput. Sci. 71: (2002)
13	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)
12	EE	Manuel Clavel, José Meseguer: Reflection in conditional rewriting logic. Theor. Comput. Sci. 285(2): 245-288 (2002)
2000
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	EE	David A. Basin, Manuel Clavel, José Meseguer: Rewriting Logic as a Metalogical Framework. FSTTCS 2000: 55-80
9	EE	Manuel Clavel, Francisco Durán, Narciso Martí-Oliet: Polytypic Programming in Maude. Electr. Notes Theor. Comput. Sci. 36: (2000)
8	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
7	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
6	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
1998
5	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)
4	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)
3	EE	Manuel Clavel: Reflection in general logics, rewriting logic, and Maude. Electr. Notes Theor. Comput. Sci. 15: (1998)
1996
2	EE	Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Maude. Electr. Notes Theor. Comput. Sci. 4: (1996)
1	EE	Manuel Clavel, José Meseguer: Reflection and strategies in rewriting logic. Electr. Notes Theor. Comput. Sci. 4: (1996)

Coauthor Index

1 David A. Basin [10] [17] [23]

2 Christiano Braga (Christiano de O. Braga) [28] [50]

3 Jürgen Doser [23]

4 Francisco Durán [4] [5] [6] [7] [8] [9] [11] [13] [16] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]

5 Marina Egea [21] [23] [50]

6 Steven Eker [2] [4] [5] [6] [7] [8] [11] [13] [16] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]

7 Azadeh Farzan [28]

8 Joe Hendrix [19] [24] [28]

9 Patrick Lincoln [2] [4] [5] [7] [8] [11] [13] [16] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]

10 Salvador Lucas [24]

11 Narciso Martí-Oliet [4] [5] [7] [8] [9] [11] [13] [16] [18] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]

12 José Meseguer [1] [2] [4] [5] [6] [7] [8] [10] [11] [12] [13] [14] [16] [17] [19] [22] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]

13 Peter Csaba Ölveczky [24] [28]

14 Miguel Palomino [14] [18] [20] [22] [28] [42] [45]

15 Jose F. Quesada [5] [7] [8] [11] [13]

16 Adrián Riesco [20] [34]

17 Ralf Sasse [28]

18 Viviane da Silva [50]

19 Mark-Oliver Stehr [6] [28]

20 Carolyn L. Talcott [16] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]

21 Alberto Verdejo [28] [34] [42] [45]

1	David A. Basin	[10] [17] [23]
2	Christiano Braga (Christiano de O. Braga)	[28] [50]
3	Jürgen Doser	[23]
4	Francisco Durán	[4] [5] [6] [7] [8] [9] [11] [13] [16] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]
5	Marina Egea	[21] [23] [50]
6	Steven Eker	[2] [4] [5] [6] [7] [8] [11] [13] [16] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]
7	Azadeh Farzan	[28]
8	Joe Hendrix	[19] [24] [28]
9	Patrick Lincoln	[2] [4] [5] [7] [8] [11] [13] [16] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]
10	Salvador Lucas	[24]
11	Narciso Martí-Oliet	[4] [5] [7] [8] [9] [11] [13] [16] [18] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]
12	José Meseguer	[1] [2] [4] [5] [6] [7] [8] [10] [11] [12] [13] [14] [16] [17] [19] [22] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]
13	Peter Csaba Ölveczky	[24] [28]
14	Miguel Palomino	[14] [18] [20] [22] [28] [42] [45]
15	Jose F. Quesada	[5] [7] [8] [11] [13]
16	Adrián Riesco	[20] [34]
17	Ralf Sasse	[28]
18	Viviane da Silva	[50]
19	Mark-Oliver Stehr	[6] [28]
20	Carolyn L. Talcott	[16] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]
21	Alberto Verdejo	[28] [34] [42] [45]