Main interest
- Critical system confiability
- Automotive and Spatial applications
- Design and verification of embedded systems
- Embedded system modeling
- SystemC language
- Formal verification
- Simulation-based verification
- Semiformal verification
- Fault tolerance