Pascal Fradet

Xiaojie Guo

Sophie Quinton

Real Time Syst., 2023

Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization.

[BibT_eX]

[DOI]

Alexandre Honorat

Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, 2023

2019

CertiCAN: A Tool for the Coq Certification of CAN Analysis Results.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

RDF: Reconfigurable Dataflow.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits.

[BibT_eX]

[DOI]

Leibniz Trans. Embed. Syst., 2018

A Generic Coq Proof of Typical Worst-Case Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

A Generalized Digraph Model for Expressing Dependencies.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

Lossy Channels in a Dataflow Model of Computation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Modeling, 2018

2017

Symbolic Analyses of Dataflow Graphs.

[BibT_eX]

[DOI]

Adnan Bouakaz

ACM Trans. Design Autom. Electr. Syst., 2017

A Survey of Parametric Dataflow Models of Computation.

[BibT_eX]

[DOI]

Adnan Bouakaz

ACM Trans. Design Autom. Electr. Syst., 2017

Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

2016

Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs.

[BibT_eX]

[DOI]

Adnan Bouakaz

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

2015

Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2015

Formal Verification of Automatic Circuit Transformations for Fault-Tolerance.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Time-redundancy transformations for adaptive fault-tolerant circuits.

[BibT_eX]

[DOI]

Proceedings of the 2015 NASA/ESA Conference on Adaptive Hardware and Systems, 2015

2014

A framework to schedule parametric dataflow applications on many-core platforms.

[BibT_eX]

[DOI]

Vagelis Bebelis

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

Verification-guided voter minimization in triple-modular redundant circuits.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

BPDF: A statically analyzable dataflow model with integer and boolean parameters.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software, 2013

2012

Aspects preserving properties.

[BibT_eX]

[DOI]

Simplice Djoko Djoko

Sci. Comput. Program., 2012

SPDF: A schedulable parametric data-flow MoC.

[BibT_eX]

[DOI]

Peter Poplavko

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2010

Aspects of availability: Enforcing timed properties to prevent denial of service.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

2008

The Chemical Reaction Model Recent Developments and Prospects.

[BibT_eX]

[DOI]

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Implementing fault-tolerance in real-time programs by automatic program transformations.

[BibT_eX]

[DOI]

Tolga Ayav

ACM Trans. Embed. Comput. Syst., 2008

Specialized Aspect Languages Preserving Classes of Properties.

[BibT_eX]

[DOI]

Simplice Djoko Djoko

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2007

The next 700 Krivine machines.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2007

Programming Self-Organizing Systems with the Higher-Order Chemical Language.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2007

Adaptor Synthesis for Real-Time Components.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Aspects of availability.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2007

2006

Special issue on foundations of aspect-oriented programming.

[BibT_eX]

[DOI]

Ralf Lämmel

Sci. Comput. Program., 2006

Generalised multisets for chemical programming.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2006

Challenging Questions for the Rationale of Non-Classical Programming Languages.

[BibT_eX]

Int. J. Unconv. Comput., 2006

Systèmes de gestion de ressources et aspects de disponibilité.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2006

Towards chemical coordination for grids.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Implementing fault-tolerance in real-time systems by automatic program transformations.

[BibT_eX]

[DOI]

Tolga Ayav

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

A Generalized Higher-Order Chemical Computation Model.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Developments in Computational Models, 2005

2004

Principles of Chemical Programming.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Rule-Based Programming, 2004

Higher-Order Chemical Programming Style.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Programming Paradigms, 2004

Chemical Specification of Autonomic Systems.

[BibT_eX]

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

Network Fusion.

[BibT_eX]

[DOI]

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

Composition, reuse and interaction analysis of stateful aspects.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

2002

A Framework for the Detection and Resolution of Aspect Interactions.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2002

2000

Compilation of a specialized functional language for massively parallel computers.

[BibT_eX]

[DOI]

Julien Mallet

J. Funct. Program., 2000

Gamma and the Chemical Reaction Model: Fifteen Years After.

[BibT_eX]

[DOI]

Proceedings of the Multiset Processing, 2000

Enforcing Trace Properties by Program Transformation.

[BibT_eX]

[DOI]

Thomas Colcombet

Proceedings of the POPL 2000, 2000

Analyzing Non-functional Properties of Mobile Agents.

[BibT_eX]

[DOI]

Valérie Issarny

Siegfried Rouvrais

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).

[BibT_eX]

[DOI]

, 2000

1999

Consistency Checking for Multiple View Software Architectures.

[BibT_eX]

[DOI]

Michaël Périn

Proceedings of the Software Engineering, 1999

An Aspect Language for Robust Programming.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

A Systematic Study of Functional Language Implementations.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1998

Structured Gamma.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1998

Fowards a Generic Framework for AOP.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Shape Types.

[BibT_eX]

[DOI]

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

1996

Type Checking for a Multiset Rewriting Language.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm.

[BibT_eX]

[DOI]

Ronan Caugne

Proceedings of the Programming Languages and Systems, 1996

1995

Towards a Taxonomy of Functional Languages Implementations

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1995

1994

Collecting More Garbage.

[BibT_eX]

[DOI]

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

Compilation of Head and Strong Reduction.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1994

1991

Compilation of Functional Languages by Program Transformation.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1991

Syntactic Detection of Single-Threading Using Continuations.

[BibT_eX]

[DOI]

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1989

Compilation of Lambda-Calculus into Functional Machine Code.

[BibT_eX]

[DOI]