Paul Le Guernic

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jean-Pierre Talpin

> Home > Persons > Paul Le Guernic

Publications

2023
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GautierGBT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GautierGBT23
Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin:
The polychronous model of computation and Kahn process networks. Sci. Comput. Program. 228: 102958 (2023)
2019
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/GautierGHGTB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/GautierGHGTB19
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): 677-697 (2019)
2016
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/BesnardGGGTLB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/BesnardGGGTLB16
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: 30-39
2015
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BesnardBGGMTY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BesnardBGGMTY15
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: 54-77 (2015)
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/NgoTGG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/NgoTGG15
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
Translation Validation for Clock Transformations in a Synchronous Compiler. FASE 2015: 171-185
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/scopes/NgoTGBG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scopes/NgoTGBG15
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: 109-112
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/GuernicGTB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/GuernicGTB15
Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard:
Polychronous Automata. TASE 2015: 95-102
2013
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/NgoTGGB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/NgoTGGB13
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): 598-616 (2013)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/YuMGBTGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/YuMGBTGS13
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): 627-649 (2013)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/YuMGBGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/YuMGBGT13
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): 1157-1170 (2013)
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/date/MaYGGTBH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/MaYGGTBH13
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: 1173-1178
2012
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/TalpinOGBG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TalpinOGBG12
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic:
Compositional design of isochronous systems. Sci. Comput. Program. 77(2): 113-128 (2012)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/NgoTGGB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/NgoTGGB12
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard:
Formal Verification of Compiler Transformations on Polychronous Equations. IFM 2012: 113-127
2011
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/YuTBGMG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/YuTBGMG11
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: 21-30
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/YuMGTBGGTL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/YuMGTBGGTL11
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: 354-359
2010
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/10/BesnardGGT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/10/BesnardGGT10
Loïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
Compilation of Polychronous Data Flow Equations. Synthesis of Embedded Software 2010: 1-40
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/10/GloucheGGT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/10/GloucheGGT10
Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
A Module Language for Typing SIGNAL Programs by Contracts. Synthesis of Embedded Software 2010: 147-171
2009
[c39]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/nfm/GloucheTGG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/GloucheTGG09
Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier:
A module language for typing by contracts. NASA Formal Methods 2009: 86-95
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GloucheGTG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GloucheGTG10
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier:
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. FACS@FMWeek 2009: 111-127
2008
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/date/TalpinOBG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/TalpinOBG08
Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic:
Compositional design of isochronous systems. DATE 2008: 928-933
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/MetivierTGG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/MetivierTGG08
Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56
2007
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/GamatieGGT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/GamatieGGT07
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
Polychronous design of embedded real-time applications. ACM Trans. Softw. Eng. Methodol. 16(2): 9 (2007)
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OuyTBG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OuyTBG08
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic:
Separate Compilation of Polychronous Specifications. FMGALS@MEMOCODE 2007: 51-70
2006
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/TalpinG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/TalpinG06
Jean-Pierre Talpin, Paul Le Guernic:
An algebraic theory for behavioral modeling and protocol synthesis in system design. Formal Methods Syst. Des. 28(2): 131-151 (2006)
2005
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ijpp/TalpinGSG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpp/TalpinGSG05
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): 613-643 (2005)
2004
[j12]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/TalpinGSDG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/TalpinGSDG04
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): 243-273 (2004)
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/TalpinBSGGG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/TalpinBSGGG04
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: 47-56
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/cases/BernerTGS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cases/BernerTGS04
David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla:
Modular design through component abstraction. CASES 2004: 202-211
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/date/MousaviGTSB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/MousaviGTSB04
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: 384-389
2003
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jcsc/GuernicTL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcsc/GuernicTL03
Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann:
POLYCHRONY for System Design. J. Circuits Syst. Comput. 12(3): 261-304 (2003)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/TalpinGSGD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/TalpinGSGD03
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: 9-19
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/date/TalpinGSGD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/TalpinGSGD03
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet:
Polychrony for Refinement-Based Design. DATE 2003: 11172-11173
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/fidji/TalpinGBDG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fidji/TalpinGBDG03
Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic:
Hard Real-Time Implementation of Embedded Software in JAVA. FIDJI 2003: 33-47
2002
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/BenvenisteCGMTT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/BenvenisteCGMTT02
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis:
A Protocol for Loosely Time-Triggered Architectures. EMSOFT 2002: 252-265
2000
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/WangTBGI00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/WangTBGI00
Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic:
A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. ISORC 2000: 96-103
1999
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/NowakTG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/NowakTG99
David Nowak, Jean-Pierre Talpin, Paul Le Guernic:
Synchronous Structures. CONCUR 1999: 494-509
1997
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/NowakTGG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/NowakTGG97
David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
An ML-Like Module System for the Synchronous Language SIGNAL. Euro-Par 1997: 1244-1253

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.