Suivre
David Lesens
David Lesens
Astrium Space Transportation
Aucune adresse e-mail validée
Titre
Citée par
Citée par
Année
Multi-task implementation of multi-periodic synchronous programs
C Pagetti, J Forget, F Boniol, M Cordovilla, D Lesens
Discrete event dynamic systems 21 (3), 307-338, 2011
1092011
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
1031997
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
882010
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
722007
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
552008
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
422009
From dataflow specification to multiprocessor partitioned time-triggered real-time implementation
T Carle, D Potop-Butucaru, D Lesens
Leibniz Transactions on Embedded Systems, 2015
412015
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
382012
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
352010
Rail, space, security: Three case studies for SPARK 2014
C Dross, P Efstathopoulos, D Lesens, D Mentré, Y Moy
Proc. ERTS 19, 2014
312014
Automatic verification of parameterized networks of processes by abstraction
D Lesens, H Saïdi
Electronic Notes of Theoretical Computer Science (ENTCS, 1997
311997
Integration of formal fault analysis in ASSERT: Case studies and lessons learnt
P Bieber, J Blanquart, G Durrieu, D Lesens, J Lucotte, F Tardy, M Turin, ...
Embedded Real Time Software and Systems (ERTS2008), 2008
232008
Model checking ariane-5 flight program
M Bozga, L Mounier, D Lesens
6th International Workshop on Formal Methods for Industrial Critical Systems …, 2001
182001
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
162006
Abstraction of parameterized networks
D Lesens, H Saïdi
Electronic notes in theoretical computer science 9, 42, 1997
151997
Automatic verification of parameterized networks of processes
D Lesens, N Halbwachs, P Raymond
Theoretical Computer Science 256 (1-2), 113-144, 2001
142001
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
132012
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
122015
An ASN. 1 compiler for embedded/space systems
G Mamais, T Tsiodras, D Lesens, M Perrotin
Embedded Real Time Software and Systems (ERTS2012), 2012
92012
Programming languages for hard real-time embedded systems
J Forget, F Boniol, D Lesens, C Pagetti, M Pouzet
4th International Congress ERTS 2008, 2008
92008
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20