Karine Altisen

 Subjects for Master Internship

 Research Activities

Fault tolerant distributed algorithms AND Formal Methods

• design and (pen-and-paper) proof of self-stabilizing algorithms,
• formal proof : proof assistant and model-checking,
• simulation and testing.

Design of Self-Stabilizing Distributed Algorithms

• ANR SkyData Project: A new data paradigm - Intelligent and Autonomous Data.

Validation of Self-Stabilizing Distributed Algorithms

• PADEC: A Framework for Certified Self-Stabilization - mechanically checked proofs using Coq.

• SASA: a SimulAtor of Self-stabilizing Algorithms - simulation, time complexity evaluation, model-checking.

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

• ANR PAVEDYS Project: Parametric Verification of Dynamic Distributed Systems.

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

Main Administrative Duties

• Vice-Head of Studies at Ensimag, member of the executive team of the school

• Vice-Head of the MSTIC Research Department at Université Grenoble Alpes (UGA) : Mathematics, Information and Communication Sciences

 Misc

Artists

 Past

Former Research Topics

• Timing Evaluation of Embedded using Real-Time Calculus and 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"

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