Michel Le Borgne

Publication Activity (10 Years)

Years Active: 1991-2014
Publications (10 Years): 0

Top Topics

Modeling Framework

Educational Technology

Data Processing

Biologically Inspired

Top Venues

BMC Syst. Biol.

Publications

Geoffroy Andrieux, Michel Le Borgne, Nathalie Théret
An integrative modeling framework reveals plasticity of TGF-β signaling. BMC Syst. Biol. 8 (2014)
Jeremy Gruel, Michel Le Borgne, Nolwenn LeMeur, Nathalie Théret
Simple Shared Motifs (SSM) in conserved region of promoters: a new approach to identify co-regulation patterns. BMC Bioinform. 12 (2011)
Philippe Veber, Carito Guziolowski, Michel Le Borgne, Ovidiu Radulescu, Anne Siegel
Inferring the role of transcription factors in regulatory networks. BMC Bioinform. 9 (2008)
Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan
Formal verification of programs specified with signal: application to a power transformer station controller. Sci. Comput. Program. 41 (1) (2001)
Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. CDC (2001)
Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic
Synthesis of Discrete-Event Controllers Based on the Signal Environment. Discret. Event Dyn. Syst. 10 (4) (2000)
Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. AMAST (1996)
Albert Benveniste, Michel Le Borgne, Paul Le Guernic
Hybrid Systems: The SIGNAL Approach. Hybrid Systems (1992)
Albert Benveniste, Michel Le Borgne, Paul Le Guernic
SIGNAL as a Model for Real-Time and Hybrid Systems. ESOP (1992)
Paul Le Guernic, Thierry Gautier, Michel Le Borgne, Claude Le Maire
Programming real-time applications with SIGNAL. Proc. IEEE 79 (9) (1991)