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