Paul Le Guernic

Publications

2.7K

Citations

H-Index

1986

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Institut de Recherche en Informatique et Systèmes Aléatoires

Centre National de la Recherche Scientifique

Signal Processing (United States)

Embedded Systems (United States)

Paul Le Guernic is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsFormal VerificationComputer EngineeringSoftware DesignProgram AnalysisSystem SoftwareSoftware Engineering

Publications per year

1986–2014

Publications

The synchronous languages 12 years later

Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 922 citations · Full text

Special Section, Engineering, Embedded Systems +23

Synchronous programming with events and relations: the SIGNAL language and its semantics

Albert Benveniste, Paul Le Guernic, C. Jacquemot · Science of Computer Programming · 1991 · 297 citations

Engineering, Operational Semantics, Automated Reasoning +9

POLYCHRONY for System Design

Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann · Journal of Circuits Systems and Computers · 2003 · 229 citations

Hardware Modeling, Engineering, Hardware Verification Language +21

Hybrid dynamical systems theory and the Signal language

Albert Benveniste, Paul Le Guernic · IEEE Transactions on Automatic Control · 1990 · 219 citations

Engineering, Complex Systems, Formal Verification +17

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

Rows per page

1–5 of 37