David Lesens
David Lesens
Astrium Space Transportation
No verified email
Title
Cited by
Cited by
Year
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
1021997
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
982011
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
832010
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
662007
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
502008
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
392015
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
382009
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
372012
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
322010
Automatic verification of parameterized networks of processes by abstraction
D Lesens, H Sa´di
Electronic Notes of Theoretical Computer Science (ENTCS, 1997
301997
Rail, space, security: Three case studies for SPARK 2014
C Dross, P Efstathopoulos, D Lesens, D MentrÚ, Y Moy
Proc. ERTS 19, 2014
292014
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
152006
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
92015
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
The system can't perform the operation now. Try again later.
Articles 1–20