Michael Hauspie
3
Documents
Présentation
Since 2012, I am co-head of the [2XS](http://cristal.univ-lille.fr/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*](http://www.cristal.univ-lille.fr/%7Ehauspie/?n=Main.HabilitationDirigerDesRecherches) 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](http://www.univ-lille1.fr)/CNRS/INRIA Lille - Nord Europe as an associate professor in 2006.
Since 2012, I am co-head of the [2XS](http://cristal.univ-lille.fr/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*](http://www.cristal.univ-lille.fr/%7Ehauspie/?n=Main.HabilitationDirigerDesRecherches) 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](http://www.univ-lille1.fr)/CNRS/INRIA Lille - Nord Europe as an associate professor in 2006.
Publications
- 3
- 3
- 1
- 1
- 1
- 1
|
Proving Partial-Correctness and Invariance Properties of Transition-System ModelsScience of Computer Programming, 2020, 186, ⟨10.1016/j.scico.2019.102342⟩
Article dans une revue
hal-01962912v2
|
|
Proving Partial-Correctness and Invariance Properties of Transition-System ModelsTASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering, Aug 2018, Guangzhou, China. pp.60-67, ⟨10.1109/TASE.2018.00016⟩
Communication dans un congrès
hal-01816798v1
|
|
Deductive Verification of a Hypervisor Model2017
Pré-publication, Document de travail
hal-01614509v2
|