Paul Le Guernic

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 3

Top Topics

Formal Semantics

Software Architecture

Finite Automaton

Top Venues

Frontiers Comput. Sci.

Sci. Comput. Program.

Publications

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