David Lesens
David Lesens
Astrium Space Transportation
Nenhum e-mail foi confirmado
Citado por
Citado por
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
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
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
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
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
Space software validation using abstract interpretation
O Bouissou, E Conquet, P Cousot, R Cousot, J Feret, K Ghorbal, ...
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
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 2 (2), 01-1-01: 30, 2015
Automatic verification of parameterized networks of processes by abstraction
D Lesens, H Saïdi
Electronic Notes of Theoretical Computer Science (ENTCS, 1997
Rail, space, security: Three case studies for SPARK 2014
C Dross, P Efstathopoulos, D Lesens, D Mentré, Y Moy
Proc. ERTS 19, 2014
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
A survey of probabilistic schedulability analysis techniques for real-time systems
RI Davis, L Cucu-Grosjean
LITES: Leibniz Transactions on Embedded Systems, 1-53, 2019
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, ...
Model checking ariane-5 flight program
M Bozga, L Mounier, D Lesens
Automatic verification of parameterized networks of processes
D Lesens, N Halbwachs, P Raymond
Theoretical Computer Science 256 (1-2), 113-144, 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
Abstraction of parameterized networks
D Lesens, H Saïdi
Electronic notes in theoretical computer science 9, 42, 1997
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
Formal model driven engineering for space onboard software
E Conquet, FX Dormoy, I Dragomir, S Graf, D Lesens, P Nienaltowski, ...
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20