Michel Le Borgne - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 9 from 9

2014

An integrative modeling framework reveals plasticity of TGF-β signalingGeoffroy Andrieux, Michel Le Borgne, Nathalie Théret. bmcsb, 8:30, 2014. [doi]

2008

Inferring the role of transcription factors in regulatory networksPhilippe Veber, Carito Guziolowski, Michel Le Borgne, Ovidiu Radulescu, Anne Siegel. bmcbi, 9, 2008. [doi]

2001

The SIGNAL declarative synchronous language: controller synthesis and systems/architecture designAlbert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand. cdc 2001: 3284-3289 [doi]

Formal verification of programs specified with signal: application to a power transformer station controllerHervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan. SCP, 41(1):85-104, 2001.

2000

Synthesis of Discrete-Event Controllers Based on the Signal EnvironmentHervÃ© Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic. deds, 10(4):325-346, 2000. [doi]

1996

Formal Verification of SIGNAL Programs: Application to a Power Transformer Station ControllerMichel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan. amast 1996: 271-285

1992

SIGNAL as a Model for Real-Time and Hybrid SystemsAlbert Benveniste, Michel Le Borgne, Paul Le Guernic. ESOP 1992: 20-38

Hybrid Systems: The SIGNAL ApproachAlbert Benveniste, Michel Le Borgne, Paul Le Guernic. hybrid 1993: 230-254

1991

Programming real-time applications with SIGNALPaul Le Guernic, Thierry Gautier, Michel Le Borgne, Claude Le Maire. pieee, 79(9):1321-1336, 1991. [doi]

Sign in or sign up to see more results.

runs on WebDSL