Jean-Luc Béchennec

Publications

159

Citations

H-Index

2006

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Nantes Université

École Centrale de Nantes

Université Nantes Angers Le Mans

Jean-Luc Béchennec is an author at Centre National de la Recherche Scientifique specializing in system software, computer science, and computer engineering.

ORCID

Top concepts

EngineeringSystem SoftwareComputer ScienceComputer EngineeringEmbedded SystemsReal-time SystemsFormal VerificationSystems EngineeringComputer ArchitectureVerification

Publications per year

2006–2021

Publications

Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification

Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou et al. · 2006 · 58 citations

Real-time System, Engineering, Operating Systems +15

A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR

Sylvain Cotard, Sébastien Faucou, Jean-Luc Béchennec et al. · 2012 · 16 citations

Engineering, Real-time System Design, Verification +26

Formal model-based conformance verification of an OSEK/VDX compliant RTOS

Jean-Luc Béchennec, Olivier Roux, Toussaint Tigori · 2018 · 16 citations

Engineering, Hardware Verification Language, Verification +20

Energy Efficiency is Not Enough:Towards a Batteryless Internet of Sounds

Vincent Lostanlen, Antoine Bernabeu, Jean-Luc Béchennec et al. · 2021 · 13 citations

Computation of WCET using Program Slicing and Real-Time Model-Checking

Jean-Luc Béchennec, Franck Cassez · arXiv (Cornell University) · 2011 · 12 citations · Full text

Accurate Wcet, Engineering, Hardware Verification Language +23

Rows per page

1–5 of 9