The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manuel Clavel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
    Formalizing and Proving Semantic Relations between Specifications by Reflection. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:72-86 [Conf]
  2. Manuel Clavel, Marina Egea
    ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:368-373 [Conf]
  3. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Using Maude. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:371-374 [Conf]
  4. Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr
    Maude as a Formal Meta-tool. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1684-1703 [Conf]
  5. David A. Basin, Manuel Clavel, José Meseguer
    Rewriting Logic as a Metalogical Framework. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:55-80 [Conf]
  6. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    The Maude System. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:240-243 [Conf]
  7. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
    The Maude 2.0 System. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:76-87 [Conf]
  8. Joe Hendrix, Manuel Clavel, José Meseguer
    A Sufficient Completeness Reasoning Tool for Partial Specifications. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:165-174 [Conf]
  9. Manuel Clavel
    Strategies and user interfaces in Maude at work. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
  10. Manuel Clavel
    Reflection in general logics, rewriting logic, and Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  11. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
    Metalevel computation in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  12. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Towards Maude 2.0. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  13. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Maude as a metalanguage. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  14. Manuel Clavel, Francisco Durán, Narciso Martí-Oliet
    Polytypic Programming in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  15. Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
    Principles of Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  16. Manuel Clavel, José Meseguer
    Reflection and strategies in rewriting logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  17. Manuel Clavel, José Meseguer, Miguel Palomino
    Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  18. Manuel Clavel, Miguel Palomino, Adrián Riesco
    Introducing the ITP Tool: a Tutorial. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1618-1650 [Journal]
  19. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Maude: specification and programming in rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:187-243 [Journal]
  20. Manuel Clavel, José Meseguer
    Reflection in conditional rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:245-288 [Journal]
  21. Manuel Clavel, José Meseguer, Miguel Palomino
    Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:1-2, pp:70-91 [Journal]
  22. David A. Basin, Manuel Clavel, José Meseguer
    Reflective metalogical frameworks. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:3, pp:528-576 [Journal]
  23. Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
    The Maude Formal Tool Environment. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:173-178 [Conf]
  24. David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea
    A Metamodel-Based Approach for Analyzing Security-Design Models. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:420-435 [Conf]

  25. Model-Driven Security in Practice: An Industrial Experience. [Citation Graph (, )][DBLP]


  26. SSG: a model-based development environment for smart, security-aware GUIs. [Citation Graph (, )][DBLP]


  27. Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. [Citation Graph (, )][DBLP]


  28. Unification and Narrowing in Maude 2.4. [Citation Graph (, )][DBLP]


  29. Introduction. [Citation Graph (, )][DBLP]


  30. Using Maude. [Citation Graph (, )][DBLP]


  31. Syntax and Basic Parsing. [Citation Graph (, )][DBLP]


  32. Functional Modules. [Citation Graph (, )][DBLP]


  33. A Hierarchy of Data Types: From Trees to Sets. [Citation Graph (, )][DBLP]


  34. System Modules. [Citation Graph (, )][DBLP]


  35. Module Operations. [Citation Graph (, )][DBLP]


  36. Predefined Data Modules. [Citation Graph (, )][DBLP]


  37. Object-Based Programming. [Citation Graph (, )][DBLP]


  38. Model Checking Invariants Through Search. [Citation Graph (, )][DBLP]


  39. LTL Model Checking. [Citation Graph (, )][DBLP]


  40. Reflection, Metalevel Computation, and Strategies. [Citation Graph (, )][DBLP]


  41. Metaprogramming Applications. [Citation Graph (, )][DBLP]


  42. User Interfaces and Metalanguage Applications. [Citation Graph (, )][DBLP]


  43. Full Maude: Extending Core Maude. [Citation Graph (, )][DBLP]


  44. Object-Oriented Modules. [Citation Graph (, )][DBLP]


  45. A Sampler of Application Areas. [Citation Graph (, )][DBLP]


  46. Debugging and Troubleshooting. [Citation Graph (, )][DBLP]


  47. Complete List of Maude Commands. [Citation Graph (, )][DBLP]


  48. Core Maude Grammar. [Citation Graph (, )][DBLP]


  49. Some Tools. [Citation Graph (, )][DBLP]


  50. Playing with Maude. [Citation Graph (, )][DBLP]


  51. Specifying Parameterized Data Structures in Maude. [Citation Graph (, )][DBLP]


  52. Mobile Maude. [Citation Graph (, )][DBLP]


  53. Automatic Generation of Smart, Security-Aware GUI Models. [Citation Graph (, )][DBLP]


Search in 0.180secs, Finished in 0.183secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002