dblp.uni-trier.dewww.uni-trier.de

Daniel Le Métayer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Lionel Van Aertryck [33]
2Jean-Pierre Banâtre [3] [6] [9] [14] [15] [20] [24] [46]
3Marc V. Benveniste [33]
4Frédéric Besson [50]
5Dominique Bolignano [48] [49]
6Ciarán Bryce [20] [24]
7Geoffrey L. Burn [16] [25]
8Ronan Caugne [30]
9Pascal Fradet [2] [8] [29] [30] [32] [36] [44] [46]
10David Garlan [34]
11J.-F. Giorgi [7] [11]
12Valérie Gouranton [41]
13Chris Hankin [12] [13] [17] [18] [19] [21] [22] [35]
14Thomas P. Jensen [39] [40] [43] [50]
15Simon B. Jones [4] [5]
16Claire Loiseaux [48] [49] [53]
17David Mentré [47]
18Valérie-Anne Nicolas [38] [42]
19Michaël Périn [44]
20Thierry Priol [47]
21Olivier Ridoux [38] [42]
22David Sands [12] [13] [17] [35]
23David A. Schmidt [27]
24Tommy Thorn [39] [40] [43]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)