| 2007 |
|---|
| 11 | EE | Franck Cassez,
Stavros Tripakis,
Karine Altisen:
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis.
ACSD 2007: 90-99 |
| 10 | EE | Franck Cassez,
Stavros Tripakis,
Karine Altisen:
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems.
TASE 2007: 316-325 |
| 2006 |
|---|
| 9 | EE | Karine Altisen,
Franck Cassez,
Stavros Tripakis:
Monitoring and fault-diagnosis with digital clocks
ACSD 2006: 101-110 |
| 8 | EE | Karine Altisen,
Florence Maraninchi,
David Stauch:
Modular Design of Man-Machine Interfaces with Larissa.
Software Composition 2006: 291-306 |
| 7 | EE | Karine Altisen,
Florence Maraninchi,
David Stauch:
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework.
Sci. Comput. Program. 63(3): 297-320 (2006) |
| 2005 |
|---|
| 6 | EE | Karine Altisen,
Stavros Tripakis:
Implementation of Timed Automata: An Issue of Semantics or Modeling?
FORMATS 2005: 273-288 |
| 2003 |
|---|
| 5 | EE | Karine Altisen,
Aurélie Clodic,
Florence Maraninchi,
Éric Rutten:
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.
ESOP 2003: 174-188 |
| 2002 |
|---|
| 4 | | Karine Altisen,
Gregor Gößler,
Joseph Sifakis:
Scheduler Modeling Based on the Controller Synthesis Paradigm.
Real-Time Systems 23(1-2): 55-84 (2002) |
| 2000 |
|---|
| 3 | EE | Karine Altisen,
Gregor Gößler,
Joseph Sifakis:
A Methodology for the Construction of Scheduled Systems.
FTRTFT 2000: 106-120 |
| 1999 |
|---|
| 2 | EE | Karine Altisen,
Gregor Gößler,
Amir Pnueli,
Joseph Sifakis,
Stavros Tripakis,
Sergio Yovine:
A Framework for Scheduler Synthesis.
IEEE Real-Time Systems Symposium 1999: 154-163 |
| 1 | EE | Stavros Tripakis,
Karine Altisen:
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.
World Congress on Formal Methods 1999: 233-252 |
