Paul Le Guernic

According to our database, Paul Le Guernic authored at least 73 papers between 1981 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

The polychronous model of computation and Kahn process networks.

Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin

Sci. Comput. Program., June, 2023

2019

Polychronous automata and their use for formal validation of AADL models.

Thierry Gautier, Clément Guy, Alexandre Honorat, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard

Frontiers Comput. Sci., 2019

2016

Formal semantics of behavior specifications in the architecture analysis and design language standard.

Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2015

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.

Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu

Sci. Comput. Program., 2015

Polychronous Automata.

Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard, Paul Le Guernic

Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015

Translation Validation for Clock Transformations in a Synchronous Compiler.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2013

Polychronous modeling, analysis, verification and simulation for timed software architectures.

Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin

J. Syst. Archit., 2013

Exploring system architectures in AADL via Polychrony and SynDEx.

Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel

Frontiers Comput. Sci., 2013

Formal verification of synchronous data-flow program transformations toward certified compilers.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard

Frontiers Comput. Sci., 2013

Toward polychronous analysis and validation for timed software architectures in AADL.

Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Compositional design of isochronous systems.

Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic

Sci. Comput. Program., 2012

Formal Verification of Compiler Transformations on Polychronous Equations.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

System-level co-simulation of integrated avionics using polychrony.

Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Polychronous controller synthesis from MARTE CCSL timing specifications.

Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

2010

LTSs for translation validation of (multi-clocked) SIGNAL specifications.

Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

A Module Language for Typing SIGNAL Programs by Contracts.

Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin

Proceedings of the Synthesis of Embedded Software, 2010

Compilation of Polychronous Data Flow Equations.

Loïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin

Proceedings of the Synthesis of Embedded Software, 2010

2009

A Boolean Algebra of Contracts for Assume-guarantee Reasoning.

Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

A module language for typing by contracts.

Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier

Proceedings of the First NASA Formal Methods Symposium, 2009

2008

Analysis of Periodic Clock Relations in Polychronous Systems.

Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic

Proceedings of the Distributed Embedded Systems: Design, 2008

Compositional design of isochronous systems.

Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Polychronous design of embedded real-time applications.

Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin

ACM Trans. Softw. Eng. Methodol., 2007

Separate Compilation of Polychronous Specifications.

Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic

Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007

2006

Synchronous design of avionic applications based on model refinement.

Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic

J. Embed. Comput., 2006

An algebraic theory for behavioral modeling and protocol synthesis in system design.

Jean-Pierre Talpin, Paul Le Guernic

Formal Methods Syst. Des., 2006

2005

A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.

Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta

Int. J. Parallel Program., 2005

2004

Formal Refinement Checking in a System-level Design Methodology.

Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta

Fundam. Informaticae, 2004

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.

Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten

Proceedings of the 2004 Design, 2004

Modular design through component abstraction.

David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla

Proceedings of the 2004 International Conference on Compilers, 2004

A Behavioral Type Inference System for Compositional System-on-Chip Design.

Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

The synchronous languages 12 years later.

Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone

Proc. IEEE, 2003

POLYCHRONY for System Design.

Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann

J. Circuits Syst. Comput., 2003

Hard Real-Time Implementation of Embedded Software in JAVA.

Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic

Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

Polychrony for Refinement-Based Design.

Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet

Proceedings of the 2003 Design, 2003

Polychrony for Formal Refinement-Checking in a System-Level Design Methodology.

Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

A Protocol for Loosely Time-Triggered Architectures.

Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis

Proceedings of the Embedded Software, Second International Conference, 2002

2001

Modeling statecharts and activitycharts as signal equations.

Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang

ACM Trans. Softw. Eng. Methodol., 2001

The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design.

Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation.

Albert Benveniste, Benoît Caillaud, Paul Le Guernic

Inf. Comput., 2000

Synthesis of Discrete-Event Controllers Based on the Signal Environment.

Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic

Discret. Event Dyn. Syst., 2000

A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.

Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999

Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.

Irina M. Smarandache, Thierry Gautier, Paul Le Guernic

Proceedings of the FM'99 - Formal Methods, 1999

Synchronous Structures.

David Nowak, Jean-Pierre Talpin, Paul Le Guernic

Proceedings of the CONCUR '99: Concurrency Theory, 1999

From Synchrony to Asynchrony.

Albert Benveniste, Benoît Caillaud, Paul Le Guernic

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

A design environment for discrete-event controllers based on the SIGNAL language.

Hervé Marchand, Patricia Bournai, M. Leborgne, Paul Le Guernic

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

A Translation of Statecharts into Signal Approach of Time, Interoperability.

Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

An ML-Like Module System for the Synchronous Language SIGNAL.

David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic

Proceedings of the Euro-Par '97 Parallel Processing, 1997

Compositionality in Dataflow Synchronous Languages: Specification and Code Generation.

Albert Benveniste, Paul Le Guernic, Pascal Aubry

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems.

Irina M. Smarandache, Paul Le Guernic

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

Synchronous Distribution of Signal Programs.

Pascal Aubry, Paul Le Guernic, Sylvain Machard

Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

1995

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems.

Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic

Theor. Comput. Sci., 1995

Signal: A Formal Design Environment for Real-Time Systems.

Paul Le Guernic

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Implementation of the Data-Flow Synchronous Language SIGNAL.

Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic

Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

SIGNAL.

Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

1994

From SIGNAL to fine-grain parallel implementations.

Olivier Maffeïs, Paul Le Guernic

Proceedings of the Parallel Architectures and Compilation Techniques, 1994

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems.

Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic

Proceedings of the Hybrid Systems II, 1994

Distributed Implementation of SIGNAL: Scheduling & Graph Clustering.

Olivier Maffeïs, Paul Le Guernic

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Towards a multi-formalism framework for architectural synthesis: the ASAR project.

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

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1993

Combining Dependability with Architectural Adatability by Means of the SIGNAL Language.

Olivier Maffeïs, Paul Le Guernic

Proceedings of the Static Analysis, Third International Workshop, 1993

Data-Flow Synchronous Languages.

Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

A framework for macro- and micro-time to model VHDL attributes.

Mohamed Belhadj, Roderick McConnell, Paul Le Guernic

Proceedings of the European Design Automation Conference 1993, 1993

1992

A Denotational Theory of Synchronous Reactive Systems

Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine

Inf. Comput., August, 1992

Hybrid Systems: The SIGNAL Approach.

Albert Benveniste, Michel Le Borgne, Paul Le Guernic

Proceedings of the Hybrid Systems, 1992

SIGNAL as a Model for Real-Time and Hybrid Systems.

Albert Benveniste, Michel Le Borgne, Paul Le Guernic

Proceedings of the ESOP '92, 1992

1991

Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics.

Albert Benveniste, Paul Le Guernic, Christian Jacquemot

Sci. Comput. Program., 1991

Programming real-time applications with SIGNAL.

Paul Le Guernic, Thierry Gautier, Michel Le Borgne, Claude Le Maire

Proc. IEEE, 1991

The SIGNAL programming environment.

Paul Le Guernic

Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

1988

The Granules, Blutton: An Idea, an Algorithm to Implement on Multiprocessor.

B. Le Goff, Paul Le Guernic

Proceedings of the STACS 88, 1988

1987

SIGNAL: A declarative language for synchronous programming of real-time systems.

Thierry Gautier, Paul Le Guernic

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986

Signal-A data flow-oriented language for signal processing.

Paul Le Guernic, Albert Benveniste, Patricia Bournai, Thierry Gautier

IEEE Trans. Acoust. Speech Signal Process., 1986

Programming Real-Time with Events and Data Flow.

Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai

Proceedings of the Information Processing 86, 1986

1981

Types in a Mixed Language System.

Philippe Darondeau, Paul Le Guernic, Michel Raynal

BIT, 1981