Loïc Besnard

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 13

Top Topics

Finite Automaton

Formal Semantics

High Performance Computing

Software Architecture

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)
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)
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)
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, Pedro Pinto, Imane Lasri, João Bispo, Erven Rohou, João M. P. Cardoso
A framework for automatic and parameterizable memoization. SoftwareX 10 (2019)
Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea R. 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
The ANTAREX domain specific language for high performance computing. Microprocess. Microsystems 68 (2019)
Muhammad Amjad Hafiz, Kai Hu, Jianwei Niu, Noor Khan, Loïc Besnard, Jean-Pierre Talpin
Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog. SKG (2019)
Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea R. 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
The ANTAREX Domain Specific Language for High Performance Computing. CoRR (2019)
Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea R. 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
Supporting the Scale-Up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach. PDP (2019)
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 R. Beccari, Candida Manelfi
Autotuning and adaptivity in energy efficient HPC systems: the ANTAREX toolbox. CF (2018)
Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea R. 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
ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing. DSD (2018)
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)
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, 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)
Ke Sun, Loïc Besnard, Thierry Gautier
Optimized distribution of synchronous programs via a polychronous model. MEMOCODE (2014)
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)
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)
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)
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)
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, G. Garcia, A. Rugina, Jérémy Buisson, Fabien Dagnat
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software FMA (2009)
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic
Separate Compilation of Polychronous Specifications. Electron. Notes Theor. Comput. Sci. 200 (1) (2008)
Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard
An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS (2008)
Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic
Compositional design of isochronous systems. DATE (2008)
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard
Automated Translation of C/C++ Models into a Synchronous Formalism. ECBS (2006)
Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. Electron. Notes Theor. Comput. Sci. 88 (2004)
Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic
Implementation of the Data-Flow Synchronous Language SIGNAL. PLDI (1995)