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

Karine Altisen


 Subjects for Master Internship (M2R, M1)


 Publications


 Research Activities

Design of Self-Stabilizing Distributed Algorithms
Certification of Self-Stabilizing Distributed Algorithms using Coq
  • ANR ESTATE project : Enhancing Safety and self-sTAbilization in Time-varying distributed Environments
Distributed Approach for Cross-Layer Resource Allocation in Wireless Sensor Networks


Probabilistic Methods for Routing Algorithms in Wireless Sensor Networks

 Events

Algotel 2017

Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications

RNTS 2017

International Conference on Real-Time Networks and Systems


 Information

Contact
Karine.Altisen univ-grenoble-alpes.fr
Verimag, Bâtiment IMAG, Université Grenoble Alpes, 700, avenue centrale, 38401 Saint Martin d’Hères. FRANCE.
tel : +33 4 57 42 22 23
fax : +33 4 57 42 22 22
Position
Teaching ("maître de conférences" / assistant professor) at Grenoble INP, Ensimag.
Research at VERIMAG laboratory, Synchrone team.

 Past

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.
Past
  • 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.26 + AHUNTSIC [CC License]

info visites 817914