David Lesens

According to our database, David Lesens authored at least 19 papers between 1997 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints.

Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens

Fundam. Informaticae, 2021

2015

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation.

Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens

Leibniz Trans. Embed. Syst., 2015

A Statistical Approach for Timed Reachability in AADL Models.

Harold Bruintjes, Joost-Pieter Katoen, David Lesens

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2012

Robustness Analysis for Scheduling Problems Using the Inverse Method.

Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

A Case Study in Formal System Engineering with SysML.

Iulia Dragomir, Iulian Ober, David Lesens

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Multi-task Implementation of Multi-periodic Synchronous Programs.

Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens

Discret. Event Dyn. Syst., 2011

2010

Using Static Analysis in Space: Why Doing so?

David Lesens

Proceedings of the Static Analysis - 17th International Symposium, 2010

A real-time architecture design language for multi-rate embedded control systems.

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Scheduling Dependent Periodic Tasks without Synchronization Mechanisms.

Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

2009

Implementing Multi-Periodic Critical Systems: from Design to Code Generation

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008

A Multi-Periodic Synchronous Data-Flow Language.

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

Formal Modeling of Data. A Case Study for Space Applications.

Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin

Proceedings of the ISoLA 2007, 2007

Virtual execution of AADL models via a translation into synchronous programs.

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006

Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.

Iulian Ober, Susanne Graf, David Lesens

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2001

Automatic verification of parameterized networks of processes.

David Lesens, Nicolas Halbwachs, Pascal Raymond

Theor. Comput. Sci., 2001

1997

Vérification et synthèse de systèmes réactifs. (Verification and synthesis of reactive systems).

David Lesens

PhD thesis, 1997

Abstraction of parameterized networks.

David Lesens, Hassen Saïdi

Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997

Automatic Verification of Parameterized Linear Networks of Processes.

David Lesens, Nicolas Halbwachs, Pascal Raymond

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints.

David Lesens

Proceedings of the Algebraic Methodology and Software Technology, 1997