Pascal Fradet

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 16

Top Topics

Optimal Scheduling

Fault Tolerance

Formal Verification

Top Venues

ACM Trans. Design Autom. Electr. Syst.

Publications

Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei
RDF: A Reconfigurable Dataflow Model of Computation. ACM Trans. Embed. Comput. Syst. 22 (1) (2023)
Pascal Fradet, Alain Girault, Alexandre Honorat
Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization. LCTES (2023)
Pascal Fradet, Xiaojie Guo, Sophie Quinton
CertiCAN certifying CAN analyses and their results. Real Time Syst. 59 (2) (2023)
Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei
RDF: Reconfigurable Dataflow. DATE (2019)
Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
CertiCAN: A Tool for the Coq Certification of CAN Analysis Results. RTAS (2019)
Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton
A Generic Coq Proof of Typical Worst-Case Analysis. RTSS (2018)
Dmitry Burlyaev, Pascal Fradet, Alain Girault
A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits. Leibniz Trans. Embed. Syst. 5 (1) (2018)
Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
A Generalized Digraph Model for Expressing Dependencies. RTNS (2018)
Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei
Lossy Channels in a Dataflow Model of Computation. Principles of Modeling (2018)
Adnan Bouakaz, Pascal Fradet, Alain Girault
Symbolic Analyses of Dataflow Graphs. ACM Trans. Design Autom. Electr. Syst. 22 (2) (2017)
Adnan Bouakaz, Pascal Fradet, Alain Girault
A Survey of Parametric Dataflow Models of Computation. ACM Trans. Design Autom. Electr. Syst. 22 (2) (2017)
Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin
Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. RTSS (2017)
Adnan Bouakaz, Pascal Fradet, Alain Girault
Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs. RTAS (2016)
Dmitry Burlyaev, Pascal Fradet, Alain Girault
Time-redundancy transformations for adaptive fault-tolerant circuits. AHS (2015)
Dmitry Burlyaev, Pascal Fradet, Alain Girault
Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits. FPGA (2015)
Dmitry Burlyaev, Pascal Fradet
Formal Verification of Automatic Circuit Transformations for Fault-Tolerance. FMCAD (2015)
Dmitry Burlyaev, Pascal Fradet, Alain Girault
Verification-guided voter minimization in triple-modular redundant circuits. DATE (2014)
Vagelis Bebelis, Pascal Fradet, Alain Girault
A framework to schedule parametric dataflow applications on many-core platforms. LCTES (2014)
Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur
BPDF: A statically analyzable dataflow model with integer and boolean parameters. EMSOFT (2013)
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
Aspects preserving properties. Sci. Comput. Program. 77 (3) (2012)
Pascal Fradet, Alain Girault, Peter Poplavko
SPDF: A schedulable parametric data-flow MoC. DATE (2012)
Pascal Fradet, Stéphane Hong Tuan Ha
Aspects of availability: Enforcing timed properties to prevent denial of service. Sci. Comput. Program. 75 (7) (2010)
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
Aspects preserving properties. PEPM (2008)
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
Specialized Aspect Languages Preserving Classes of Properties. SEFM (2008)
Tolga Ayav, Pascal Fradet, Alain Girault
Implementing fault-tolerance in real-time programs by automatic program transformations. ACM Trans. Embed. Comput. Syst. 7 (4) (2008)
Rémi Douence, Pascal Fradet
The next 700 Krivine machines. High. Order Symb. Comput. 20 (3) (2007)
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
Programming Self-Organizing Systems with the Higher-Order Chemical Language. Int. J. Unconv. Comput. 3 (3) (2007)
Pascal Fradet, Stéphane Hong Tuan Ha
Aspects of availability. GPCE (2007)
Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler
Adaptor Synthesis for Real-Time Components. TACAS (2007)
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
Towards chemical coordination for grids. SAC (2006)
Tolga Ayav, Pascal Fradet, Alain Girault
Implementing fault-tolerance in real-time systems by automatic program transformations. EMSOFT (2006)
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
Generalised multisets for chemical programming. Math. Struct. Comput. Sci. 16 (4) (2006)
Pascal Fradet, Ralf Lämmel
Special issue on foundations of aspect-oriented programming. Sci. Comput. Program. 63 (3) (2006)
Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto
Challenging Questions for the Rationale of Non-Classical Programming Languages. Int. J. Unconv. Comput. 2 (4) (2006)
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
A Generalized Higher-Order Chemical Computation Model. Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Pascal Fradet, Stéphane Hong Tuan Ha
Systèmes de gestion de ressources et aspects de disponibilité. Obj. Logiciel Base données Réseaux 12 (2-3) (2006)
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
Principles of Chemical Programming. Electron. Notes Theor. Comput. Sci. 124 (1) (2005)
Jean-Pierre Banâtre, Yann Radenac, Pascal Fradet
Chemical Specification of Autonomic Systems. IASSE (2004)
Pascal Fradet, Stéphane Hong Tuan Ha
Network Fusion. APLAS (2004)
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
Higher-Order Chemical Programming Style. UPP (2004)
Rémi Douence, Pascal Fradet, Mario Südholt
Composition, reuse and interaction analysis of stateful aspects. AOSD (2004)
Rémi Douence, Pascal Fradet, Mario Südholt
A Framework for the Detection and Resolution of Aspect Interactions. GPCE (2002)
Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer
Gamma and the Chemical Reaction Model: Fifteen Years After. WMP (2000)
Pascal Fradet, Julien Mallet
Compilation of a specialized functional language for massively parallel computers. J. Funct. Program. 10 (6) (2000)
Thomas Colcombet, Pascal Fradet
Enforcing Trace Properties by Program Transformation. POPL (2000)
Pascal Fradet, Valérie Issarny, Siegfried Rouvrais
Analyzing Non-functional Properties of Mobile Agents. FASE (2000)
Pascal Fradet, Mario Südholt
An Aspect Language for Robust Programming. ECOOP Workshops (1999)
Pascal Fradet, Daniel Le Métayer, Michaël Périn
Consistency Checking for Multiple View Software Architectures. ESEC / SIGSOFT FSE (1999)
Pascal Fradet, Mario Südholt
Fowards a Generic Framework for AOP. ECOOP Workshops (1998)
Pascal Fradet, Daniel Le Métayer
Structured Gamma. Sci. Comput. Program. 31 (2-3) (1998)
Rémi Douence, Pascal Fradet
A Systematic Study of Functional Language Implementations. ACM Trans. Program. Lang. Syst. 20 (2) (1998)
Pascal Fradet, Daniel Le Métayer
Shape Types. POPL (1997)
Pascal Fradet, Daniel Le Métayer
Type Checking for a Multiset Rewriting Language. LOMAPS (1996)
Pascal Fradet, Ronan Caugne, Daniel Le Métayer
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. ESOP (1996)
Rémi Douence, Pascal Fradet
Towards a Taxonomy of Functional Languages Implementations PLILP (1995)
Pascal Fradet
Collecting More Garbage. LISP and Functional Programming (1994)
Pascal Fradet
Compilation of Head and Strong Reduction. ESOP (1994)
Pascal Fradet
Syntactic Detection of Single-Threading Using Continuations. FPCA (1991)
Pascal Fradet, Daniel Le Métayer
Compilation of Functional Languages by Program Transformation. ACM Trans. Program. Lang. Syst. 13 (1) (1991)
Pascal Fradet, Daniel Le Métayer
Compilation of Lambda-Calculus into Functional Machine Code. TAPSOFT, Vol.2 (1989)