| 2008 | ||
|---|---|---|
| 2 | EE | 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 | ||
| 1 | EE | Laurent Mounier, Ludovic Samper, Wassim Znaidi: Worst-case lifetime computation of a wireless sensor network by model-checking. PE-WASUN 2007: 1-8 |
| 1 | Kevin Baradon | [2] |
| 2 | Florence Maraninchi | [2] |
| 3 | Laurent Mounier | [1] |
| 4 | Antoine Vasseur | [2] |
| 5 | Wassim Znaidi | [1] |