Paul Le Guernic

Available identifiers

zbMath Open le-guernic.paulMaRDI QIDQ456401

List of research outcomes

Publication	Date of Publication	Type
Formal verification of synchronous data-flow program transformations toward certified compilers	2019-05-28	Paper
Compositional design of isochronous systems	2012-10-24	Paper
An algebraic theory for behavioral modeling and protocol synthesis in system design	2006-09-28	Paper
A compositional behavioral modeling framework for embedded system design and conformance checking	2006-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4824482	2004-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4439585	2003-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4782088	2003-04-24	Paper
Compositionality in dataflow synchronous languages: Specification and distributed code generation	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4537134	2002-11-06	Paper
Synthesis of discrete-event controllers based on the signal environment	2001-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4493903	2000-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4270056	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4270076	1999-11-10	Paper
A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems	1997-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4276379	1994-02-02	Paper
A denotational theory of synchronous reactive systems	1992-09-27	Paper
Synchronous programming with events and relations: The SIGNAL language and its semantics	1992-06-28	Paper
Hybrid dynamical systems theory and the Signal language	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4732353	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3026316	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3736900	1986-01-01	Paper

Research outcomes over time

This page was built for person: Paul Le Guernic