Accueil > Verimag > personal pages > Karine Altisen > Karine Altisen
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 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
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 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).
