Compilation of Lambda-Calculus into Functional Machine Code. - Pascal Fradet; Daniel Le Métayer (TAPSOFT, Vol.2, 1989)

Syntactic Detection of Single-Threading Using Continuations. - Pascal Fradet (FPCA, 1991)

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

Compilation of Head and Strong Reduction. - Pascal Fradet (ESOP, 1994)

Collecting More Garbage. - Pascal Fradet (LISP and Functional Programming, 1994)

Towards a Taxonomy of Functional Languages Implementations - Rémi Douence; Pascal Fradet (PLILP, 1995)

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

Type Checking for a Multiset Rewriting Language. - Pascal Fradet; Daniel Le Métayer (LOMAPS, 1996)

Shape Types. - Pascal Fradet; Daniel Le Métayer (POPL, 1997)

Fowards a Generic Framework for AOP. - Pascal Fradet; Mario Südholt (ECOOP Workshops, 1998)

Structured Gamma. - Pascal Fradet; Daniel Le Métayer (Sci. Comput. Program., 1998)

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

An Aspect Language for Robust Programming. - Pascal Fradet; Mario Südholt (ECOOP Workshops, 1999)

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

Approches langages pour la conception et la mise en oeuvre de programmes. (Language approaches for program design and implementation). - Pascal Fradet (2000)

Analyzing Non-functional Properties of Mobile Agents. - Pascal Fradet; Valérie Issarny; Siegfried Rouvrais (FASE, 2000)

Enforcing Trace Properties by Program Transformation. - Thomas Colcombet; Pascal Fradet (POPL, 2000)

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

Compilation of a specialized functional language for massively parallel computers. - Pascal Fradet; Julien Mallet (J. Funct. Program., 2000)

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

Composition, reuse and interaction analysis of stateful aspects. - Rémi Douence; Pascal Fradet; Mario Südholt (AOSD, 2004)

Network Fusion. - Pascal Fradet; Stéphane Hong Tuan Ha (APLAS, 2004)

Chemical Specification of Autonomic Systems. - Jean-Pierre Banâtre; Yann Radenac; Pascal Fradet (IASSE, 2004)

Higher-Order Chemical Programming Style. - Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac (UPP, 2004)

Principles of Chemical Programming. - Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac (RULE@RDP, 2004)

A Generalized Higher-Order Chemical Computation Model. - Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac (DCM@ICALP, 2005)

Implementing fault-tolerance in real-time systems by automatic program transformations. - Tolga Ayav; Pascal Fradet; Alain Girault (EMSOFT, 2006)

Towards chemical coordination for grids. - Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac (SAC, 2006)

Systèmes de gestion de ressources et aspects de disponibilité. - Pascal Fradet; Stéphane Hong Tuan Ha (Obj. Logiciel Base données Réseaux, 2006)

Challenging Questions for the Rationale of Non-Classical Programming Languages. - Olivier Michel 001; Jean-Pierre Banâtre; Pascal Fradet; Jean-Louis Giavitto (Int. J. Unconv. Comput., 2006)

Generalised multisets for chemical programming. - Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac (Math. Struct. Comput. Sci., 2006)

Special issue on foundations of aspect-oriented programming. - Pascal Fradet; Ralf Lämmel (Sci. Comput. Program., 2006)

Aspects of availability. - Pascal Fradet; Stéphane Hong Tuan Ha (GPCE, 2007)

Adaptor Synthesis for Real-Time Components. - Massimo Tivoli; Pascal Fradet; Alain Girault; Gregor Gößler (TACAS, 2007)

Programming Self-Organizing Systems with the Higher-Order Chemical Language. - Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac (Int. J. Unconv. Comput., 2007)

The next 700 Krivine machines. - Rémi Douence; Pascal Fradet (High. Order Symb. Comput., 2007)

Specialized Aspect Languages Preserving Classes of Properties. - Simplice Djoko Djoko; Rémi Douence; Pascal Fradet (SEFM, 2008)

Implementing fault-tolerance in real-time programs by automatic program transformations. - Tolga Ayav; Pascal Fradet; Alain Girault (ACM Trans. Embed. Comput. Syst., 2008)

The Chemical Reaction Model Recent Developments and Prospects. - Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac (Software-Intensive Systems and New Computing Paradigms, 2008)

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

SPDF: A schedulable parametric data-flow MoC. - Pascal Fradet; Alain Girault; Peter Poplavko (DATE, 2012)

Aspects preserving properties. - Simplice Djoko Djoko; Rémi Douence; Pascal Fradet (Sci. Comput. Program., 2012)

BPDF: A statically analyzable dataflow model with integer and boolean parameters. - Vagelis Bebelis; Pascal Fradet; Alain Girault; Bruno Lavigueur (EMSOFT, 2013)

Verification-guided voter minimization in triple-modular redundant circuits. - Dmitry Burlyaev; Pascal Fradet; Alain Girault (DATE, 2014)

A framework to schedule parametric dataflow applications on many-core platforms. - Vagelis Bebelis; Pascal Fradet; Alain Girault (LCTES, 2014)

Time-redundancy transformations for adaptive fault-tolerant circuits. - Dmitry Burlyaev; Pascal Fradet; Alain Girault (AHS, 2015)

Formal Verification of Automatic Circuit Transformations for Fault-Tolerance. - Dmitry Burlyaev; Pascal Fradet (FMCAD, 2015)

Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits. - Dmitry Burlyaev; Pascal Fradet; Alain Girault (FPGA, 2015)

Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs. - Adnan Bouakaz; Pascal Fradet; Alain Girault (RTAS, 2016)

Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. - Xiaojie Guo 003; Sophie Quinton; Pascal Fradet; Jean-François Monin (RTSS, 2017)

A Survey of Parametric Dataflow Models of Computation. - Adnan Bouakaz; Pascal Fradet; Alain Girault (ACM Trans. Design Autom. Electr. Syst., 2017)

Symbolic Analyses of Dataflow Graphs. - Adnan Bouakaz; Pascal Fradet; Alain Girault (ACM Trans. Design Autom. Electr. Syst., 2017)

Lossy Channels in a Dataflow Model of Computation. - Pascal Fradet; Alain Girault; Leila Jamshidian; Xavier Nicollin; Arash Shafiei 001 (Principles of Modeling, 2018)

A Generalized Digraph Model for Expressing Dependencies. - Pascal Fradet; Xiaojie Guo 003; Jean-François Monin; Sophie Quinton (RTNS, 2018)

A Generic Coq Proof of Typical Worst-Case Analysis. - Pascal Fradet; Maxime Lesourd; Jean-François Monin; Sophie Quinton (RTSS, 2018)

A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits. - Dmitry Burlyaev; Pascal Fradet; Alain Girault (Leibniz Trans. Embed. Syst., 2018)

RDF: Reconfigurable Dataflow. - Pascal Fradet; Alain Girault; Ruby Krishnaswamy; Xavier Nicollin; Arash Shafiei 001 (DATE, 2019)

CertiCAN: A Tool for the Coq Certification of CAN Analysis Results. - Pascal Fradet; Xiaojie Guo 003; Jean-François Monin; Sophie Quinton (RTAS, 2019)

Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization. - Pascal Fradet; Alain Girault; Alexandre Honorat (LCTES, 2023)

CertiCAN certifying CAN analyses and their results. - Pascal Fradet; Xiaojie Guo 003; Sophie Quinton (Real Time Syst., 2023)

RDF: A Reconfigurable Dataflow Model of Computation. - Pascal Fradet; Alain Girault; Ruby Krishnaswamy; Xavier Nicollin; Arash Shafiei 001 (ACM Trans. Embed. Comput. Syst., 2023)

Parallel Scheduling of Task Graphs with Minimal Memory Requirements. - Pascal Fradet; Alain Girault; Alexandre Honorat (IPDPS, 2025)