- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c12 |      | Iulia Dragomir, Iulian Ober, David Lesens: A Case Study in Formal System Engineering with SysML. ICECCS 2012: 189-198 |
| c11 | | Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro: Robustness Analysis for Scheduling Problems Using the Inverse Method. TIME 2012: 73-80 |
| 2011 | ||
| j3 | | Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens: Multi-task Implementation of Multi-periodic Synchronous Programs. Discrete Event Dynamic Systems 21(3): 307-338 (2011) |
| 2010 | ||
| c10 | | Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti: Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 301-310 |
| c9 | | Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti: A real-time architecture design language for multi-rate embedded control systems. SAC 2010: 527-534 |
| c8 | | |
| 2009 | ||
| c7 | | Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti: Implementing Multi-Periodic Critical Systems: from Design to Code Generation. FMA 2009: 34-48 |
| 2008 | ||
| c6 | | Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti: A Multi-Periodic Synchronous Data-Flow Language. HASE 2008: 251-260 |
| 2007 | ||
| c5 | | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens: Virtual execution of AADL models via a translation into synchronous programs. EMSOFT 2007: 134-143 |
| c4 |  | Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin: Formal Modeling of Data. A Case Study for Space Applications. ISoLA 2007: 123-134 |
| 2006 | ||
| c3 | | Iulian Ober, Susanne Graf, David Lesens: Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. FMOODS 2006: 48-62 |
| 2001 | ||
| j2 | | David Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic verification of parameterized networks of processes. Theor. Comput. Sci. 256(1-2): 113-144 (2001) |
| 1997 | ||
| j1 | | David Lesens, Hassen Saïdi: Abstraction of parameterized networks. Electr. Notes Theor. Comput. Sci. 9: 42 (1997) |
| c2 | | David Lesens: Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints. AMAST 1997: 337-350 |
| c1 | | David Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic Verification of Parameterized Linear Networks of Processes. POPL 1997: 346-357 |
Colors in the list of coauthors
Last update Tue May 21 03:04:22 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page