Rémi Douence

Publications

836

Citations

H-Index

1998

Active since

Affiliations

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

Nantes Université

École Nationale Supérieure des Mines de Paris

University College Cork

Laboratoire des Sciences du Numérique de Nantes

Rémi Douence is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsSoftware DesignComputer ScienceSoftware EngineeringProgram AnalysisSoftware AnalysisFormal VerificationAutomated ReasoningSystem Software

Publications per year

1998–2016

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

An expressive aspect language for system applications with Arachne

Rémi Douence, Thomas Fritz, Nicolas Loriant et al. · 2005 · 107 citations

Squid Web Cache, Engineering, Compiler Technology +20

Specifying Dynamism in Software Architectures

Robert J. Allen, Rémi Douence, David Garlan · Figshare · 2003 · 86 citations · Full text

Trace-Based Aspects

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

A model and a tool for Event-based Aspect-Oriented Programming (EAOP)

Rémi Douence, Mario Südholt · 2002 · 44 citations

Rows per page

1–5 of 22