Paul Le Guernic - Concepedia

Author

Paul Le Guernic

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

Also Known As

David Berner, Le Guernic, Paul, P. Le Guernic, P. Le. Guernic, Paul Guernic, Paul Le Guernic, Rajesh Gupta

180

Publications

3.6K

Citations

H-Index

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numérique Institut de Recherche en Informatique et Systèmes Aléatoires Centre National de la Recherche Scientifique Signal Processing (United States)Embedded Systems (United States)

About

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

#	Concept	H-Index	Publications	Citations
1	Engineering	17	28	2.6K
2	Computer Science	15	20	2.3K
3	Computer Engineering	13	17	1.6K
4	Language Studies	1	1	922
5	Intellectual Property	1	1	229

Paul Le Guernic

Publications

2.7K

Citations

H-Index

Page 1

	Year	Citations
The synchronous languages 12 years later Albert Benveniste, P. Caspi, Stephen A. Edwards, Proceedings of the IEEE Special SectionEngineeringEmbedded SystemsClock SynchronizationFormal Verification	2003	922
Synchronous programming with events and relations: the SIGNAL language and its semantics Albert Benveniste, Paul Le Guernic, C. Jacquemot Science of Computer Programming EngineeringOperational SemanticsAutomated ReasoningSignal LanguageEvent-driven Programming	1991	297
POLYCHRONY for System Design Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann Journal of Circuits Systems and Computers Hardware ModelingEngineeringHardware Verification LanguageComputer ArchitectureSystem-level Design	2003	229
Hybrid dynamical systems theory and the Signal language Albert Benveniste, Paul Le Guernic IEEE Transactions on Automatic Control EngineeringComplex SystemsFormal VerificationSynchronization ProtocolSignal Language	1990	219
Synthesis of Discrete-Event Controllers Based on the Signal Environment Hervé Marchand, P. Bournai, Michel Le Borgne, Discrete Event Dynamic Systems EngineeringDiscrete Event SystemSignal EnvironmentAutomationProcess Control	2000	144
Signal--A data flow-oriented language for signal processing Paul Le Guernic, Albert Benveniste, P. Bournai, IEEE Transactions on Acoustics Speech and Signal Processing EngineeringComputer ArchitectureSide Effect-free LanguageParallel SoftwareParallel Computing	1986	138
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation Albert Benveniste, Benoı̂t Caillaud, Paul Le Guernic Information and Computation EngineeringData FlowProgram AnalysisCompiler TechnologyCode Generation	2000	131
Implementation of the data-flow synchronous language SIGNAL Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic EngineeringCompiler TechnologyVerificationSoftware AnalysisFormal Verification	1995	103
Synchronous distribution of SIGNAL programs Pascal Aubry, Paul Le Guernic, S. Machard EngineeringVerificationSoftware EngineeringClock SynchronizationSoftware Analysis	1996	32
Data-flow to Von Neumann : the SIGNAL approach Paul Le Guernic, Thierry Gautier Experimental Brain Research	1990	32

Page 1