( en | de | ru )

 

Disambiguation of "Clavel, Manuel"

Author of the publication

copydeleteadd this publication to your clipboard
Formalizing and Proving Semantic Relations between Specifications by Reflection.

, , and . AMAST, volume 3116 of Lecture Notes in Computer Science, page 72-86. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Clavel

Manuel

Manuel Knebelsberger

Manuel Keller

Manuel Schmitz

 

Other publications of authors with the same name

MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL., , and . ECEASST, (2010)Automatic Generation of Smart, Security-Aware GUI Models., , , and . ESSoS, volume 5965 of Lecture Notes in Computer Science, page 201-217. Springer, (2010)Model-Based Formal Reasoning about Data-Management Applications., and . FASE, volume 9033 of Lecture Notes in Computer Science, page 218-232. Springer, (2015)Model-Driven Development of a Secure eHealth Application., , , and . Engineering Secure Future Internet Services and Systems, volume 8431 of Lecture Notes in Computer Science, Springer, (2014)The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool., , and . JISBD, page 393-394. Thomson Editorial, (2007)A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries., and . SN Comput. Sci., 2 (5): 370 (2021)Reflection in conditional rewriting logic., and . Theor. Comput. Sci., 285 (2): 245-288 (2002)Predefined Data Modules., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)A Sampler of Application Areas., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)Introduction., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)