Manuel Clavel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
1999–2023
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | MODELS | An extended model-based characterization of fine-grained access control for SQL queries. | Hoang Nguyen Phuoc Bao, Manuel Clavel |
| 2019 | MODELS | Mapping OCL into SQL: Challenges and Opportunities Ahead. | Manuel Clavel, Hoang Nguyen Phuoc Bao |
| 2016 | MODELS | OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. | Carolina Dania, Manuel Clavel |
| 2015 | APCCM | Formal Reasoning about Fine-Grained Access Control Policies. | Miguel Angel Garca de Dios, Carolina Dania, Manuel Clavel |
| 2015 | FASE | Model-Based Formal Reasoning about Data-Management Applications. | Carolina Dania, Manuel Clavel |
| 2014 | TASE | Modeling Social Networking Privacy. | Carolina Dania, Manuel Clavel |
| 2013 | MODELS | OCL2FOL+: Coping with Undefinedness. | Carolina Dania, Manuel Clavel |
| 2011 | SACMAT | A decade of model-driven security. | David A. Basin, Manuel Clavel, Marina Egea |
| 2010 | ICSE | SSG: a model-based development environment for smart, security-aware GUIs. | Miguel Angel Garca de Dios, Carolina Dania, Michael Schlpfer, David A. Basin, Manuel Clavel, Marina Egea |
| 2010 | MODELS | Tenth International Workshop on OCL and Textual Modelling. | Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla |
| 2007 | CALCO | The Maude Formal Tool Environment. | Manuel Clavel, Francisco Durn, Joe Hendrix, Salvador Lucas, Jos Meseguer, Peter Csaba lveczky |
| 2007 | MODELS | A Metamodel-Based Approach for Analyzing Security-Design Models. | David A. Basin, Manuel Clavel, Jrgen Doser, Marina Egea |
| 2000 | FASE | Using Maude. | Manuel Clavel, Francisco Durn, Steven Eker, Patrick Lincoln, Narciso Mart-Oliet, Jos Meseguer, Jose F. Quesada |
| 1999 | FM | Maude as a Formal Meta-tool. | Manuel Clavel, Francisco Durn, Steven Eker, Jos Meseguer, Mark-Oliver Stehr |