Manuel Clavel

86 papers A 4B 3C 1Misc 2Journal 16Unranked 33
YearRankTypeTitle / Venue / Authors
2024 J jnl
Proving correctness for SQL implementations of OCL constraints.
CoRR
Hoang Nguyen Phuoc Bao, Manuel Clavel
2023 A conf
An extended model-based characterization of fine-grained access control for SQL queries.
MODELS
Hoang Nguyen Phuoc Bao, Manuel Clavel
2023 — conf
Web Browsers' Support for Managing Cookies. An Experiment Report.
FDSE
Ngoc Chau Lam, Manuel Clavel
2022 — conf
Identifying temporary water bodies from drone images at real-time using deep-learning techniques.
ACOMPA
Hieu Minh Truong, Manuel Clavel
2022 J jnl
Optimising Fine-Grained Access Control Policy Enforcement for Database Queries. A Model-Driven Approach.
CoRR
Hoang Nguyen Phuoc Bao, Manuel Clavel
2021 — ed.
15th International Conference on Advanced Computing and Applications, ACOMP 2021, Ho Chi Minh City, Vietnam, November 24-26, 2021
ACOMP
Lam-Son Lê, Henry Nguyen, Thanh An Phan, Manuel Clavel, Tran Khanh Dang
2021 J jnl
A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries.
SN Comput. Sci.
Hoang Nguyen Phuoc Bao, Manuel Clavel
2021 — conf
The TTC 2021 OCL2PSQL case.
TTC/
Hoang Nguyen Phuoc Bao, Antonio García-Domínguez, Manuel Clavel
2020 — conf
A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries.
FDSE
Hoang Nguyen Phuoc Bao, Manuel Clavel
2020 J jnl
Model-based Characterization of fine-grained Access Control Authorization for SQL Queries.
J. Object Technol.
Hoang Nguyen Phuoc Bao, Manuel Clavel
2019 — conf
Mapping OCL into SQL: Challenges and Opportunities Ahead.
OCL@MoDELS
Manuel Clavel, Hoang Nguyen Phuoc Bao
2019 — conf
OCL2PSQL: An OCL-to-SQL Code-Generator for Model-Driven Engineering.
FDSE
Hoang Nguyen Phuoc Bao, Manuel Clavel
2016 A conf
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints.
MoDELS
Carolina Dania, Manuel Clavel
2015 A conf
Analyzing First-Order Role Based Access Control.
CSF
Carlos Cotrini Jiménez, Thilo Weghorn, David A. Basin, Manuel Clavel
2015 Misc conf
Formal Reasoning about Fine-Grained Access Control Policies.
APCCM
Miguel Angel García de Dios, Carolina Dania, Manuel Clavel
2015 B conf
Model-Based Formal Reasoning about Data-Management Applications.
FASE
Carolina Dania, Manuel Clavel
2015 — conf
Two Decades of Maude.
Logic, Rewriting, and Concurrency
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
2014 J jnl
A Model-Driven Methodology for Developing Secure Data-Management Applications.
IEEE Trans. Software Eng.
David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania
2014 — ch.
Model-Driven Development of a Secure eHealth Application.
Engineering Secure Future Internet Services and Systems
Miguel Angel García de Dios, Carolina Dania, David A. Basin, Manuel Clavel
2014 Misc conf
Modeling Social Networking Privacy.
TASE
Carolina Dania, Manuel Clavel
2013 — conf
OCL2FOL+: Coping with Undefinedness.
OCL@MoDELS
Carolina Dania, Manuel Clavel
2011 C conf
A decade of model-driven security.
SACMAT
David A. Basin, Manuel Clavel, Marina Egea
2011 — conf
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications.
FOSAD
David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo
2011 — conf
Parameterized Metareasoning in Membership Equational Logic.
Formal Modeling: Actors, Open Systems, Biological Systems
Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
2010 — conf
Automatic Generation of Smart, Security-Aware GUI Models.
ESSoS
David A. Basin, Manuel Clavel, Marina Egea, Michael Schläpfer
2010 J jnl
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Marina Egea, Carolina Dania, Manuel Clavel
2010 J jnl
Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla
2010 — conf
SSG: a model-based development environment for smart, security-aware GUIs.
ICSE (2)
Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea
2010 — conf
Tenth International Workshop on OCL and Textual Modelling.
MoDELS (Workshops)
Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla
2009 J jnl
Automated analysis of security-design models.
Inf. Softw. Technol.
David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea
2009 J jnl
Checking Unsatisfiability for OCL Constraints.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Manuel Clavel, Marina Egea, Miguel Angel García de Dios
2009 — conf
Unification and Narrowing in Maude 2.4.
RTA
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2009 — conf
Vérification d'invariants pour des systèmes spécifiés en logique de réécriture.
JFLA
Vlad Rusu, Manuel Clavel
2009 J jnl
Vérification d'invariants pour des systèmes spécifiés en logique de réécriture.
Stud. Inform. Univ.
Vlad Rusu, Manuel Clavel
2008 J jnl
ECEASST Building an Efficient Component for OCL Evaluation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Manuel Clavel, Marina Egea, Miguel Angel García de Dios
2008 — conf
Model-Driven Security in Practice: An Industrial Experience.
ECMDA-FA
Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea
2007 — ch.
A Hierarchy of Data Types: From Trees to Sets.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 A conf
A Metamodel-Based Approach for Analyzing Security-Design Models.
MoDELS
David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea
2007 — ch.
A Sampler of Application Areas.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — book
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Complete List of Maude Commands.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Core Maude Grammar.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Debugging and Troubleshooting.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Full Maude: Extending Core Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Functional Modules.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Introduction.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
LTL Model Checking.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Metaprogramming Applications.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Mobile Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo
2007 — ch.
Model Checking Invariants Through Search.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Module Operations.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Object-Based Programming.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Object-Oriented Modules.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Playing with Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007 — ch.
Predefined Data Modules.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 J jnl
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic.
Theor. Comput. Sci.
Manuel Clavel, José Meseguer, Miguel Palomino
2007 — ch.
Reflection, Metalevel Computation, and Strategies.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Some Tools.
All About Maude
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
2007 — ch.
Specifying Parameterized Data Structures in Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007 — ch.
Syntax and Basic Parsing.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
System Modules.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — conf
The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool.
JISBD
Manuel Clavel, Marina Egea, Viviane Torres da Silva
2007 B conf
The Maude Formal Tool Environment.
CALCO
Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
2007 — ch.
User Interfaces and Metalanguage Applications.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Using Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2006 — conf
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams.
AMAST
Manuel Clavel, Marina Egea
2006 J jnl
Introducing the ITP Tool: a Tutorial.
J. Univers. Comput. Sci.
Manuel Clavel, Miguel Palomino, Adrián Riesco
2005 — conf
A Sufficient Completeness Reasoning Tool for Partial Specifications.
RTA
Joe Hendrix, Manuel Clavel, José Meseguer
2004 — conf
Formalizing and Proving Semantic Relations between Specifications by Reflection.
AMAST
Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
2004 J jnl
Reflective metalogical frameworks.
ACM Trans. Comput. Log.
David A. Basin, Manuel Clavel, José Meseguer
2003 — conf
Strategies and user interfaces in Maude at work.
WRS
Manuel Clavel
2003 — conf
The Maude 2.0 System.
RTA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2002 J jnl
Maude: specification and programming in rewriting logic.
Theor. Comput. Sci.
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
2002 — conf
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic.
WRLA
Manuel Clavel, José Meseguer, Miguel Palomino
2002 J jnl
Reflection in conditional rewriting logic.
Theor. Comput. Sci.
Manuel Clavel, José Meseguer
2000 — conf
Polytypic Programming in Maude.
WRLA
Manuel Clavel, Francisco Durán, Narciso Martí-Oliet
2000 — conf
Rewriting Logic as a Metalogical Framework.
FSTTCS
David A. Basin, Manuel Clavel, José Meseguer
2000 — conf
Towards Maude 2.0.
WRLA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
2000 B conf
Using Maude.
FASE
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1999 — conf
Maude as a Formal Meta-tool.
World Congress on Formal Methods
Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr
1999 — conf
The Maude System.
RTA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1998 — conf
Maude as a metalanguage.
WRLA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1998 — conf
Metalevel computation in Maude.
WRLA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
1998 — conf
Reflection in general logics, rewriting logic, and Maude.
WRLA
Manuel Clavel
1996 — conf
Principles of Maude.
WRLA
Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
1996 — conf
Reflection and strategies in rewriting logic.
WRLA
Manuel Clavel, José Meseguer