Loïc Besnard

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 Thierry Gautier

> Home > Persons > Loïc Besnard

Publications

2023
[j10]
- 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)
2021
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/samos/TranHBTGB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/samos/TranHBTGB21
Hai Nam Tran, Alexandre Honorat, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard:
A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs. SAMOS 2021: 259-271
2019
[j9]
- 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)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/TranHTGB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/TranHTGB19
Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard:
Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory. ICECCS 2019: 114-123
2017
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/rtns/HonoratTBGTB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/HonoratTBGTB17
Alexandre Honorat, Hai Nam Tran, Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin, Adnan Bouakaz:
ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems. RTNS 2017: 158-167
2016
[c18]
- 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
[j6]
- 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)
[c17]
- 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
[c16]
- 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
2014
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/SunBG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/SunBG14
Ke Sun, Loïc Besnard, Thierry Gautier:
Optimized distribution of synchronous programs via a polychronous model. MEMOCODE 2014: 42-51
2013
[j5]
- 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)
[j4]
- 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)
[j3]
- 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)
[c14]
- 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
[j2]
- 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)
[c13]
- 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
[c12]
- 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
[c11]
- 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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/TalpinOGBC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/TalpinOGBC10
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier:
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. ACSD 2010: 137-146
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/YuTBGMAS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/YuTBGMAS10
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone:
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops 2010: 145-151
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/PeraltaGBG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/PeraltaGBG10
Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic:
LTSs for translation validation of (multi-clocked) SIGNAL specifications. MEMOCODE 2010: 199-208
[p2]
- 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
2009
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BesnardGMTJM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BesnardGMTJM09
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi:
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1003-0554
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-0554
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat:
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software. FMA 2009: 80-87
2008
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/GamatieGB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/GamatieGB08
Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard:
An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS 2008: 182-190
2003
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GamatieGB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GamatieGB04
Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard:
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. SLAP 2003: 87-103

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.