- Inria Senior Research Scientist (Directeur de Recherche)
- Member of the Inria team PRIVATICS and the CITI laboratory
- Interplay of technology and law
- Privacy and data protection
- Algorithms: accountability, explainability, transparency
- Privacy risk analysis
- Formal models, privacy by design
- Accountability
- Berger-Levrault, 5 January 2023: publication of our book "Maîtriser l'IA au service de l'action publique - Une responsabilité individuelle et collective" (with Christian Paul).
- CNCDH, 6 October 2021, Hearing on the impact of AI and algorithmic decisions on fundamental rights Commission nationale consultative des droits de l'homme.
- Springer AI and Society, 30 July 2021, Publication of our paper: "Beyond explainability: justifiability and contestability of algorithmic decision systems" (with Clément Henin).
- Le Monde, 9 June 2021, Publication of our position paper: "Citizens are overlooked in the proposal for a new European AI regulation" (with Marc Clément).
- UCLouvain (DRAILS), 1 June 2021, "Beyond explainability: justifiability and contestability of Algorithmic Decision Systems" (with Clément Henin).
- Springer AI and Ethics, 4 May 2021, Publication of our paper: "A framework to contest and justify algorithmic decisions" (with Clément Henin).
- EHESS (online), 15 March 2021, Discussion about our book : "Making decisions with algorithms - What place for human beings, what place for law ?"
- Fondation Inria, 10 March 2021, Interview: algorithmic decisions: how to ensure that technology is used for the benefit of mankind ?
- Le Monde, Blog Binaire, 19 February 2021, Interview : algorithmic decisions: to explain is not to justify (with Clément Henin).
- CNIL (LINC, online), 6 November 2020, Providing explanations of decision systems for the layman (with Clément Henin).
- Lisbon (online), 22 October 2020: "Analysing the Impacts of Facial Recognition - Towards a Rigorous Methodology" (avec Claude Castelluccia), Annual Privacy Forum - APF 2020.
- Sciences Po, Lyon, 7 October 2020: "Chair on the Transformations of Public Action - Algorithms, AI and Public Decisions".
- Le Monde, 18 May 2020: "Coronavirus : We should avoid dogmatic positions about the StopCovid application" (with Claude Castelluccia).
- Inria, 18 April 2020: Inria and Privatics fully involved in the fight against Covid-19.
- Inria, 12 May 2020: publication by Privatics of the DESIRE protocol, a 3rd-way for a European Exposure Notification System.
- Inria, 19 April 2020: publication by Privatics of the ROBERT protocol, Robust and privacy-preserving proximity tracing.
- Dalloz, 19 February 2020: publication of our new book on "Making decisions with algorithms - What place for human beings, what place for law ?" (with Sonia Desmoulin-Canselier).
- Inria, 17 February 2020: publication of the English version of our report Impact analysis of facial recognition (with Claude Castelluccia).
- Brussels, 22 January 2020: panel on "Automated facial recognition: Where to put the red line ?" at CPDP (13th international Conference on Computers Privacy and Data Protection).
- Paris, 12-13 December 2019: Interdisciplinary Workshop SRA 2019 ( Social Responsibility of Algorithms), Accountability requirements for algorithmic decision systems (with Clément Henin).
- Inria, 20 November 2019: publication of our report Impact analysis of facial recognition - Towards a rigorous methodology (with Claude Castelluccia).
- Paris, 27 September 2019: Invited panel at the inaugural session of the Center for Internet and Society, How to promote a responsable design and usage of decision making systems ? (with Alexis Tsoukias)
- Atlantico, 21 September, 2019: Interview about algorithmic decision systems.
- Montreal, 11 September 2019: HumanAI workshop on transparency and accountability for algorithmic decision systems.
- Macau, 11 August 2019: IJCAI 2019 Workshop on Explainable Artificial Intelligence (XAI).
- Inria, 25 June 2019: Algorithmic decision making : risks and opportunities for society, interview (with Claude Castelluccia) about our report for the European Parliament.
- Grenoble, 3 June 2019: Building trust in AI, building trust with AI, Global Science Week.
- Brussels, 30 January 2019: panel on "Influence or manipulation ? What protections in the digital world ?" at CPDP (12th international Conference on Computers Privacy and Data Protection).
- Brussels, 30 January 2019: Inria and CNIL award the 2018 privacy protection prize.
- Strasbourg, 25 October 2018: Presentation of our report on "Understanding algorithmic decision-making: Opportunities and challenges" at the European Parliament (with C. Castelluccia).
- Member of the European Commission Multistakeholder expert group to support the application of General Data Protection Regulation (GDPR).
- Paris, 22 May 2018: Launch of the third edition of the CNIL-Inria privacy award.
- Paris, 18 May 2018: Intelligility and transparency in machine learning and AI, Conference organized by SFdS (Société Française de Statistique).
- Lyon, 23 April 2018: Transparency and opacity in IT systems, Conference organized by CITI.
- Brussels, 26 January 2018: Inria and CNIL award the 2017 privacy protection prize.
- Brussels, 24 January 2018: panel on "Physical tracking: nowhere to hide ?" at CPDP (11th international Conference on Computers Privacy and Data Protection).
- Paris, 19 December 2017: Hearing at the French National Assembly about the revision of the French Data Protection Law.
- Blog Binaire, Le Monde, December 2017: Beyond transparency, accountability (with Sonia Desmoulin-Canselier).
- Libération, 26 November 2017: Regulation of algorithms to prevent regulation by algorithms (with Sonia Desmoulin-Canselier).
- Göteborg, 22 November 2017: Capacity: an abstract model of control over personal data, invited talk at Chalmers University (joined work with Pablo Rauzy).
- Montréal, 16 October 2017, Transparency and accountability of algorithms, Rencontres Jacques Cartier.
- Paris, 26 September 2017, Predictive algorithms: ethical and legal challenges, CREOGN Conference.
- Bordeaux, 11-13 September 2017, Decision making algorithms in the medical and judicial sectors: needs for certification and explanations (with Sonia Desmoulin-Canselier), Convergences du Droit et du Numérique.
- Autrans, 19-21 June 2017 : APVP 2017, 8th National Workshop on Privacy Protection.
- Paris, 12 June 2017, Intelligence and the scientific community, Conference organized by the French Intelligence Academy in partnership with the Academy of Technologies.
- Slate, March 2017 : Presidential election, 100 proposals from the research community, Designing, explaining and controling algorithms.
- March 2017 : Launch of the second CNIL-Inria Award on Privacy Protection.
- Member of the Program Committee of the 30th IEEE Computer Security Foundations Symposium, Santa Barbara, USA.
- February 2017: Inria report on secure identity documents (with Claude Castelluccia) following the publication of the decree authorizing the creation of the TES file in France. Related papers in Le Monde: 8 November 2016 and 28 February 2017.
- Paris, 11 January 2017: Hearing at the French National Assembly about the implementation of the General Data Protection Regulation (Final Report).
- Brussels, 25 January 2017: Inria and CNIL award the first "privacy protection" prize.
- Brussels, 25 January 2017: panel on "Algorithms: too intelligent to be intelligeable ?" at CPDP (10th international Conference on Computers Privacy and Data Protection).
- Member of the Program Committee of the conference "Converging trends between law and digital technologies", Bordeaux.
- December 2016, ARTE TV broadcast Xenius: Personal data - How much are we predictible ?
- September 2016: New book on privacy risk analysis (Sourya Joyee De, Daniel Le Métayer, Morgan & ClayPool Publishers).
- Ghent, 1 June 2016: Invited speaker at the ICT Systems Security and Privacy Protection - IFIP SEC 2016.
- Member of AXA Data Privacy Advisory Panel.
- Member of the scientific committee of the CNIL-Inria Privacy Award.
- Paris, 10 March 2016: France Stratégie, Algorithms: transparency and responsibility (with Antoinette Rouvroy).
- Darmstadt, 18 July 2016: International Workshop on Inference and Privacy in a Hyperconnected World (Infer 2016).
- Heraklion, 26-27 September 2016: 12th International Workshop on Security and Trust Management (STM 2016).
- Frankfurt, 7-8 September 2016: Annual Privacy Forum 2016.
- Brussels, 27-29 January 2016: The risk based approach to privacy: how far to go ? Panel at CPDP 2016 (Computer, Privacy and Data Protection)
- San Jose, 26 May 2016: IWPE 2016, International Workshop on Privacy Engineering.
- Lyon, 31 November 2015, Conference Privacy across cultures, Convergences and divergences in a global world, Rencontres Jacques Cartier
- Paris, 8 October 2015, Publication of the report of the French National Assembly Commission on the rights and freedoms in the digital society
- Luxembourg, 7-8 October 2015, Co-chairman of the scientific program of the Annual Privacy Forum, "Bringing research and policy together"
- Le Monde, 6 May 2015, interview with Claude Castelluccia about the new French intelligence law
- Lille, 23 April 2015: Colloquium POLARIS, Formal methods as a link between legal rules and software code: the case of privacy
- Brussels, 21-23 January 2015: CPDP 2015, Computers Privacy and Data Protection, Member of the scientific committee
- Zurich, 3-4 June 2014: French-Swiss Innovation Forum for Cybersecurity
- Athens, 20-21 May 2014: APF 2014 (Annual Privacy Forum)
- Athens, 21-22 May 2014: CSP 2014 (Cybersecurity and Privacy Forum)
- Brussels, 22-24 January 2014: CPDP 2014 (Computer, Privacy and Data Protection)
- Lyon, 11 September 2013: CAPPRIS-AFDIT Conference: Evolution of privacy protection instruments
- Le Monde, 30 August 2013: Privacy, an obstacle to the digital economy ? C. Castelluccia, D. Le Métayer
- Paris, 4 July 2013: OpenCNIL Workshop on Open Data
- Brussels, 23-25 January 2013: CPDP 2013 (Computer, Privacy and Data Protection)
- Paris, 30 November 2012: Privacy in 2020 (CNIL)
- User-centric Privacy and Security in the IoT: chist-era project UPRISE-IoT (ongoing)
- Certification of IoT Secure Compilation: ANR project CISC (ongoing)
- An interdisciplinary approach to privacy: Inria Project Lab CAPPRIS
- Privacy and accountability in surveillance systems: European project PARIS
- Implementation of privacy by design: European project PRIPARE
- Accountability in the Internet of the future: European project FI-WARE
- Privacy by design and biometry: ANR project BIOPRIV
- Privacy risks in cross-checking data systems: national project XDATA
Selected publications (see also dblp
and HAL)
- Clément Henin, Daniel Le Métayer, Beyond explainability: justifiability and contestability of algorithmic decision systems, Springer AI and Society, July 2021.
- Clément Henin, Daniel Le Métayer, A framework to contest and justify algorithmic decisions, Springer AI and Ethics, May 2021.
- Clément Henin, Daniel Le Métayer, Beyond explainability: justifiability and contestability of Algorithmic Decision Systems, Preprint, March 2021.
- Clément Henin, Daniel Le Métayer, A Multi-layered Approach for Tailored Black-Box Explanations, Proc. ICPR International Workshops and Challenges (ICPR 2021), Springer, LNCS 12663, February 2021.
- Clément Henin, Daniel Le Métayer, A Framework to Contest and Justify Algorithmic Decisions, Preprint, February 2021.
- Clément Henin, Daniel Le Métayer, A Generic Framework for Black-box Explanations, Proc. International Workshop on Fair and Interpretable Learning Algorithms (FILA 2020), in conjunction with the IEEE International Conference on Big Data (IEEE BigData 2020), December 2020.
- Claude Castelluccia, Daniel Le Métayer, Position Paper: Analyzing the Impacts of Facial Recognition, Proc. Annual Privacy Forum (APF 2020), Springer, LNCS 12121, October 2020.
- Sonia Desmoulin-Canselier, Daniel Le Métayer, Making decisions with algorithms - What place for human beings, what place for law ?, Dalloz, February 2020.
- Claude Castelluccia, Daniel Le Métayer, Impact analysis of facial recognition, February 2020. Inria Note, February 2020.
- Clément Henin, Daniel Le Métayer, Towards a generic framework for black-box explanation methods, in Proc. IJCAI 2019 Workshop on Explainable Artificial Intelligence (XAI), August 2019. Inria Research Report (extended version).
- Mathieu Cunche, Daniel Le Métayer, Victor Morel, A generic information and consent framework for the IoT, in Proc. 18th IEEE International Conference On Trust, Security And Privacy In Computing and Communications (IEEE TrustCom 19), August 2019.
- Raul Pardo, Daniel Le Métayer, Analysis of privacy policies to enhance informed consent, in Proc. 33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec 2019), July 2019. Inria Research Report (extended version).
- Claude Castelluccia, Daniel Le Métayer, Understanding algorithmic decision-making: Opportunities and challenges, Study for the European Parliament (STOA), March 2019.
- Sonia Desmoulin-Canselier, Daniel Le Métayer, Algorithmic decision systems in the health and justice sectors: certification and explanations for algorithms in European and French law, European Journal of Law and Technology, Vol. 9, No 3, December 2018.
- Daniel Le Métayer, Pablo Rauzy, Capacity: an abstract model of control over personal data, in Proc. 8th ACM Conference on Data and Application Security and Privacy (CODASPY 2018), pp. 64-75, March 2018.
- Claude Castelluccia, Mathieu Cunche, Daniel Le Métayer, Victor Morel, Enhancing transparency and consent in the IoT, in Proc. International Workshop on Privacy Engineering (IWPE 2018), Euro S&P Workshops, pp. 116-119, April 2018.
- Sourya Joyee De, Daniel Le Métayer, Privacy risk analysis to enable informed privacy settings, in Proc. International Workshop on Privacy Engineering (IWPE 2018), Euro S&P Workshops, pp. 95-102,, April 2018.
- Daniel Le Métayer, Mathias Bossuet, Fanny Coudert, Claire Gayrel, Francisco Jaime, Antonio Maña, Christophe Jouvray, Antonio Kung, Zhendong Ma, Interdisciplinarity in practice: challenges and benefits for privacy research, in Computer Law & Security Review, Vol. 33, Issue 6, pp. 864-869, December 2017.
- Sourya Joyee De, Daniel Le Métayer, A refinement approach for the reuse of privacy risk analysis results, in Proc. 5th Annual Privacy Forum (APF) 2017, Springer LNCS 10518, pp. 52-83, 2017.
- Sourya Joyee De, Daniel Le Métayer, Privacy Risk Analysis, Morgan & Claypool Publishers, September 2016.
- Daniel Le Métayer, Whom to trust? Using technology to enforce privacy, Chapter 17 of “Enforcing Privacy”, David Wright and Paul De Hert, editors, Springer, 2016.
- Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer. Reasoning about privacy properties of architectures supporting Group Authentication and Application to Biometric Systems, in Proc. 30th Annual IFIP WG 11.3 Conference on Data and Applications Information Security and Privacy (DBSec 2016), LNCS 9766, Springer, 2016.
- Sourya Joyee De, Daniel Le Métayer. Privacy Harm Analysis: a Case Study on Smart Grids, in Proc. International Workshop on Privacy Engineering (IWPE 2016), IEEE, 2016.
- Daniel Le Métayer. Analyser et prévenir les risques d'atteinte à la vie privée. In Assemblée Nationale, Rapport d'information de la Commission de réflexion et de propositions sur le droit et les libertés à l'âge du numérique, Christian Paul, Christiane Féral-Schuhl, pp. 254-259.
- Christophe Lazaro, Daniel Le Métayer, Control over personal data: true remedy or fairy tale ? in SCRIPTed, 12:1, 2015.
- Bettina Berendt, Thomas Engel, Demosthenes Ikonomou, Daniel Le Métayer, Stefan Schiffner (eds.), Privacy Technologies and Policy - Third Annual Privacy Forum, APF 2015, LNCS 9484, Springer.
- Fanny Coudert, Denis Butin, Daniel Le Métayer. Body-worn cameras for police accountability: Opportunities and risks. In Computer Law & Security Review, Volume 31, Issue 6, December 2015, Pages 749-762.
- Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer. Reasoning about privacy properties of biometric system architectures in the presence of information leakage, in Proc. Information Security Conference, 2015 (Best paper Award), Springer, LNCS 9290, 2015.
- Gergely Acs, Claude Castelluccia, Daniel Le Métayer. Anonymous versus personal data: from a binary view to a rigorous risk-based approach. Contribution to the European Parliament High-level conference co-organised by the LIBE Committee and the STOA Panel, Protecting online privacy by enhancing IT security and strengthening EU IT capabilities, December 2015.
- Claude Castelluccia, Daniel Le Métayer. Les failles de la loi sur le renseignement, La Recherche No 505, novembre 2015.
- Claude Castelluccia, Daniel Le Métayer. Renseignement : le traitement massif de données est aussi dangereux qu'inefficace, Pour la Science, N°453, juillet 2015.
- Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer. Privacy by design in practice: reasoning about privacy properties of biometric system architectures. In. Proc. 20th int. Symposium on Formal Methods, FM 2015, Springer, 2015.
- Thibaud Antignac, Daniel Le Métayer. Trust driven strategies for privacy by design. In Proc. Trust Management IX (IFIP-TM 2015), Hamburg, Springer, 2015.
- Gregor Gössler, Daniel Le Métayer. A general framework for blaming in component-based systems. In Science of Computer Programming, Elsevier, 2015, 113, Part 3.
- Denis Butin, Daniel Le Métayer, A guide to end-to-end privacy accountability, TELERISE, In Proc. International Workshop on Technical and Legal Aspects of Data Privacy and Security, IEEE, 2015.
- Christophe Lazaro, Daniel Le Métayer. Le consentement au traitement des données personnelles. Perspective comparative sur l’autonomie du sujet. Revue Juridique Thémis de l’université de Montréal RJTUM, 2015.
- Marouane Fazouane, Hennig Kopp, Rens van der Heijden, Daniel Le Métayer, Frank Kargl, Formal Verification of Privacy Properties in Electric Vehicle Charging, in Proc. International Symposium on_Engineering Secure Software and Systems (ESSOS), Springer, LNCS 8978, 2015.
- Nicolas Notario, Alberto Crespo, Yod Samuel Martín, José Maria del Álamo, Daniel Le Métayer, Thibaud Antignac, Antonio Kung, Ingma Kroener, David Wright. PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology. In Proc. International Workshop on Privacy Engineering Proceedings (IWPE 2015), pp.151 - 158, 2015.
- George Danezis, Josep Domingo-Ferrer, Marit Hansen, Jaap-Henk Hoepman, Daniel Le Métayer, Rodica Tirtea, Stefan Schiffner. Privacy and data protection by design - From policy to engineering. ENISA Report, 2014.
- Thibaud Antignac, Daniel Le Métayer. Privacy architectures: reasoning about data minimisation and integrity. In Proc. 10th International Workshop on Security and Trust Management, Springer LNCS 8743, pp. 17-32, 2014.
- Thibaud Antignac, Daniel Le Métayer. Privacy by Design: From technologies to architectures - (position paper). In Proc. Annual Privacy Forum (APF 2014), Volume 8450 of the Lecture Notes in Computer Science, pages 1-17, Springer, 2014.
- Denis Butin, Daniel Le Métayer. Log analysis for data protection accountability. In Proc. 19th Symposium on Formal Methods (FM 2014). Volume 8442 of the Lecture Notes in Computer Science, pages 163-178, Springer, 2014.
- Denis Butin, Marcos Chicote, Daniel Le Métayer. Strong accountability: beyond vague promises. In Reloading data protection. Serge Gutwirth, Ronald Leenes, Paul De Hert (eds.), pages 343-369, Springer, 2014.
- Gregor Goessler, Daniel Le Métayer. A General trace-based framework of logical causality. In Proc. 10th international Symposium on Formal Aspects of Computer Science (FACS 2013), Volume 8348 of the Lecture Notes in Computer Science, Springer, 2014.
- Daniel Le Métayer. Privacy by design: a formal framework for the analysis of architectural choices. In ACM Conference on Data and Application Security and Privacy (CODASPY 2013), pages 95-104. ACM, 2013.
- Daniel Le Métayer, Julien Le Clainche. From the protection of data to the protection of individuals: extending the application of non-discrimination principles. In European Data Protection; in Good Health ? Serge Gutwirth, Yves Poullet, Paul De Hert (eds.), pages 315-330. Springer, 2013.
- Daniel Le Métayer, Julien Le Clainche. Vie privée et non discrimination: des protections complémentaires, une convergence nécessaire. In Revue Lamy Droit de l'Immatériel No. 90 , pages 80-95, Lamy, 2013.
- Denis Butin, Marcos Chicote, Daniel Le Métayer. Log design for accountability. In International Workshop on Data Usage Management (DUMA 2013), IEEE, 2013.
- Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin. Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. In Communications of the ACM, 54(4) pages 99-106. ACM, 2011.
- Daniel Le Métayer. Formal Methods as a Link between Software Code and Legal Rules. In 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), pages 3-18. Springer, 2011.
- Romuald Thion, Daniel Le Métayer. FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules. In IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY 2011), pages 1-8. IEEE, 2011.
- Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Daniel Le Métayer, Guillaume Piolle. Delegation of Obligations and Responsibility. In 26th IFIP TC 11 International Information Security Conference (SEC 2011), pages 197-209. Springer, 2011.
- Sylvain Steer, Nicolas Craipeau,Daniel Le Métayer, Manuel Maarek, Marie-Laure Potet, Valérie Viet Triem Tong. Définition des responsabilités pour les dysfonctionnements de logiciels: cadre contractuel et outils de mise en oeuvre. In Conference Droit, sciences et techniques, quelles responsabilités ? pages 199-216. Litec, LexisNexis, 2011.
- Daniel Le Métayer. Privacy by design: a matter of choice. In Data Protection in a Profiled World. Serge Gutwirth, Yves Poullet, Paul De Hert (eds.) , pages 323-334. Springer, 2010.
- Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin. Liability in software engineering: overview of the LISE approach and illustration on a case study. In 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), pages 135-144. ACM, 2010.
- Gregor Goessler, Daniel Le Métayer, Jean-Baptiste Raclet. Causality Analysis in Contract Violation. In Runtime Verification , pages 270-284, 2010.
- Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer. Designing Log Architectures for Legal Evidence. In 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010), pages 156-165. IEEE, 2010.
- Daniel Le Métayer (éditeur). Les technologies au service des droits, opportunités, défis, limites. Bruylant, Cahiers du CRID No 32, 2010.
- Daniel Le Métayer, Guillaume Piolle. Droits et obligations à l’ère numérique: protection de la vie privée. In Séminaire INRIA - L’usager Numérique , pages 66-88. ADBS Editions, 2010.
- Daniel Le Métayer. A formal privacy management framework. In Formal Aspects in Security and Trust (FAST), volume 5491 of Lecture Notes in Computer Science, pages 162-176. Springer, 2009.
- Daniel Le Métayer, Shara Monteleone. Automated consent through privacy agents: Legal requirements and technical architecture. Computer Law & Security Review, Elsevier, 25(2):136-144, 2009.
- Daniel Le Métayer, Antoinette Rouvroy. STIC et droit: défis, conflits et complémentarités. Interstices, November 20008.
- Daniel Le Métayer, Claire Loiseaux. ASTRA: a security analysis method based on asset tracking. . In Proc. of the IFIP TC 11 23d International Information Security Conference (IFIP SEC 2008), Springer Verlag.
- Daniel Le Métayer. IT security analysis: best practices and formal approaches. In Proc. of Foundations of Security Analysis and Design IV (FOSAD), SpringerVerlag, LNCS, Vol. 4677, 2007.
- Frédéric Besson, Thomas Jensen, Daniel Le Métayer, Tommy Thorn. Model checking security properties of control flow graphs. In Journal of Computer Security (JCS), Vol. 9, pp. 217-250, 2001.
- Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer. Gamma and the chemical reaction model: fifteen years after. In Multiset Processing, Springer Verlag, LNCS, Vol. 2235, 2001.
- Pascal Fradet, Daniel Le Métayer, Michaël Périn. Consistency checking for multiple view software architectures. In Proc. of the Joint European Software Engineering Conference and Symp. on Foundations of Software Engineering (ESEC/FSE'99), Software Engineering Notes 24 (6) and LNCS Vol 1687 pp. 410-428, 1999.
- Valérie Gouranton, Daniel Le Métayer. Dynamic slicing: a generic analysis based on a natural semantics format, Journal of Logic and Computation (JLC), Vol 9, No. 6, 1999.
- Daniel Le Métayer. Describing software architecture styles using graph grammars. In IEEE Transactions on Software Engineering (TSE), Vol. 25, No 7, 1998.
- Pascal Fradet, Daniel Le Métayer. Structured Gamma, Science of Computer Programming (SCP), 31(2-3), pp. 263-289, 1998.
- Geoffrey Burn, Daniel Le Métayer. Proving the correctness of compiler optimisations based on a global analysis. Journal of Functional Programming (JFP), 31(2-3), pp. 263-289, 1998.
- Chris Hankin, Daniel Le Métayer, David Sands. Refining multiset transformers. Theoretical Computer Science (TCS), Vol. 192, No. 2, 1998.
- Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux. Exploring the software development trilogy. IEEE Software, Vol. 15, No. 6, 1998.
- Pascal Fradet, Daniel Le Métayer. Shape Types In Proc. of Principles of Programming Languages (POPL'97), ACM Press, pp. 27-39, 1997.
- Chris Hankin, Daniel Le Métayer. Deriving algorithms from type inference systems: application to strictness analysis, In Proc. of Principles of Programming Languages (POPL'94), ACM Press, pp. 202-212, 1994.
- Jean-Pierre Banâtre, Daniel Le Métayer. Programming by multiset transformation. In Communications of the ACM, (CACM), 36(1), pp. 98-11, 1993.
- Pascal Fradet and Daniel Le Métayer. Compilation of functional languages by program transformation. ACM Transactions on Programming Languages and Systems (TOPLAS), 13(1), pp. 21-51, 1991.
- Daniel Le Métayer. ACE: an Automatic complexity evaluator. ACM Transactions on Programming Languages and Systems (TOPLAS), 10(2), pp. 248-266, 1988.