|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Olfa Mosbahi |
Formal approach for the development of intelligent industrial control components. |
IJCAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olfa Mosbahi, Mohamed Khalgui |
Combining formal methods for the development of reactive systems. |
IJCAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-Michael Hanisch |
Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. |
IEEE Trans. Computers |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Hans-Michael Hanisch |
Reconfiguration Protocol for Multi-Agent Control Software Architectures. |
IEEE Transactions on Systems, Man, and Cybernetics, Part C |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olfa Mosbahi, Leila Jemni Ben Ayed, Mohamed Khalgui |
A formal approach for the development of reactive systems. |
Information & Software Technology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Atef Gharbi, Mohamed Khalgui, Jiafeng Zhang, Samir Ben Ahmed |
Agent-based Fault Management of Embedded Control Systems. |
ICSOFT |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li, Atef Gharbi |
Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System. |
ICSOFT |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xi Wang, Mohamed Khalgui, Zhiwu Li |
Dynamic Low Power Reconfigurations of Real-time Embedded Systems. |
PECCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Khalgui, Atef Gharbi |
New Solutions for Feasible and Coherent Reconfigurations of Multi-Agent Embedded Software Architectures. |
JUSPN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui |
NCES-based modelling and CTL-based verification of reconfigurable embedded control systems. |
Computers in Industry |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Olfa Mosbahi |
Intelligent distributed control systems. |
Information & Software Technology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Atef Gharbi, Mohamed Khalgui, Samir Ben Ahmed |
Optimal model checking of safe control embedded software components. |
ETFA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Hans-Michael Hanisch, Atef Gharbi |
Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems. |
ETFA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui |
A deployment methodology of real-time industrial control applications in distributed controllers. |
Computers in Industry |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Hans-Michael Hanisch |
NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Hans-Michael Hanisch |
Automatic specification of feasible Control Tasks in Benchmark Production Systems. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch |
A formal approach to check and schedule reconfigurable embedded control systems. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Martin Hirsch 0002, Dirk Missal, Hans-Michael Hanisch |
Reconfiguration of Embedded Systems. |
ICINCO-ICSO |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Khalgui, Emanuele Carpanzano |
A Formal Approach to Deploy Heterogeneous Software Components in a PLC. |
ICSOFT (SE) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion |
Component based deployment of industrial control systems: a hybrid scheduling approach. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Xavier Rebeuf, F. Zampognaro |
Adaptable OPC-XML contracts taking into account network traffic. |
ETFA |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")