Mohamed Khalgui

	2012
25		Yufeng Chen, ZhiWu Li, Mohamed Khalgui, Olfa Mosbahi: Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems". IEEE T. Automation Science and Engineering 9(2): 455 (2012)
24		Meng Qin, ZhiWu Li, MengChu Zhou, Mohamed Khalgui, Olfa Mosbahi: Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions. IEEE Transactions on Systems, Man, and Cybernetics, Part A 42(3): 727-738 (2012)
	2011
23		Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li, Atef Gharbi: Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System. ICSOFT (2) 2011: 105-110
22		Atef Gharbi, Mohamed Khalgui, Jiafeng Zhang, Samir Ben Ahmed: Agent-based Fault Management of Embedded Control Systems. ICSOFT (2) 2011: 277-280
21		Xi Wang, Mohamed Khalgui, Zhiwu Li: Dynamic Low Power Reconfigurations of Real-time Embedded Systems. PECCS 2011: 415-420
20		Yufeng Chen, ZhiWu Li, Mohamed Khalgui, Olfa Mosbahi: Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems. IEEE T. Automation Science and Engineering 8(2): 374-393 (2011)
19		Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-Michael Hanisch: Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. IEEE Trans. Computers 60(4): 538-551 (2011)
18		Olfa Mosbahi, Mohamed Khalgui, Hans-Michael Hanisch, Zhiwu Li: A Component-Based Approach for the Development of Automated Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 41(5): 1026-1031 (2011)
17		Mohamed Khalgui, Hans-Michael Hanisch: Reconfiguration Protocol for Multi-Agent Control Software Architectures. IEEE Transactions on Systems, Man, and Cybernetics, Part C 41(1): 70-80 (2011)
16		Olfa Mosbahi, Mohamed Khalgui: Combining formal methods for the development of reactive systems. IJCAT 42(2/3): 127-149 (2011)
15		Mohamed Khalgui, Olfa Mosbahi: Formal approach for the development of intelligent industrial control components. IJCAT 42(2/3): 84-107 (2011)
14		Olfa Mosbahi, Leila Jemni Ben Ayed, Mohamed Khalgui: A formal approach for the development of reactive systems. Information & Software Technology 53(1): 14-33 (2011)
	2010
13		Atef Gharbi, Mohamed Khalgui, Samir Ben Ahmed: Optimal model checking of safe control embedded software components. ETFA 2010: 1-8
12		Mohamed Khalgui: NCES-based modelling and CTL-based verification of reconfigurable embedded control systems. Computers in Industry 61(3): 198-212 (2010)
11		Mohamed Khalgui, Olfa Mosbahi: Intelligent distributed control systems. Information & Software Technology 52(12): 1259-1271 (2010)
10		Mohamed Khalgui, Atef Gharbi: New Solutions for Feasible and Coherent Reconfigurations of Multi-Agent Embedded Software Architectures. JUSPN 1(1): 19-28 (2010)
	2009
9		Mohamed Khalgui, Hans-Michael Hanisch, Atef Gharbi: Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems. ETFA 2009: 1-10
	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

Coauthor Index

1	Samir Ben Ahmed	[13] [22]
2	Leila Jemni Ben Ayed (Leila Jemni)	[14]
3	Emanuele Carpanzano	[3]
4	Yufeng Chen	[20] [25]
5	Atef Gharbi	[9] [10] [13] [22] [23]
6	Hans-Michael Hanisch	[5] [6] [7] [8] [9] [17] [18] [19]
7	Martin Hirsch	[6]
8	ZhiWu Li (Zhiwu Li)	[18] [19] [20] [21] [23] [24] [25]
9	Dirk Missal	[6]
10	Olfa Mosbahi	[8] [11] [14] [15] [16] [18] [19] [20] [23] [24] [25]
11	Meng Qin	[24]
12	Xavier Rebeuf	[1] [2]
13	Françoise Simonot-Lion	[2]
14	Xi Wang	[21]
15	F. Zampognaro	[1]
16	Jiafeng Zhang	[22] [23]
17	MengChu Zhou (Mengchu Zhou)	[24]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page