Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints. - David Lesens (AMAST, 1997)

Automatic Verification of Parameterized Linear Networks of Processes. - David Lesens; Nicolas Halbwachs; Pascal Raymond (POPL, 1997)

Abstraction of parameterized networks. - David Lesens; Hassen Saïdi (INFINITY, 1997)

Vérification et synthèse de systèmes réactifs. (Verification and synthesis of reactive systems). - David Lesens (1997)

Automatic verification of parameterized networks of processes. - David Lesens; Nicolas Halbwachs; Pascal Raymond (Theor. Comput. Sci., 2001)

Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. - Iulian Ober; Susanne Graf; David Lesens (FMOODS, 2006)

Virtual execution of AADL models via a translation into synchronous programs. - Erwan Jahier; Nicolas Halbwachs; Pascal Raymond; Xavier Nicollin; David Lesens (EMSOFT, 2007)

Formal Modeling of Data. A Case Study for Space Applications. - Jean-Paul Blanquart; Gérard Bulsa; David Lesens; George Mamais; Maxime Perrotin (ISoLA, 2007)

A Multi-Periodic Synchronous Data-Flow Language. - Julien Forget; Frédéric Boniol; David Lesens; Claire Pagetti (HASE, 2008)

Implementing Multi-Periodic Critical Systems: from Design to Code Generation - Julien Forget; Frédéric Boniol; David Lesens; Claire Pagetti (FMA, 2009)

Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. - Julien Forget; Frédéric Boniol; Emmanuel Grolleau; David Lesens; Claire Pagetti (IEEE Real-Time and Embedded Technology and Applications Symposium, 2010)

A real-time architecture design language for multi-rate embedded control systems. - Julien Forget; Frédéric Boniol; David Lesens; Claire Pagetti (SAC, 2010)

Using Static Analysis in Space: Why Doing so? - David Lesens (SAS, 2010)

Multi-task Implementation of Multi-periodic Synchronous Programs. - Claire Pagetti; Julien Forget; Frédéric Boniol; Mikel Cordovilla; David Lesens (Discret. Event Dyn. Syst., 2011)

A Case Study in Formal System Engineering with SysML. - Iulia Dragomir; Iulian Ober; David Lesens (ICECCS, 2012)

Robustness Analysis for Scheduling Problems Using the Inverse Method. - Laurent Fribourg; Romain Soulat; David Lesens; Pierre Moro (TIME, 2012)

A Statistical Approach for Timed Reachability in AADL Models. - Harold Bruintjes; Joost-Pieter Katoen; David Lesens (DSN, 2015)

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation. - Thomas Carle; Dumitru Potop-Butucaru; Yves Sorel; David Lesens (Leibniz Trans. Embed. Syst., 2015)

Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. - Étienne André; Emmanuel Coquard; Laurent Fribourg; Jawher Jerray; David Lesens (Fundam. Informaticae, 2021)

Data for paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints". - Étienne André; Emmanuel Coquard; Laurent Fribourg; Jawher Jerray; David Lesens (Zenodo, 2021)