David Lesens - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2021

Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity ConstraintsÉtienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens. FUIN, 182(1):31-67, 2021. [doi]

2019

Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity ConstraintsÉtienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens. acsd 2019: 13-22 [doi]

2015

A Statistical Approach for Timed Reachability in AADL ModelsHarold Bruintjes, Joost-Pieter Katoen, David Lesens. dsn 2015: 81-88 [doi]

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time ImplementationThomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens. lites, 2(2), 2015. [doi]

2012

A Case Study in Formal System Engineering with SysMLIulia Dragomir, Iulian Ober, David Lesens. ICECCS 2011: 189-198 [doi]

Robustness Analysis for Scheduling Problems Using the Inverse MethodLaurent Fribourg, Romain Soulat, David Lesens, Pierre Moro. time 2012: 73-80 [doi]

2011

Multi-task Implementation of Multi-periodic Synchronous ProgramsClaire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens. deds, 21(3):307-338, 2011. [doi]

2010

A real-time architecture design language for multi-rate embedded control systemsJulien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. SAC 2010: 527-534 [doi]

Scheduling Dependent Periodic Tasks without Synchronization MechanismsJulien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti. rtas 2010: 301-310 [doi]

Using Static Analysis in Space: Why Doing so?David Lesens. SAS 2010: 51-70 [doi]

2008

A Multi-Periodic Synchronous Data-Flow LanguageJulien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. hase 2008: 251-260 [doi]

2007

Formal Modeling of Data. A Case Study for Space ApplicationsJean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin. ISoLA 2007: 123-134

Virtual execution of AADL models via a translation into synchronous programsErwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens. emsoft 2007: 134-143 [doi]

2006

Modeling and Validation of a Software Architecture for the Ariane-5 LauncherIulian Ober, Susanne Graf, David Lesens. fmoods 2006: 48-62 [doi]

2001

Automatic verification of parameterized networks of processesDavid Lesens, Nicolas Halbwachs, Pascal Raymond. TCS, 256(1-2):113-144, 2001. [doi]

1997

Abstraction of parameterized networksDavid Lesens, Hassen Saïdi. ENTCS, 9:42, 1997. [doi]

Invariants of Parameterized Binary Tree Networks as Greatest FixpointsDavid Lesens. amast 1997: 337-350

Vérification et synthèse de systèmes réactifs. (Verification and synthesis of reactive systems)David Lesens. PhD thesis, Grenoble Institute of Technology, France, 1997. [doi]

Automatic Verification of Parameterized Linear Networks of ProcessesDavid Lesens, Nicolas Halbwachs, Pascal Raymond. POPL 1997: 346-357 [doi]

Sign in or sign up to see more results.

runs on WebDSL