Loïc Besnard

39 papers A* 1A 2B 2C 6Misc 3Journal 12Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Real-time Fixed Priority Scheduling Synthesis Using Affine DataFlow Graphs: from Theory to Practice.
ACM Trans. Embed. Comput. Syst.
Alexandre Honorat, Hai Nam Tran, Thierry Gautier, Loïc Besnard, Shuvra S. Bhattacharyya, Jean-Pierre Talpin
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
2021 — conf
A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs.
SAMOS
Hai Nam Tran, Alexandre Honorat, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard
2019 J jnl
A framework for automatic and parameterizable memoization.
SoftwareX
Loïc Besnard, Pedro Pinto, Imane Lasri, João Bispo, Erven Rohou, João M. P. Cardoso
2019 B conf
Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory.
ICECCS
Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard
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
2019 C conf
Supporting the Scale-Up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach.
PDP
Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, Loïc Besnard, João Bispo, Radim Cmar, João M. P. Cardoso, Carlo Cavazzoni, Daniele Cesarini, Stefano Cherubin, Federico Ficarelli, Davide Gadioli, Martin Golasowski, Imane Lasri, Antonio Libri, Candida Manelfi, Jan Martinovic, Gianluca Palermo, Pedro Pinto, Erven Rohou, Nico Sanna, Katerina Slaninová, Emanuele Vitali
2019 J jnl
The ANTAREX Domain Specific Language for High Performance Computing.
CoRR
Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, Loïc Besnard, João Bispo, Radim Cmar, João M. P. Cardoso, Carlo Cavazzoni, Daniele Cesarini, Stefano Cherubin, Federico Ficarelli, Davide Gadioli, Martin Golasowski, Antonio Libri, Jan Martinovic, Gianluca Palermo, Pedro Pinto, Erven Rohou, Katerina Slaninová, Emanuele Vitali
2019 J jnl
The ANTAREX domain specific language for high performance computing.
Microprocess. Microsystems
Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, Loïc Besnard, João Bispo, Radim Cmar, João M. P. Cardoso, Carlo Cavazzoni, Daniele Cesarini, Stefano Cherubin, Federico Ficarelli, Davide Gadioli, Martin Golasowski, Antonio Libri, Jan Martinovic, Gianluca Palermo, Emanuele Vitali
2019 — conf
Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog.
SKG
Muhammad Amjad Hafiz, Kai Hu, Jianwei Niu, Noor Khan, Loïc Besnard, Jean-Pierre Talpin
2018 C conf
ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing.
DSD
Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, Loïc Besnard, João Bispo, Radim Cmar, João M. P. Cardoso, Carlo Cavazzoni, Stefano Cherubin, Davide Gadioli, Martin Golasowski, Imane Lasri, Jan Martinovic, Gianluca Palermo, Pedro Pinto, Erven Rohou, Nico Sanna, Katerina Slaninová, Emanuele Vitali
2018 — conf
Autotuning and adaptivity in energy efficient HPC systems: the ANTAREX toolbox.
CF
Cristina Silvano, Gianluca Palermo, Giovanni Agosta, Amir H. Ashouri, Davide Gadioli, Stefano Cherubin, Emanuele Vitali, Luca Benini, Andrea Bartolini, Daniele Cesarini, João M. P. Cardoso, João Bispo, Pedro Pinto, Ricardo Nobre, Erven Rohou, Loïc Besnard, Imane Lasri, Nico Sanna, Carlo Cavazzoni, Radim Cmar, Jan Martinovic, Katerina Slaninová, Martin Golasowski, Andrea Rosario Beccari, Candida Manelfi
2017 Misc conf
ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems.
RTNS
Alexandre Honorat, Hai Nam Tran, Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin, Adnan Bouakaz
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
2014 C conf
Optimized distribution of synchronous programs via a polychronous model.
MEMOCODE
Ke Sun, Loïc Besnard, Thierry Gautier
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.
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
2010 — conf
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment.
ACSD
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier
2010 — conf
Polychronous Analysis of Timing Constraints in UML MARTE.
ISORC Workshops
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
2010 — ch.
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.
Synthesis of Embedded Software
Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, Mamoun Filali, Gérald Garcia, Julien Ouy, Marc Pantel, Ana-Elena Rugina, Martin Strecker, Jean-Pierre Talpin
2009 J jnl
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi
2009 — conf
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
FMA
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
2008 — conf
An Interval-Based Solution for Static Analysis in the SIGNAL Language.
ECBS
Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard
2008 A conf
Compositional design of isochronous systems.
DATE
Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic
2007 — conf
Separate Compilation of Polychronous Specifications.
FMGALS@MEMOCODE
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic
2006 — conf
Automated Translation of C/C++ Models into a Synchronous Formalism.
ECBS
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard
2003 — conf
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL.
SLAP
Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard
1995 A* conf
Implementation of the Data-Flow Synchronous Language SIGNAL.
PLDI
Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic