Karine Altisen
Papers
1
Total Citations
47
H-Index
1
About
Karine Altisen is a leading researcher in formal methods and dependable distributed systems, with a focus on controller synthesis and property enforcement. Her seminal 2003 paper, "Using Controller-Synthesis Techniques to Build Property-Enforcing Layers" (47 citations), introduced a groundbreaking approach to automatically generating runtime monitors that enforce safety and liveness properties in complex systems. This work bridged theoretical controller synthesis with practical software engineering, enabling the construction of provably correct enforcement layers for critical applications. Altisen’s contributions have been instrumental in advancing the field of reactive systems, particularly in the design of fault-tolerant and secure distributed architectures. Her research demonstrates how formal verification techniques can be leveraged to guarantee system correctness without sacrificing performance. With her work cited by researchers in real-time systems, cyber-physical systems, and middleware, Altisen has established herself as a key figure in the synthesis of correct-by-construction software components. Her ongoing efforts continue to shape how engineers build reliable, property-enforcing layers for safety-critical environments.
Research Focus
Key Achievements
Top Papers
- 1Using Controller-Synthesis Techniques to Build Property-Enforcing Layers47 citations · 2003