David Lesens

Publication Activity (10 Years)

Years Active: 1997-2021
Publications (10 Years): 6

Top Venues

CoRR

Fundam. Informaticae

ICECCS

TIME

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. Fundam. Informaticae 182 (1) (2021)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR (2021)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints. ACSD (2019)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR (2019)
Harold Bruintjes, Joost-Pieter Katoen, David Lesens
A Statistical Approach for Timed Reachability in AADL Models. DSN (2015)
Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation. Leibniz Trans. Embed. Syst. 2 (2) (2015)
Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro
Robustness Analysis for Scheduling Problems Using the Inverse Method. TIME (2012)
Iulia Dragomir, Iulian Ober, David Lesens
A Case Study in Formal System Engineering with SysML. ICECCS (2012)
Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens
Multi-task Implementation of Multi-periodic Synchronous Programs. Discret. Event Dyn. Syst. 21 (3) (2011)
David Lesens
Using Static Analysis in Space: Why Doing so? SAS (2010)
Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti
Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. IEEE Real-Time and Embedded Technology and Applications Symposium (2010)
Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
A real-time architecture design language for multi-rate embedded control systems. SAC (2010)
Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
Implementing Multi-Periodic Critical Systems: from Design to Code Generation FMA (2009)
Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
A Multi-Periodic Synchronous Data-Flow Language. HASE (2008)
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens
Virtual execution of AADL models via a translation into synchronous programs. EMSOFT (2007)
Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin
Formal Modeling of Data. A Case Study for Space Applications. ISoLA (2007)
Iulian Ober, Susanne Graf, David Lesens
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. FMOODS (2006)
David Lesens, Nicolas Halbwachs, Pascal Raymond
Automatic verification of parameterized networks of processes. Theor. Comput. Sci. 256 (1-2) (2001)
David Lesens
Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints. AMAST (1997)
David Lesens, Hassen Saïdi
Abstraction of parameterized networks. INFINITY (1997)
David Lesens, Nicolas Halbwachs, Pascal Raymond
Automatic Verification of Parameterized Linear Networks of Processes. POPL (1997)

David Lesens.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Lesens