Daniel Le Métayer

Publications

2.4K

Citations

H-Index

1985

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Institut de Recherche en Informatique et Systèmes Aléatoires

Université Claude Bernard Lyon 1

Institut National des Sciences Appliquées de Lyon

Centre National de la Recherche Scientifique

Daniel Le Métayer is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal MethodsFormal VerificationProgram AnalysisSoftware EngineeringSystem SoftwareAutomated ReasoningInformation Security

Publications per year

1985–2021

Publications

Programming by multiset transformation

Jean-Pierre Banâtre, Daniel Le Métayer · Communications of the ACM · 1993 · 306 citations · Full text

Artificial Intelligence, Mathematical Programming, Engineering +12

Describing software architecture styles using graph grammars

Daniel Le Métayer · IEEE Transactions on Software Engineering · 1998 · 260 citations

Engineering, Computer Architecture, Software Engineering +19

The gamma model and its discipline of programming

Jean-Pierre Banâtre, Daniel Le Métayer · Science of Computer Programming · 1990 · 203 citations

Mathematical Programming, Programming Language Theory, Engineering +7

ACE: an automatic complexity evaluator

Daniel Le Métayer · ACM Transactions on Programming Languages and Systems · 1988 · 134 citations · Full text

Engineering, Analysis Of Algorithm, Software Engineering +20

Verification of control flow based security properties

Thomas Wiben Jensen, Daniel Le Métayer, Tommy Thorn · 2003 · 120 citations

Engineering, Information Security, Verification +18

Rows per page

1–5 of 35