Manuel Clavel

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2011
65		David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo: Model-Driven Development of Security-Aware GUIs for Data-Centric Applications. FOSAD 2011: 101-124
64		Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino: Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 277-298
63		David A. Basin, Manuel Clavel, Marina Egea: A decade of model-driven security. SACMAT 2011: 1-10
	2010
62		David A. Basin, Manuel Clavel, Marina Egea, Michael Schläpfer: Automatic Generation of Smart, Security-Aware GUI Models. ESSoS 2010: 201-217
61		Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea: SSG: a model-based development environment for smart, security-aware GUIs. ICSE (2) 2010: 311-312
60		Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla: Tenth International Workshop on OCL and Textual Modelling. MoDELS Workshops 2010: 329-333
59		Marina Egea, Carolina Dania, Manuel Clavel: MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL. ECEASST 36: (2010)
58		Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla: Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010). ECEASST 36: (2010)
	2009
57		Vlad Rusu, Manuel Clavel: Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. JFLA 2009: 317-350
56		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
55		Manuel Clavel, Marina Egea, Miguel Angel García de Dios: Checking Unsatisfiability for OCL Constraints. ECEASST 24: (2009)
54		David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea: Automated analysis of security-design models. Information & Software Technology 51(5): 815-831 (2009)
53		Vlad Rusu, Manuel Clavel: Vérification d’invariants pour des systèmes spécifiés en logique de réécriture. Stud. Inform. Univ. 7(2): 83-112 (2009)
	2008
52		Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea: Model-Driven Security in Practice: An Industrial Experience. ECMDA-FA 2008: 326-337
51		Manuel Clavel, Marina Egea, Miguel Angel García de Dios: ECEASST Building an Efficient Component for OCL Evaluation. ECEASST 15: (2008)
	2007
50		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
49		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28
48		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
47		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
46		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
45		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
44		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
43		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
42		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
41		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
40		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
39		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
38		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
37		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
36		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
35		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
34		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
33		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
32		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
31		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
30		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
29		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
28		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
27		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
26		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
25		Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
24		Manuel Clavel, Marina Egea, Viviane Torres da Silva: The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool. JISBD 2007: 393-394
23		David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea: A Metamodel-Based Approach for Analyzing Security-Design Models. MoDELS 2007: 420-435
22		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		Manuel Clavel, Marina Egea: ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. AMAST 2006: 368-373
20		Manuel Clavel, Miguel Palomino, Adrián Riesco: Introducing the ITP Tool: a Tutorial. J. UCS 12(11): 1618-1650 (2006)
	2005
19		Joe Hendrix, Manuel Clavel, José Meseguer: A Sufficient Completeness Reasoning Tool for Partial Specifications. RTA 2005: 165-174
	2004
18		Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino: Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST 2004: 72-86
17		David A. Basin, Manuel Clavel, José Meseguer: Reflective metalogical frameworks. ACM Trans. Comput. Log. 5(3): 528-576 (2004)
	2003
16		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		Manuel Clavel: Strategies and user interfaces in Maude at work. Electr. Notes Theor. Comput. Sci. 86(4): 570-592 (2003)
	2002
14		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: 110-126 (2002)
13		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		Manuel Clavel, José Meseguer: Reflection in conditional rewriting logic. Theor. Comput. Sci. 285(2): 245-288 (2002)
	2000
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		David A. Basin, Manuel Clavel, José Meseguer: Rewriting Logic as a Metalogical Framework. FSTTCS 2000: 55-80
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		Manuel Clavel, Francisco Durán, Narciso Martí-Oliet: Polytypic Programming in Maude. Electr. Notes Theor. Comput. Sci. 36: 339-360 (2000)
	1999
7		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		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		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)
4		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)
3		Manuel Clavel: Reflection in general logics, rewriting logic, and Maude. Electr. Notes Theor. Comput. Sci. 15: 71-82 (1998)
	1996
2		Manuel Clavel, José Meseguer: Reflection and strategies in rewriting logic. Electr. Notes Theor. Comput. Sci. 4: 126-148 (1996)
1		Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Maude. Electr. Notes Theor. Comput. Sci. 4: 65-89 (1996)

Coauthor Index

1 David A. Basin [10] [17] [23] [54] [61] [62] [63] [65]

2 Christiano Braga (Christiano de O. Braga) [29] [52]

3 Jordi Cabot [58] [60]

4 Tony Clark [58] [60]

5 Carolina Dania [59] [61] [65]

6 Miguel Angel García de Dios [51] [55] [61] [65]

7 Jürgen Doser [23] [54]

8 Francisco Durán [4] [5] [6] [7] [8] [9] [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] [50] [56]

9 Marina Egea [21] [23] [24] [51] [52] [54] [55] [59] [61] [62] [63] [65]

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

11 Santiago Escobar [56]

12 Azadeh Farzan [29]

13 Martin Gogolla [58] [60]

14 Joe Hendrix [19] [25] [29]

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

16 Salvador Lucas [25]

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

18 José Meseguer [1] [2] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [16] [17] [19] [22] [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] [50] [56]

19 Peter Csaba Ölveczky [25] [29]

20 Gonzalo Ortiz [65]

21 Miguel Palomino [14] [18] [20] [22] [29] [43] [46] [64]

22 Jose F. Quesada [5] [7] [9] [11] [13]

23 Adrián Riesco [20] [35]

24 Vlad Rusu [53] [57]

25 Ralf Sasse [29]

26 Michael Schläpfer [61] [62]

27 Viviane Torres da Silva [24] [52]

28 Mark-Oliver Stehr [6] [29]

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

30 Javier Valdazo [65]

31 Alberto Verdejo [29] [35] [43] [46]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	David A. Basin	[10] [17] [23] [54] [61] [62] [63] [65]
2	Christiano Braga (Christiano de O. Braga)	[29] [52]
3	Jordi Cabot	[58] [60]
4	Tony Clark	[58] [60]
5	Carolina Dania	[59] [61] [65]
6	Miguel Angel García de Dios	[51] [55] [61] [65]
7	Jürgen Doser	[23] [54]
8	Francisco Durán	[4] [5] [6] [7] [8] [9] [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] [50] [56]
9	Marina Egea	[21] [23] [24] [51] [52] [54] [55] [59] [61] [62] [63] [65]
10	Steven Eker	[1] [4] [5] [6] [7] [9] [11] [13] [16] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [56]
11	Santiago Escobar	[56]
12	Azadeh Farzan	[29]
13	Martin Gogolla	[58] [60]
14	Joe Hendrix	[19] [25] [29]
15	Patrick Lincoln	[1] [4] [5] [7] [9] [11] [13] [16] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [56]
16	Salvador Lucas	[25]
17	Narciso Martí-Oliet	[4] [5] [7] [8] [9] [11] [13] [16] [18] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [56] [64]
18	José Meseguer	[1] [2] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [16] [17] [19] [22] [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] [50] [56]
19	Peter Csaba Ölveczky	[25] [29]
20	Gonzalo Ortiz	[65]
21	Miguel Palomino	[14] [18] [20] [22] [29] [43] [46] [64]
22	Jose F. Quesada	[5] [7] [9] [11] [13]
23	Adrián Riesco	[20] [35]
24	Vlad Rusu	[53] [57]
25	Ralf Sasse	[29]
26	Michael Schläpfer	[61] [62]
27	Viviane Torres da Silva	[24] [52]
28	Mark-Oliver Stehr	[6] [29]
29	Carolyn L. Talcott	[16] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [56]
30	Javier Valdazo	[65]
31	Alberto Verdejo	[29] [35] [43] [46]