- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j12 |      | Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li: Runtime Reconfigurations of Embedded Controllers. ACM Trans. Embedded Comput. Syst. 12(1): 14 (2013) |
| j11 | | Olfa Mosbahi: Combining Formal Methods for the Development of Reactive Systems. ACM Trans. Embedded Comput. Syst. 12(1): 16 (2013) |
| 2012 | ||
| j10 | | Mohamed Khalgui, Olfa Mosbahi, Emanuele Carpanzano, Anna Valente: An Automated Approach for Adaptive Control Systems. IJIMR 2(3): 58-71 (2012) |
| j9 | | 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) |
| j8 | | 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 | ||
| j7 | | Mohamed Khalgui, Olfa Mosbahi: Formal approach for the development of intelligent industrial control components. IJCAT 42(2/3): 84-107 (2011) |
| j6 | | Olfa Mosbahi, Mohamed Khalgui: Combining formal methods for the development of reactive systems. IJCAT 42(2/3): 127-149 (2011) |
| j5 | | 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) |
| j4 | | 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) |
| j3 | | 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) |
| j2 | | 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) |
| c6 |  | 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 |
| 2010 | ||
| j1 | | Mohamed Khalgui, Olfa Mosbahi: Intelligent distributed control systems. Information & Software Technology 52(12): 1259-1271 (2010) |
| 2008 | ||
| c5 | | Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch: A formal approach to check and schedule reconfigurable embedded control systems. ETFA 2008: 383-391 |
| 2007 | ||
| c4 | | Olfa Mosbahi, Jacques Jaray: Specification and Proof of Liveness Properties in B Event Systems. ICSOFT (SE) 2007: 25-34 |
| c3 | | Olfa Mosbahi, Leila Jemni, Jacques Jaray: A Formal Approach for the Development of Automated Systems. ICSOFT (SE) 2007: 304-310 |
| 2006 | ||
| c2 | | Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed: Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. AICCSA 2006: 834-841 |
| 2002 | ||
| c1 | | Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray: A Specification and Validation Technique Based on STATEMATE and FNLOG. ICFEM 2002: 216-220 |
| 1 | Samir Ben Ahmed | |
| 2 | Leila Jemni Ben Ayed (Leila Jemni) | |
| 3 | Emanuele Carpanzano | |
| 4 | Yufeng Chen | |
| 5 | Atef Gharbi | |
| 6 | Hans-Michael Hanisch | |
| 7 | Jacques Jaray | |
| 8 | Mohamed Khalgui | |
| 9 | ZhiWu Li (Zhiwu Li) | |
| 10 | Meng Qin | |
| 11 | Anna Valente | |
| 12 | Jiafeng Zhang | |
| 13 | MengChu Zhou (Mengchu Zhou) |
Data released under the ODC-BY 1.0 license — See also our legal information page