| Multi-task implementation of multi-periodic synchronous programs C Pagetti, J Forget, F Boniol, M Cordovilla, D Lesens Discrete event dynamic systems 21, 307-338, 2011 | 123 | 2011 |
| Automatic verification of parameterized linear networks of processes D Lesens, N Halbwachs, P Raymond Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 109 | 1997 |
| Scheduling dependent periodic tasks without synchronization mechanisms J Forget, F Boniol, E Grolleau, D Lesens, C Pagetti 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2010 | 104 | 2010 |
| Virtual execution of AADL models via a translation into synchronous programs E Jahier, N Halbwachs, P Raymond, X Nicollin, D Lesens Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007 | 72 | 2007 |
| A multi-periodic synchronous data-flow language J Forget, F Boniol, D Lesens, C Pagetti 2008 11th IEEE High Assurance Systems Engineering Symposium, 251-260, 2008 | 59 | 2008 |
| From dataflow specification to multiprocessor partitioned time-triggered real-time implementation T Carle, D Potop-Butucaru, Y Sorel, D Lesens Leibniz Transactions on Embedded Systems, 2015 | 49 | 2015 |
| Robustness analysis for scheduling problems using the inverse method L Fribourg, R Soulat, D Lesens, P Moro 2012 19th International Symposium on Temporal Representation and Reasoning …, 2012 | 44 | 2012 |
| Space software validation using abstract interpretation O Bouissou, E Conquet, P Cousot, R Cousot, J Feret, K Ghorbal, ... The International Space System Engineering Conference: Data Systems in …, 2009 | 44 | 2009 |
| A real-time architecture design language for multi-rate embedded control systems J Forget, F Boniol, D Lesens, C Pagetti Proceedings of the 2010 ACM Symposium on Applied Computing, 527-534, 2010 | 39 | 2010 |
| Rail, space, security: Three case studies for SPARK 2014 C Dross, P Efstathopoulos, D Lesens, D Mentré, Y Moy Proc. ERTS 19, 2014 | 33 | 2014 |
| Automatic verification of parameterized networks of processes by abstraction D Lesens, H Saïdi Proceedings of the International Workshop on Verification Infinite State …, 1997 | 33 | 1997 |
| Integration of formal fault analysis in ASSERT: Case studies and lessons learnt P Bieber, JP Blanquart, G Durrieu, D Lesens, J Lucotte, F Tardy, M Turin, ... Embedded Real Time Software and Systems (ERTS2008), 2008 | 32 | 2008 |
| Model checking ariane-5 flight program M Bozga, L Mounier, D Lesens 6th International Workshop on Formal Methods for Industrial Critical Systems …, 2001 | 21 | 2001 |
| Modeling and validation of a software architecture for the ariane-5 launcher I Ober, S Graf, D Lesens International Conference on Formal Methods for Open Object-Based Distributed …, 2006 | 18 | 2006 |
| Abstraction of parameterized networks D Lesens, H Saïdi Electronic notes in theoretical computer science 9, 42, 1997 | 16 | 1997 |
| A statistical approach for timed reachability in AADL models H Bruintjes, JP Katoen, D Lesens 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems …, 2015 | 15 | 2015 |
| A case study in formal system engineering with SysML I Dragomir, I Ober, D Lesens 2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012 | 15 | 2012 |
| Automatic verification of parameterized networks of processes D Lesens, N Halbwachs, P Raymond Theoretical Computer Science 256 (1-2), 113-144, 2001 | 15 | 2001 |
| An ASN. 1 compiler for embedded/space systems G Mamais, T Tsiodras, D Lesens, M Perrotin Embedded Real Time Software and Systems (ERTS2012), 2012 | 12 | 2012 |
| Formal model driven engineering for space onboard software E Conquet, FX Dormoy, I Dragomir, S Graf, D Lesens, P Nienaltowski, ... Embedded Real Time Software and Systems (ERTS2012), 2012 | 8 | 2012 |
