| 2008 |
|---|
| 38 | EE | Simplice Djoko Djoko,
Rémi Douence,
Pascal Fradet:
Aspects preserving properties.
PEPM 2008: 135-145 |
| 37 | EE | Simplice Djoko Djoko,
Rémi Douence,
Pascal Fradet:
Specialized Aspect Languages Preserving Classes of Properties.
SEFM 2008: 227-236 |
| 36 | EE | Jean-Pierre Banâtre,
Pascal Fradet,
Yann Radenac:
The Chemical Reaction Model Recent Developments and Prospects.
Software-Intensive Systems and New Computing Paradigms 2008: 209-234 |
| 35 | EE | Tolga Ayav,
Pascal Fradet,
Alain Girault:
Implementing fault-tolerance in real-time programs by automatic program transformations.
ACM Trans. Embedded Comput. Syst. 7(4): (2008) |
| 2007 |
|---|
| 34 | EE | Pascal Fradet,
Stéphane Hong Tuan Ha:
Aspects of availability.
GPCE 2007: 165-174 |
| 33 | EE | Massimo Tivoli,
Pascal Fradet,
Alain Girault,
Gregor Gößler:
Adaptor Synthesis for Real-Time Components.
TACAS 2007: 185-200 |
| 32 | EE | Rémi Douence,
Pascal Fradet:
The next 700 Krivine machines.
Higher-Order and Symbolic Computation 20(3): 237-255 (2007) |
| 2006 |
|---|
| 31 | EE | Tolga Ayav,
Pascal Fradet,
Alain Girault:
Implementing fault-tolerance in real-time systems by automatic program transformations.
EMSOFT 2006: 205-214 |
| 30 | EE | Jean-Pierre Banâtre,
Pascal Fradet,
Yann Radenac:
Towards chemical coordination for grids.
SAC 2006: 445-446 |
| 29 | EE | Jean-Pierre Banâtre,
Pascal Fradet,
Yann Radenac:
A Generalized Higher-Order Chemical Computation Model.
Electr. Notes Theor. Comput. Sci. 135(3): 3-13 (2006) |
| 28 | EE | Pascal Fradet,
Stéphane Hong Tuan Ha:
Systèmes de gestion de ressources et aspects de disponibilité.
L'OBJET 12(2-3): 183-210 (2006) |
| 27 | EE | Jean-Pierre Banâtre,
Pascal Fradet,
Yann Radenac:
Generalised multisets for chemical programming.
Mathematical Structures in Computer Science 16(4): 557-580 (2006) |
| 26 | EE | Pascal Fradet,
Ralf Lämmel:
Special issue on foundations of aspect-oriented programming.
Sci. Comput. Program. 63(3): 203-206 (2006) |
| 2005 |
|---|
| 25 | | Jean-Pierre Banâtre,
Pascal Fradet,
Jean-Louis Giavitto,
Olivier Michel:
Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
Springer 2005 |
| 24 | EE | Jean-Pierre Banâtre,
Pascal Fradet,
Yann Radenac:
Principles of Chemical Programming.
Electr. Notes Theor. Comput. Sci. 124(1): 133-147 (2005) |
| 2004 |
|---|
| 23 | EE | Rémi Douence,
Pascal Fradet,
Mario Südholt:
Composition, reuse and interaction analysis of stateful aspects.
AOSD 2004: 141-150 |
| 22 | EE | Pascal Fradet,
Stéphane Hong Tuan Ha:
Network Fusion.
APLAS 2004: 21-40 |
| 21 | | Jean-Pierre Banâtre,
Yann Radenac,
Pascal Fradet:
Chemical Specification of Autonomic Systems.
IASSE 2004: 72-79 |
| 20 | EE | Jean-Pierre Banâtre,
Pascal Fradet,
Yann Radenac:
Higher-Order Chemical Programming Style.
UPP 2004: 84-95 |
| 2002 |
|---|
| 19 | EE | Rémi Douence,
Pascal Fradet,
Mario Südholt:
A Framework for the Detection and Resolution of Aspect Interactions.
GPCE 2002: 173-188 |
| 2000 |
|---|
| 18 | EE | Pascal Fradet,
Valérie Issarny,
Siegfried Rouvrais:
Analyzing Non-functional Properties of Mobile Agents.
FASE 2000: 319-333 |
| 17 | EE | Thomas Colcombet,
Pascal Fradet:
Enforcing Trace Properties by Program Transformation.
POPL 2000: 54-66 |
| 16 | EE | Jean-Pierre Banâtre,
Pascal Fradet,
Daniel Le Métayer:
Gamma and the Chemical Reaction Model: Fifteen Years After.
WMP 2000: 17-44 |
| 15 | | Pascal Fradet,
Julien Mallet:
Compilation of a specialized functional language for massively parallel computers.
J. Funct. Program. 10(6): 561-605 (2000) |
| 1999 |
|---|
| 14 | | Pascal Fradet,
Mario Südholt:
An Aspect Language for Robust Programming.
ECOOP Workshops 1999: 291-292 |
| 13 | EE | Pascal Fradet,
Daniel Le Métayer,
Michaël Périn:
Consistency Checking for Multiple View Software Architectures.
ESEC / SIGSOFT FSE 1999: 410-428 |
| 1998 |
|---|
| 12 | EE | Pascal Fradet,
Mario Südholt:
Fowards a Generic Framework for AOP.
ECOOP Workshops 1998: 394-397 |
| 11 | EE | Rémi Douence,
Pascal Fradet:
A Systematic Study of Functional Language Implementations.
ACM Trans. Program. Lang. Syst. 20(2): 344-387 (1998) |
| 10 | | Pascal Fradet,
Daniel Le Métayer:
Structured Gamma.
Sci. Comput. Program. 31(2-3): 263-289 (1998) |
| 1997 |
|---|
| 9 | EE | Pascal Fradet,
Daniel Le Métayer:
Shape Types.
POPL 1997: 27-39 |
| 1996 |
|---|
| 8 | | Pascal Fradet,
Ronan Caugne,
Daniel Le Métayer:
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm.
ESOP 1996: 125-140 |
| 7 | | Pascal Fradet,
Daniel Le Métayer:
Type Checking for a Multiset Rewriting Language.
LOMAPS 1996: 126-140 |
| 1995 |
|---|
| 6 | | Rémi Douence,
Pascal Fradet:
Towards a Taxonomy of Functional Languages Implementations
PLILP 1995: 27-44 |
| 1994 |
|---|
| 5 | | Pascal Fradet:
Compilation of Head and Strong Reduction.
ESOP 1994: 211-224 |
| 4 | EE | Pascal Fradet:
Collecting More Garbage.
LISP and Functional Programming 1994: 24-33 |
| 1991 |
|---|
| 3 | | Pascal Fradet:
Syntactic Detection of Single-Threading Using Continuations.
FPCA 1991: 241-258 |
| 2 | EE | Pascal Fradet,
Daniel Le Métayer:
Compilation of Functional Languages by Program Transformation.
ACM Trans. Program. Lang. Syst. 13(1): 21-51 (1991) |
| 1989 |
|---|
| 1 | | Pascal Fradet,
Daniel Le Métayer:
Compilation of Lambda-Calculus into Functional Machine Code.
TAPSOFT, Vol.2 1989: 155-166 |
