Paul Le Guernic

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formal verification of synchronous data-flow program transformations toward certified compilers Frontiers of Computer Science	2019-05-28	Paper
Compositional design of isochronous systems Science of Computer Programming	2012-10-24	Paper
An algebraic theory for behavioral modeling and protocol synthesis in system design Formal Methods in System Design	2006-09-28	Paper
A compositional behavioral modeling framework for embedded system design and conformance checking International Journal of Parallel Programming	2006-09-28	Paper
scientific article; zbMATH DE number 2112983 (Why is no real title available?)	2004-11-01	Paper
scientific article; zbMATH DE number 2017355 (Why is no real title available?)	2003-12-14	Paper
scientific article; zbMATH DE number 1836403 (Why is no real title available?)	2003-04-24	Paper
Compositionality in dataflow synchronous languages: Specification and distributed code generation Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1760146 (Why is no real title available?)	2002-11-06	Paper
Synthesis of discrete-event controllers based on the signal environment Discrete Event Dynamic Systems	2001-05-16	Paper
scientific article; zbMATH DE number 1487494 (Why is no real title available?)	2000-10-23	Paper
scientific article; zbMATH DE number 1361122 (Why is no real title available?)	1999-12-20	Paper
scientific article; zbMATH DE number 1361139 (Why is no real title available?)	1999-11-10	Paper
A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems Theoretical Computer Science	1997-09-09	Paper
scientific article; zbMATH DE number 493127 (Why is no real title available?)	1994-02-02	Paper
A denotational theory of synchronous reactive systems Information and Computation	1992-09-27	Paper
Synchronous programming with events and relations: The SIGNAL language and its semantics Science of Computer Programming	1992-06-28	Paper
Hybrid dynamical systems theory and the Signal language IEEE Transactions on Automatic Control	1990-01-01	Paper
scientific article; zbMATH DE number 4118230 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4013999 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3970103 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Paul Le Guernic