Michel Le Borgne

According to our database, Michel Le Borgne authored at least 10 papers between 1991 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

An integrative modeling framework reveals plasticity of TGF-β signaling.

Geoffroy Andrieux, Michel Le Borgne, Nathalie Théret

BMC Syst. Biol., 2014

2011

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

2008

Inferring the role of transcription factors in regulatory networks.

Philippe Veber, Carito Guziolowski, Michel Le Borgne, Ovidiu Radulescu, Anne Siegel

BMC Bioinform., 2008

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

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

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

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

1996

Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller.

Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan

Proceedings of the Algebraic Methodology and Software Technology, 1996

1992

Hybrid Systems: The SIGNAL Approach.

Albert Benveniste, Michel Le Borgne, Paul Le Guernic

Proceedings of the Hybrid Systems, 1992

SIGNAL as a Model for Real-Time and Hybrid Systems.

Albert Benveniste, Michel Le Borgne, Paul Le Guernic

Proceedings of the ESOP '92, 1992

1991

Programming real-time applications with SIGNAL.

Paul Le Guernic, Thierry Gautier, Michel Le Borgne, Claude Le Maire

Proc. IEEE, 1991