BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Italy
1 × Japan
1 × South Africa
1 × Spain
1 × USA
1 × United Kingdom
2 × France
2 × Germany
Collaborated with:
J.Meseguer F.Durán S.Eker N.Martí-Oliet P.Lincoln C.Dania J.F.Quesada M.Egea D.A.Basin J.Hendrix M.Palomino C.L.Talcott V.T.d.Silva C.Braga J.Doser M.Stehr M.A.G.d.Dios M.Schläpfer S.Escobar
Talks about:
maud (12) logic (10) rewrit (5) reflect (4) model (4) secur (3) base (3) program (2) system (2) specif (2)

♂ Person: Manuel Clavel

DBLP DBLP: Clavel:Manuel

Facilitated 1 volumes:

MoDELS 2015PrCo

Contributed to:

FASE 20152015
ICSE 20102010
RTA 20092009
ECMDA-FA 20082008
MoDELS 20072007
RTA 20052005
RTA 20032003
WRLA 20022002
FASE 20002000
WRLA 20002000
World Congress on Formal Methods 19991999
RTA 19991999
WRLA 19981998
WRLA 19961996
WRLA 19962002
MoDELS 20162016

Wrote 21 papers:

FASE-2015-DaniaC #modelling #reasoning
Model-Based Formal Reasoning about Data-Management Applications (CD, MC), pp. 218–232.
ICSE-2010-DiosDSBCE #development #modelling #named #user interface
SSG: a model-based development environment for smart, security-aware GUIs (MAGdD, CD, MS, DAB, MC, ME), pp. 311–312.
RTA-2009-ClavelDEELMMT #maude #unification
Unification and Narrowing in Maude 2.4 (MC, FD, SE, SE, PL, NMO, JM, CLT), pp. 380–390.
ECMDA-FA-2008-ClavelSBE #experience #industrial #modelling #security
Model-Driven Security in Practice: An Industrial Experience (MC, VTdS, CB, ME), pp. 326–337.
MoDELS-2007-BasinCDE #approach #metamodelling #modelling
A Metamodel-Based Approach for Analyzing Security-Design Models (DAB, MC, JD, ME), pp. 420–435.
RTA-2005-HendrixCM #reasoning #specification
A Sufficient Completeness Reasoning Tool for Partial Specifications (JH, MC, JM), pp. 165–174.
RTA-2003-ClavelDELMMT #maude
The Maude 2.0 System (MC, FD, SE, PL, NMO, JM, CLT), pp. 76–87.
WRLA-2002-ClavelMP #equation #logic #similarity
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic (MC, JM, MP), pp. 110–126.
FASE-2000-ClavelDELMMQ #maude #using
Using Maude (MC, FD, SE, PL, NMO, JM, JFQ), pp. 371–374.
WRLA-2000-ClavelDELMMQ #maude #towards
Towards Maude 2.0 (MC, FD, SE, PL, NMO, JM, JFQ), pp. 294–315.
WRLA-2000-ClavelDM #maude #programming
Polytypic Programming in Maude (MC, FD, NMO), pp. 339–360.
FM-v2-1999-ClavelDEMS #maude
Maude as a Formal Meta-tool (MC, FD, SE, JM, MOS), pp. 1684–1703.
RTA-1999-ClavelDELMMQ #maude
The Maude System (MC, FD, SE, PL, NMO, JM, JFQ), pp. 240–243.
WRLA-1998-Clavel #logic #maude
Reflection in general logics, rewriting logic, and Maude (MC), pp. 71–82.
WRLA-1998-ClavelDELMM #maude
Metalevel computation in Maude (MC, FD, SE, PL, NMO, JM), pp. 331–352.
WRLA-1998-ClavelDELMMQ #maude #metalanguage
Maude as a metalanguage (MC, FD, SE, PL, NMO, JM, JFQ), pp. 147–160.
RWLW-1996-ClavelELM #maude
Principles of Maude (MC, SE, PL, JM), pp. 65–89.
RWLW-1996-ClavelM #logic
Reflection and strategies in rewriting logic (MC, JM), pp. 126–148.
WRLA-J-1996-ClavelDELMMQ02 #logic #maude #named #programming #specification
Maude: specification and programming in rewriting logic (MC, FD, SE, PL, NMO, JM, JFQ), pp. 187–243.
WRLA-J-1996-ClavelM02 #logic
Reflection in conditional rewriting logic (MC, JM), pp. 245–288.
MoDELS-2016-DaniaC #constraints #first-order #logic #named #ocl #satisfiability
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints (CD, MC), pp. 65–75.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.