David Lesens

Publications

459

Citations

H-Index

1997

Active since

Affiliations

Office National d'Études et de Recherches Aérospatiales(Current)

École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications

Centre National de la Recherche Scientifique

Institut National Polytechnique de Toulouse

Verimag

David Lesens is an author at Office National d'Études et de Recherches Aérospatiales specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationSystem SoftwareComputer EngineeringVerificationProgram AnalysisParallel Computing

Publications per year

1997–2015

Publications

Scheduling Dependent Periodic Tasks without Synchronization Mechanisms

Julien Forget, Frédéric Boniol, Emmanuel Grolleau et al. · 2010 · 76 citations

Engineering, Computer Architecture, Concurrent System +20

Multi-task Implementation of Multi-periodic Synchronous Programs

Claire Pagetti, Julien Forget, Frédéric Boniol et al. · Discrete Event Dynamic Systems · 2011 · 73 citations · Full text

Engineering, Concurrent Programming, Computer Architecture +8

Automatic verification of parameterized linear networks of processes

David Lesens, Nicolas Halbwachs, Pascal Raymond · 1997 · 73 citations

Mathematical Programming, Engineering, Reachability Problem +19

Virtual execution of AADL models via a translation into synchronous programs

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond et al. · 2007 · 48 citations · Full text

Emulation Technique, Engineering, Virtual Execution +28

A Multi-Periodic Synchronous Data-Flow Language

Julien Forget, Frédéric Boniol, David Lesens et al. · 2008 · 36 citations

Engineering, Real-time System Design, Computer Architecture +25

Rows per page

1–5 of 13