Implementation of the Data-Flow Synchronous Language SIGNAL. - Pascalin Amagbégnon; Loïc Besnard; Paul Le Guernic (PLDI, 1995)

Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. - Abdoulaye Gamatié; Thierry Gautier; Loïc Besnard (SLAP, 2003)

Automated Translation of C/C++ Models into a Synchronous Formalism. - Hamoudi Kalla; Jean-Pierre Talpin; David Berner; Loïc Besnard (ECBS, 2006)

Separate Compilation of Polychronous Specifications. - Julien Ouy; Jean-Pierre Talpin; Loïc Besnard; Paul Le Guernic (FMGALS@MEMOCODE, 2007)

Compositional design of isochronous systems. - Jean-Pierre Talpin; Julien Ouy; Loïc Besnard; Paul Le Guernic (DATE, 2008)

An Interval-Based Solution for Static Analysis in the SIGNAL Language. - Abdoulaye Gamatié; Thierry Gautier; Loïc Besnard (ECBS, 2008)

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software - Loïc Besnard; Thierry Gautier; Julien Ouy; Jean-Pierre Talpin; Jean-Paul Bodeveix; Alexandre Cortier; Marc Pantel; Martin Strecker; Gérald Garcia; Ana-Elena Rugina; Jérémy Buisson; Fabien Dagnat (FMA, 2009)

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. - Loïc Besnard; Thierry Gautier; Matthieu Moy; Jean-Pierre Talpin; Kenneth Johnson; Florence Maraninchi (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Compilation of Polychronous Data Flow Equations. - Loïc Besnard; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin (Synthesis of Embedded Software, 2010)

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software. - Alexandre Cortier; Loïc Besnard; Jean-Paul Bodeveix; Jérémy Buisson; Fabien Dagnat; Mamoun Filali; Gérald Garcia; Julien Ouy; Marc Pantel; Ana-Elena Rugina; Martin Strecker; Jean-Pierre Talpin (Synthesis of Embedded Software, 2010)

Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. - Jean-Pierre Talpin; Julien Ouy; Thierry Gautier; Loïc Besnard; Alexandre Cortier (ACSD, 2010)

Polychronous Analysis of Timing Constraints in UML MARTE. - Huafeng Yu; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Frédéric Mallet; Charles André; Robert de Simone (ISORC Workshops, 2010)

LTSs for translation validation of (multi-clocked) SIGNAL specifications. - Julio C. Peralta; Thierry Gautier; Loïc Besnard; Paul Le Guernic (MEMOCODE, 2010)

Polychronous controller synthesis from MARTE CCSL timing specifications. - Huafeng Yu; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Hervé Marchand; Paul Le Guernic (MEMOCODE, 2011)

System-level co-simulation of integrated avionics using polychrony. - Huafeng Yu; Yue Ma 004; Yann Glouche; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Paul Le Guernic; Andres Toom; Odile Laurent (SAC, 2011)

Formal Verification of Compiler Transformations on Polychronous Equations. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic; Loïc Besnard (IFM, 2012)

Compositional design of isochronous systems. - Jean-Pierre Talpin; Julien Ouy; Thierry Gautier; Loïc Besnard; Paul Le Guernic (Sci. Comput. Program., 2012)

Toward polychronous analysis and validation for timed software architectures in AADL. - Yue Ma 004; Huafeng Yu; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin; Loïc Besnard; Maurice Heitz (DATE, 2013)

Formal verification of synchronous data-flow program transformations toward certified compilers. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic; Loïc Besnard (Frontiers Comput. Sci., 2013)

Exploring system architectures in AADL via Polychrony and SynDEx. - Huafeng Yu; Yue Ma 004; Thierry Gautier; Loïc Besnard; Jean-Pierre Talpin; Paul Le Guernic; Yves Sorel (Frontiers Comput. Sci., 2013)

Polychronous modeling, analysis, verification and simulation for timed software architectures. - Huafeng Yu; Yue Ma 004; Thierry Gautier; Loïc Besnard; Paul Le Guernic; Jean-Pierre Talpin (J. Syst. Archit., 2013)

Optimized distribution of synchronous programs via a polychronous model. - Ke Sun; Loïc Besnard; Thierry Gautier (MEMOCODE, 2014)

Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Loïc Besnard; Paul Le Guernic (SCOPES, 2015)

Polychronous Automata. - Paul Le Guernic; Thierry Gautier; Jean-Pierre Talpin; Loïc Besnard (TASE, 2015)

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. - Loïc Besnard; Adnan Bouakaz; Thierry Gautier; Paul Le Guernic; Yue Ma 004; Jean-Pierre Talpin; Huafeng Yu (Sci. Comput. Program., 2015)

Formal semantics of behavior specifications in the architecture analysis and design language standard. - Loïc Besnard; Thierry Gautier; Clément Guy; Paul Le Guernic; Jean-Pierre Talpin; Brian R. Larson; Etienne Borde (HLDVT, 2016)

ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems. - Alexandre Honorat; Hai Nam Tran; Loïc Besnard; Thierry Gautier; Jean-Pierre Talpin; Adnan Bouakaz (RTNS, 2017)

Autotuning and adaptivity in energy efficient HPC systems: the ANTAREX toolbox. - Cristina Silvano; Gianluca Palermo; Giovanni Agosta; Amir H. Ashouri; Davide Gadioli; Stefano Cherubin; Emanuele Vitali; Luca Benini; Andrea Bartolini; Daniele Cesarini; João M. P. Cardoso; João Bispo; et al. (CF, 2018)

ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing. - Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea Rosario Beccari; Luca Benini; Loïc Besnard; João Bispo; Radim Cmar; João M. P. Cardoso; Carlo Cavazzoni; Stefano Cherubin; Davide Gadioli; et al. (DSD, 2018)

Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory. - Hai Nam Tran; Alexandre Honorat; Jean-Pierre Talpin; Thierry Gautier; Loïc Besnard (ICECCS, 2019)

Supporting the Scale-Up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach. - Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea Rosario Beccari; Luca Benini; Loïc Besnard; João Bispo; Radim Cmar; João M. P. Cardoso; Carlo Cavazzoni; Daniele Cesarini; Stefano Cherubin; et al. (PDP, 2019)

Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog. - Muhammad Amjad Hafiz; Kai Hu 004; Jianwei Niu 002; Noor Khan; Loïc Besnard; Jean-Pierre Talpin (SKG, 2019)

The ANTAREX Domain Specific Language for High Performance Computing. - Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea Rosario Beccari; Luca Benini; Loïc Besnard; João Bispo; Radim Cmar; João M. P. Cardoso; Carlo Cavazzoni; Daniele Cesarini; Stefano Cherubin; et al. (CoRR, 2019)

Polychronous automata and their use for formal validation of AADL models. - Thierry Gautier; Clément Guy; Alexandre Honorat; Paul Le Guernic; Jean-Pierre Talpin; Loïc Besnard (Frontiers Comput. Sci., 2019)

The ANTAREX domain specific language for high performance computing. - Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea Rosario Beccari; Luca Benini; Loïc Besnard; João Bispo; Radim Cmar; João M. P. Cardoso; Carlo Cavazzoni; Daniele Cesarini; Stefano Cherubin; et al. (Microprocess. Microsystems, 2019)

A framework for automatic and parameterizable memoization. - Loïc Besnard; Pedro Pinto 002; Imane Lasri; João Bispo; Erven Rohou; João M. P. Cardoso (SoftwareX, 2019)

A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs. - Hai Nam Tran; Alexandre Honorat; Shuvra S. Bhattacharyya; Jean-Pierre Talpin; Thierry Gautier; Loïc Besnard (SAMOS, 2021)

The polychronous model of computation and Kahn process networks. - Thierry Gautier; Paul Le Guernic; Loïc Besnard; Jean-Pierre Talpin (Sci. Comput. Program., 2023)

Real-time Fixed Priority Scheduling Synthesis Using Affine DataFlow Graphs: from Theory to Practice. - Alexandre Honorat; Hai Nam Tran; Thierry Gautier; Loïc Besnard; Shuvra S. Bhattacharyya; Jean-Pierre Talpin (ACM Trans. Embed. Comput. Syst., 2025)