default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManuel Clavel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i2]Hoang Nguyen Phuoc Bao, Manuel Clavel:
Proving correctness for SQL implementations of OCL constraints. CoRR abs/2403.18599 (2024)- 2023
- [c43]Ngoc Chau Lam, Manuel Clavel:
Web Browsers' Support for Managing Cookies. An Experiment Report. FDSE 2023: 135-152 - [c42]Hoang Nguyen Phuoc Bao, Manuel Clavel:
An extended model-based characterization of fine-grained access control for SQL queries. MODELS 2023: 95-105 - 2022
- [c41]Hieu Minh Truong, Manuel Clavel:
Identifying temporary water bodies from drone images at real-time using deep-learning techniques. ACOMPA 2022: 12-19 - [i1]Hoang Nguyen Phuoc Bao, Manuel Clavel:
Optimising Fine-Grained Access Control Policy Enforcement for Database Queries. A Model-Driven Approach. CoRR abs/2209.05561 (2022) - 2021
- [j14]Hoang Nguyen Phuoc Bao, Manuel Clavel
:
A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries. SN Comput. Sci. 2(5): 370 (2021) - [c40]Hoang Nguyen Phuoc Bao, Antonio García-Domínguez, Manuel Clavel:
The TTC 2021 OCL2PSQL case. TTC/ 2021 - [e2]Lam-Son Lê, Henry Nguyen, Thanh An Phan, Manuel Clavel, Tran Khanh Dang:
15th International Conference on Advanced Computing and Applications, ACOMP 2021, Ho Chi Minh City, Vietnam, November 24-26, 2021. IEEE 2021, ISBN 978-1-6654-0639-0 [contents] - 2020
- [j13]Hoang Nguyen Phuoc Bao, Manuel Clavel:
Model-based Characterization of fine-grained Access Control Authorization for SQL Queries. J. Object Technol. 19(3): 3:1-13 (2020) - [c39]Hoang Nguyen Phuoc Bao, Manuel Clavel:
A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries. FDSE 2020: 67-86
2010 – 2019
- 2019
- [c38]Hoang Nguyen Phuoc Bao, Manuel Clavel:
OCL2PSQL: An OCL-to-SQL Code-Generator for Model-Driven Engineering. FDSE 2019: 185-203 - [c37]Manuel Clavel, Hoang Nguyen Phuoc Bao:
Mapping OCL into SQL: Challenges and Opportunities Ahead. OCL@MoDELS 2019: 3-16 - 2016
- [c36]Carolina Dania, Manuel Clavel:
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. MoDELS 2016: 65-75 - 2015
- [c35]Miguel Angel García de Dios, Carolina Dania, Manuel Clavel:
Formal Reasoning about Fine-Grained Access Control Policies. APCCM 2015: 91-100 - [c34]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott:
Two Decades of Maude. Logic, Rewriting, and Concurrency 2015: 232-254 - [c33]Carlos Cotrini Jiménez, Thilo Weghorn, David A. Basin, Manuel Clavel:
Analyzing First-Order Role Based Access Control. CSF 2015: 3-17 - [c32]Carolina Dania, Manuel Clavel:
Model-Based Formal Reasoning about Data-Management Applications. FASE 2015: 218-232 - 2014
- [j12]David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania:
A Model-Driven Methodology for Developing Secure Data-Management Applications. IEEE Trans. Software Eng. 40(4): 324-337 (2014) - [c31]Carolina Dania, Manuel Clavel:
Modeling Social Networking Privacy. TASE 2014: 50-57 - [p25]Miguel Angel García de Dios, Carolina Dania, David A. Basin, Manuel Clavel:
Model-Driven Development of a Secure eHealth Application. Engineering Secure Future Internet Services and Systems 2014: 97-118 - 2013
- [c30]Carolina Dania, Manuel Clavel:
OCL2FOL+: Coping with Undefinedness. OCL@MoDELS 2013: 53-62 - 2011
- [c29]Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino:
Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 277-298 - [c28]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 - [c27]David A. Basin, Manuel Clavel, Marina Egea:
A decade of model-driven security. SACMAT 2011: 1-10 - 2010
- [j11]Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla:
Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010) - [j10]Marina Egea, Carolina Dania, Manuel Clavel:
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010) - [c26]David A. Basin, Manuel Clavel, Marina Egea, Michael Schläpfer:
Automatic Generation of Smart, Security-Aware GUI Models. ESSoS 2010: 201-217 - [c25]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 - [c24]Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla:
Tenth International Workshop on OCL and Textual Modelling. MoDELS (Workshops) 2010: 329-333
2000 – 2009
- 2009
- [j9]Manuel Clavel, Marina Egea, Miguel Angel García de Dios:
Checking Unsatisfiability for OCL Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24 (2009) - [j8]David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea:
Automated analysis of security-design models. Inf. Softw. Technol. 51(5): 815-831 (2009) - [j7]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) - [c23]Vlad Rusu, Manuel Clavel:
Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. JFLA 2009: 317-350 - [c22]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 - 2008
- [j6]Manuel Clavel, Marina Egea, Miguel Angel García de Dios:
ECEASST Building an Efficient Component for OCL Evaluation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008) - [c21]Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea:
Model-Driven Security in Practice: An Industrial Experience. ECMDA-FA 2008: 326-337 - 2007
- [j5]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) - [c20]Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky:
The Maude Formal Tool Environment. CALCO 2007: 173-178 - [c19]Manuel Clavel, Marina Egea, Viviane Torres da Silva:
The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool. JISBD 2007: 393-394 - [c18]David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea:
A Metamodel-Based Approach for Analyzing Security-Design Models. MoDELS 2007: 420-435 - [p24]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Introduction. All About Maude 2007: 1-28 - [p23]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 - [p22]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 - [p21]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 - [p20]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 - [p19]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 - [p18]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 - [p17]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 - [p16]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 - [p15]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 - [p14]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 - [p13]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 - [p12]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 - [p11]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 - [p10]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 - [p9]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 - [p8]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 - [p7]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 - [p6]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 - [p5]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 - [p4]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 - [p3]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 - [p2]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 - [p1]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 - [e1]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. Lecture Notes in Computer Science 4350, Springer 2007, ISBN 978-3-540-71940-3 [contents] - 2006
- [j4]Manuel Clavel, Miguel Palomino, Adrián Riesco:
Introducing the ITP Tool: a Tutorial. J. Univers. Comput. Sci. 12(11): 1618-1650 (2006) - [c17]Manuel Clavel, Marina Egea:
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. AMAST 2006: 368-373 - 2005
- [c16]Joe Hendrix, Manuel Clavel, José Meseguer:
A Sufficient Completeness Reasoning Tool for Partial Specifications. RTA 2005: 165-174 - 2004
- [j3]David A. Basin, Manuel Clavel, José Meseguer:
Reflective metalogical frameworks. ACM Trans. Comput. Log. 5(3): 528-576 (2004) - [c15]Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino:
Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST 2004: 72-86 - 2003
- [c14]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 - [c13]Manuel Clavel:
Strategies and user interfaces in Maude at work. WRS 2003: 570-592 - 2002
- [j2]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) - [j1]Manuel Clavel, José Meseguer:
Reflection in conditional rewriting logic. Theor. Comput. Sci. 285(2): 245-288 (2002) - [c12]Manuel Clavel, José Meseguer, Miguel Palomino:
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. WRLA 2002: 110-126 - 2000
- [c11]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Using Maude. FASE 2000: 371-374 - [c10]David A. Basin, Manuel Clavel, José Meseguer:
Rewriting Logic as a Metalogical Framework. FSTTCS 2000: 55-80 - [c9]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Towards Maude 2.0. WRLA 2000: 294-315 - [c8]Manuel Clavel, Francisco Durán, Narciso Martí-Oliet:
Polytypic Programming in Maude. WRLA 2000: 339-360
1990 – 1999
- 1999
- [c7]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 - [c6]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
The Maude System. RTA 1999: 240-243 - 1998
- [c5]Manuel Clavel:
Reflection in general logics, rewriting logic, and Maude. WRLA 1998: 71-82 - [c4]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Maude as a metalanguage. WRLA 1998: 147-160 - [c3]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer:
Metalevel computation in Maude. WRLA 1998: 331-352 - 1996
- [c2]Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer:
Principles of Maude. WRLA 1996: 65-89 - [c1]Manuel Clavel, José Meseguer:
Reflection and strategies in rewriting logic. WRLA 1996: 126-148
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
