ask others

Daniel Le Métayer

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j24]
- view
  - electronic edition @ tdp.cat
- export record
  dblp key:
  - journals/tdp/BringerCML18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tdp/BringerCML18
Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer:
Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures. Transactions on Data Privacy 11(2): 111-137 (2018)
[c63]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/codaspy/MetayerR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/codaspy/MetayerR18
Daniel Le Métayer, Pablo Rauzy:
Capacity: an Abstract Model of Control over Personal Data. CODASPY 2018: 64-75
[c62]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/eurosp/DeM18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eurosp/DeM18
Sourya Joyee De, Daniel Le Métayer:
Privacy Risk Analysis to Enable Informed Privacy Settings. EuroS&P Workshops 2018: 95-102
[c61]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/eurosp/CastellucciaCMM18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eurosp/CastellucciaCMM18
Claude Castelluccia, Mathieu Cunche, Daniel Le Métayer, Victor Morel:
Enhancing Transparency and Consent in the IoT. EuroS&P Workshops 2018: 116-119
[i6]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1812-06773
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1812-06773
Mathieu Cunche, Daniel Le Métayer, Victor Morel:
A Generic Information and Consent Framework for the IoT. CoRR abs/1812.06773 (2018)
2017
[c60]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apf/DeM17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apf/DeM17
Sourya Joyee De, Daniel Le Métayer:
A Refinement Approach for the Reuse of Privacy Risk Analysis Results. APF 2017: 52-83
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BringerCML17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BringerCML17
Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer:
Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures. CoRR abs/1702.08301 (2017)
2016
[b1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/synthesis/2016De
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/synthesis/2016De
Sourya Joyee De, Daniel Le Métayer:
Privacy Risk Analysis. Synthesis Lectures on Information Security, Privacy, & Trust, Morgan & Claypool Publishers 2016, pp. 1-133
[c59]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dbsec/BringerCML16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dbsec/BringerCML16
Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer:
Reasoning About Privacy Properties of Architectures Supporting Group Authentication and Application to Biometric Systems. DBSec 2016: 313-327
[c58]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esorics/DeM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esorics/DeM16
Sourya Joyee De, Daniel Le Métayer:
PRIAM: A Privacy Risk Analysis Methodology. DPM/QASA@ESORICS 2016: 221-229
[c57]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sp/DeM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sp/DeM16
Sourya Joyee De, Daniel Le Métayer:
Privacy Harm Analysis: A Case Study on Smart Grids. IEEE Symposium on Security and Privacy Workshops 2016: 58-65
[e4]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apf/2015
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apf/2015
Bettina Berendt, Thomas Engel, Demosthenes Ikonomou, Daniel Le Métayer, Stefan Schiffner:
Privacy Technologies and Policy - Third Annual Privacy Forum, APF 2015, Luxembourg, October 7-8, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9484, Springer 2016, ISBN 978-3-319-31455-6 [contents]
2015
[j23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/GosslerM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/GosslerM15
Gregor Gößler, Daniel Le Métayer:
A general framework for blaming in component-based systems. Sci. Comput. Program. 113: 223-235 (2015)
[c56]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apf/TaBM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apf/TaBM15
Vinh-Thong Ta, Denis Butin, Daniel Le Métayer:
Formal Accountability for Biometric Surveillance: A Case Study. APF 2015: 21-37
[c55]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/essos/FazouaneKHMK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/essos/FazouaneKHMK15
Marouane Fazouane, Henning Kopp, Rens Wouter van der Heijden, Daniel Le Métayer, Frank Kargl:
Formal Verification of Privacy Properties in Electric Vehicle Charging. ESSoS 2015: 17-33
[c54]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/BringerCML15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/BringerCML15
Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer:
Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures. FM 2015: 90-107
[c53]
- view
- export record
  dblp key:
  - conf/icse/ButinM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/ButinM15
Denis Butin, Daniel Le Métayer:
A Guide to End-to-End Privacy Accountability. TELERISE@ICSE 2015: 20-25
[c52]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifiptm/AntignacM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifiptm/AntignacM15
Thibaud Antignac, Daniel Le Métayer:
Trust Driven Strategies for Privacy by Design. IFIPTM 2015: 60-75
[c51]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isw/BringerCML15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isw/BringerCML15
Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer:
Reasoning about Privacy Properties of Biometric Systems Architectures in the Presence of Information Leakage. ISC 2015: 493-510
[c50]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sp/NotarioCMAMAKKW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sp/NotarioCMAMAKKW15
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:
PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology. IEEE Symposium on Security and Privacy Workshops 2015: 151-158
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DanezisDHHMTS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DanezisDHHMTS15
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. CoRR abs/1501.03726 (2015)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/LazaroM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LazaroM15
Christphe Lazaro, Daniel Le Métayer:
The control over personal data: True remedy or fairy tale ? CoRR abs/1504.03877 (2015)
2014
[j22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tsi/GosslerMMPA14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tsi/GosslerMMPA14
Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei:
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Technique et Science Informatiques 33(1-2): 63-84 (2014)
[c49]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apf/AntignacM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apf/AntignacM14
Thibaud Antignac, Daniel Le Métayer:
Privacy by Design: From Technologies to Architectures - (Position Paper). APF 2014: 1-17
[c48]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cspf/NotarioCKKMTAM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cspf/NotarioCKKMTAM14
Nicolás Notario, Alberto Crespo, Antonio Kung, Inga Kroener, Daniel Le Métayer, Carmela Troncoso, José M. del Álamo, Yod Samuel Martín:
PRIPARE: A New Vision on Engineering Privacy and Security by Design. CSP Forum 2014: 65-76
[c47]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/ButinM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/ButinM14
Denis Butin, Daniel Le Métayer:
Log Analysis for Data Protection Accountability. FM 2014: 163-178
[c46]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stm/AntignacM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stm/AntignacM14
Thibaud Antignac, Daniel Le Métayer:
Privacy Architectures: Reasoning about Data Minimisation and Integrity. STM 2014: 17-32
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AntignacM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/AntignacM14
Thibaud Antignac, Daniel Le Métayer:
Privacy Architectures: Reasoning About Data Minimisation and Integrity. CoRR abs/1408.1854 (2014)
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AntignacM14a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/AntignacM14a
Thibaud Antignac, Daniel Le Métayer:
Privacy by Design: From Technologies to Architectures (Position Paper). CoRR abs/1410.0030 (2014)
2013
[c45]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/codaspy/Metayer13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/codaspy/Metayer13
Daniel Le Métayer:
Privacy by design: a formal framework for the analysis of architectural choices. CODASPY 2013: 95-104
[c44]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/GosslerM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/GosslerM13
Gregor Gößler, Daniel Le Métayer:
A General Trace-Based Framework of Logical Causality. FACS 2013: 157-173
[c43]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sp/ButinCM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sp/ButinCM13
Denis Butin, Marcos Chicote, Daniel Le Métayer:
Log Design for Accountability. IEEE Symposium on Security and Privacy Workshops 2013: 1-7
2012
[p2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/sp/edp12/MetayerC12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/sp/edp12/MetayerC12
Daniel Le Métayer, Julien Le Clainche:
From the Protection of Data to the Protection of Individuals: Extending the Application of Non-discrimination Principles. European Data Protection 2012: 315-329
2011
[j21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cacm/MetayerMMPFTCH11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cacm/MetayerMMPFTCH11
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. Commun. ACM 54(4): 99-106 (2011)
[c42]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/policy/ThionM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/policy/ThionM11
Romuald Thion, Daniel Le Métayer:
FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules. POLICY 2011: 1-8
[c41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sec/TalbiCCMP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sec/TalbiCCMP11
Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Daniel Le Métayer, Guillaume Piolle:
Delegation of Obligations and Responsibility. SEC 2011: 197-209
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/Metayer11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/Metayer11
Daniel Le Métayer:
Formal Methods as a Link between Software Code and Legal Rules. SEFM 2011: 3-18
2010
[c39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icse/MetayerMTMPCFH10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/MetayerMTMPCFH10
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. ICSE (1) 2010: 135-144
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/GosslerMR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/GosslerMR10
Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet:
Causality Analysis in Contract Violation. RV 2010: 270-284
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/MazzaPM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/MazzaPM10
Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer:
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence. SBMF 2010: 194-209
[c36]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sefm/MetayerMP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/MetayerMP10
Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet:
Designing Log Architectures for Legal Evidence. SEFM 2010: 156-165
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/sp/dppw10/Metayer10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/sp/dppw10/Metayer10
Daniel Le Métayer:
Privacy by Design: A Matter of Choice. Data Protection in a Profiled World 2010: 323-334

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip1-7/Metayer08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifip1-7/Metayer08
Daniel Le Métayer:
A Formal Privacy Management Framework. Formal Aspects in Security and Trust 2008: 162-176
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sec/MetayerL08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sec/MetayerL08
Daniel Le Métayer, Claire Loiseaux:
ASTRA : A Security Analysis Method Based on Asset Tracking. SEC 2008: 541-555
2007
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fosad/Metayer07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fosad/Metayer07
Daniel Le Métayer:
IT Security Analysis Best Practices and Formal Approaches. FOSAD 2007: 75-91
2002
[e3]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/2002
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/2002
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. Lecture Notes in Computer Science 2305, Springer 2002, ISBN 3-540-43363-5 [contents]
2001
[j20]
- view
  - electronic edition @ iospress.com
- export record
  dblp key:
  - journals/jcs/BessonJM01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jcs/BessonJM01
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
[j19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Metayer00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Metayer00
Daniel Le Métayer:
Foreword. Theor. Comput. Sci. 240(1): 1-2 (2000)
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/javacard/BolignanoML00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/javacard/BolignanoML00
Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux:
Formal Methods in Context: Security and Java Card. Java Card Workshop 2000: 1-5
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/movep/BolignanoML00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/movep/BolignanoML00
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
[c30]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/pdse/MentreMP00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pdse/MentreMP00
David Mentré, Daniel Le Métayer, Thierry Priol:
Formalization and Verification of Coherence Protocols with the Gamma Framework. PDSE 2000: 105-113
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wmp/BanatreFM00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wmp/BanatreFM00
Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer:
Gamma and the Chemical Reaction Model: Fifteen Years After. WMP 2000: 17-44

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/logcom/GourantonM99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/logcom/GourantonM99
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)
[c28]
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/esec/FradetMP99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/FradetMP99
Pascal Fradet, Daniel Le Métayer, Michaël Périn:
Consistency Checking for Multiple View Software Architectures. ESEC / SIGSOFT FSE 1999: 410-428
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lopstr/MetayerNR99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lopstr/MetayerNR99
Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux:
Verification by Testing for Recursive Program Schemes. LOPSTR 1999: 255-272
[c26]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sp/JensenMT99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sp/JensenMT99
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
1998
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/FradetM98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/FradetM98
Pascal Fradet, Daniel Le Métayer:
Structured Gamma. Sci. Comput. Program. 31(2-3): 263-289 (1998)
[j16]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/software/MetayerNR98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/software/MetayerNR98
Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux:
Exploring the Software Development Trilogy. IEEE Software 15(6): 75-81 (1998)
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/HankinMS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/HankinMS98
Chris Hankin, Daniel Le Métayer, David Sands:
Refining Multiset Tranformers. Theor. Comput. Sci. 192(2): 233-258 (1998)
[j14]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/Metayer98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tse/Metayer98
Daniel Le Métayer:
Describing Software Architecture Styles Using Graph Grammars. IEEE Trans. Software Eng. 24(7): 521-533 (1998)
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoopw/JensenMT98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoopw/JensenMT98
Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn:
Coarse Grained Java Security Policies. ECOOP Workshops 1998: 296
[c24]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/iccl/JensenMT98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iccl/JensenMT98
Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn:
Security and Dynamic Class Loading in Java: A Formalization. ICCL 1998: 4-15
1997
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigplan/Metayer97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigplan/Metayer97
Daniel Le Métayer:
Program Analysis for Software Engineering: New Applications, New Requirements, New Tools. SIGPLAN Notices 32(1): 86-88 (1997)
[c23]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icfem/AertryckBM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/AertryckBM97
Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer:
CASTING: A Formally Based Software Test Generation Method. ICFEM 1997: 101-111
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/FradetM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/FradetM97
Pascal Fradet, Daniel Le Métayer:
Shape Types. POPL 1997: 27-39
[e2]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/coordination/1997
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/coordination/1997
David Garlan, Daniel Le Métayer:
Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings. Lecture Notes in Computer Science 1282, Springer 1997, ISBN 3-540-63383-9 [contents]
1996
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/csur/MetayerS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/csur/MetayerS96
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)
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/csur/Metayer96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/csur/Metayer96
Daniel Le Métayer:
Program Analysis for Software Engineering: New Applications, New Requirements, New Tools. ACM Comput. Surv. 28(4es): 167 (1996)
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/BurnM96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/BurnM96
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)
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/FradetCM96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/FradetCM96
Pascal Fradet, Ronan Caugne, Daniel Le Métayer:
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. ESOP 1996: 125-140
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lomaps/FradetM96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lomaps/FradetM96
Pascal Fradet, Daniel Le Métayer:
Type Checking for a Multiset Rewriting Language. LOMAPS 1996: 126-140
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sigsoft/Metayer96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/Metayer96
Daniel Le Métayer:
Software Architecture Styles as Graph Grammars. SIGSOFT FSE 1996: 15-23
1995
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/HankinM95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/HankinM95
Chris Hankin, Daniel Le Métayer:
Lazy Type Inference and Program Analysis. Sci. Comput. Program. 25(2-3): 219-249 (1995)
[c18]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/ftdcs/BryceBM95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftdcs/BryceBM95
Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer:
An approach to information security in distributed systems. FTDCS 1995: 384-394
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pepm/Metayer95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pepm/Metayer95
Daniel Le Métayer:
Proving Properties of Programs Defined over Recursive Data Structures. PEPM 1995: 88-99
1994
[c16]
- no documents available
- export record
  dblp key:
  - conf/dimacs/Metayer94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dimacs/Metayer94
Daniel Le Métayer:
Higher-Order Multiset Programming. Specification of Parallel Algorithms 1994: 179-200
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/HankinM94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/HankinM94
Chris Hankin, Daniel Le Métayer:
Lazy Type Inference for the Strictness Analysis of Lists. ESOP 1994: 257-271
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esorics/BanatreBM94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esorics/BanatreBM94
Jean-Pierre Banâtre, Ciarán Bryce, Daniel Le Métayer:
Compile-Time Detection of Information Flow in Sequential Programs. ESORICS 1994: 55-73
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/HankinM94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/HankinM94
Chris Hankin, Daniel Le Métayer:
Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. POPL 1994: 202-212
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/HankinM94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/HankinM94
Chris Hankin, Daniel Le Métayer:
A Type-based Framework for Program Analysis. SAS 1994: 380-394
1993
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cacm/BanatreM93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cacm/BanatreM93
Jean-Pierre Banâtre, Daniel Le Métayer:
Programming by Multiset Transformation. Commun. ACM 36(1): 98-111 (1993)
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/parle/HankinMS93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/parle/HankinMS93
Chris Hankin, Daniel Le Métayer, David Sands:
A Parallel Programming Style and Its Algebra of Programs. PARLE 1993: 367-378
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/plilp/BurnM93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/plilp/BurnM93
Geoffrey L. Burn, Daniel Le Métayer:
Proving the Correctness of Compiler Optimizations Based on Strictness Analysis. PLILP 1993: 346-364
1992
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/GiorgiM92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/GiorgiM92
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)
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lcpc/HankinMS92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lcpc/HankinMS92
Chris Hankin, Daniel Le Métayer, David Sands:
A Calculus of Gamma Programs. LCPC 1992: 342-355
[c8]
- no documents available
- export record
  dblp key:
  - conf/sas/HankinMS92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/HankinMS92
Chris Hankin, Daniel Le Métayer, David Sands:
Transformation of Gamma Programs. WSA 1992: 12-19
[e1]
- view
- export record
  dblp key:
  - conf/hlppp/1991
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hlppp/1991
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. Lecture Notes in Computer Science 574, Springer 1992, ISBN 3-540-55160-3 [contents]
1991
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/FradetM91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/FradetM91
Pascal Fradet, Daniel Le Métayer:
Compilation of Functional Languages by Program Transformation. ACM Trans. Program. Lang. Syst. 13(1): 21-51 (1991)
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hlppp/Metayer91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hlppp/Metayer91
Daniel Le Métayer:
The Chemical Reaction Model. Research Directions in High-Level Parallel Programming Languages 1991: 196
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hlppp/BanatreM91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hlppp/BanatreM91
Jean-Pierre Banâtre, Daniel Le Métayer:
Introduction to Gamma. Research Directions in High-Level Parallel Programming Languages 1991: 197-202
1990
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BanatreM90
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BanatreM90
Jean-Pierre Banâtre, Daniel Le Métayer:
The GAMMA Model and Its Discipline of Programming. Sci. Comput. Program. 15(1): 55-77 (1990)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lfp/GiorgiM90
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lfp/GiorgiM90
J.-F. Giorgi, Daniel Le Métayer:
Continuation-Based Parallel Implementation of Functional Programming Languages. LISP and Functional Programming 1990: 209-217

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c4]
- no documents available
- export record
  dblp key:
  - conf/fp/JonesM89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fp/JonesM89
Simon B. Jones, Daniel Le Métayer:
A New Method for Strictness Analysis on Non-Flat Domains. Functional Programming 1989: 1-11
[c3]
- no documents available
- export record
  dblp key:
  - conf/fp/BanatreM89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fp/BanatreM89
Jean-Pierre Banâtre, Daniel Le Métayer:
Chemical Reaction as a Computational Model. Functional Programming 1989: 103-117
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fpca/JonesM89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fpca/JonesM89
Simon B. Jones, Daniel Le Métayer:
Computer-Time Garbage Collection by Sharing Analysis. FPCA 1989: 54-74
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tapsoft/FradetM89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tapsoft/FradetM89
Pascal Fradet, Daniel Le Métayer:
Compilation of Lambda-Calculus into Functional Machine Code. TAPSOFT, Vol.2 1989: 155-166
1988
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fgcs/BanatreCM88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fgcs/BanatreCM88
Jean-Pierre Banâtre, Anne Coutant, Daniel Le Métayer:
A parallel machine for multiset transformation and its programming style. Future Generation Comp. Syst. 4(2): 133-144 (1988)
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/it/BanatreCM88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/it/BanatreCM88
Jean-Pierre Banâtre, Anne Coutant, Daniel Le Métayer:
Parallel Machines for Multiset Transformation and their Programming Style / Parallele Maschinen für die Multimengen-Transformation und deren Programmierstil. it - Informationstechnik 30(2): 99-109 (1988)
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/Metayer88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/Metayer88
Daniel Le Métayer:
ACE: An Automatic Complexity Evaluator. ACM Trans. Program. Lang. Syst. 10(2): 248-266 (1988)
1985
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigplan/Metayer85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigplan/Metayer85
Daniel Le Métayer:
Mechanical analysis of program complexity. SIGPLAN Notices 20(7): 69-73 (1985)

Coauthor Index

see FAQ

maintained by

, founded at