| 2019 | DATE | RDF: Reconfigurable Dataflow. | Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei |
| 2019 | RTAS | CertiCAN: A Tool for the Coq Certification of CAN Analysis Results. | Pascal Fradet, Xiaojie Guo, Jean-Franois Monin, Sophie Quinton |
| 2018 | RTSS | A Generic Coq Proof of Typical Worst-Case Analysis. | Pascal Fradet, Maxime Lesourd, Jean-Franois Monin, Sophie Quinton |
| 2018 | RTNS | A Generalized Digraph Model for Expressing Dependencies. | Pascal Fradet, Xiaojie Guo, Jean-Franois Monin, Sophie Quinton |
| 2017 | RTSS | Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. | Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-Franois Monin |
| 2016 | RTAS | Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs. | Adnan Bouakaz, Pascal Fradet, Alain Girault |
| 2015 | FMCAD | Formal Verification of Automatic Circuit Transformations for Fault-Tolerance. | Dmitry Burlyaev, Pascal Fradet |
| 2015 | FPGA | Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits. | Dmitry Burlyaev, Pascal Fradet, Alain Girault |
| 2014 | DATE | Verification-guided voter minimization in triple-modular redundant circuits. | Dmitry Burlyaev, Pascal Fradet, Alain Girault |
| 2013 | EMSOFT | BPDF: A statically analyzable dataflow model with integer and boolean parameters. | Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur |
| 2012 | DATE | SPDF: A schedulable parametric data-flow MoC. | Pascal Fradet, Alain Girault, Peter Poplavko |
| 2008 | PEPM | Aspects preserving properties. | Simplice Djoko Djoko, Rmi Douence, Pascal Fradet |
| 2008 | SEFM | Specialized Aspect Languages Preserving Classes of Properties. | Simplice Djoko Djoko, Rmi Douence, Pascal Fradet |
| 2007 | GPCE | Aspects of availability. | Pascal Fradet, Stphane Hong Tuan Ha |
| 2007 | TACAS | Adaptor Synthesis for Real-Time Components. | Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gler |
| 2006 | EMSOFT | Implementing fault-tolerance in real-time systems by automatic program transformations. | Tolga Ayav, Pascal Fradet, Alain Girault |
| 2006 | SAC | Towards chemical coordination for grids. | Jean-Pierre Bantre, Pascal Fradet, Yann Radenac |
| 2004 | APLAS | Network Fusion. | Pascal Fradet, Stphane Hong Tuan Ha |
| 2002 | GPCE | A Framework for the Detection and Resolution of Aspect Interactions. | Rmi Douence, Pascal Fradet, Mario Sdholt |
| 2000 | FASE | Analyzing Non-functional Properties of Mobile Agents. | Pascal Fradet, Valrie Issarny, Siegfried Rouvrais |
| 2000 | POPL | Enforcing Trace Properties by Program Transformation. | Thomas Colcombet, Pascal Fradet |
| 1997 | POPL | Shape Types. | Pascal Fradet, Daniel Le Mtayer |
| 1996 | ESOP | Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. | Pascal Fradet, Ronan Caugne, Daniel Le Mtayer |
| 1994 | ESOP | Compilation of Head and Strong Reduction. | Pascal Fradet |