Manuel Clavel - RankMe

86 papers A 4B 3C 1Misc 2Journal 16Unranked 33

Year	Rank	Type	Title / 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