selected publications

• conference paper

  • ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS.  . 2015
  • Implementation of agent-based reconfigurable embedded control systems.  . 2009
  • A formal approach to check and schedule reconfigurable embedded control systems.  . 2008