Loïc Besnard

According to our database¹, Loïc Besnard authored at least 38 papers between 1995 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

The polychronous model of computation and Kahn process networks.

[BibT_eX]

[DOI]

Sci. Comput. Program., June, 2023

2021

A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs.

[BibT_eX]

[DOI]

Hai Nam Tran

Alexandre Honorat

Shuvra S. Bhattacharyya

Jean-Pierre Talpin

Thierry Gautier

Loïc Besnard

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

2019

A framework for automatic and parameterizable memoization.

[BibT_eX]

[DOI]

SoftwareX, 2019

The ANTAREX domain specific language for high performance computing.

[BibT_eX]

[DOI]

Cristina Silvano

Giovanni Agosta

Andrea Bartolini

Andrea Rosario Beccari

Microprocess. Microsystems, 2019

Polychronous automata and their use for formal validation of AADL models.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2019

The ANTAREX Domain Specific Language for High Performance Computing.

[BibT_eX]

[DOI]

CoRR, 2019

Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Semantics, Knowledge and Grids, 2019

Supporting the Scale-Up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach.

[BibT_eX]

[DOI]

Proceedings of the 27th Euromicro International Conference on Parallel, 2019

Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Autotuning and adaptivity in energy efficient HPC systems: the ANTAREX toolbox.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017

ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

2016

Formal semantics of behavior specifications in the architecture analysis and design language standard.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2015

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Polychronous Automata.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.

[BibT_eX]

[DOI]

Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015

2014

Optimized distribution of synchronous programs via a polychronous model.

[BibT_eX]

[DOI]

Ke Sun

Loïc Besnard

Thierry Gautier

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2013

Polychronous modeling, analysis, verification and simulation for timed software architectures.

[BibT_eX]

[DOI]

J. Syst. Archit., 2013

Exploring system architectures in AADL via Polychrony and SynDEx.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2013

Formal verification of synchronous data-flow program transformations toward certified compilers.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2013

Toward polychronous analysis and validation for timed software architectures in AADL.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Compositional design of isochronous systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Formal Verification of Compiler Transformations on Polychronous Equations.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

System-level co-simulation of integrated avionics using polychrony.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Polychronous controller synthesis from MARTE CCSL timing specifications.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

2010

LTSs for translation validation of (multi-clocked) SIGNAL specifications.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Polychronous Analysis of Timing Constraints in UML MARTE.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.

[BibT_eX]

[DOI]

Proceedings of the Synthesis of Embedded Software, 2010

Compilation of Polychronous Data Flow Equations.

[BibT_eX]

[DOI]

Proceedings of the Synthesis of Embedded Software, 2010

2009

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

[BibT_eX]

[DOI]

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008

An Interval-Based Solution for Static Analysis in the SIGNAL Language.

[BibT_eX]

[DOI]

Abdoulaye Gamatié

Thierry Gautier

Loïc Besnard

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

Compositional design of isochronous systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Separate Compilation of Polychronous Specifications.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007

2006

Automated Translation of C/C++ Models into a Synchronous Formalism.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

2003

Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL.

[BibT_eX]

[DOI]

Abdoulaye Gamatié

Thierry Gautier

Loïc Besnard

Proceedings of the Synchronous Languages, Applications and Programming, 2003

1995

Implementation of the Data-Flow Synchronous Language SIGNAL.

[BibT_eX]

[DOI]

Pascalin Amagbégnon

Loïc Besnard

Paul Le Guernic

Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

Loïc Besnard

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...