| 2008 | ||
|---|---|---|
| 3 | Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur: Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. Electr. Notes Theor. Comput. Sci. 203(4): 95-110 (2008) | |
| 2007 | ||
| 2 | Laurent Mounier, Ludovic Samper, Wassim Znaidi: Worst-case lifetime computation of a wireless sensor network by model-checking. PE-WASUN 2007: 1-8 | |
| 2006 | ||
| 1 | Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel: GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. InterSense 2006: 3 | |
| 1 | Kevin Baradon | [3] |
| 2 | Louis Mandel | [1] |
| 3 | Florence Maraninchi | [1] [3] |
| 4 | Laurent Mounier | [1] [2] |
| 5 | Antoine Vasseur | [3] |
| 6 | Wassim Znaidi | [2] |