Michel Le Borgne

Programming real-time applications with SIGNAL

P. LeGuernic, Thierry Gautier, Michel Le Borgne et al. · Proceedings of the IEEE · 1991 · 534 citations · Full text

Engineering, System Programming, Hardware Systems +18

Synthesis of Discrete-Event Controllers Based on the Signal Environment

Hervé Marchand, P. Bournai, Michel Le Borgne et al. · Discrete Event Dynamic Systems · 2000 · 144 citations · Full text

Engineering, Discrete Event System, Signal Environment +6

Qualitative analysis of the relation between DNA microarray data and behavioral models of regulation networks

Anne Siegel, Ovidiu Radulescu, Michel Le Borgne et al. · Biosystems · 2006 · 39 citations

Regulation Networks, Engineering, Qualitative Analysis +13

Formal verification of programs specified with signal: application to a power transformer station controller

Hervé Marchand, Éric Rutten, Michel Le Borgne et al. · Science of Computer Programming · 2001 · 30 citations

Program Checking, Engineering, Smart Grid +12

Dynamic Regulation of Tgf-B Signaling by Tif1γ: A Computational Approach

Geoffroy Andrieux, Laurent Fattet, Michel Le Borgne et al. · PLoS ONE · 2012 · 27 citations · Full text

Immune Regulation, Transcriptional Regulation, Signaling Pathway +16