Types in a Mixed Language System. - Philippe Darondeau; Paul Le Guernic; Michel Raynal (BIT, 1981)

Programming Real-Time with Events and Data Flow. - Thierry Gautier; Paul Le Guernic; Albert Benveniste; Patricia Bournai (IFIP Congress, 1986)

Signal-A data flow-oriented language for signal processing. - Paul Le Guernic; Albert Benveniste; Patricia Bournai; Thierry Gautier (IEEE Trans. Acoust. Speech Signal Process., 1986)

SIGNAL: A declarative language for synchronous programming of real-time systems. - Thierry Gautier; Paul Le Guernic (FPCA, 1987)

The Granules, Blutton: An Idea, an Algorithm to Implement on Multiprocessor. - B. Le Goff; Paul Le Guernic (STACS, 1988)

The SIGNAL programming environment. - Paul Le Guernic (Algorithms and Parallel VLSI Architectures, 1991)

Programming real-time applications with SIGNAL. - Paul Le Guernic; Thierry Gautier; Michel Le Borgne; Claude Le Maire (Proc. IEEE, 1991)

Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics. - Albert Benveniste; Paul Le Guernic; Christian Jacquemot (Sci. Comput. Program., 1991)

SIGNAL as a Model for Real-Time and Hybrid Systems. - Albert Benveniste; Michel Le Borgne; Paul Le Guernic (ESOP, 1992)

Hybrid Systems: The SIGNAL Approach. - Albert Benveniste; Michel Le Borgne; Paul Le Guernic (Hybrid Systems, 1992)

A Denotational Theory of Synchronous Reactive Systems - Albert Benveniste; Paul Le Guernic; Yves Sorel; Michel Sorine (Inf. Comput., 1992)

A framework for macro- and micro-time to model VHDL attributes. - Mohamed Belhadj; Roderick McConnell; Paul Le Guernic (EURO-DAC, 1993)

Data-Flow Synchronous Languages. - Albert Benveniste; Paul Caspi; Paul Le Guernic; Nicolas Halbwachs (REX School/Symposium, 1993)

Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. - Olivier Maffeïs; Paul Le Guernic (WSA, 1993)

Towards a multi-formalism framework for architectural synthesis: the ASAR project. - Michel Auguin; Mohamed Belhadj; Judith Benzakki; C. Carrière; Guy Durrieu; Thierry Gautier; Michel Israël; Paul Le Guernic; Michel Lemaître; E. Martin; Patrice Quinton; Laurence Rideau; et al. (CODES, 1994)

Distributed Implementation of SIGNAL: Scheduling & Graph Clustering. - Olivier Maffeïs; Paul Le Guernic (FTRTFT, 1994)

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. - Albert Benveniste; Bernard C. Levy; Eric Fabre; Paul Le Guernic (Hybrid Systems, 1994)

From SIGNAL to fine-grain parallel implementations. - Olivier Maffeïs; Paul Le Guernic (IFIP PACT, 1994)

SIGNAL. - Pascalin Amagbégnon; Paul Le Guernic; Hervé Marchand; Éric Rutten (Formal Development of Reactive Systems, 1995)

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

Signal: A Formal Design Environment for Real-Time Systems. - Paul Le Guernic (TAPSOFT, 1995)

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems. - Albert Benveniste; Bernard C. Levy; Eric Fabre; Paul Le Guernic (Theor. Comput. Sci., 1995)

Synchronous Distribution of Signal Programs. - Pascal Aubry; Paul Le Guernic; Sylvain Machard (HICSS (1), 1996)

Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems. - Irina M. Smarandache; Paul Le Guernic (ARTS, 1997)

Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. - Albert Benveniste; Paul Le Guernic; Pascal Aubry (COMPOS, 1997)

An ML-Like Module System for the Synchronous Language SIGNAL. - David Nowak; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic (Euro-Par, 1997)

A Translation of Statecharts into Signal Approach of Time, Interoperability. - Jean-René Beauvais; Roland Houdebine; Paul Le Guernic; Éric Rutten; Thierry Gautier (ACSD, 1998)

A design environment for discrete-event controllers based on the SIGNAL language. - Hervé Marchand; Patricia Bournai; M. Leborgne; Paul Le Guernic (SMC, 1998)

From Synchrony to Asynchrony. - Albert Benveniste; Benoît Caillaud; Paul Le Guernic (CONCUR, 1999)

Synchronous Structures. - David Nowak; Jean-Pierre Talpin; Paul Le Guernic (CONCUR, 1999)

Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. - Irina M. Smarandache; Thierry Gautier; Paul Le Guernic (World Congress on Formal Methods, 1999)

A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. - Yunming Wang; Jean-Pierre Talpin; Albert Benveniste; Paul Le Guernic (ISORC, 2000)

Synthesis of Discrete-Event Controllers Based on the Signal Environment. - Hervé Marchand; Patricia Bournai; Michel Le Borgne; Paul Le Guernic (Discret. Event Dyn. Syst., 2000)

Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. - Albert Benveniste; Benoît Caillaud; Paul Le Guernic (Inf. Comput., 2000)

The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. - Albert Benveniste; Patricia Bournai; Thierry Gautier; Michel Le Borgne; Paul Le Guernic; Hervé Marchand (CDC, 2001)

Modeling statecharts and activitycharts as signal equations. - Jean-René Beauvais; Éric Rutten; Thierry Gautier; Roland Houdebine; Paul Le Guernic; Y.-M. Tang (ACM Trans. Softw. Eng. Methodol., 2001)

A Protocol for Loosely Time-Triggered Architectures. - Albert Benveniste; Paul Caspi; Paul Le Guernic; Hervé Marchand; Jean-Pierre Talpin; Stavros Tripakis (EMSOFT, 2002)

Polychrony for Formal Refinement-Checking in a System-Level Design Methodology. - Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla; Rajesh K. Gupta 001; Frederic Doucet (ACSD, 2003)

Polychrony for Refinement-Based Design. - Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla; Rajesh K. Gupta 001; Frederic Doucet (DATE, 2003)

Hard Real-Time Implementation of Embedded Software in JAVA. - Jean-Pierre Talpin; Abdoulaye Gamatié; David Berner; Bruno Le Dez; Paul Le Guernic (FIDJI, 2003)

POLYCHRONY for System Design. - Paul Le Guernic; Jean-Pierre Talpin; Jean-Christophe Le Lann (J. Circuits Syst. Comput., 2003)

The synchronous languages 12 years later. - Albert Benveniste; Paul Caspi; Stephen A. Edwards; Nicolas Halbwachs; Paul Le Guernic; Robert de Simone (Proc. IEEE, 2003)

A Behavioral Type Inference System for Compositional System-on-Chip Design. - Jean-Pierre Talpin; David Berner; Sandeep K. Shukla; Paul Le Guernic; Abdoulaye Gamatié; Rajesh Gupta 001 (ACSD, 2004)

Modular design through component abstraction. - David Berner; Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla (CASES, 2004)

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. - Mohammad Reza Mousavi 001; Paul Le Guernic; Jean-Pierre Talpin; Sandeep K. Shukla; Twan Basten (DATE, 2004)

Formal Refinement Checking in a System-level Design Methodology. - Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla; Frederic Doucet; Rajesh K. Gupta 001 (Fundam. Informaticae, 2004)

A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. - Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla; Rajesh Gupta 001 (Int. J. Parallel Program., 2005)

An algebraic theory for behavioral modeling and protocol synthesis in system design. - Jean-Pierre Talpin; Paul Le Guernic (Formal Methods Syst. Des., 2006)

Synchronous design of avionic applications based on model refinement. - Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic (J. Embed. Comput., 2006)

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

Polychronous design of embedded real-time applications. - Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin (ACM Trans. Softw. Eng. Methodol., 2007)

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

Analysis of Periodic Clock Relations in Polychronous Systems. - Hugo Metivier; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic (DIPES, 2008)

A module language for typing by contracts. - Yann Glouche; Jean-Pierre Talpin; Paul Le Guernic; Thierry Gautier (NASA Formal Methods, 2009)

A Boolean Algebra of Contracts for Assume-guarantee Reasoning. - Yann Glouche; Paul Le Guernic; Jean-Pierre Talpin; Thierry Gautier (FACS@FMWeek, 2009)

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

A Module Language for Typing SIGNAL Programs by Contracts. - Yann Glouche; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin (Synthesis of Embedded Software, 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)

Translation Validation for Clock Transformations in a Synchronous Compiler. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic (FASE, 2015)

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)

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 polychronous model of computation and Kahn process networks. - Thierry Gautier; Paul Le Guernic; Loïc Besnard; Jean-Pierre Talpin (Sci. Comput. Program., 2023)