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 engineering, computer science, and formal methods.

ORCID

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSoftware AnalysisAutomated ReasoningSoftware EngineeringComputer EngineeringSoftware Design

Publications per year

1991–2014

Publications

Composition, reuse and interaction analysis of stateful aspects

Rémi Douence, Pascal Fradet, Mario Südholt · 2004 · 232 citations

Engineering, Cross-cutting Concern, Verification +24

Shape types

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

Imperative Languages, Programming Language Theory, Engineering +13

Enforcing trace properties by program transformation

Thomas Colcombet, Pascal Fradet · 2000 · 94 citations

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

Software Maintenance, Train Control System, Engineering +22

Structured Gamma

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

1–5 of 24