David Lesens

	2011
13		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
12		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
11		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
10		David Lesens: Using Static Analysis in Space: Why Doing so? SAS 2010: 51-70
	2009
9		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
8		Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti: A Multi-Periodic Synchronous Data-Flow Language. HASE 2008: 251-260
	2007
7		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
6		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
5		Iulian Ober, Susanne Graf, David Lesens: Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. FMOODS 2006: 48-62
	2001
4		David Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic verification of parameterized networks of processes. Theor. Comput. Sci. 256(1-2): 113-144 (2001)
	1997
3		David Lesens: Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints. AMAST 1997: 337-350
2		David Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic Verification of Parameterized Linear Networks of Processes. POPL 1997: 346-357
1		David Lesens, Hassen Saïdi: Abstraction of parameterized networks. Electr. Notes Theor. Comput. Sci. 9: 42 (1997)

Coauthor Index

1	Jean-Paul Blanquart	[6]
2	Frédéric Boniol	[8] [9] [11] [12] [13]
3	Gérard Bulsa	[6]
4	Mikel Cordovilla	[13]
5	Julien Forget	[8] [9] [11] [12] [13]
6	Susanne Graf	[5]
7	Emmanuel Grolleau	[12]
8	Nicolas Halbwachs	[2] [4] [7]
9	Erwan Jahier	[7]
10	George Mamais	[6]
11	Xavier Nicollin	[7]
12	Iulian Ober	[5]
13	Claire Pagetti	[8] [9] [11] [12] [13]
14	Maxime Perrotin	[6]
15	Pascal Raymond	[2] [4] [7]
16	Hassen Saïdi	[1]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page