2008 |
54 | EE | Daniel Le Métayer:
A Formal Privacy Management Framework.
Formal Aspects in Security and Trust 2008: 162-176 |
53 | EE | Daniel Le Métayer,
Claire Loiseaux:
ASTRA : A Security Analysis Method Based on Asset Tracking.
SEC 2008: 541-555 |
2007 |
52 | EE | Daniel 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 |
49 | EE | Dominique Bolignano,
Daniel Le Métayer,
Claire Loiseaux:
Formal Methods in Context: Security and Java Card.
Java Card Workshop 2000: 1-5 |
48 | EE | Dominique Bolignano,
Daniel Le Métayer,
Claire Loiseaux:
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.
MOVEP 2000: 169-182 |
47 | EE | David Mentré,
Daniel Le Métayer,
Thierry Priol:
Formalization and Verification of Coherence Protocols with the Gamma Framework.
PDSE 2000: 105-113 |
46 | EE | Jean-Pierre Banâtre,
Pascal Fradet,
Daniel Le Métayer:
Gamma and the Chemical Reaction Model: Fifteen Years After.
WMP 2000: 17-44 |
45 | EE | Daniel Le Métayer:
Foreword.
Theor. Comput. Sci. 240(1): 1-2 (2000) |
1999 |
44 | EE | Pascal Fradet,
Daniel Le Métayer,
Michaël Périn:
Consistency Checking for Multiple View Software Architectures.
ESEC / SIGSOFT FSE 1999: 410-428 |
43 | EE | Thomas 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 |
41 | EE | Valé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 |
40 | EE | Thomas P. Jensen,
Daniel Le Métayer,
Tommy Thorn:
Coarse Grained Java Security Policies.
ECOOP Workshops 1998: 296 |
39 | EE | Thomas P. Jensen,
Daniel Le Métayer,
Tommy Thorn:
Security and Dynamic Class Loading in Java: A Formalization.
ICCL 1998: 4-15 |
38 | EE | Daniel Le Métayer,
Valérie-Anne Nicolas,
Olivier Ridoux:
Exploring the Software Development Trilogy.
IEEE Software 15(6): 75-81 (1998) |
37 | EE | Daniel 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) |
35 | EE | Chris 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- |
32 | EE | Pascal 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 |
28 | EE | Daniel 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 |
24 | EE | Ciará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 |
20 | EE | Jean-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 |
8 | EE | Pascal Fradet,
Daniel Le Métayer:
Compilation of Functional Languages by Program Transformation.
ACM Trans. Program. Lang. Syst. 13(1): 21-51 (1991) |
1990 |
7 | EE | J.-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 |
5 | EE | Simon 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 |
1 | EE | Daniel Le Métayer:
ACE: An Automatic Complexity Evaluator.
ACM Trans. Program. Lang. Syst. 10(2): 248-266 (1988) |