Paul Le Guernic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
19
Active years
1988–2015
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | FASE | Translation Validation for Clock Transformations in a Synchronous Compiler. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
| 2015 | SCOPES | Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loc Besnard, Paul Le Guernic |
| 2015 | TASE | Polychronous Automata. | Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loc Besnard |
| 2013 | DATE | Toward polychronous analysis and validation for timed software architectures in AADL. | Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loc Besnard, Maurice Heitz |
| 2012 | IFM | Formal Verification of Compiler Transformations on Polychronous Equations. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loc Besnard |
| 2011 | MEMOCODE | Polychronous controller synthesis from MARTE CCSL timing specifications. | Huafeng Yu, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Herv Marchand, Paul Le Guernic |
| 2011 | SAC | System-level co-simulation of integrated avionics using polychrony. | Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent |
| 2010 | MEMOCODE | LTSs for translation validation of (multi-clocked) SIGNAL specifications. | Julio C. Peralta, Thierry Gautier, Loc Besnard, Paul Le Guernic |
| 2008 | DATE | Compositional design of isochronous systems. | Jean-Pierre Talpin, Julien Ouy, Loc Besnard, Paul Le Guernic |
| 2004 | CASES | Modular design through component abstraction. | David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla |
| 2004 | DATE | Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. | Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten |
| 2003 | DATE | Polychrony for Refinement-Based Design. | Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet |
| 2002 | EMSOFT | A Protocol for Loosely Time-Triggered Architectures. | Albert Benveniste, Paul Caspi, Paul Le Guernic, Herv Marchand, Jean-Pierre Talpin, Stavros Tripakis |
| 2000 | ISORC | A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. | Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic |
| 1999 | CONCUR | From Synchrony to Asynchrony. | Albert Benveniste, Benot Caillaud, Paul Le Guernic |
| 1999 | CONCUR | Synchronous Structures. | David Nowak, Jean-Pierre Talpin, Paul Le Guernic |
| 1999 | FM | Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. | Irina M. Smarandache, Thierry Gautier, Paul Le Guernic |
| 1998 | SMC | A design environment for discrete-event controllers based on the SIGNAL language. | Herv Marchand, Patricia Bournai, M. Leborgne, Paul Le Guernic |
| 1997 | EuroPar | An ML-Like Module System for the Synchronous Language SIGNAL. | David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
| 1995 | PLDI | Implementation of the Data-Flow Synchronous Language SIGNAL. | Pascalin Amagbgnon, Loc Besnard, Paul Le Guernic |
| 1993 | SAS | Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. | Olivier Maffes, Paul Le Guernic |
| 1992 | ESOP | SIGNAL as a Model for Real-Time and Hybrid Systems. | Albert Benveniste, Michel Le Borgne, Paul Le Guernic |
| 1991 | CCC | The SIGNAL programming environment. | Paul Le Guernic |
| 1988 | STACS | The Granules, Blutton: An Idea, an Algorithm to Implement on Multiprocessor. | B. Le Goff, Paul Le Guernic |