Manuel Clavel

Proceedings of the Future Data and Security Engineering - 6th International Conference, 2019

2016

OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

2015

Model-Based Formal Reasoning about Data-Management Applications.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Analyzing First-Order Role Based Access Control.

[BibT_eX]

[DOI]

Carlos Cotrini Jiménez

Thilo Weghorn

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

Two Decades of Maude.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rewriting, and Concurrency, 2015

Formal Reasoning about Fine-Grained Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the 11th Asia-Pacific Conference on Conceptual Modelling, 2015

2014

Model-Driven Development of a Secure eHealth Application.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

A Model-Driven Methodology for Developing Secure Data-Management Applications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

Modeling Social Networking Privacy.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

2013

OCL2FOL+: Coping with Undefinedness.

[BibT_eX]

[DOI]

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

2011

A decade of model-driven security.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

Model-Driven Development of Security-Aware GUIs for Data-Centric Applications.

[BibT_eX]

[DOI]

Gonzalo Ortiz

Javier Valdazo

Proceedings of the Foundations of Security Analysis and Design VI, 2011

Parameterized Metareasoning in Membership Equational Logic.

[BibT_eX]

[DOI]

Narciso Martí-Oliet

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010).

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Tenth International Workshop on OCL and Textual Modelling.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2010

SSG: a model-based development environment for smart, security-aware GUIs.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Automatic Generation of Smart, Security-Aware GUI Models.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010

2009

Vérification d'invariants pour des systèmes spécifiés en logique de réécriture.

[BibT_eX]

[DOI]

Vlad Rusu

Stud. Inform. Univ., 2009

Automated analysis of security-design models.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2009

Checking Unsatisfiability for OCL Constraints.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Unification and Narrowing in Maude 2.4.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008

ECEASST Building an Efficient Component for OCL Evaluation.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Model-Driven Security in Practice: An Industrial Experience.

[BibT_eX]

[DOI]

Viviane Torres da Silva

Christiano Braga

Proceedings of the Model Driven Architecture, 2008

2007

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

A Metamodel-Based Approach for Analyzing Security-Design Models.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Mobile Maude.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Specifying Parameterized Data Structures in Maude.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Playing with Maude.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Some Tools.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Core Maude Grammar.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Complete List of Maude Commands.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Debugging and Troubleshooting.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

A Sampler of Application Areas.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Object-Oriented Modules.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Full Maude: Extending Core Maude.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

User Interfaces and Metalanguage Applications.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Metaprogramming Applications.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Reflection, Metalevel Computation, and Strategies.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

LTL Model Checking.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Model Checking Invariants Through Search.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Object-Based Programming.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Predefined Data Modules.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Module Operations.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

System Modules.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

A Hierarchy of Data Types: From Trees to Sets.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Functional Modules.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Syntax and Basic Parsing.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Using Maude.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Introduction.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool.

[BibT_eX]

Viviane Torres da Silva

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

The Maude Formal Tool Environment.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Introducing the ITP Tool: a Tutorial.

[BibT_eX]

[DOI]

Adrián Riesco

J. Univers. Comput. Sci., 2006

ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

A Sufficient Completeness Reasoning Tool for Partial Specifications.

[BibT_eX]

[DOI]

Joe Hendrix

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

2004

Reflective metalogical frameworks.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2004

Formalizing and Proving Semantic Relations between Specifications by Reflection.

[BibT_eX]

[DOI]

Narciso Martí-Oliet

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Strategies and user interfaces in Maude at work.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, 2003

The Maude 2.0 System.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002

Reflection in conditional rewriting logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Maude: specification and programming in rewriting logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

2000

Polytypic Programming in Maude.

[BibT_eX]

[DOI]

Francisco Durán

Narciso Martí-Oliet

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Towards Maude 2.0.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Rewriting Logic as a Metalogical Framework.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

Using Maude.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

The Maude System.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Maude as a Formal Meta-tool.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1998

Maude as a metalanguage.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Metalevel computation in Maude.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Reflection in general logics, rewriting logic, and Maude.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

1996

Reflection and strategies in rewriting logic.

[BibT_eX]

[DOI]