Karine Altisen

Scheduler Modeling Based on the Controller Synthesis Paradigm

Karine Altisen, Joseph Sifakis · Real-Time Systems · 2002 · 109 citations · Full text

Engineering, Computer Systems, Systems Engineering +14

A framework for scheduler synthesis

Karine Altisen, Amir Pnueli, Joseph Sifakis et al. · 2003 · 102 citations · Full text

Computing, Computer Science, Systems Engineering +17

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

Franck Cassez, Stavros Tripakis, Karine Altisen · 2007 · 32 citations · Full text

Engineering, Computer Engineering, Systems Engineering +13

Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework

Karine Altisen, Florence Maraninchi, David Stauch · Science of Computer Programming · 2006 · 27 citations · Full text

Computing, Computer Engineering, Computer Science +12

Self-stabilizing leader election in polynomial steps

Karine Altisen, Alain Cournier, Stéphane Devismes et al. · Information and Computation · 2016 · 16 citations · Full text

Computing, Leadership, Algorithms +4