Paul Le Guernic

74 papers A* 1A 6B 5C 4Misc 4Journal 23Unranked 28
YearRankTypeTitle / Venue / Authors
2023 J jnl
The polychronous model of computation and Kahn process networks.
Sci. Comput. Program.
Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin
2019 J jnl
Polychronous automata and their use for formal validation of AADL models.
Frontiers Comput. Sci.
Thierry Gautier, Clément Guy, Alexandre Honorat, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard
2016 — conf
Formal semantics of behavior specifications in the architecture analysis and design language standard.
HLDVT
Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde
2015 C conf
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.
SCOPES
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard, Paul Le Guernic
2015 Misc conf
Polychronous Automata.
TASE
Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard
2015 J jnl
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.
Sci. Comput. Program.
Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu
2015 B conf
Translation Validation for Clock Transformations in a Synchronous Compiler.
FASE
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
2013 J jnl
Exploring system architectures in AADL via Polychrony and SynDEx.
Frontiers Comput. Sci.
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel
2013 J jnl
Formal verification of synchronous data-flow program transformations toward certified compilers.
Frontiers Comput. Sci.
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
2013 J jnl
Polychronous modeling, analysis, verification and simulation for timed software architectures.
J. Syst. Archit.
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin
2013 A conf
Toward polychronous analysis and validation for timed software architectures in AADL.
DATE
Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz
2012 J jnl
Compositional design of isochronous systems.
Sci. Comput. Program.
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic
2012 B conf
Formal Verification of Compiler Transformations on Polychronous Equations.
IFM
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
2011 C conf
Polychronous controller synthesis from MARTE CCSL timing specifications.
MEMOCODE
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic
2011 Misc conf
System-level co-simulation of integrated avionics using polychrony.
SAC
Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent
2010 — ch.
A Module Language for Typing SIGNAL Programs by Contracts.
Synthesis of Embedded Software
Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
2010 — ch.
Compilation of Polychronous Data Flow Equations.
Synthesis of Embedded Software
Loïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
2010 C conf
LTSs for translation validation of (multi-clocked) SIGNAL specifications.
MEMOCODE
Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic
2009 — conf
A Boolean Algebra of Contracts for Assume-guarantee Reasoning.
FACS@FMWeek
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier
2009 — conf
A module language for typing by contracts.
NASA Formal Methods
Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier
2008 — conf
Analysis of Periodic Clock Relations in Polychronous Systems.
DIPES
Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
2008 A conf
Compositional design of isochronous systems.
DATE
Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic
2007 J jnl
Polychronous design of embedded real-time applications.
ACM Trans. Softw. Eng. Methodol.
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
2007 — conf
Separate Compilation of Polychronous Specifications.
FMGALS@MEMOCODE
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic
2006 J jnl
An algebraic theory for behavioral modeling and protocol synthesis in system design.
Formal Methods Syst. Des.
Jean-Pierre Talpin, Paul Le Guernic
2006 J jnl
Synchronous design of avionic applications based on model refinement.
J. Embed. Comput.
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic
2005 J jnl
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.
Int. J. Parallel Program.
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta
2004 — conf
A Behavioral Type Inference System for Compositional System-on-Chip Design.
ACSD
Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta
2004 J jnl
Formal Refinement Checking in a System-level Design Methodology.
Fundam. Informaticae
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta
2004 A conf
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
DATE
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten
2004 Misc conf
Modular design through component abstraction.
CASES
David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla
2003 — conf
Hard Real-Time Implementation of Embedded Software in JAVA.
FIDJI
Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic
2003 J jnl
POLYCHRONY for System Design.
J. Circuits Syst. Comput.
Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann
2003 — conf
Polychrony for Formal Refinement-Checking in a System-Level Design Methodology.
ACSD
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
2003 A conf
Polychrony for Refinement-Based Design.
DATE
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
2003 J jnl
The synchronous languages 12 years later.
Proc. IEEE
Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
2002 Misc conf
A Protocol for Loosely Time-Triggered Architectures.
EMSOFT
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
2001 J jnl
Modeling statecharts and activitycharts as signal equations.
ACM Trans. Softw. Eng. Methodol.
Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang
2001 — conf
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design.
CDC
Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand
2000 C conf
A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.
ISORC
Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic
2000 J jnl
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation.
Inf. Comput.
Albert Benveniste, Benoît Caillaud, Paul Le Guernic
2000 J jnl
Synthesis of Discrete-Event Controllers Based on the Signal Environment.
Discret. Event Dyn. Syst.
Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic
1999 B conf
From Synchrony to Asynchrony.
CONCUR
Albert Benveniste, Benoît Caillaud, Paul Le Guernic
1999 B conf
Synchronous Structures.
CONCUR
David Nowak, Jean-Pierre Talpin, Paul Le Guernic
1999 — conf
Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.
World Congress on Formal Methods
Irina M. Smarandache, Thierry Gautier, Paul Le Guernic
1998 — conf
A Translation of Statecharts into Signal Approach of Time, Interoperability.
ACSD
Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier
1998 B conf
A design environment for discrete-event controllers based on the SIGNAL language.
SMC
Hervé Marchand, Patricia Bournai, M. Leborgne, Paul Le Guernic
1997 — conf
Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems.
ARTS
Irina M. Smarandache, Paul Le Guernic
1997 — conf
An ML-Like Module System for the Synchronous Language SIGNAL.
Euro-Par
David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
1997 — conf
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation.
COMPOS
Albert Benveniste, Paul Le Guernic, Pascal Aubry
1996 — conf
Synchronous Distribution of Signal Programs.
HICSS (1)
Pascal Aubry, Paul Le Guernic, Sylvain Machard
1995 J jnl
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems.
Theor. Comput. Sci.
Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
1995 A* conf
Implementation of the Data-Flow Synchronous Language SIGNAL.
PLDI
Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic
1995 — ch.
SIGNAL.
Formal Development of Reactive Systems
Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten
1995 — conf
Signal: A Formal Design Environment for Real-Time Systems.
TAPSOFT
Paul Le Guernic
1994 — conf
A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems.
FTRTFT
Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
1994 — conf
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems.
Hybrid Systems
Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
1994 — conf
Distributed Implementation of SIGNAL: Scheduling & Graph Clustering.
FTRTFT
Olivier Maffeïs, Paul Le Guernic
1994 — conf
From SIGNAL to fine-grain parallel implementations.
IFIP PACT
Olivier Maffeïs, Paul Le Guernic
1994 — conf
Towards a multi-formalism framework for architectural synthesis: the ASAR project.
CODES
Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, Patrice Quinton, Laurence Rideau, Frédéric Rousseau, Olivier Sentieys
1993 — conf
A framework for macro- and micro-time to model VHDL attributes.
EURO-DAC
Mohamed Belhadj, Roderick McConnell, Paul Le Guernic
1993 — conf
Combining Dependability with Architectural Adatability by Means of the SIGNAL Language.
WSA
Olivier Maffeïs, Paul Le Guernic
1993 — conf
Data-Flow Synchronous Languages.
REX School/Symposium
Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
1992 J jnl
A Denotational Theory of Synchronous Reactive Systems
Inf. Comput.
Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine
1992 — conf
Hybrid Systems: The SIGNAL Approach.
Hybrid Systems
Albert Benveniste, Michel Le Borgne, Paul Le Guernic
1992 A conf
SIGNAL as a Model for Real-Time and Hybrid Systems.
ESOP
Albert Benveniste, Michel Le Borgne, Paul Le Guernic
1991 J jnl
Programming real-time applications with SIGNAL.
Proc. IEEE
Paul Le Guernic, Thierry Gautier, Michel Le Borgne, Claude Le Maire
1991 J jnl
Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics.
Sci. Comput. Program.
Albert Benveniste, Paul Le Guernic, Christian Jacquemot
1991 — conf
The SIGNAL programming environment.
Algorithms and Parallel VLSI Architectures
Paul Le Guernic
1988 A conf
The Granules, Blutton: An Idea, an Algorithm to Implement on Multiprocessor.
STACS
B. Le Goff, Paul Le Guernic
1987 — conf
SIGNAL: A declarative language for synchronous programming of real-time systems.
FPCA
Thierry Gautier, Paul Le Guernic
1986 — conf
Programming Real-Time with Events and Data Flow.
IFIP Congress
Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai
1986 J jnl
Signal-A data flow-oriented language for signal processing.
IEEE Trans. Acoust. Speech Signal Process.
Paul Le Guernic, Albert Benveniste, Patricia Bournai, Thierry Gautier
1981 J jnl
Types in a Mixed Language System.
BIT
Philippe Darondeau, Paul Le Guernic, Michel Raynal