Mechanical analysis of program complexity. - Daniel Le Métayer (SLIPE, 1985)

A parallel machine for multiset transformation and its programming style. - Jean-Pierre Banâtre; Anne Coutant; Daniel Le Métayer (Future Gener. Comput. Syst., 1988)

Parallel Machines for Multiset Transformation and their Programming Style / Parallele Maschinen für die Multimengen-Transformation und deren Programmierstil. - Jean-Pierre Banâtre; Anne Coutant; Daniel Le Métayer (it Inf. Technol., 1988)

ACE: An Automatic Complexity Evaluator. - Daniel Le Métayer (ACM Trans. Program. Lang. Syst., 1988)

Chemical Reaction as a Computational Model. - Jean-Pierre Banâtre; Daniel Le Métayer (Functional Programming, 1989)

A New Method for Strictness Analysis on Non-Flat Domains. - Simon B. Jones; Daniel Le Métayer (Functional Programming, 1989)

Computer-Time Garbage Collection by Sharing Analysis. - Simon B. Jones; Daniel Le Métayer (FPCA, 1989)

Compilation of Lambda-Calculus into Functional Machine Code. - Pascal Fradet; Daniel Le Métayer (TAPSOFT, Vol.2, 1989)

Continuation-Based Parallel Implementation of Functional Programming Languages. - Jean-Francois Giorgi; Daniel Le Métayer (LISP and Functional Programming, 1990)

The GAMMA Model and Its Discipline of Programming. - Jean-Pierre Banâtre; Daniel Le Métayer (Sci. Comput. Program., 1990)

Prospects for functional programming in software engineering. - Jean-Pierre Banâtre; Simon B. Jones; Daniel Le Métayer (Springer, 1991)

Introduction to Gamma. - Jean-Pierre Banâtre; Daniel Le Métayer (Research Directions in High-Level Parallel Programming Languages, 1991)

The Chemical Reaction Model. - Daniel Le Métayer (Research Directions in High-Level Parallel Programming Languages, 1991)

Compilation of Functional Languages by Program Transformation. - Pascal Fradet; Daniel Le Métayer (ACM Trans. Program. Lang. Syst., 1991)

A Calculus of Gamma Programs. - Chris Hankin; Daniel Le Métayer; David Sands 001 (LCPC, 1992)

Transformation of Gamma Programs. - Chris Hankin; Daniel Le Métayer; David Sands 001 (WSA, 1992)

Continuation-Based Compilation of Functional Languages for Parallel Machines. - Jean-Francois Giorgi; Daniel Le Métayer (Math. Struct. Comput. Sci., 1992)

A Parallel Programming Style and Its Algebra of Programs. - Chris Hankin; Daniel Le Métayer; David Sands 001 (PARLE, 1993)

Proving the Correctness of Compiler Optimizations Based on Strictness Analysis. - Geoffrey Livingston Burn; Daniel Le Métayer (PLILP, 1993)

Programming by Multiset Transformation. - Jean-Pierre Banâtre; Daniel Le Métayer (Commun. ACM, 1993)

Higher-Order Multiset Programming. - Daniel Le Métayer (Specification of Parallel Algorithms, 1994)

Lazy Type Inference for the Strictness Analysis of Lists. - Chris Hankin; Daniel Le Métayer (ESOP, 1994)

Compile-Time Detection of Information Flow in Sequential Programs. - Jean-Pierre Banâtre; Ciarán Bryce; Daniel Le Métayer (ESORICS, 1994)

Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. - Chris Hankin; Daniel Le Métayer (POPL, 1994)

A Type-based Framework for Program Analysis. - Chris Hankin; Daniel Le Métayer (SAS, 1994)

An approach to information security in distributed systems. - Ciarán Bryce; Jean-Pierre Banâtre; Daniel Le Métayer (FTDCS, 1995)

Proving Properties of Programs Defined over Recursive Data Structures. - Daniel Le Métayer (PEPM, 1995)

Lazy Type Inference and Program Analysis. - Chris Hankin; Daniel Le Métayer (Sci. Comput. Program., 1995)

Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. - Pascal Fradet; Ronan Caugne; Daniel Le Métayer (ESOP, 1996)

Type Checking for a Multiset Rewriting Language. - Pascal Fradet; Daniel Le Métayer (LOMAPS, 1996)

Software Architecture Styles as Graph Grammars. - Daniel Le Métayer (SIGSOFT FSE, 1996)

Program Analysis for Software Engineering: New Applications, New Requirements, New Tools. - Daniel Le Métayer (ACM Comput. Surv., 1996)

Structural Operational Semantics as a Basis for Static Program Analysis. - Daniel Le Métayer; David A. Schmidt (ACM Comput. Surv., 1996)

Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis. - Geoffrey Livingston Burn; Daniel Le Métayer (J. Funct. Program., 1996)

CASTING: A Formally Based Software Test Generation Method. - Lionel Van Aertryck; Marc V. Benveniste; Daniel Le Métayer (ICFEM, 1997)

Shape Types. - Pascal Fradet; Daniel Le Métayer (POPL, 1997)

Coarse Grained Java Security Policies. - Thomas P. Jensen; Daniel Le Métayer; Tommy Thorn (ECOOP Workshops, 1998)

Security and Dynamic Class Loading in Java: A Formalization. - Thomas P. Jensen; Daniel Le Métayer; Tommy Thorn (ICCL, 1998)

Structured Gamma. - Pascal Fradet; Daniel Le Métayer (Sci. Comput. Program., 1998)

Exploring the Software Development Trilogy. - Daniel Le Métayer; Valérie-Anne Nicolas; Olivier Ridoux (IEEE Softw., 1998)

Refining Multiset Tranformers. - Chris Hankin; Daniel Le Métayer; David Sands 001 (Theor. Comput. Sci., 1998)

Describing Software Architecture Styles Using Graph Grammars. - Daniel Le Métayer (IEEE Trans. Software Eng., 1998)

Consistency Checking for Multiple View Software Architectures. - Pascal Fradet; Daniel Le Métayer; Michaël Périn (ESEC / SIGSOFT FSE, 1999)

Verification by Testing for Recursive Program Schemes. - Daniel Le Métayer; Valérie-Anne Nicolas; Olivier Ridoux (LOPSTR, 1999)

Verification of Control Flow based Security Properties. - Thomas P. Jensen; Daniel Le Métayer; Tommy Thorn (S&P, 1999)

Dynamic Slicing: a generic analysis based on a natural semantics format. - Valérie Gouranton; Daniel Le Métayer (J. Log. Comput., 1999)

Formal Methods in Context: Security and Java Card. - Dominique Bolignano; Daniel Le Métayer; Claire Loiseaux (Java Card Workshop, 2000)

Formal Methods in Practice: The Missing Links. A Perspective from the Security Area. - Dominique Bolignano; Daniel Le Métayer; Claire Loiseaux (MOVEP, 2000)

Formalization and Verification of Coherence Protocols with the Gamma Framework. - David Mentré; Daniel Le Métayer; Thierry Priol (PDSE, 2000)

Gamma and the Chemical Reaction Model: Fifteen Years After. - Jean-Pierre Banâtre; Pascal Fradet; Daniel Le Métayer (WMP, 2000)

Foreword. - Daniel Le Métayer (Theor. Comput. Sci., 2000)

Model Checking Security Properties of Control Flow Graphs. - Frédéric Besson; Thomas P. Jensen; Daniel Le Métayer (J. Comput. Secur., 2001)

IT Security Analysis Best Practices and Formal Approaches. - Daniel Le Métayer (FOSAD, 2007)

A Formal Privacy Management Framework. - Daniel Le Métayer (Formal Aspects in Security and Trust, 2008)

ASTRA : A Security Analysis Method Based on Asset Tracking. - Daniel Le Métayer; Claire Loiseaux (SEC, 2008)

Automated consent through privacy agents: Legal requirements and technical architecture. - Daniel Le Métayer; Shara Monteleone (Comput. Law Secur. Rev., 2009)

Privacy by Design: A Matter of Choice. - Daniel Le Métayer (Data Protection in a Profiled World, 2010)

Liability in software engineering: overview of the LISE approach and illustration on a case study. - Daniel Le Métayer; Manuel Maarek; Valérie Viet Triem Tong; Eduardo Mazza; Marie-Laure Potet; Nicolas Craipeau; Stéphane Frénot; Ronan Hardouin (ICSE (1), 2010)

Causality Analysis in Contract Violation. - Gregor Gößler; Daniel Le Métayer; Jean-Baptiste Raclet (RV, 2010)

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence. - Eduardo Mazza; Marie-Laure Potet; Daniel Le Métayer (SBMF, 2010)

Designing Log Architectures for Legal Evidence. - Daniel Le Métayer; Eduardo Mazza; Marie-Laure Potet (SEFM, 2010)

FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules. - Romuald Thion; Daniel Le Métayer (POLICY, 2011)

Delegation of Obligations and Responsibility. - Meriam Ben-Ghorbel-Talbi; Frédéric Cuppens; Nora Cuppens-Boulahia; Daniel Le Métayer; Guillaume Piolle (SEC, 2011)

Formal Methods as a Link between Software Code and Legal Rules. - Daniel Le Métayer (SEFM, 2011)

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. - Daniel Le Métayer; Manuel Maarek; Eduardo Mazza; Marie-Laure Potet; Stéphane Frénot; Valérie Viet Triem Tong; Nicolas Craipeau; Ronan Hardouin (Commun. ACM, 2011)

From the Protection of Data to the Protection of Individuals: Extending the Application of Non-discrimination Principles. - Daniel Le Métayer; Julien Le Clainche (European Data Protection, 2012)

Privacy by design: a formal framework for the analysis of architectural choices. - Daniel Le Métayer (CODASPY, 2013)

A General Trace-Based Framework of Logical Causality. - Gregor Gößler; Daniel Le Métayer (FACS, 2013)

Log Design for Accountability. - Denis Butin; Marcos Chicote; Daniel Le Métayer (IEEE Symposium on Security and Privacy Workshops, 2013)

Privacy by Design: From Technologies to Architectures - (Position Paper). - Thibaud Antignac; Daniel Le Métayer (APF, 2014)

PRIPARE: A New Vision on Engineering Privacy and Security by Design. - Nicolás Notario; Alberto Crespo; Antonio Kung; Inga Kroener; Daniel Le Métayer; Carmela Troncoso; José M. del Álamo; Yod Samuel Martín (CSP Forum, 2014)

Log Analysis for Data Protection Accountability. - Denis Butin; Daniel Le Métayer (FM, 2014)

Privacy Architectures: Reasoning about Data Minimisation and Integrity. - Thibaud Antignac; Daniel Le Métayer (STM, 2014)

Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. - Gregor Gößler; Daniel Le Métayer; Eduardo Mazza; Marie-Laure Potet; Lacramioara Astefanoaei (Tech. Sci. Informatiques, 2014)

Formal Accountability for Biometric Surveillance: A Case Study. - Vinh-Thong Ta 001; Denis Butin; Daniel Le Métayer (APF, 2015)

Formal Verification of Privacy Properties in Electric Vehicle Charging. - Marouane Fazouane; Henning Kopp; Rens W. van der Heijden; Daniel Le Métayer; Frank Kargl (ESSoS, 2015)

Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures. - Julien Bringer; Hervé Chabanne; Daniel Le Métayer; Roch Lescuyer (FM, 2015)

A Guide to End-to-End Privacy Accountability. - Denis Butin; Daniel Le Métayer (TELERISE@ICSE, 2015)

Trust Driven Strategies for Privacy by Design. - Thibaud Antignac; Daniel Le Métayer (IFIPTM, 2015)

Reasoning about Privacy Properties of Biometric Systems Architectures in the Presence of Information Leakage. - Julien Bringer; Hervé Chabanne; Daniel Le Métayer; Roch Lescuyer (ISC, 2015)

PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology. - Nicolás Notario; Alberto Crespo; Yod Samuel Martín; José M. del Álamo; Daniel Le Métayer; Thibaud Antignac; Antonio Kung; Inga Kroener; David Wright 003 (IEEE Symposium on Security and Privacy Workshops, 2015)

Body-worn cameras for police accountability: Opportunities and risks. - Fanny Coudert; Denis Butin; Daniel Le Métayer (Comput. Law Secur. Rev., 2015)

Privacy and Data Protection by Design - from policy to engineering. - George Danezis; Josep Domingo-Ferrer; Marit Hansen; Jaap-Henk Hoepman; Daniel Le Métayer; Rodica Tirtea; Stefan Schiffner (CoRR, 2015)

The control over personal data: True remedy or fairy tale ? - Christphe Lazaro; Daniel Le Métayer (CoRR, 2015)

A general framework for blaming in component-based systems. - Gregor Gößler; Daniel Le Métayer (Sci. Comput. Program., 2015)

Reasoning About Privacy Properties of Architectures Supporting Group Authentication and Application to Biometric Systems. - Julien Bringer; Hervé Chabanne; Daniel Le Métayer; Roch Lescuyer (DBSec, 2016)

PRIAM: A Privacy Risk Analysis Methodology. - Sourya Joyee De; Daniel Le Métayer (DPM/QASA@ESORICS, 2016)

Privacy Harm Analysis: A Case Study on Smart Grids. - Sourya Joyee De; Daniel Le Métayer (IEEE Symposium on Security and Privacy Workshops, 2016)

Privacy Risk Analysis - Sourya Joyee De; Daniel Le Métayer (Morgan & Claypool Publishers, 2016)

A Refinement Approach for the Reuse of Privacy Risk Analysis Results. - Sourya Joyee De; Daniel Le Métayer (APF, 2017)

Interdisciplinarity in practice: Challenges and benefits for privacy research. - Daniel Le Métayer; Mathias Bossuet; Fanny Coudert; Claire Gayrel; Francisco J. Jaime; Christophe Jouvray; Antonio Kung; Zhendong Ma; Antonio Maña (Comput. Law Secur. Rev., 2017)

Capacity: an Abstract Model of Control over Personal Data. - Daniel Le Métayer; Pablo Rauzy (CODASPY, 2018)

Enhancing Transparency and Consent in the IoT. - Claude Castelluccia; Mathieu Cunche; Daniel Le Métayer; Victor Morel (EuroS&P Workshops, 2018)

Privacy Risk Analysis to Enable Informed Privacy Settings. - Sourya Joyee De; Daniel Le Métayer (EuroS&P Workshops, 2018)

Algorithmic Decision Systems in the Health and Justice Sectors: Certification and Explanations for Algorithms in European and French Law. - Sonia Desmoulin-Canselier; Daniel Le Métayer (Eur. J. Law Technol., 2018)

Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures. - Julien Bringer; Hervé Chabanne; Daniel Le Métayer; Roch Lescuyer (Trans. Data Priv., 2018)

Analysis of Privacy Policies to Enhance Informed Consent. - Raúl Pardo; Daniel Le Métayer (DBSec, 2019)

A Generic Information and Consent Framework for the IoT. - Victor Morel; Mathieu Cunche; Daniel Le Métayer (TrustCom/BigDataSE, 2019)

Analysis of Privacy Policies to Enhance Informed Consent (Extended Version). - Raúl Pardo; Daniel Le Métayer (CoRR, 2019)

UPRISE-IoT: User-Centric Privacy & Security in the IoT. - Silvia Giordano; Victor Morel; Melek Önen; Mirco Musolesi; Davide Andreoletti; Felipe Cardoso; Alan Ferrari; Luca Luceri; Claude Castelluccia; Daniel Le Métayer; Cédric Van Rompay; Benjamin Baron (Security and Privacy in the Internet of Things, 2019)

Position Paper: Analyzing the Impacts of Facial Recognition. - Claude Castelluccia; Daniel Le Métayer (APF, 2020)

A Generic Framework for Black-box Explanations. - Clément Henin; Daniel Le Métayer (IEEE BigData, 2020)

A Multi-layered Approach for Tailored Black-Box Explanations. - Clément Henin; Daniel Le Métayer (ICPR Workshops (3), 2020)

DESIRE: A Third Way for a European Exposure Notification System Leveraging the best of centralized and decentralized systems. - Claude Castelluccia; Nataliia Bielova; Antoine Boutet; Mathieu Cunche; Cédric Lauradoux; Daniel Le Métayer; Vincent Roca (CoRR, 2020)

A framework to contest and justify algorithmic decisions. - Clément Henin; Daniel Le Métayer (AI Ethics, 2021)

Beyond explainability: justifiability and contestability of algorithmic decision systems. - Clément Henin; Daniel Le Métayer (AI Soc., 2022)

Model-Checking the Implementation of Consent. - Raúl Pardo; Daniel Le Métayer (SEFM, 2024)