Publications de Loic Besnard

Load the BibTeX file

Thèses de doctorat

1. L. Besnard. Compilation de Signal: horloges, dépendances, environnements. Thèse de l'Université de Rennes I, IFSIC, Septembre 1992.

Articles de journaux

1. Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone, Loic Besnard, Jean-Pierre Talpin. From concurrent multi-clock programs to concurrent multi-threaded implementations. Fundamenta Informaticae, 2011.
2. Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loic Besnard, Paul Le Guernic. Compositional design of isochronous systems. Science of Computer Programming, 2010.

Chapitres de livres

1. Loic Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Compilation of Polychronous Data Flow Equations. In Synthesis of Embedded Software, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Springer, 2010.
2. A. Cortier, L. Besnard, J.-P. Bodeveix, J. Buisson, F. Dagnat, M. Filali, G. Garcia, J. Ouy, M. Pantel, A. Rugina, M. Strecker, J.-P. Talpin. Synoptic : a domain-specific modeling language for space on-board application software. In Synthesis of Embedded Software, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Springer, 2010.
3. L. Besnard, P. Bournai, T. Gautier, N. Halbwachs, S. Nadjm-Tehrani, A. Ressouche. Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example. In Intensional Programming II, Based on the Papers at ISLIP '99, M. Gergatsoulis, P. Rondogiannis (eds.), pp. 149-167, World Scientific, 2000.

Conférences internationales

1. Huafeng Yu, Jean-Pierre Talpin, Lo\"\ic Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic. Polychronous Controller Synthesis from MARTE CCSL Timing Specifications. In ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Cambridge, United Kingdom, Juillet 2011. download
2. Virginia Papailiopoulou, Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone, Loic Besnard, Jean-Pierre Talpin. From concurrent multi-clock programs to concurrent multi-threaded implementations. In Electronic System Level Synthesis Conference, San Diego, California, United States, Juin 2011. download
3. Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loic Besnard, Thierry Gautier, Paul Le Guernic, Andreas Toom, Odile Laurent. System-level Co-simulation of Integrated Avionics Using Polychrony. In ACM Symposium On Applied Computing, TaiChung, Taiwan, Province Of China, Mars 2011. download
4. Huafeng Yu, Jean-Pierre Talpin, Lo@c Besnard, Thierry Gautier, Frederic Mallet, Charles Andre, Robert De Simone. Polychronous Analysis of Timing Constraints in UML MARTE. In IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, Espagne Parador of Carmona, 2010.
5. Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loic Besnard, Alexandre Cortier. Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. In Proceedings of the 2010 10th International Conference on Application of Concurrency to System Design, ACSD '10, Pages 137-146, 2010.
6. Julio C. Peralta, Thierry Gautier, Loic Besnard, Paul Le Guernic. LTSs for translation validation of (multi-clocked) Signal specifications. In Proceedings of the 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Pages 199-208, 2010.
7. Kenneth Johnson, Loic Besnard, Thierry Gautier, Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. In Proceedings of the 2010 10th International Workshop on Automated Verification of Critical Systems, AVOCS '10, Pages 168-183, 2010.
8. L. Besnard, T. Gautier, M. Moy, J.-P. Talpin, K. Johnson, F. Maraninchi. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. In Ninth International Workshop on Automated Verification of Cirtical Systems (AVOCS'09), à paraître in Electronic Communications of the EASST, 2009.
9. Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard. An Interval-Based Solution for Static Analysis in the SIGNAL Language. In Fifteenth IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2008), Proceedings, Pages 182-190, Belfast, Northern Ireland, 2008.
10. Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic. Separate compilation of polychronous specifications. In Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007.
11. Loïc Besnard, Hervé Marchand, Eric Rutten. The Sigali Tool Box Environment. In WODES'06, 8th International Workshop on Discrete Event Systems, Sessions on Software Tools for DES, Ann Arbor, Michigan, USA, Juillet 2006.
12. Christian Brunette, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier. Modeling multi-clocked data-flow programs using the Generic Modeling Environment. In Synchronous Languages, Applications, and Programming, Elsevier, Mars 2006.
13. Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard. Automated translation of C/C++ programs into a synchronous formalism. In Engineering of Computer Based Systems, IEEE Press, Mars 2006.
14. L. Besnard, P. Bournai, T. Gautier, N. Halbwachs, S. Nadjm-Tehrani, A. Ressouche. Design of a multi-formalism application and distribution in a data-flow context: an example. In Proceedings of The 12th International Symposium on Languages for Intensional Programming, ISLIP' 99, NCSR Demokritos, Athens, Greece, Juin 1999.
15. T. Amagbegnon, L. Besnard, P. Le Guernic. Implementation of the Data-flow Synchronous Language Signal. In Programming Languages Design and Implementation, Pages 163-173, 1995.

Rapports de recherche

1. Virginia Papailiopoulou, Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone, Loic Besnard, Jean-Pierre Talpin. From concurrent multi-clock programs to concurrent multi-threaded implementations. Research Report INRIA, No 0, Mars 2011. download
2. Kenneth Johnson, Loic Besnard, Thierry Gautier, Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. Rapport de recherche INRIA, Juin 2010.
3. Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic. Compositional design of isochronous systems. 2007. download
4. T. Amagbegnon, L. Besnard, P. Le Guernic. Arborescent Canonical Form of Boolean Expressions. Rapport de recherche Inria, No 2290, Juin 1994.

Divers

1. F. Dupont, L. Besnard, J.-P Talpin. Outillage du langage de modélisation Synoptic en vue de la simulation. Deliverable SPa4, Projet ANR Spacify, 2009.
2. L. Besnard, T. Gautier, J.-P Talpin. Code generation strategies for Synoptic using the Polychrony platform. Deliverable SPa5b, Projet ANR Spacify, 2009.
3. L. Besnard, T. Gautier, P. Le Guernic. SIGNAL V4-INRIA version: Reference Manual. Mars 2004.
4. L. Besnard, T. Gautier, P. Le Guernic. SIGNAL V4-INRIA version: Reference Manual. Décembre 2002.
5. L. Besnard, T. Gautier, Q. Pan, C. Macabiau, Y. Sorel. SIGNAL-SynDEx translation, V1.0. Juin 2002.
6. L. Besnard, M. Moy, F. Maraninchi, J.-P. Talpin. 0. download

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Dernières modifications Thu Mar 1 13:57:53 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.