David Lesens

22 papers A* 1A 2B 2C 2Misc 2Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2021 J jnl
Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints.
Fundam. Informaticae
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2021 J jnl
Parametric schedulability analysis of a launcher flight control system under reactivity constraints.
CoRR
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2019 — conf
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints.
ACSD
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2019 J jnl
Parametric schedulability analysis of a launcher flight control system under reactivity constraints.
CoRR
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2015 A conf
A Statistical Approach for Timed Reachability in AADL Models.
DSN
Harold Bruintjes, Joost-Pieter Katoen, David Lesens
2015 J jnl
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation.
Leibniz Trans. Embed. Syst.
Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens
2012 B conf
A Case Study in Formal System Engineering with SysML.
ICECCS
Iulia Dragomir, Iulian Ober, David Lesens
2012 C conf
Robustness Analysis for Scheduling Problems Using the Inverse Method.
TIME
Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro
2011 J jnl
Multi-task Implementation of Multi-periodic Synchronous Programs.
Discret. Event Dyn. Syst.
Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens
2010 Misc conf
A real-time architecture design language for multi-rate embedded control systems.
SAC
Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
2010 A conf
Scheduling Dependent Periodic Tasks without Synchronization Mechanisms.
IEEE Real-Time and Embedded Technology and Applications Symposium
Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti
2010 B conf
Using Static Analysis in Space: Why Doing so?
SAS
David Lesens
2009 — conf
Implementing Multi-Periodic Critical Systems: from Design to Code Generation
FMA
Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
2008 — conf
A Multi-Periodic Synchronous Data-Flow Language.
HASE
Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
2007 C conf
Formal Modeling of Data. A Case Study for Space Applications.
ISoLA
Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin
2007 Misc conf
Virtual execution of AADL models via a translation into synchronous programs.
EMSOFT
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens
2006 — conf
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.
FMOODS
Iulian Ober, Susanne Graf, David Lesens
2001 J jnl
Automatic verification of parameterized networks of processes.
Theor. Comput. Sci.
David Lesens, Nicolas Halbwachs, Pascal Raymond
1997 — conf
Abstraction of parameterized networks.
INFINITY
David Lesens, Hassen Saïdi
1997 A* conf
Automatic Verification of Parameterized Linear Networks of Processes.
POPL
David Lesens, Nicolas Halbwachs, Pascal Raymond
1997 — conf
Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints.
AMAST
David Lesens
1997 — —
Vérification et synthèse de systèmes réactifs. (Verification and synthesis of reactive systems).
David Lesens