Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Jean-Luc BECHENNEC

CHERCHEUR

Chargé de Recherche CNRS

Equipe : STR.

: Jean-Luc.Bechennecatls2n.fr

: +33 (0)2 40 37 69 81

Adresse :

Centrale Nantes ( CN )
Petit Port
1, rue de la Noë
BP 92101
44321 NANTES Cedex 3

Batiment S, étage 5, bureau 521



Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [3] K. Tigori, J. Béchennec, S. Faucou, O. Roux. Formal Model-Based Synthesis of Application-Specific Static RTOS. In ACM Transactions on Embedded Computing Systems (TECS) ; éd. ACM, 2017, vol. 16, num. 4.
      https://hal.archives-ouvertes.fr/hal-01713063
    • [4] S. Cotard, A. Queudet, J. Béchennec, S. Faucou, Y. Trinquet. STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems. In ACM Transactions on Embedded Computing Systems (TECS) ; éd. ACM, 2015, vol. 14, num. 4.
      https://hal.archives-ouvertes.fr/hal-01713171
    • [5] R. Kassem, M. Briday, J. Béchennec, G. Savaton, Y. Trinquet. Harmless, a Hardware Architecture Description Language Dedicated to Real-Time Embedded System Simulation. In Journal of Systems Architecture ; éd. Elsevier, 2012, vol. 58, num. 8.
      https://hal.archives-ouvertes.fr/hal-00768517

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [7] K. Boukir, J. Béchennec, A. Déplanche. Requirement specification and model-checking of a real-time scheduler implementation. In 28th International Conference on Real-Time and Network Systems (RTNS 2020), juin 2020, Paris, France.
      https://hal.archives-ouvertes.fr/hal-02941350
    • [8] J. Lagha, J. Béchennec, S. Faucou, O. Roux. Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems Validation. In VALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle, octobre 2020, Lisbon, Portugal.
      https://hal-cnrs.archives-ouvertes.fr/hal-03006791
    • [9] J. Béchennec, D. Lime, O. Roux. Control of DES with Urgency, Avoidability and Ineluctability. In 19th International Conference on Application of Concurrency to System Design (ACSD 2019), juin 2019, Aachen, Allemagne.
      https://hal.archives-ouvertes.fr/hal-02415301
    • [10] J. Béchennec, D. Lime, H. Roux. Contrôle des SED avec urgence,évitabilité et inéluctabilité. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, novembre 2019, Angers, France.
      https://hal.archives-ouvertes.fr/hal-02432148v2
    • [11] D. Solet, J. Béchennec, M. Briday, S. Faucou, S. Pillement. HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems. In 2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), août 2018, Edinburgh, Royaume-Uni.
      https://hal.archives-ouvertes.fr/hal-01804096
    • [12] D. Solet, M. Briday, J. Béchennec, S. Faucou, S. Pillement. Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. In 14th European Dependable Computing Conference (EDCC), septembre 2018, Iasi, Roumanie.
      https://hal.archives-ouvertes.fr/hal-01874233
    • [13] K. Boukir, J. Béchennec, A. Déplanche. Formal approach for a verified implementation of Global EDF in Trampoline. In 26th International Conference on Real-Time Networks and Systems, octobre 2018, Chasseneuil-du-Poitou, France.
      https://hal.archives-ouvertes.fr/hal-02004671
    • [14] K. Boukir, J. Béchennec, A. Déplanche. Reducing the gap between theory and practice: towards a proven implementation of Global-EDF in Trampoline. In JRWRTC 2017 - 11th Junior Researcher Workshop on Real-Time Computing, octobre 2017, Grenoble, France.
      https://hal.archives-ouvertes.fr/hal-01708851
    • [15] A. Mangean, J. Béchennec, M. Briday, S. Faucou. WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction. In Verification and Evaluation of Computer and Communication Systems. VECoS 2017, août 2017, Montréal, Canada.In Kamel Barkaoui (éds.), . Springer, 2017.
      https://hal.archives-ouvertes.fr/hal-01713094
    • [16] D. Solet, J. Béchennec, M. Briday, S. Faucou, S. Pillement. Hardware runtime verification of embedded software in SoPC. In 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), mai 2016, Cracovie, Pologne.
      https://hal.archives-ouvertes.fr/hal-01307973
    • [17] L. Givel, J. Béchennec, M. Brun, S. Faucou, O. Roux. Testing real-time embedded software using runtime enforcement. In 11th IEEE International Symposium on Industrial Embedded Systems, IEEE SIES 2016, mai 2016, Krakow, Pologne.
      https://hal.archives-ouvertes.fr/hal-01399909
    • [18] A. Mangean, J. Béchennec, M. Briday, S. Faucou. BEST: a Binary Executable Slicing Tool. In 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), juillet 2016, Toulouse, France.In Martin Schoeberl (éds.), . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016.
      https://hal.archives-ouvertes.fr/hal-01713140
    • [19] K. Tigori, J. Béchennec, O. Roux. Formal Synthesis of Optimal RTOS. In 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems., août 2015, New York, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01413492
    • [20] K. Tigori, J. Béchennec, S. Faucou, O. Roux. Using formal methods for the development of safe application-specific RTOS for automotive systems. In CARS 2015 - Critical Automotive applications: Robustness & Safety, septembre 2015, Paris, France.In Matthieu Roy (éds.), . , 2015.
      https://hal.archives-ouvertes.fr/hal-01193023
    • [21] K. Gautier Tigori, J. Béchennec, O. Roux. Approche formelle pour la spécialisation de systèmes d'exploitation temps réel. In Modélisation des Systèmes Réactifs (MSR 2015), novembre 2015, Nancy, France.In Stephan Merz and Jean-François Pétin (éds.), . , 2015.
      https://hal.inria.fr/hal-01224465
    • [22] J. Tanguy, J. Béchennec, M. Briday, O. Roux. Reactive Embedded Device Driver Synthesis using Logical Timed Models. In 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), août 2014, Vienne, Autriche.
      https://hal.archives-ouvertes.fr/hal-01142411
    • [23] J. Tanguy, J. Béchennec, M. Briday, S. Dubé, O. Roux. Device driver synthesis for embedded systems. In 18th IEEE International Conference on Emerging Technologies & Factory Automation, septembre 2013, Cagliari, Italie.
      https://hal.archives-ouvertes.fr/hal-00942323
    • [24] A. Bullich, M. Briday, J. Béchennec, Y. Trinquet. A compiled Cycle Accurate Simulation for Hardware Architecture. In 5th International Conference on Advances in System Simulation - SIMUL 2013, octobre 2013, VENICE, Italie.
      https://hal.archives-ouvertes.fr/hal-00943401
    • [25] S. Faucou, S. Cotard, J. Béchennec, A. Queudet, Y. Trinquet. A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR. In 2012 IEEE 14th Int'l Conf. on High Performance Computing and Communication (HPCC) & 2012 IEEE 9th Int'l Conf. on Embedded Software and Systems (ICESS), juin 2012, Liverpool, Royaume-Uni.
      https://hal.archives-ouvertes.fr/hal-01713202
    • [26] G. Savaton, J. Béchennec, M. Briday, R. Kassem. An Architecture Description Language for Embedded Hardware Platforms. In Workshop on OCL and Textual Modelling, TOOLS 2011, 2011, Zürich, Anguilla.
      https://hal.archives-ouvertes.fr/hal-01179758
    • [27] J. Béchennec, M. Briday, V. Alibert. Extending HARMLESS Architecture Description Language for Embedded Real-Time Systems Validation. In IEEE International Symposium on Industrial Embedded Systems, juin 2011, Västerås, Suède.
      https://hal.archives-ouvertes.fr/hal-00941186
    • [28] R. Kassem, M. Briday, J. Béchennec, Y. Trinquet, G. Savaton. Instruction set simulator generation using Harmless, a new hardware architecture description language. In 2nd Int. Conf. on Simulation Tools and Techniques for Communications, Networks ans Systems (Simutools 2009), mars 2009, Roma, Italie.
      https://hal.inria.fr/inria-00538502
    • [29] R. Kassem, M. Briday, J. Béchennec, Y. Trinquet, G. Savaton. Cycle accurate simulator generator using Harmless. In Int. Middle Eastern Multiconference on Simulation and Modelling (MESM'09), septembre 2009, Beirut, Liban.
      https://hal.inria.fr/inria-00538508
    • [30] R. Kassem, M. Briday, J. Béchennec, Y. Trinquet, G. Savaton. Simulator Generation Using an Automaton Based Pipeline Model for Timing Analysis.. In International Multiconference on Computer Science and Information Technology (IMCSIT), International Workshop on Real Time Software (RTS'08)., octobre 2008, Wisla, Pologne.In IEEE (éds.), Proceedings of the International Multiconference on Computer Science and Information Technology.. , 2008.
      https://hal.archives-ouvertes.fr/hal-00486839
    • [31] J. Béchennec, M. Briday, S. Faucou, Y. Trinquet. Trampoline - an open source implementation of the osek/vdx rtos specification. In 11th Int. Conf. on Emerging Technologies and Factory Automation (ETFA'06), septembre 2006, Prague, République tchèque.
      https://hal.inria.fr/inria-00538492

Autres publications (AUTRES)

    • [32] D. Solet, S. Pillement, M. Briday, J. Béchennec, S. Faucou. Implémentation matérielle d’un dispositif de vérification en ligne sur un SoPC. In Colloque National GDR SoC-SiP, juin 2016, Nantes, France.
      https://hal.archives-ouvertes.fr/hal-01324796
Copyright : LS2N 2017 - Mentions Légales - 
 -