Seguir
David Lesens
David Lesens
Astrium Space Transportation
Nenhum e-mail foi confirmado
Título
Citado por
Citado por
Ano
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
1192011
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
1091997
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
1042010
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
742007
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
592008
From dataflow specification to multiprocessor partitioned time-triggered real-time implementation
T Carle, D Potop-Butucaru, D Lesens
Leibniz Transactions on Embedded Systems, 2015
472015
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
442009
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
412012
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
382010
Rail, space, security: Three case studies for SPARK 2014
C Dross, P Efstathopoulos, D Lesens, D Mentré, Y Moy
Proc. ERTS 19, 2014
332014
Automatic verification of parameterized networks of processes by abstraction
D Lesens, H Saïdi
Proceedings of the International Workshop on Verification Infinite State …, 1997
321997
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
312008
Model checking ariane-5 flight program
M Bozga, L Mounier, D Lesens
6th International Workshop on Formal Methods for Industrial Critical Systems …, 2001
212001
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
172006
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
152012
Automatic verification of parameterized networks of processes
D Lesens, N Halbwachs, P Raymond
Theoretical Computer Science 256 (1-2), 113-144, 2001
152001
Abstraction of parameterized networks
D Lesens, H Saïdi
Electronic notes in theoretical computer science 9, 42, 1997
151997
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
142015
An ASN. 1 compiler for embedded/space systems
G Mamais, T Tsiodras, D Lesens, M Perrotin
Embedded Real Time Software and Systems (ERTS2012), 2012
112012
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
82012
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20