Manuel Clavel - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

A decade of model-driven securityDavid A. Basin, Manuel Clavel, Marina Egea. SACMAT 2011: 1-10 [doi]

2010

Automatic Generation of Smart, Security-Aware GUI ModelsDavid A. Basin, Manuel Clavel, Marina Egea, Michael SchlÃ¤pfer. ESSoS 2010: 201-217 [doi]

Model-Driven Development of Security-Aware GUIs for Data-Centric ApplicationsDavid A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo. fosad 2011: 101-124 [doi]

Tenth International Workshop on OCL and Textual ModellingJordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla. MoDELS 2011: 329-333 [doi]

Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010)Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla. eceasst, 36, 2010. [doi]

SSG: a model-based development environment for smart, security-aware GUIsMiguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea. ICSE 2010: 311-312 [doi]

MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCLMarina Egea, Carolina Dania, Manuel Clavel. eceasst, 36, 2010. [doi]

2009

2008

ECEASST Building an Efficient Component for OCL EvaluationManuel Clavel, Marina Egea, Garcia de Dios Miguel Angel. eceasst, 15, 2008. [doi]

Model-Driven Security in Practice: An Industrial ExperienceManuel Clavel, Viviane da Silva, Christiano Braga, Marina Egea. ECMDA-FA 2008: 326-337 [doi]

2007

A Metamodel-Based Approach for Analyzing Security-Design ModelsDavid A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea. MoDELS 2007: 420-435 [doi]

IntroductionManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 1-28 [doi]

User Interfaces and Metalanguage ApplicationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 523-555 [doi]

Some ToolsManuel 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. maude 2007: 667-693 [doi]

Full Maude: Extending Core MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 559-597 [doi]

A Sampler of Application AreasManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 645-665 [doi]

System ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 131-157 [doi]

Functional ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 61-118 [doi]

Using MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 31-37 [doi]

Mobile MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo. maude 2007: 485-522 [doi]

Metaprogramming ApplicationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 459-483 [doi]

Playing with MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. maude 2007: 159-184 [doi]

Module OperationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 185-230 [doi]

Reflection, Metalevel Computation, and StrategiesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 419-458 [doi]

Debugging and TroubleshootingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 697-736 [doi]

Complete List of Maude CommandsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 737-749 [doi]

Syntax and Basic ParsingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 39-59 [doi]

Core Maude GrammarManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 751-756 [doi]

Model Checking Invariants Through SearchManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 373-384 [doi]

The Maude Formal Tool EnvironmentManuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky. calco 2007: 173-178 [doi]

LTL Model CheckingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 385-418 [doi]

Object-Oriented ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 599-642 [doi]

Object-Based ProgrammingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 339-372 [doi]

Predefined Data ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 231-305 [doi]

Specifying Parameterized Data Structures in MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. maude 2007: 307-338 [doi]

A Hierarchy of Data Types: From Trees to SetsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 119-129 [doi]

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logicManuel Clavel, José Meseguer, Miguel Palomino. TCS, 373(1-2):70-91, 2007. [doi]

All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting LogicManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, Volume 4350 of Lecture Notes in Computer Science, Springer, 2007.

2006

Introducing the ITP Tool: a TutorialManuel Clavel, Miguel Palomino, Adrián Riesco. jucs, 12(11):1618-1650, 2006. [doi]

ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class DiagramsManuel Clavel, Marina Egea. amast 2006: 368-373 [doi]

2005

A Sufficient Completeness Reasoning Tool for Partial SpecificationsJoe Hendrix, Manuel Clavel, José Meseguer. RTA 2005: 165-174 [doi]

2004

Reflective metalogical frameworksDavid A. Basin, Manuel Clavel, José Meseguer. tocl, 5(3):528-576, 2004. [doi]

Formalizing and Proving Semantic Relations between Specifications by ReflectionManuel Clavel, Narciso Martí-Oliet, Miguel Palomino. amast 2004: 72-86 [doi]

2003

Strategies and user interfaces in Maude at workManuel Clavel. ENTCS, 86(4), 2003. [doi]

The Maude 2.0 SystemManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. RTA 2003: 76-87 [doi]

2002

2000

1999

The Maude SystemManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. RTA 1999: 240-243 [doi]

Maude as a Formal Meta-toolManuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr. fm 1999: 1684-1703 [doi]

1998

1996

Principles of MaudeManuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer. ENTCS, 4, 1996. [doi]

Reflection and strategies in rewriting logicManuel Clavel, José Meseguer. ENTCS, 4, 1996. [doi]