Home > Verimag > personal pages > Karine Altisen > Karine Altisen

Karine Altisen

 Subjects for Master Internship (M2R, M1)


 Research Activities

Design of Self-Stabilizing Distributed Algorithms

Certification of Self-Stabilizing Distributed Algorithms using Coq

Distributed Approach for Cross-Layer Resource Allocation in Wireless Sensor Networks

Probabilistic Methods for Routing Algorithms in Wireless Sensor Networks


Verimag. 2 avenue de Vignates. 38610 GIERES. FRANCE.
tel : +33 (0)4 56 52 03 78
fax : +33 (0)4 56 52 03 44
Teaching ("maître de conférences" / assistant professor) at Grenoble INP, Ensimag.
Research at VERIMAG laboratory, Synchrone team.


Former Research Topics
Past Projects
  • ARESA 2 Project: "Connect to the IP world dynamic wireless sensor networks in a secure and energy efficient way"
  • Terra: Proving efficiency results on probabilistic routing protocols dedicated to large-scale Wireless Sensors Networks.
  • HELP Project: High Level Models for Low Power Systems
  • FoToVP: Formal Tools for the Virtual Prototyping of Embedded Systems
  • Cortos: Control and Observation of Real-Time Open Systems. Studies the relations between controller synthesis, observability and fault detection in timed systems.
  • Control-A: relations between reactive system programming (their control), and aspect programming.
  • PhD thesis (12/2001) at Verimag Lab, advisor J. Sifakis, on controller synthesis of timed automata applied to real time scheduling.
  • Postdoctoral position (from 12/2001 to 08/2002) at INRIA Rhônes Alpes, in the popart team on modeling of multi-task control-command systems and automatic generation of controllers.
  • Assistant professor at Ensimag and Verimag (since 09/2002).

Contact | Site Map | Site powered by SPIP 3.0.24 + AHUNTSIC [CC License]

info visites 748005