Loïc Besnard

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

Collaborative distances:

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.
Sci. Comput. Program., June, 2023

2021
A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs.
Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

2019
A framework for automatic and parameterizable memoization.
SoftwareX, 2019

The ANTAREX domain specific language for high performance computing.
Microprocess. Microsystems, 2019

Polychronous automata and their use for formal validation of AADL models.
Frontiers Comput. Sci., 2019

The ANTAREX Domain Specific Language for High Performance Computing.
CoRR, 2019

Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog.
Proceedings of the 15th International Conference on Semantics, Knowledge and Grids, 2019


Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory.
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.
Proceedings of the 21st Euromicro Conference on Digital System Design, 2018


2017
ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems.
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.
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.
Sci. Comput. Program., 2015

Polychronous Automata.
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.
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015

2014
Optimized distribution of synchronous programs via a polychronous model.
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.
J. Syst. Archit., 2013

Exploring system architectures in AADL via Polychrony and SynDEx.
Frontiers Comput. Sci., 2013

Formal verification of synchronous data-flow program transformations toward certified compilers.
Frontiers Comput. Sci., 2013

Toward polychronous analysis and validation for timed software architectures in AADL.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Compositional design of isochronous systems.
Sci. Comput. Program., 2012

Formal Verification of Compiler Transformations on Polychronous Equations.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011
System-level co-simulation of integrated avionics using polychrony.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Polychronous controller synthesis from MARTE CCSL timing specifications.
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.
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.
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.
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.
Proceedings of the Synthesis of Embedded Software, 2010

Compilation of Polychronous Data Flow Equations.
Proceedings of the Synthesis of Embedded Software, 2010

2009
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
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.
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.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Separate Compilation of Polychronous Specifications.
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.
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.
Proceedings of the Synchronous Languages, Applications and Programming, 2003

1995
Implementation of the Data-Flow Synchronous Language SIGNAL.
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995


  Loading...