Karine Altisen

Subjects for Internship (M2R, M1)

Probabilistic Methods for Routing in Wireless Sensor Networks
Performance Evaluation for Embedded Systems: Between Computationnal Simulation and Mathematical Solutions (French version)

Méthodes probabilistes pour le routage dans les réseaux de capteurs sans fil (in French)

Job

Postdoctoral position at Verimag: High-Level Modeling of Power Consumption for Systems-on-a-Chip

Position

Teaching ("maître de conférences" / assistant professor) at Grenoble INP, Ensimag.

Research at VERIMAG laboratory, Synchrone team.

Publications

Research Activities

Current Topic and Project

Performance evaluation of embedded systems:

Performance in time: using Real-Time Calculus and Lustre components

HELP project: High Level Models for Low Power Systems

Former topics

Controller Synthesis on Timed Systems
Aspect Oriented Programming for Reactive Systems
the former David Stauch'home page (NB: contact is no more available)
and the Argos+Larissa compiler page

Past Projects

Control-A: studies relations between reactive system programming (their control), and aspect programming.

Cortos: Control and Observation of Real-Time Open Systems. Studies the relations between controller synthesis, observability and fault detection in timed systems.

FoToVP: Formal Tools for the Virtual Prototyping of Embedded Systems

Past

I have done my PhD (12/2001) at Verimag Lab, director: J. Sifakis, on controller synthesis applied to real time scheduling.

I have worked in the popart team, Inria, with a post-doc position on modeling of multi-task control-command systems and automatic generation of controllers for such systems (from 12/2001 to 08/2002).

I am now working at Ensimag and at Verimag in the "synchrone" research team (since 09/2002).

Address

Karine.Altisen@imag.fr

tel : +33 (0)4 56 52 03 78

fax : +33 (0)4 56 52 03 44

Verimag. 2 avenue de Vignates. 38610 GIERES. FRANCE.