The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Daniel Le Métayer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn
    Coarse Grained Java Security Policies. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:296- [Conf]
  2. Pascal Fradet, Daniel Le Métayer, Michaël Périn
    Consistency Checking for Multiple View Software Architectures. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:410-428 [Conf]
  3. Pascal Fradet, Ronan Caugne, Daniel Le Métayer
    Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:125-140 [Conf]
  4. Chris Hankin, Daniel Le Métayer
    Lazy Type Inference for the Strictness Analysis of Lists. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:257-271 [Conf]
  5. Jean-Pierre Banâtre, Ciarán Bryce, Daniel Le Métayer
    Compile-Time Detection of Information Flow in Sequential Programs. [Citation Graph (0, 0)][DBLP]
    ESORICS, 1994, pp:55-73 [Conf]
  6. Jean-Pierre Banâtre, Daniel Le Métayer
    Chemical Reaction as a Computational Model. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1989, pp:103-117 [Conf]
  7. Simon B. Jones, Daniel Le Métayer
    A New Method for Strictness Analysis on Non-Flat Domains. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1989, pp:1-11 [Conf]
  8. Simon B. Jones, Daniel Le Métayer
    Computer-Time Garbage Collection by Sharing Analysis. [Citation Graph (0, 0)][DBLP]
    FPCA, 1989, pp:54-74 [Conf]
  9. Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer
    An approach to information security in distributed systems. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1995, pp:384-394 [Conf]
  10. Jean-Pierre Banâtre, Daniel Le Métayer
    Introduction to Gamma. [Citation Graph (0, 0)][DBLP]
    Research Directions in High-Level Parallel Programming Languages, 1991, pp:197-202 [Conf]
  11. Daniel Le Métayer
    The Chemical Reaction Model. [Citation Graph (0, 0)][DBLP]
    Research Directions in High-Level Parallel Programming Languages, 1991, pp:196- [Conf]
  12. Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn
    Security and Dynamic Class Loading in Java: A Formalization. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:4-15 [Conf]
  13. Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer
    CASTING: A Formally Based Software Test Generation Method. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:101-0 [Conf]
  14. Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
    Formal Methods in Context: Security and Java Card. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:1-5 [Conf]
  15. Chris Hankin, Daniel Le Métayer, David Sands
    A Calculus of Gamma Programs. [Citation Graph (0, 0)][DBLP]
    LCPC, 1992, pp:342-355 [Conf]
  16. J.-F. Giorgi, Daniel Le Métayer
    Continuation-Based Parallel Implementation of Functional Programming Languages. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1990, pp:209-217 [Conf]
  17. Pascal Fradet, Daniel Le Métayer
    Type Checking for a Multiset Rewriting Language. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:126-140 [Conf]
  18. Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
    Verification by Testing for Recursive Program Schemes. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1999, pp:255-272 [Conf]
  19. Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
    Formal Methods in Practice: The Missing Links. A Perspective from the Security Area. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:169-182 [Conf]
  20. Chris Hankin, Daniel Le Métayer, David Sands
    A Parallel Programming Style and Its Algebra of Programs. [Citation Graph (0, 0)][DBLP]
    PARLE, 1993, pp:367-378 [Conf]
  21. David Mentré, Daniel Le Métayer, Thierry Priol
    Formalization and Verification of Coherence Protocols with the Gamma Framework. [Citation Graph (0, 0)][DBLP]
    PDSE, 2000, pp:105-113 [Conf]
  22. Daniel Le Métayer
    Proving Properties of Programs Defined over Recursive Data Structures. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:88-99 [Conf]
  23. Geoffrey L. Burn, Daniel Le Métayer
    Proving the Correctness of Compiler Optimizations Based on Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:346-364 [Conf]
  24. Pascal Fradet, Daniel Le Métayer
    Shape Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:27-39 [Conf]
  25. Chris Hankin, Daniel Le Métayer
    Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:202-212 [Conf]
  26. Chris Hankin, Daniel Le Métayer
    A Type-based Framework for Program Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:380-394 [Conf]
  27. Chris Hankin, Daniel Le Métayer, David Sands
    Transformation of Gamma Programs. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:12-19 [Conf]
  28. Daniel Le Métayer
    Software Architecture Styles as Graph Grammars. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1996, pp:15-23 [Conf]
  29. Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn
    Verification of Control Flow based Security Properties. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 1999, pp:89-103 [Conf]
  30. Pascal Fradet, Daniel Le Métayer
    Compilation of Lambda-Calculus into Functional Machine Code. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:155-166 [Conf]
  31. Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer
    Gamma and the Chemical Reaction Model: Fifteen Years After. [Citation Graph (0, 0)][DBLP]
    WMP, 2000, pp:17-44 [Conf]
  32. Jean-Pierre Banâtre, Daniel Le Métayer
    Programming by Multiset Transformation. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1993, v:36, n:1, pp:98-111 [Journal]
  33. Daniel Le Métayer
    Program Analysis for Software Engineering: New Applications, New Requirements, New Tools. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:167- [Journal]
  34. Daniel Le Métayer, David A. Schmidt
    Structural Operational Semantics as a Basis for Static Program Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:340-343 [Journal]
  35. Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer
    Model Checking Security Properties of Control Flow Graphs. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2001, v:9, n:3, pp:217-250 [Journal]
  36. Geoffrey L. Burn, Daniel Le Métayer
    Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:1, pp:75-109 [Journal]
  37. Valérie Gouranton, Daniel Le Métayer
    Dynamic Slicing: a generic analysis based on a natural semantics format. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:6, pp:835-871 [Journal]
  38. J.-F. Giorgi, Daniel Le Métayer
    Continuation-Based Compilation of Functional Languages for Parallel Machines. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1992, v:2, n:4, pp:393-414 [Journal]
  39. Jean-Pierre Banâtre, Daniel Le Métayer
    The GAMMA Model and Its Discipline of Programming. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1990, v:15, n:1, pp:55-77 [Journal]
  40. Pascal Fradet, Daniel Le Métayer
    Structured Gamma. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:31, n:2-3, pp:263-289 [Journal]
  41. Chris Hankin, Daniel Le Métayer
    Lazy Type Inference and Program Analysis. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:25, n:2-3, pp:219-249 [Journal]
  42. Daniel Le Métayer
    Program Analysis for Software Engineering: New Applications, New Requirements, New Tools. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:86-88 [Journal]
  43. Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
    Exploring the Software Development Trilogy. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1998, v:15, n:6, pp:75-81 [Journal]
  44. Chris Hankin, Daniel Le Métayer, David Sands
    Refining Multiset Tranformers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:192, n:2, pp:233-258 [Journal]
  45. Daniel Le Métayer
    Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:1-2 [Journal]
  46. Pascal Fradet, Daniel Le Métayer
    Compilation of Functional Languages by Program Transformation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1991, v:13, n:1, pp:21-51 [Journal]
  47. Daniel Le Métayer
    ACE: An Automatic Complexity Evaluator. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1988, v:10, n:2, pp:248-266 [Journal]
  48. Daniel Le Métayer
    Describing Software Architecture Styles Using Graph Grammars. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:7, pp:521-533 [Journal]
  49. Daniel Le Métayer
    IT Security Analysis Best Practices and Formal Approaches. [Citation Graph (0, 0)][DBLP]
    FOSAD, 2007, pp:75-91 [Conf]

  50. Liability in software engineering: overview of the LISE approach and illustration on a case study. [Citation Graph (, )][DBLP]


  51. A Formal Privacy Management Framework. [Citation Graph (, )][DBLP]


  52. ASTRA : A Security Analysis Method Based on Asset Tracking. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.303secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002