Pascal Fradet

Simplice Djoko Djoko, Rémi Douence, Pascal Fradet: Aspects preserving properties. Sci. Comput. Program. 77(3): 393-422 (2012)

Pascal Fradet, Alain Girault, Peter Poplavkoy: SPDF: A schedulable parametric data-flow MoC. DATE 2012: 769-774

Pascal Fradet, Stéphane Hong Tuan Ha: Aspects of availability: Enforcing timed properties to prevent denial of service. Sci. Comput. Program. 75(7): 516-542 (2010)

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)

Simplice Djoko Djoko, Rémi Douence, Pascal Fradet: Aspects preserving properties. PEPM 2008: 135-145

Simplice Djoko Djoko, Rémi Douence, Pascal Fradet: Specialized Aspect Languages Preserving Classes of Properties. SEFM 2008: 227-236

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

Rémi Douence, Pascal Fradet: The next 700 Krivine machines. Higher-Order and Symbolic Computation 20(3): 237-255 (2007)

Pascal Fradet, Stéphane Hong Tuan Ha: Aspects of availability. GPCE 2007: 165-174

Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler: Adaptor Synthesis for Real-Time Components. TACAS 2007: 185-200

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)

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)

Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Generalised multisets for chemical programming. Mathematical Structures in Computer Science 16(4): 557-580 (2006)

Pascal Fradet, Ralf Lämmel: Special issue on foundations of aspect-oriented programming. Sci. Comput. Program. 63(3): 203-206 (2006)

Tolga Ayav, Pascal Fradet, Alain Girault: Implementing fault-tolerance in real-time systems by automatic program transformations. EMSOFT 2006: 205-214

Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Towards chemical coordination for grids. SAC 2006: 445-446

Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Principles of Chemical Programming. Electr. Notes Theor. Comput. Sci. 124(1): 133-147 (2005)

Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel (Eds.): Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3566, Springer 2005, isbn 3-540-27884-2

Rémi Douence, Pascal Fradet, Mario Südholt: Composition, reuse and interaction analysis of stateful aspects. AOSD 2004: 141-150

Pascal Fradet, Stéphane Hong Tuan Ha: Network Fusion. APLAS 2004: 21-40

Jean-Pierre Banâtre, Yann Radenac, Pascal Fradet: Chemical Specification of Autonomic Systems. IASSE 2004: 72-79

Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Higher-Order Chemical Programming Style. UPP 2004: 84-95

Rémi Douence, Pascal Fradet, Mario Südholt: A Framework for the Detection and Resolution of Aspect Interactions. GPCE 2002: 173-188

Pascal Fradet, Julien Mallet: Compilation of a specialized functional language for massively parallel computers. J. Funct. Program. 10(6): 561-605 (2000)

Pascal Fradet, Valérie Issarny, Siegfried Rouvrais: Analyzing Non-functional Properties of Mobile Agents. FASE 2000: 319-333

Thomas Colcombet, Pascal Fradet: Enforcing Trace Properties by Program Transformation. POPL 2000: 54-66

Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer: Gamma and the Chemical Reaction Model: Fifteen Years After. WMP 2000: 17-44

Pascal Fradet, Mario Südholt: An Aspect Language for Robust Programming. ECOOP Workshops 1999: 291-292

Pascal Fradet, Daniel Le Métayer, Michaël Périn: Consistency Checking for Multiple View Software Architectures. ESEC / SIGSOFT FSE 1999: 410-428

Pascal Fradet, Daniel Le Métayer: Structured Gamma. Sci. Comput. Program. 31(2-3): 263-289 (1998)

Rémi Douence, Pascal Fradet: A Systematic Study of Functional Language Implementations. ACM Trans. Program. Lang. Syst. 20(2): 344-387 (1998)

Pascal Fradet, Mario Südholt: Fowards a Generic Framework for AOP. ECOOP Workshops 1998: 394-397

Pascal Fradet, Daniel Le Métayer: Shape Types. POPL 1997: 27-39

Pascal Fradet, Ronan Caugne, Daniel Le Métayer: Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. ESOP 1996: 125-140

Pascal Fradet, Daniel Le Métayer: Type Checking for a Multiset Rewriting Language. LOMAPS 1996: 126-140

Rémi Douence, Pascal Fradet: Towards a Taxonomy of Functional Languages Implementations. PLILP 1995: 27-44

Pascal Fradet: Compilation of Head and Strong Reduction. ESOP 1994: 211-224

Pascal Fradet: Collecting More Garbage. LISP and Functional Programming 1994: 24-33

Pascal Fradet, Daniel Le Métayer: Compilation of Functional Languages by Program Transformation. ACM Trans. Program. Lang. Syst. 13(1): 21-51 (1991)

Pascal Fradet: Syntactic Detection of Single-Threading Using Continuations. FPCA 1991: 241-258

Pascal Fradet, Daniel Le Métayer: Compilation of Lambda-Calculus into Functional Machine Code. TAPSOFT, Vol.2 1989: 155-166