| 2015 | DSN | A Statistical Approach for Timed Reachability in AADL Models. | Harold Bruintjes, Joost-Pieter Katoen, David Lesens |
| 2012 | ICECCS | A Case Study in Formal System Engineering with SysML. | Iulia Dragomir, Iulian Ober, David Lesens |
| 2012 | TIME | Robustness Analysis for Scheduling Problems Using the Inverse Method. | Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro |
| 2010 | SAC | A real-time architecture design language for multi-rate embedded control systems. | Julien Forget, Frdric Boniol, David Lesens, Claire Pagetti |
| 2010 | RTAS | Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. | Julien Forget, Frdric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti |
| 2010 | SAS | Using Static Analysis in Space: Why Doing so? | David Lesens |
| 2007 | EMSOFT | Virtual execution of AADL models via a translation into synchronous programs. | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens |
| 2007 | ISoLA | Formal Modeling of Data. A Case Study for Space Applications. | Jean-Paul Blanquart, Grard Bulsa, David Lesens, George Mamais, Maxime Perrotin |
| 1997 | POPL | Automatic Verification of Parameterized Linear Networks of Processes. | David Lesens, Nicolas Halbwachs, Pascal Raymond |