Karine Altisen

 Subjects for Master Internship

• Simulation of Distributed Algorithms
• Certification of Distributed Self-Stabilizing Algorithms Using Coq
• Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
• Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks

 Publications

 Research Activities

Fault tolerant distributed algorithms: design and (pen-and-paper) proof, formal proof, simulation.

Design of Self-Stabilizing Distributed Algorithms

Certification of Self-Stabilizing Distributed Algorithms using Coq

• PADEC: A Framework for Certified Self-Stabilization

• ANR ESTATE project : Enhancing Safety and self-sTAbilization in Time-varying distributed Environments

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

• DACRAW exploratory project, Persyval-Lab

• IoIT project team, Persyval-Lab : Towards the Internet of Interactive Things

Probabilistic Methods for Routing Algorithms in Wireless Sensor Networks

• Random Walks endowed with Tabu Lists
• SR3 : Secure Resilient and Reputation-based Routing

 Information

Contact

Position

Maître de conférences / assistant professor

 Misc

Artists

 Past

Former Research Topics

• Timing Evaluation of Embedded using Real-Time Calculus and Lustre components

• Aspect Oriented Programming for Reactive Systems
  • David Stauch’home page (NB: contact is no more available)
  • The Argos+Larissa compiler page
• Controller Synthesis on Timed Systems

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).