Pascal Fradet

According to our database1, Pascal Fradet authored at least 58 papers between 1989 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




CertiCAN: A Tool for the Coq Certification of CAN Analysis Results.
Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

RDF: Reconfigurable Dataflow.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits.
Leibniz Trans. Embed. Syst., 2018

A Generic Coq Proof of Typical Worst-Case Analysis.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

A Generalized Digraph Model for Expressing Dependencies.
Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

Lossy Channels in a Dataflow Model of Computation.
Proceedings of the Principles of Modeling, 2018

Symbolic Analyses of Dataflow Graphs.
ACM Trans. Design Autom. Electr. Syst., 2017

A Survey of Parametric Dataflow Models of Computation.
ACM Trans. Design Autom. Electr. Syst., 2017

Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits.
Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2015

Formal Verification of Automatic Circuit Transformations for Fault-Tolerance.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

Time-redundancy transformations for adaptive fault-tolerant circuits.
Proceedings of the 2015 NASA/ESA Conference on Adaptive Hardware and Systems, 2015

A framework to schedule parametric dataflow applications on many-core platforms.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

Verification-guided voter minimization in triple-modular redundant circuits.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

BPDF: A statically analyzable dataflow model with integer and boolean parameters.
Proceedings of the International Conference on Embedded Software, 2013

Aspects preserving properties.
Sci. Comput. Program., 2012

SPDF: A schedulable parametric data-flow MoC.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Aspects of availability: Enforcing timed properties to prevent denial of service.
Sci. Comput. Program., 2010

The Chemical Reaction Model Recent Developments and Prospects.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Implementing fault-tolerance in real-time programs by automatic program transformations.
ACM Trans. Embed. Comput. Syst., 2008

Specialized Aspect Languages Preserving Classes of Properties.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

The next 700 Krivine machines.
High. Order Symb. Comput., 2007

Programming Self-Organizing Systems with the Higher-Order Chemical Language.
Int. J. Unconv. Comput., 2007

Adaptor Synthesis for Real-Time Components.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Aspects of availability.
Proceedings of the Generative Programming and Component Engineering, 2007

Special issue on foundations of aspect-oriented programming.
Sci. Comput. Program., 2006

Generalised multisets for chemical programming.
Math. Struct. Comput. Sci., 2006

Challenging Questions for the Rationale of Non-Classical Programming Languages.
Int. J. Unconv. Comput., 2006

A Generalized Higher-Order Chemical Computation Model.
Electron. Notes Theor. Comput. Sci., 2006

Systèmes de gestion de ressources et aspects de disponibilité.
Obj. Logiciel Base données Réseaux, 2006

Towards chemical coordination for grids.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Implementing fault-tolerance in real-time systems by automatic program transformations.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Principles of Chemical Programming.
Electron. Notes Theor. Comput. Sci., 2005

Higher-Order Chemical Programming Style.
Proceedings of the Unconventional Programming Paradigms, 2004

Chemical Specification of Autonomic Systems.
Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Network Fusion.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

Composition, reuse and interaction analysis of stateful aspects.
Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

A Framework for the Detection and Resolution of Aspect Interactions.
Proceedings of the Generative Programming and Component Engineering, 2002

Compilation of a specialized functional language for massively parallel computers.
J. Funct. Program., 2000

Gamma and the Chemical Reaction Model: Fifteen Years After.
Proceedings of the Multiset Processing, 2000

Enforcing Trace Properties by Program Transformation.
Proceedings of the POPL 2000, 2000

Analyzing Non-functional Properties of Mobile Agents.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

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

Consistency Checking for Multiple View Software Architectures.
Proceedings of the Software Engineering, 1999

An Aspect Language for Robust Programming.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

A Systematic Study of Functional Language Implementations.
ACM Trans. Program. Lang. Syst., 1998

Structured Gamma.
Sci. Comput. Program., 1998

Fowards a Generic Framework for AOP.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Shape Types.
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

Type Checking for a Multiset Rewriting Language.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm.
Proceedings of the Programming Languages and Systems, 1996

Towards a Taxonomy of Functional Languages Implementations
Proceedings of the Programming Languages: Implementations, 1995

Collecting More Garbage.
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

Compilation of Head and Strong Reduction.
Proceedings of the Programming Languages and Systems, 1994

Compilation of Functional Languages by Program Transformation.
ACM Trans. Program. Lang. Syst., 1991

Syntactic Detection of Single-Threading Using Continuations.
Proceedings of the Functional Programming Languages and Computer Architecture, 1991

Compilation of Lambda-Calculus into Functional Machine Code.
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989