 | 2008 |
|---|
| 8 |       | Mohamed Khalgui,
Olfa Mosbahi,
Hans-Michael Hanisch:
A formal approach to check and schedule reconfigurable embedded control systems.
ETFA 2008: 383-391 |
| 7 | | Mohamed Khalgui,
Hans-Michael Hanisch:
Automatic specification of feasible Control Tasks in Benchmark Production Systems.
ETFA 2008: 789-798 |
| 6 |  | Mohamed Khalgui,
Martin Hirsch,
Dirk Missal,
Hans-Michael Hanisch:
Reconfiguration of Embedded Systems.
ICINCO-ICSO 2008: 157-162 |
| 5 | | Mohamed Khalgui,
Hans-Michael Hanisch:
NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems.
SIES 2008: 1-10 |
| 4 | | Mohamed Khalgui:
A deployment methodology of real-time industrial control applications in distributed controllers.
Computers in Industry 59(5): 450-462 (2008) |
| 2007 |
|---|
| 3 | | Mohamed Khalgui,
Emanuele Carpanzano:
A Formal Approach to Deploy Heterogeneous Software Components in a PLC.
ICSOFT (SE) 2007: 207-212 |
| 2006 |
|---|
| 2 | | 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 | | Mohamed Khalgui,
Xavier Rebeuf,
F. Zampognaro:
Adaptable OPC-XML contracts taking into account network traffic.
ETFA 2005 |
