Pascal Fradet

Statistics

Publications

Citations

1.1K

H-Index

Active since

1991

Affiliations

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

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

Centre Inria de l'Université Grenoble Alpes

Université de Rennes

Czech Academy of Sciences, Institute of Computer Science

Pascal Fradet is an author at Institut national de recherche en sciences et technologies du numérique specializing in computing, computer science, and programming languages.

ORCID

Publications per year

1991–2017

Publications

Composition, reuse and interaction analysis of stateful aspects

Rémi Douence, Pascal Fradet, Mario Südholt · 2004 · 233 citations · Full text

Computing, Computer Science, Formal Methods +13

Shape types

Pascal Fradet, Daniel Le Métayer · 1997 · 99 citations · Full text

Computing, Computer Science, Programming Languages +13

Enforcing trace properties by program transformation

Thomas Colcombet, Pascal Fradet · 2000 · 95 citations · Full text

Computing, Computer Science, Computer Systems +9

Consistency checking for multiple view software architectures

Pascal Fradet, Daniel Le Métayer, Michaël Périn · ACM SIGSOFT Software Engineering Notes · 1999 · 74 citations

Computing, Computer Science, Systems Engineering +17

Structured Gamma

Pascal Fradet, Daniel Le Métayer · Science of Computer Programming · 1998 · 63 citations

1–5 of 25