Loc Besnard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
12
Active years
1995–2019
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICECCS | Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory. | Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loc Besnard |
| 2019 | PDP | Supporting the Scale-Up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach. | Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, Loc Besnard, Joo Bispo, Radim Cmar, Joo 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 |
| 2018 | DSD | ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing. | Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, Loc Besnard, Joo Bispo, Radim Cmar, Joo 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 |
| 2017 | RTNS | ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems. | Alexandre Honorat, Hai Nam Tran, Loc Besnard, Thierry Gautier, Jean-Pierre Talpin, Adnan Bouakaz |
| 2015 | SCOPES | Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loc Besnard, Paul Le Guernic |
| 2015 | TASE | Polychronous Automata. | Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loc Besnard |
| 2014 | MEMOCODE | Optimized distribution of synchronous programs via a polychronous model. | Ke Sun, Loc Besnard, Thierry Gautier |
| 2013 | DATE | Toward polychronous analysis and validation for timed software architectures in AADL. | Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loc Besnard, Maurice Heitz |
| 2012 | IFM | Formal Verification of Compiler Transformations on Polychronous Equations. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loc Besnard |
| 2011 | MEMOCODE | Polychronous controller synthesis from MARTE CCSL timing specifications. | Huafeng Yu, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Herv Marchand, Paul Le Guernic |
| 2011 | SAC | System-level co-simulation of integrated avionics using polychrony. | Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent |
| 2010 | ISORC | Polychronous Analysis of Timing Constraints in UML MARTE. | Huafeng Yu, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Frdric Mallet, Charles Andr, Robert de Simone |
| 2010 | MEMOCODE | LTSs for translation validation of (multi-clocked) SIGNAL specifications. | Julio C. Peralta, Thierry Gautier, Loc Besnard, Paul Le Guernic |
| 2008 | DATE | Compositional design of isochronous systems. | Jean-Pierre Talpin, Julien Ouy, Loc Besnard, Paul Le Guernic |
| 1995 | PLDI | Implementation of the Data-Flow Synchronous Language SIGNAL. | Pascalin Amagbgnon, Loc Besnard, Paul Le Guernic |