Michael Hauspie
Présentation
Since 2012, I am co-head of the 2XS team of the CRIStAL laboratory. My research interests include performance, security and privacy in embedded systems and mobile sensors systems. I obtained my Habilitation à Diriger des Recherches from Université Lille 1 in december 2014. Before that I obtained a PhD. from University Lille 1 in january 2005 under the direction of Pr. David Simplot-Ryl. My thesis topic was about services management in wireless ad hoc networks. From October 2004 to September 2005, I led the Research and Development Department of the VB2S compagny. I joined the POPS project of Univ. Lille 1/CNRS/INRIA Lille - Nord Europe as an associate professor in 2006.
Publications
Publications
|
|
Proving Partial-Correctness and Invariance Properties of Transition-System Models(s'ouvre dans un nouvel onglet)Science of Computer Programming, 2020, 186, ⟨10.1016/j.scico.2019.102342⟩ |
|
|
Balancing energy consumption in clustered wireless sensor networks(s'ouvre dans un nouvel onglet)International Scholarly Research Notices, 2013 |
Les systèmes d'exploitation de la carte à microprocesseur(s'ouvre dans un nouvel onglet)Samia Bouzefrane and Pierre Paradinas. Les cartes à puce, Hermes, 2013, 9782746239135 |
|
Les réseaux de capteurs(s'ouvre dans un nouvel onglet)CALVARY Gaëlle, DELOT Thierry, SÈDES Florence, TIGLI Jean-Yves. Informatique et intelligence ambiante : des capteurs aux applications, Hermes, 2012 |
|
|
Deductive Verification of a Hypervisor Model(s'ouvre dans un nouvel onglet)2017 |
|
|
Localized Probabilistic Algorithm for Efficient Information Dissemination in Ad Hoc Networks(s'ouvre dans un nouvel onglet)[Research Report] RT-0294, INRIA. 2004, pp.9 |
|
|
Contributions à l'étude des gestionnaires de services distribués dans les réseaux ad hoc(s'ouvre dans un nouvel onglet)Informatique mobile. Université des Sciences et Technologie de Lille - Lille I, 2005. Français. ⟨NNT : ⟩ |
|
|
Élements de conception de systèmes embarqués fortement contraints(s'ouvre dans un nouvel onglet)Systèmes embarqués. Université Lille 1, 2014 |