| |
| 2008 | ||
|---|---|---|
| 5 | EE | Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch: A formal approach to check and schedule reconfigurable embedded control systems. ETFA 2008: 383-391 |
| 4 | EE | Mohamed Khalgui, Hans-Michael Hanisch: Automatic specification of feasible Control Tasks in Benchmark Production Systems. ETFA 2008: 789-798 |
| 2007 | ||
| 3 | Mohamed Khalgui, Emanuele Carpanzano: A Formal Approach to Deploy Heterogeneous Software Components in a PLC. ICSOFT (SE) 2007: 207-212 | |
| 2006 | ||
| 2 | EE | Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion: Component based deployment of industrial control systems: a hybrid scheduling approach. ETFA 2006: 1293-1300 |
| 2005 | ||
| 1 | EE | Mohamed Khalgui, Xavier Rebeuf, F. Zampognaro: Adaptable OPC-XML contracts taking into account network traffic. ETFA 2005 |
| 1 | Emanuele Carpanzano | [3] |
| 2 | Hans-Michael Hanisch | [4] [5] |
| 3 | Olfa Mosbahi | [5] |
| 4 | Xavier Rebeuf | [1] [2] |
| 5 | Françoise Simonot-Lion | [2] |
| 6 | F. Zampognaro | [1] |