Programming real-time applications with SIGNAL. - Paul Le Guernic; Thierry Gautier; Michel Le Borgne; Claude Le Maire (Proc. IEEE, 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)

Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. - Michel Le Borgne; Hervé Marchand; Éric Rutten; Mazen Samaan (AMAST, 1996)

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)

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)

Formal verification of programs specified with signal: application to a power transformer station controller. - Hervé Marchand; Éric Rutten; Michel Le Borgne; Mazen Samaan (Sci. Comput. Program., 2001)

Inferring the role of transcription factors in regulatory networks. - Philippe Veber; Carito Guziolowski; Michel Le Borgne; Ovidiu Radulescu; Anne Siegel (BMC Bioinform., 2008)

Simple Shared Motifs (SSM) in conserved region of promoters: a new approach to identify co-regulation patterns. - Jeremy Gruel; Michel Le Borgne; Nolwenn LeMeur; Nathalie Théret (BMC Bioinform., 2011)

An integrative modeling framework reveals plasticity of TGF-β signaling. - Geoffroy Andrieux; Michel Le Borgne; Nathalie Théret (BMC Syst. Biol., 2014)