Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mohamed Khalgui
@inproceedings{DBLP:conf/aina/SoualahKC24,
author = {Sohaib Soualah and
Mohamed Khalgui and
Allaoua Chaoui},
editor = {Leonard Barolli},
title = {Effective Parallel Formal Verification of Reconfigurable Discrete-Event
Systems Formalizing with Isabelle/HOL},
booktitle = {Advanced Information Networking and Applications - Proceedings of
the 38th International Conference on Advanced Information Networking
and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024,
Volume 2},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {200},
pages = {199--212},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57853-3\_17},
doi = {10.1007/978-3-031-57853-3\_17},
timestamp = {Fri, 12 Apr 2024 15:40:56 +0200},
biburl = {https://dblp.org/rec/conf/aina/SoualahKC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/axioms/TiganeGHKKA23,
author = {Samir Tigane and
Fay{\c{c}}al Guerrouf and
Nadia Hamani and
La{\"{\i}}d Kahloul and
Mohamed Khalgui and
Masood Ashraf Ali},
title = {Dynamic Timed Automata for Reconfigurable System Modeling and Verification},
journal = {Axioms},
volume = {12},
number = {3},
pages = {230},
year = {2023},
url = {https://doi.org/10.3390/axioms12030230},
doi = {10.3390/AXIOMS12030230},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/axioms/TiganeGHKKA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/TiganeKHKA23,
author = {Samir Tigane and
La{\"{\i}}d Kahloul and
Nadia Hamani and
Mohamed Khalgui and
Masood Ashraf Ali},
title = {On Quantitative Properties Preservation in Reconfigurable Generalized
Stochastic Petri Nets},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {53},
number = {6},
pages = {3311--3323},
year = {2023},
url = {https://doi.org/10.1109/TSMC.2022.3225280},
doi = {10.1109/TSMC.2022.3225280},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsmc/TiganeKHKA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/HabbachiZLWK22,
author = {Salwa Habbachi and
Amal Zaghdoud and
Zhiwu Li and
Naiqi Wu and
Mohamed Khalgui},
title = {Secret inference and attacktability analysis of discrete event systems},
journal = {Inf. Sci.},
volume = {609},
pages = {1221--1238},
year = {2022},
url = {https://doi.org/10.1016/j.ins.2022.07.028},
doi = {10.1016/J.INS.2022.07.028},
timestamp = {Thu, 08 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/HabbachiZLWK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/RouainiaGKK22,
author = {Hanene Rouainia and
Hanen Grichi and
La{\"{\i}}d Kahloul and
Mohamed Khalgui},
editor = {Hermann Kaindl and
Mike Mannion and
Leszek A. Maciaszek},
title = {New Energy Efficient and Fault Tolerant Methodology based on a Multi-agent
Architecture in Reconfigurable Wireless Sensor Networks},
booktitle = {Proceedings of the 17th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2022, Online Streaming,
April 25-26, 2022},
pages = {405--416},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011061300003176},
doi = {10.5220/0011061300003176},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/RouainiaGKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/RouainiaGKK22a,
author = {Hanene Rouainia and
Hanen Grichi and
La{\"{\i}}d Kahloul and
Mohamed Khalgui},
editor = {Hans{-}Georg Fill and
Marten van Sinderen and
Leszek A. Maciaszek},
title = {A New Simulation Tool for Sensor Networks Based on an Energy-Efficient
and Fault-Tolerant Methodology},
booktitle = {Software Technologies - 17th International Conference, {ICSOFT} 2022,
Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1859},
pages = {68--97},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-37231-5\_4},
doi = {10.1007/978-3-031-37231-5\_4},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/RouainiaGKK22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/RouainiaGKK22,
author = {Hanene Rouainia and
Hanen Grichi and
La{\"{\i}}d Kahloul and
Mohamed Khalgui},
editor = {Hans{-}Georg Fill and
Marten van Sinderen and
Leszek A. Maciaszek},
title = {Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): {A} New
Discrete-event Simulator},
booktitle = {Proceedings of the 17th International Conference on Software Technologies,
{ICSOFT} 2022, Lisbon, Portugal, July 11-13, 2022},
pages = {349--361},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011318300003266},
doi = {10.5220/0011318300003266},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/RouainiaGKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/AllouchCKTKG21,
author = {Azza Allouch and
Omar Cheikhrouhou and
Anis Koub{\^{a}}a and
Khalifa Toumi and
Mohamed Khalgui and
Tuan Nguyen Gia},
title = {UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for
Internet of Drones},
journal = {Sensors},
volume = {21},
number = {9},
pages = {3049},
year = {2021},
url = {https://doi.org/10.3390/s21093049},
doi = {10.3390/S21093049},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/AllouchCKTKG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ZhangKL21,
author = {Le Zhang and
Mohamed Khalgui and
Zhiwu Li},
title = {Predictive Intelligent Transportation: Alleviating Traffic Congestion
in the Internet of Vehicles},
journal = {Sensors},
volume = {21},
number = {21},
pages = {7330},
year = {2021},
url = {https://doi.org/10.3390/s21217330},
doi = {10.3390/S21217330},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/ZhangKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/RamdaniKKLZ21,
author = {Mohamed Ramdani and
La{\"{\i}}d Kahloul and
Mohamed Khalgui and
Zhiwu Li and
MengChu Zhou},
title = {{RCTL:} New Temporal Logic for Improved Formal Verification of Reconfigurable
Discrete-Event Systems},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {18},
number = {3},
pages = {1392--1405},
year = {2021},
url = {https://doi.org/10.1109/TASE.2020.3006435},
doi = {10.1109/TASE.2020.3006435},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/RamdaniKKLZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/GoubaaKLFA21,
author = {Aicha Goubaa and
Mohamed Khalgui and
Zhiwu Li and
Georg Frey and
Abdulrahman Al{-}Ahmari},
title = {On Parametrizing Feasible Reconfigurable Systems Under Real-Time,
Energy, and Resource Sharing Constraints},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {18},
number = {3},
pages = {1492--1504},
year = {2021},
url = {https://doi.org/10.1109/TASE.2020.3020333},
doi = {10.1109/TASE.2020.3020333},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/GoubaaKLFA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/AissaBKKLQ21,
author = {Yousra Ben Aissa and
Abdelmalik Bachir and
Mohamed Khalgui and
Anis Koubaa and
Zhiwu Li and
Ting Qu},
title = {On Feasibility of Multichannel Reconfigurable Wireless Sensor Networks
Under Real-Time and Energy Constraints},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {51},
number = {3},
pages = {1446--1461},
year = {2021},
url = {https://doi.org/10.1109/TSMC.2019.2897166},
doi = {10.1109/TSMC.2019.2897166},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/AissaBKKLQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/FkaierKF21,
author = {Soumoud Fkaier and
Mohamed Khalgui and
Georg Frey},
editor = {Raian Ali and
Hermann Kaindl and
Leszek A. Maciaszek},
title = {Modeling Methodology for Reconfigurable Distributed Systems using
Transformations from {GR-UML} to {GR-TNCES} and {IEC} 61499},
booktitle = {Proceedings of the 16th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2021, Online Streaming,
April 26-27, 2021},
pages = {221--230},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010422102210230},
doi = {10.5220/0010422102210230},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/FkaierKF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/FkaierKF21,
author = {Soumoud Fkaier and
Mohamed Khalgui and
Georg Frey},
editor = {Hans{-}Georg Fill and
Marten van Sinderen and
Leszek A. Maciaszek},
title = {A Software Framework for Context-aware Secure Intelligent Applications
of Distributed Systems},
booktitle = {Proceedings of the 16th International Conference on Software Technologies,
{ICSOFT} 2021, Online Streaming, July 6-8, 2021},
pages = {111--121},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010604701110121},
doi = {10.5220/0010604701110121},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/FkaierKF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/FkaierKF21a,
author = {Soumoud Fkaier and
Mohamed Khalgui and
Georg Frey},
editor = {Hans{-}Georg Fill and
Marten van Sinderen and
Leszek A. Maciaszek},
title = {Software Framework of Context-Aware Reconfigurable Secure Smart Grids},
booktitle = {Software Technologies - 16th International Conference, {ICSOFT} 2021,
Virtual Event, July 6-8, 2021, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1622},
pages = {193--217},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-11513-4\_9},
doi = {10.1007/978-3-031-11513-4\_9},
timestamp = {Tue, 06 Dec 2022 17:58:27 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/FkaierKF21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ChniterMKZL20,
author = {Hamza Chniter and
Olfa Mosbahi and
Mohamed Khalgui and
Mengchu Zhou and
Zhiwu Li},
title = {Improved Multi-Core Real-Time Task Scheduling of Reconfigurable Systems
With Energy Constraints},
journal = {{IEEE} Access},
volume = {8},
pages = {95698--95713},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.2990973},
doi = {10.1109/ACCESS.2020.2990973},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ChniterMKZL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/GoubaaKLFZ20,
author = {Aicha Goubaa and
Mohamed Khalgui and
Zhiwu Li and
Georg Frey and
MengChu Zhou},
title = {Scheduling periodic and aperiodic tasks with time, energy harvesting
and precedence constraints on multi-core systems},
journal = {Inf. Sci.},
volume = {520},
pages = {86--104},
year = {2020},
url = {https://doi.org/10.1016/j.ins.2019.12.034},
doi = {10.1016/J.INS.2019.12.034},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/GoubaaKLFZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/LakhdharMKFLZ20,
author = {Wafa Lakhdhar and
Rania Mzid and
Mohamed Khalgui and
Georg Frey and
Zhiwu Li and
MengChu Zhou},
title = {A guidance framework for synthesis of multi-core reconfigurable real-time
systems},
journal = {Inf. Sci.},
volume = {539},
pages = {327--346},
year = {2020},
url = {https://doi.org/10.1016/j.ins.2020.06.005},
doi = {10.1016/J.INS.2020.06.005},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/LakhdharMKFLZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/GasmiMKGL20,
author = {Maroua Gasmi and
Olfa Mosbahi and
Mohamed Khalgui and
Lu{\'{\i}}s Gomes and
Zhiwu Li},
title = {Performance Optimization of Reconfigurable Real-Time Wireless Sensor
Networks},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {50},
number = {7},
pages = {2623--2637},
year = {2020},
url = {https://doi.org/10.1109/TSMC.2018.2824900},
doi = {10.1109/TSMC.2018.2824900},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/GasmiMKGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/GrichiMKL20,
author = {Hanen Grichi and
Olfa Mosbahi and
Mohamed Khalgui and
Zhiwu Li},
title = {An Extended Object Constraint Language for Adaptive Discrete Event
Systems With Application to Reconfigurable Wireless Sensor Networks},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {50},
number = {10},
pages = {3562--3576},
year = {2020},
url = {https://doi.org/10.1109/TSMC.2018.2856763},
doi = {10.1109/TSMC.2018.2856763},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/GrichiMKL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/HafidiKKLAQ20,
author = {Yousra Hafidi and
La{\"{\i}}d Kahloul and
Mohamed Khalgui and
Zhiwu Li and
Khalid Abdulaziz Alnowibet and
Ting Qu},
title = {On Methodology for the Verification of Reconfigurable Timed Net Condition/Event
Systems},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {50},
number = {10},
pages = {3577--3591},
year = {2020},
url = {https://doi.org/10.1109/TSMC.2018.2855209},
doi = {10.1109/TSMC.2018.2855209},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/HafidiKKLAQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/KarouiCLWK20,
author = {Oussama Karoui and
Yufeng Chen and
Zhiwu Li and
Naiqi Wu and
Mohamed Khalgui},
title = {On Hierarchical Construction of the State Space of an Automated Manufacturing
System Modeled With Petri Nets},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {50},
number = {10},
pages = {3613--3627},
year = {2020},
url = {https://doi.org/10.1109/TSMC.2018.2854158},
doi = {10.1109/TSMC.2018.2854158},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/KarouiCLWK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/GammoudiBKC20,
author = {Aymen Gammoudi and
Adel Benzina and
Mohamed Khalgui and
Daniel Chillet},
title = {Energy-Efficient Scheduling of Real-Time Tasks in Reconfigurable Homogeneous
Multicore Platforms},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {50},
number = {12},
pages = {5092--5105},
year = {2020},
url = {https://doi.org/10.1109/TSMC.2018.2865965},
doi = {10.1109/TSMC.2018.2865965},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsmc/GammoudiBKC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/ZioucheMKK20,
author = {Leila Ziouche and
Syrine Ben Meskina and
Mohamed Khalgui and
La{\"{\i}}d Kahloul},
editor = {Raian Ali and
Hermann Kaindl and
Leszek A. Maciaszek},
title = {Smart Grid Reconfiguration based on Prediction Model for Technical
Teams Intervention Integration and Recovery Enhancement},
booktitle = {Proceedings of the 15th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2020, Prague, Czech
Republic, May 5-6, 2020},
pages = {382--389},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009406703820389},
doi = {10.5220/0009406703820389},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/ZioucheMKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/BettiraKK20,
author = {Roufaida Bettira and
La{\"{\i}}d Kahloul and
Mohamed Khalgui},
editor = {Raian Ali and
Hermann Kaindl and
Leszek A. Maciaszek},
title = {A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata},
booktitle = {Proceedings of the 15th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2020, Prague, Czech
Republic, May 5-6, 2020},
pages = {398--406},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009408503980406},
doi = {10.5220/0009408503980406},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/BettiraKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GoubaaKFL20a,
author = {Aicha Goubaa and
Mohamed Khalgui and
Georg Frey and
Zhiwu Li},
editor = {Marten van Sinderen and
Leszek A. Maciaszek and
Hans{-}Georg Fill},
title = {Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time
Tasks with Deadline Constraints},
booktitle = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
Online Event, July 7-9, 2020, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1447},
pages = {25--43},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83007-6\_2},
doi = {10.1007/978-3-030-83007-6\_2},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/GoubaaKFL20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/ChouchaSKKO20,
author = {Chams Eddine Choucha and
Mohamed Oussama Ben Salem and
Mohamed Khalgui and
La{\"{\i}}d Kahloul and
Na{\"{\i}}ma Sou{\^{a}}d Ougouti},
editor = {Marten van Sinderen and
Leszek A. Maciaszek and
Hans{-}Georg Fill},
title = {{R-TNCES} State Space Generation Using Ontology-Based Method on a
Distributed Cloud-Based Architecture},
booktitle = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
Online Event, July 7-9, 2020, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1447},
pages = {44--69},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83007-6\_3},
doi = {10.1007/978-3-030-83007-6\_3},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/ChouchaSKKO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/ChouchaRKK20a,
author = {Chams Eddine Choucha and
Mohamed Ramdani and
Mohamed Khalgui and
La{\"{\i}}d Kahloul},
editor = {Marten van Sinderen and
Leszek A. Maciaszek and
Hans{-}Georg Fill},
title = {On Improvement of Formal Verification of Reconfigurable Real-Time
Systems Using {TCTL} and CTL-Based Properties on IaaS Cloud Environment},
booktitle = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
Online Event, July 7-9, 2020, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1447},
pages = {114--133},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83007-6\_6},
doi = {10.1007/978-3-030-83007-6\_6},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/ChouchaRKK20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/FkaierKF20,
author = {Soumoud Fkaier and
Mohamed Khalgui and
Georg Frey},
editor = {Marten van Sinderen and
Hans{-}Georg Fill and
Leszek A. Maciaszek},
title = {Hybrid Context-awareness Modelling and Reasoning Approach for Microgrid's
Intelligent Control},
booktitle = {Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020},
pages = {116--127},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009780901160127},
doi = {10.5220/0009780901160127},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/FkaierKF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/SoualahHKCK20a,
author = {Sohaib Soualah and
Yousra Hafidi and
Mohamed Khalgui and
Allaoua Chaoui and
La{\"{\i}}d Kahloul},
editor = {Marten van Sinderen and
Leszek A. Maciaszek and
Hans{-}Georg Fill},
title = {Efficient Verification of Reconfigurable Discrete-Event System Using
Isabelle/HOL Theorem Prover and Hadoop},
booktitle = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
Online Event, July 7-9, 2020, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1447},
pages = {227--241},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83007-6\_11},
doi = {10.1007/978-3-030-83007-6\_11},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/SoualahHKCK20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/SoualahHKCK20,
author = {Sohaib Soualah and
Yousra Hafidi and
Mohamed Khalgui and
Allaoua Chaoui and
La{\"{\i}}d Kahloul},
editor = {Marten van Sinderen and
Hans{-}Georg Fill and
Leszek A. Maciaszek},
title = {Formalization and Verification of Reconfigurable Discrete-event System
using Model Driven Engineering and Isabelle/HOL},
booktitle = {Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020},
pages = {250--259},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009893602500259},
doi = {10.5220/0009893602500259},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/SoualahHKCK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/EddineSKKO20,
author = {Chams Eddine Choucha and
Mohamed Oussama Ben Salem and
Mohamed Khalgui and
La{\"{\i}}d Kahloul and
Na{\"{\i}}ma Sou{\^{a}}d Ougouti},
editor = {Marten van Sinderen and
Hans{-}Georg Fill and
Leszek A. Maciaszek},
title = {On the Improvement of R-TNCESs Verification using Distributed Cloud-based
Architecture},
booktitle = {Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020},
pages = {339--349},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009836103390349},
doi = {10.5220/0009836103390349},
timestamp = {Sun, 29 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/EddineSKKO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/RouainiaGKK20,
author = {Hanene Rouainia and
Hanen Grichi and
La{\"{\i}}d Kahloul and
Mohamed Khalgui},
editor = {Marten van Sinderen and
Hans{-}Georg Fill and
Leszek A. Maciaszek},
title = {3D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless
Sensor Networks based on Multi-agent Architecture under Energy Harvesting
Constraints},
booktitle = {Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020},
pages = {394--406},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009971503940406},
doi = {10.5220/0009971503940406},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/RouainiaGKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GoubaaKFL20,
author = {Aicha Goubaa and
Mohamed Khalgui and
Georg Frey and
Zhiwu Li},
editor = {Marten van Sinderen and
Hans{-}Georg Fill and
Leszek A. Maciaszek},
title = {New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic
Real-time Software Tasks},
booktitle = {Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020},
pages = {452--460},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009831104520460},
doi = {10.5220/0009831104520460},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/GoubaaKFL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/ChouchaRKK20,
author = {Chams Eddine Choucha and
Mohamed Ramdani and
Mohamed Khalgui and
La{\"{\i}}d Kahloul},
editor = {Marten van Sinderen and
Hans{-}Georg Fill and
Leszek A. Maciaszek},
title = {On Decomposing Formal Verification of CTL-based Properties on IaaS
Cloud Environment},
booktitle = {Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020},
pages = {544--551},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009972605440551},
doi = {10.5220/0009972605440551},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/ChouchaRKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/HabbachiLK20,
author = {Salwa Habbachi and
Zhiwu Li and
Mohamed Khalgui},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Towards a Generic Framework for Formal Verification and Performance
Analysis of Real-Time Scheduling Algorithms},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {116--130},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_9},
doi = {10.1007/978-3-030-65955-4\_9},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/HabbachiLK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KhalguiML19,
author = {Mohamed Khalgui and
Olfa Mosbahi and
Zhiwu Li},
title = {On Reconfiguration Theory of Discrete-Event Systems: From Initial
Specification Until Final Deployment},
journal = {{IEEE} Access},
volume = {7},
pages = {18219--18233},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2891766},
doi = {10.1109/ACCESS.2019.2891766},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/KhalguiML19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AbidiSKLQ19,
author = {Mohamed Ghaieth Abidi and
Moncef Ben Smida and
Mohamed Khalgui and
Zhiwu Li and
Ting Qu},
title = {Source Resizing and Improved Power Distribution for High Available
Island Microgrid: {A} Case Study on a Tunisian Petroleum Platform},
journal = {{IEEE} Access},
volume = {7},
pages = {22856--22871},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2898272},
doi = {10.1109/ACCESS.2019.2898272},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/AbidiSKLQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GharsellaouiK19,
author = {Hamza Gharsellaoui and
Mohamed Khalgui},
title = {Dynamic Reconfiguration of Intelligence for High Behaviour Adaptability
of Autonomous Distributed Discrete-Event Systems},
journal = {{IEEE} Access},
volume = {7},
pages = {35487--35498},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2904760},
doi = {10.1109/ACCESS.2019.2904760},
timestamp = {Tue, 16 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/GharsellaouiK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AllouchKKA19,
author = {Azza Allouch and
Anis Koubaa and
Mohamed Khalgui and
Tarek Abbes},
title = {Qualitative and Quantitative Risk Analysis and Safety Assessment of
Unmanned Aerial Vehicles Missions Over the Internet},
journal = {{IEEE} Access},
volume = {7},
pages = {53392--53410},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2911980},
doi = {10.1109/ACCESS.2019.2911980},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/AllouchKKA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/SmidaMKFL19,
author = {Moncef Ben Smida and
Khaoula Miled and
Mohamed Khalgui and
Georg Frey and
Zhiwu Li},
title = {Modeling and Verification of a Reliable Multi-Agent Solution Promoting
the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location},
journal = {{IEEE} Access},
volume = {7},
pages = {55090--55107},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2907199},
doi = {10.1109/ACCESS.2019.2907199},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/SmidaMKFL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KoubaaAAJBK19,
author = {Anis Koub{\^{a}}a and
Azza Allouch and
Maram Alajlan and
Yasir Javed and
Abdelfettah Belghith and
Mohamed Khalgui},
title = {Micro Air Vehicle Link (MAVlink) in a Nutshell: {A} Survey},
journal = {{IEEE} Access},
volume = {7},
pages = {87658--87680},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2924410},
doi = {10.1109/ACCESS.2019.2924410},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/KoubaaAAJBK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/NaidjiSKBLW19,
author = {Ilyes Naidji and
Moncef Ben Smida and
Mohamed Khalgui and
Abdelmalik Bachir and
Zhiwu Li and
Naiqi Wu},
title = {Efficient Allocation Strategy of Energy Storage Systems in Power Grids
Considering Contingencies},
journal = {{IEEE} Access},
volume = {7},
pages = {186378--186392},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2957277},
doi = {10.1109/ACCESS.2019.2957277},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/NaidjiSKBLW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/KoubaaQSAJACKT19,
author = {Anis Koub{\^{a}}a and
Basit Qureshi and
Mohamed{-}Foued Sriti and
Azza Allouch and
Yasir Javed and
Maram Alajlan and
Omar Cheikhrouhou and
Mohamed Khalgui and
Eduardo Tovar},
title = {Dronemap Planner: {A} service-oriented cloud-based management system
for the Internet-of-Drones},
journal = {Ad Hoc Networks},
volume = {86},
pages = {46--62},
year = {2019},
url = {https://doi.org/10.1016/j.adhoc.2018.09.013},
doi = {10.1016/J.ADHOC.2018.09.013},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/adhoc/KoubaaQSAJACKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/GuellouzBKFLV19,
author = {Safa Guellouz and
Adel Benzina and
Mohamed Khalgui and
Georg Frey and
Zhiwu Li and
Valeriy Vyatkin},
title = {Designing Efficient Reconfigurable Control Systems Using {IEC61499}
and Symbolic Model Checking},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {16},
number = {3},
pages = {1110--1124},
year = {2019},
url = {https://doi.org/10.1109/TASE.2018.2868897},
doi = {10.1109/TASE.2018.2868897},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/GuellouzBKFLV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/AhmedMKL19,
author = {Asma Ben Ahmed and
Olfa Mosbahi and
Mohamed Khalgui and
Zhiwu Li},
title = {Boundary Scan Extension for Testing Distributed Reconfigurable Hardware
Systems},
journal = {{IEEE} Trans. Circuits Syst. {I} Regul. Pap.},
volume = {66-I},
number = {7},
pages = {2699--2708},
year = {2019},
url = {https://doi.org/10.1109/TCSI.2019.2894441},
doi = {10.1109/TCSI.2019.2894441},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcas/AhmedMKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/LakhdharMKLFA19,
author = {Wafa Lakhdhar and
Rania Mzid and
Mohamed Khalgui and
Zhiwu Li and
Georg Frey and
Abdulrahman Al{-}Ahmari},
title = {Multiobjective Optimization Approach for a Portable Development of
Reconfigurable Real-Time Systems: From Specification to Implementation},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {49},
number = {3},
pages = {623--637},
year = {2019},
url = {https://doi.org/10.1109/TSMC.2017.2781460},
doi = {10.1109/TSMC.2017.2781460},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/LakhdharMKLFA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/RamdaniKKH19,
author = {Mohamed Ramdani and
La{\"{\i}}d Kahloul and
Mohamed Khalgui and
Yousra Hafidi},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {{R-TNCES} Rebuilding: {A} New Method of {CTL} Model Update for Reconfigurable
Systems},
booktitle = {Proceedings of the 14th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2019, Heraklion,
Crete, Greece, May 4-5, 2019},
pages = {159--168},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007736801590168},
doi = {10.5220/0007736801590168},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/RamdaniKKH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/HafidiKKR19a,
author = {Yousra Hafidi and
La{\"{\i}}d Kahloul and
Mohamed Khalgui and
Mohamed Ramdani},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {New Method to Reduce Verification Time of Reconfigurable Real-Time
Systems Using R-TNCESs Formalism},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 14th International
Conference, {ENASE} 2019, Heraklion, Crete, Greece, May 4-5, 2019,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1172},
pages = {246--266},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-40223-5\_12},
doi = {10.1007/978-3-030-40223-5\_12},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/HafidiKKR19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/RamdaniKKH19a,
author = {Mohamed Ramdani and
La{\"{\i}}d Kahloul and
Mohamed Khalgui and
Yousra Hafidi},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {On Improving {R-TNCES} Rebuilding for Reconfigurable Real-Time Systems},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 14th International
Conference, {ENASE} 2019, Heraklion, Crete, Greece, May 4-5, 2019,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1172},
pages = {267--285},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-40223-5\_13},
doi = {10.1007/978-3-030-40223-5\_13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/RamdaniKKH19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/HafidiKKR19,
author = {Yousra Hafidi and
La{\"{\i}}d Kahloul and
Mohamed Khalgui and
Mohamed Ramdani},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {On Improved Verification of Reconfigurable Real-Time Systems},
booktitle = {Proceedings of the 14th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2019, Heraklion,
Crete, Greece, May 4-5, 2019},
pages = {394--401},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007736603940401},
doi = {10.5220/0007736603940401},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/HafidiKKR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/HafidiKK19a,
author = {Yousra Hafidi and
La{\"{\i}}d Kahloul and
Mohamed Khalgui},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior
and Faulty Components: {A} Case Study on SGrids},
booktitle = {Software Technologies - 14th International Conference, {ICSOFT} 2019,
Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1250},
pages = {108--129},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-52991-8\_6},
doi = {10.1007/978-3-030-52991-8\_6},
timestamp = {Fri, 31 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/HafidiKK19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/HafidiKK19,
author = {Yousra Hafidi and
La{\"{\i}}d Kahloul and
Mohamed Khalgui},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {New Methodology for Backward Analysis of Reconfigurable Event Control
Systems using R-TNCESs},
booktitle = {Proceedings of the 14th International Conference on Software Technologies,
{ICSOFT} 2019, Prague, Czech Republic, July 26-28, 2019},
pages = {129--140},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007979901290140},
doi = {10.5220/0007979901290140},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/HafidiKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/NaidjiMKB19a,
author = {Ilyes Naidji and
Olfa Mosbahi and
Mohamed Khalgui and
Abdelmalik Bachir},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {Two-Stage Game Theoretic Approach for Energy Management in Networked
Microgrids},
booktitle = {Software Technologies - 14th International Conference, {ICSOFT} 2019,
Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1250},
pages = {205--228},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-52991-8\_10},
doi = {10.1007/978-3-030-52991-8\_10},
timestamp = {Fri, 31 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/NaidjiMKB19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/RamdaniKK19,
author = {Mohamed Ramdani and
La{\"{\i}}d Kahloul and
Mohamed Khalgui},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {On Improving Parallel Rebuilding of R-TNCESs},
booktitle = {Proceedings of the 14th International Conference on Software Technologies,
{ICSOFT} 2019, Prague, Czech Republic, July 26-28, 2019},
pages = {315--322},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007977903150322},
doi = {10.5220/0007977903150322},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/RamdaniKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/NaidjiMKB19,
author = {Ilyes Naidji and
Olfa Mosbahi and
Mohamed Khalgui and
Abdelmalik Bachir},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {Cooperative Energy Management Software for Networked Microgrids},
booktitle = {Proceedings of the 14th International Conference on Software Technologies,
{ICSOFT} 2019, Prague, Czech Republic, July 26-28, 2019},
pages = {428--438},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007965604280438},
doi = {10.5220/0007965604280438},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/NaidjiMKB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/AissaGKKB19,
author = {Yousra Ben Aissa and
Hanen Grichi and
Mohamed Khalgui and
Anis Koubaa and
Abdelmalik Bachir},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {{QCOF:} New {RPL} Extension for QoS and Congestion-Aware in Low Power
and Lossy Network},
booktitle = {Proceedings of the 14th International Conference on Software Technologies,
{ICSOFT} 2019, Prague, Czech Republic, July 26-28, 2019},
pages = {560--569},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007978805600569},
doi = {10.5220/0007978805600569},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/AissaGKKB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcmc/AllouchCKKA19,
author = {Azza Allouch and
Omar Cheikhrouhou and
Anis Koub{\^{a}}a and
Mohamed Khalgui and
Tarek Abbes},
title = {MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial
Systems},
booktitle = {15th International Wireless Communications {\&} Mobile Computing
Conference, {IWCMC} 2019, Tangier, Morocco, June 24-28, 2019},
pages = {621--628},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IWCMC.2019.8766667},
doi = {10.1109/IWCMC.2019.8766667},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwcmc/AllouchCKKA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/ZioucheMKKL19,
author = {Leila Ziouche and
Syrine Ben Meskina and
Mohamed Khalgui and
La{\"{\i}}d Kahloul and
ZhiWu Li},
title = {Smart Grid Rebuilding based on Cloud Computing Architecture},
booktitle = {2019 {IEEE} International Conference on Systems, Man and Cybernetics,
{SMC} 2019, Bari, Italy, October 6-9, 2019},
pages = {2259--2266},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SMC.2019.8914432},
doi = {10.1109/SMC.2019.8914432},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/ZioucheMKKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/BettiraKKL19,
author = {Roufaida Bettira and
La{\"{\i}}d Kahloul and
Mohamed Khalgui and
Zhiwu Li},
title = {Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic
Verification},
booktitle = {2019 {IEEE} International Conference on Systems, Man and Cybernetics,
{SMC} 2019, Bari, Italy, October 6-9, 2019},
pages = {2364--2371},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SMC.2019.8913890},
doi = {10.1109/SMC.2019.8913890},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/BettiraKKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-09432,
author = {Azza Allouch and
Anis Koubaa and
Mohamed Khalgui and
Tarek Abbes},
title = {Qualitative and Quantitative Risk Analysis and Safety Assessment of
Unmanned Aerial Vehicles Missions over the Internet},
journal = {CoRR},
volume = {abs/1904.09432},
year = {2019},
url = {http://arxiv.org/abs/1904.09432},
eprinttype = {arXiv},
eprint = {1904.09432},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-09432.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-00265,
author = {Azza Allouch and
Omar Cheikhrouhou and
Anis Koubaa and
Mohamed Khalgui and
Tarek Abbes},
title = {MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial
Systems},
journal = {CoRR},
volume = {abs/1905.00265},
year = {2019},
url = {http://arxiv.org/abs/1905.00265},
eprinttype = {arXiv},
eprint = {1905.00265},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-00265.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-10641,
author = {Anis Koubaa and
Azza Allouch and
Maram Alajlan and
Yasir Javed and
Abdelfettah Belghith and
Mohamed Khalgui},
title = {Micro Air Vehicle Link (MAVLink) in a Nutshell: {A} Survey},
journal = {CoRR},
volume = {abs/1906.10641},
year = {2019},
url = {http://arxiv.org/abs/1906.10641},
eprinttype = {arXiv},
eprint = {1906.10641},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-10641.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-08982,
author = {Ilyes Naidji and
Moncef Ben Smida and
Mohamed Khalgui and
Abdelmalik Bachir},
title = {Non Cooperative Game Theoretic Approach for Residential Energy Management
in Smart Grid},
journal = {CoRR},
volume = {abs/1908.08982},
year = {2019},
url = {http://arxiv.org/abs/1908.08982},
eprinttype = {arXiv},
eprint = {1908.08982},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-08982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/HousseyniMKLY18,
author = {Wiem Housseyni and
Olfa Mosbahi and
Mohamed Khalgui and
Zhiwu Li and
Li Yin},
title = {Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable
Real-Time Tasks With Energy Harvesting Constraints},
journal = {{IEEE} Access},
volume = {6},
pages = {2068--2084},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2017.2781459},
doi = {10.1109/ACCESS.2017.2781459},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/HousseyniMKLY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GhribiAKLAP18,
author = {Ines Ghribi and
Riadh Ben Abdallah and
Mohamed Khalgui and
Zhiwu Li and
Khalid Abdulaziz Alnowibet and
Marco Platzner},
title = {R-Codesign: Codesign Methodology for Real-Time Reconfigurable Embedded
Systems Under Energy Constraints},
journal = {{IEEE} Access},
volume = {6},
pages = {14078--14092},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2799852},
doi = {10.1109/ACCESS.2018.2799852},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/GhribiAKLAP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ChniterLKKLJ18,
author = {Hamza Chniter and
Yuting Li and
Mohamed Khalgui and
Anis Koubaa and
Zhiwu Li and
Fethi Jarray},
title = {Multi-Agent Adaptive Architecture for Flexible Distributed Real-Time
Systems},
journal = {{IEEE} Access},
volume = {6},
pages = {23152--23171},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2825023},
doi = {10.1109/ACCESS.2018.2825023},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/ChniterLKKLJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KarouiLWKNE18,
author = {Oussama Karoui and
Zhiwu Li and
Naiqi Wu and
Mohamed Khalgui and
Emad S. Abouel Nasr and
Abdul{-}Aziz Mohammed El{-}Tamimi},
title = {One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net
Based Deadlock Prevention Policy},
journal = {{IEEE} Access},
volume = {6},
pages = {34307--34323},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2843380},
doi = {10.1109/ACCESS.2018.2843380},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/KarouiLWKNE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KhemaissiaMKLQ18,
author = {Imen Khemaissia and
Olfa Mosbahi and
Mohamed Khalgui and
Zhiwu Li and
Ting Qu},
title = {Coherence and Feasibility of Real-Time Software Tasks in Networked
Adaptive Systems},
journal = {{IEEE} Access},
volume = {6},
pages = {35824--35843},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2845942},
doi = {10.1109/ACCESS.2018.2845942},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/KhemaissiaMKLQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KarouiKCWAU18,
author = {Oussama Karoui and
Mohamed Khalgui and
Yufeng Chen and
Naiqi Wu and
Ateekh{-}Ur{-}Rehman and
Usama Umer},
title = {State Space Characterization of Disjunctive Single-Unit Resource Allocation
Systems},
journal = {{IEEE} Access},
volume = {6},
pages = {51515--51527},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2867091},
doi = {10.1109/ACCESS.2018.2867091},
timestamp = {Fri, 12 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/KarouiKCWAU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GuLWKQA18,
author = {Chao Gu and
Zhiwu Li and
Naiqi Wu and
Mohamed Khalgui and
Ting Qu and
Abdulrahman Al{-}Ahmari},
title = {Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing
Systems},
journal = {{IEEE} Access},
volume = {6},
pages = {68824--68838},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2872572},
doi = {10.1109/ACCESS.2018.2872572},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/GuLWKQA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/OueslatiMKLQ18,
author = {Raja Oueslati and
Olfa Mosbahi and
Mohamed Khalgui and
Zhiwu Li and
Ting Qu},
title = {Combining Semi-Formal and Formal Methods for the Development of Distributed
Reconfigurable Control Systems},
journal = {{IEEE} Access},
volume = {6},
pages = {70426--70443},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2878896},
doi = {10.1109/ACCESS.2018.2878896},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/OueslatiMKLQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/MeskinaDKL18,
author = {Syrine Ben Meskina and
Narjes Doggaz and
Mohamed Khalgui and
Zhiwu Li},
title = {Reconfiguration-based methodology for improving recovery performance
of faults in smart grids},
journal = {Inf. Sci.},
volume = {454-455},
pages = {73--95},
year = {2018},
url = {https://doi.org/10.1016/j.ins.2018.04.010},
doi = {10.1016/J.INS.2018.04.010},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/MeskinaDKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/AhmedMKL18,
author = {Asma Ben Ahmed and
Olfa Mosbahi and
Mohamed Khalgui and
Zhiwu Li},
title = {Toward a New Methodology for an Efficient Test of Reconfigurable Hardware
Systems},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {15},
number = {4},
pages = {1864--1882},
year = {2018},
url = {https://doi.org/10.1109/TASE.2018.2822050},
doi = {10.1109/TASE.2018.2822050},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/AhmedMKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/GasmiMKGL18,
author = {Maroua Gasmi and
Olfa Mosbahi and
Mohamed Khalgui and
Lu{\'{\i}}s Gomes and
Zhiwu Li},
title = {R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless
Sensor Node},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {48},
number = {6},
pages = {892--905},
year = {2018},
url = {https://doi.org/10.1109/TSMC.2016.2625817},
doi = {10.1109/TSMC.2016.2625817},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/GasmiMKGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/GrichiMKL18,
author = {Hanen Grichi and
Olfa Mosbahi and
Mohamed Khalgui and
Zhiwu Li},
title = {New Power-Oriented Methodology for Dynamic Resizing and Mobility of
Reconfigurable Wireless Sensor Networks},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {48},
number = {7},
pages = {1120--1130},
year = {2018},
url = {https://doi.org/10.1109/TSMC.2016.2645401},
doi = {10.1109/TSMC.2016.2645401},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/GrichiMKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/LakhdharMKF18,
author = {Wafa Lakhdhar and
Rania Mzid and
Mohamed Khalgui and
Georg Frey},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {A New Approach for Optimal Implementation of Multi-core Reconfigurable
Real-time Systems},
booktitle = {Proceedings of the 13th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2018, Funchal, Madeira,
Portugal, March 23-24, 2018},
pages = {89--98},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006698100890098},
doi = {10.5220/0006698100890098},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/LakhdharMKF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/0002CKB18,
author = {Aymen Gammoudi and
Daniel Chillet and
Mohamed Khalgui and
Adel Benzina},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Mapping of Periodic Tasks in Reconfigurable Heterogeneous Multi-core
Platforms},
booktitle = {Proceedings of the 13th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2018, Funchal, Madeira,
Portugal, March 23-24, 2018},
pages = {99--110},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006698500990110},
doi = {10.5220/0006698500990110},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/0002CKB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/LakhdharMKF18a,
author = {Wafa Lakhdhar and
Rania Mzid and
Mohamed Khalgui and
Georg Frey},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration
Constraints},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 13th International
Conference, {ENASE} 2018, Funchal, Madeira, Portugal, March 23-24,
2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1023},
pages = {165--185},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22559-9\_8},
doi = {10.1007/978-3-030-22559-9\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/LakhdharMKF18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/AhmedMK18,
author = {Asma Ben Ahmed and
Olfa Mosbahi and
Mohamed Khalgui},
editor = {Ciprian Dobre and
Francisco J. Melero and
Radu{-}Ioan Ciobanu and
Francesco Palmieri},
title = {Enhanced Test for Reconfigurable Hardware Systems Based on Sequential
Logic},
booktitle = {16th {IEEE} International Conference on Embedded and Ubiquitous Computing,
{EUC} 2018, Bucharest, Romania, October 29-31, 2018},
pages = {45--53},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/EUC.2018.00014},
doi = {10.1109/EUC.2018.00014},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euc/AhmedMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/RamdaniKK18,
author = {Mohamed Ramdani and
La{\"{\i}}d Kahloul and
Mohamed Khalgui},
editor = {Leszek A. Maciaszek and
Marten van Sinderen},
title = {Automatic Properties Classification Approach for Guiding the Verification
of Complex Reconfigurable Systems},
booktitle = {Proceedings of the 13th International Conference on Software Technologies,
{ICSOFT} 2018, Porto, Portugal, July 26-28, 2018},
pages = {625--632},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006863006250632},
doi = {10.5220/0006863006250632},
timestamp = {Wed, 29 Aug 2018 15:24:05 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/RamdaniKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/KarouiKKGLT17,
author = {Oussama Karoui and
Mohamed Khalgui and
Anis Koub{\^{a}}a and
Emna Guerfala and
Zhiwu Li and
Eduardo Tovar},
title = {Dual mode for vehicular platoon safety: Simulation and formal verification},
journal = {Inf. Sci.},
volume = {402},
pages = {216--232},
year = {2017},
url = {https://doi.org/10.1016/j.ins.2017.03.016},
doi = {10.1016/J.INS.2017.03.016},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/KarouiKKGLT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/GrichiMKL17,
author = {Hanen Grichi and
Olfa Mosbahi and
Mohamed Khalgui and
Zhiwu Li},
title = {RWiN: New Methodology for the Development of Reconfigurable {WSN}},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {14},
number = {1},
pages = {109--125},
year = {2017},
url = {https://doi.org/10.1109/TASE.2016.2608918},
doi = {10.1109/TASE.2016.2608918},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/GrichiMKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/MeskinaDKL17,
author = {Syrine Ben Meskina and
Narjes Doggaz and
Mohamed Khalgui and
Zhiwu Li},
title = {Multiagent Framework for Smart Grids Recovery},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {47},
number = {7},
pages = {1284--1300},
year = {2017},
url = {https://doi.org/10.1109/TSMC.2016.2573824},
doi = {10.1109/TSMC.2016.2573824},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/MeskinaDKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/HousseyniMK17,
author = {Wiem Housseyni and
Olfa Mosbahi and
Mohamed Khalgui},
title = {Adaptive Task Mapping and Scheduling for Reconfigurable Distributed
Embedded Energy Harvesting Systems},
booktitle = {14th {IEEE/ACS} International Conference on Computer Systems and Applications,
{AICCSA} 2017, Hammamet, Tunisia, October 30 - Nov. 3, 2017},
pages = {630--636},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/AICCSA.2017.191},
doi = {10.1109/AICCSA.2017.191},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/HousseyniMK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/FkaierRKF17,
author = {Soumoud Fkaier and
Mohamed Romdhani and
Mohamed Khalgui and
Georg Frey},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Context-awareness Meta-model for Reconfigurable Control Systems},
booktitle = {{ENASE} 2017 - Proceedings of the 12th International Conference on
Evaluation of Novel Approaches to Software Engineering, Porto, Portugal,
April 28-29, 2017},
pages = {226--234},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006328502260234},
doi = {10.5220/0006328502260234},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/FkaierRKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/KhlifiSMKF17a,
author = {Oussama Khlifi and
Christian Siegwart and
Olfa Mosbahi and
Mohamed Khalgui and
Georg Frey},
editor = {Enrique Cabello and
Jorge Cardoso and
Leszek A. Maciaszek and
Marten van Sinderen},
title = {From Specification to Implementation of an Automotive Transport System},
booktitle = {Software Technologies - 12th International Joint Conference, {ICSOFT}
2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {868},
pages = {49--68},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-93641-3\_3},
doi = {10.1007/978-3-319-93641-3\_3},
timestamp = {Thu, 03 Feb 2022 09:27:49 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/KhlifiSMKF17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/KhlifiSMKF17,
author = {Oussama Khlifi and
Christian Siegwart and
Olfa Mosbahi and
Mohamed Khalgui and
Georg Frey},
editor = {Jorge Cardoso and
Leszek A. Maciaszek and
Marten van Sinderen and
Enrique Cabello},
title = {Specification Approach using {GR-TNCES:} Application to an Automotive
Transport System},
booktitle = {Proceedings of the 12th International Conference on Software Technologies,
{ICSOFT} 2017, Madrid, Spain, July 24-26, 2017},
pages = {105--115},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006426801050115},
doi = {10.5220/0006426801050115},
timestamp = {Thu, 03 Feb 2022 09:27:49 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/KhlifiSMKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GhribiAK17,
author = {Ines Ghribi and
Riadh Ben Abdallah and
Mohamed Khalgui},
editor = {Jorge Cardoso and
Leszek A. Maciaszek and
Marten van Sinderen and
Enrique Cabello},
title = {An Energy Aware Scheduling for Reconfigurable Heterogeneous Systems},
booktitle = {Proceedings of the 12th International Conference on Software Technologies,
{ICSOFT} 2017, Madrid, Spain, July 24-26, 2017},
pages = {171--177},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006460701710177},
doi = {10.5220/0006460701710177},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/GhribiAK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/HousseyniMK17,
author = {Wiem Housseyni and
Olfa Mosbahi and
Mohamed Khalgui},
editor = {Jorge Cardoso and
Leszek A. Maciaszek and
Marten van Sinderen and
Enrique Cabello},
title = {REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting
Multiprocessor Systems},
booktitle = {Proceedings of the 12th International Conference on Software Technologies,
{ICSOFT} 2017, Madrid, Spain, July 24-26, 2017},
pages = {346--354},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006432203460354},
doi = {10.5220/0006432203460354},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/HousseyniMK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/KhlifiMKF17,
author = {Oussama Khlifi and
Olfa Mosbahi and
Mohamed Khalgui and
Georg Frey},
editor = {Jorge Cardoso and
Leszek A. Maciaszek and
Marten van Sinderen and
Enrique Cabello},
title = {New Verification Approach for Reconfigurable Distributed Systems},
booktitle = {Proceedings of the 12th International Conference on Software Technologies,
{ICSOFT} 2017, Madrid, Spain, July 24-26, 2017},
pages = {355--362},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006434003550362},
doi = {10.5220/0006434003550362},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/KhlifiMKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmic/MosbahiK16,
author = {Olfa Mosbahi and
Mohamed Khalgui},
title = {New solutions for optimal power production, distribution and consumption
in smart grids},
journal = {Int. J. Model. Identif. Control.},
volume = {26},
number = {2},
pages = {110--129},
year = {2016},
url = {https://doi.org/10.1504/IJMIC.2016.078345},
doi = {10.1504/IJMIC.2016.078345},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijmic/MosbahiK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsda/GharbiGK16,
author = {Atef Gharbi and
Hamza Gharsellaoui and
Mohamed Khalgui},
title = {Real-Time Reconfigurations of Embedded Control Systems},
journal = {Int. J. Syst. Dyn. Appl.},
volume = {5},
number = {3},
pages = {71--93},
year = {2016},
url = {https://doi.org/10.4018/IJSDA.2016070104},
doi = {10.4018/IJSDA.2016070104},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsda/GharbiGK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/FkaierRKF16,
author = {Soumoud Fkaier and
Mohamed Romdhani and
Mohamed Khalgui and
Georg Frey},
title = {Enabling reconfiguration of adaptive control systems using real-time
context-aware framework},
booktitle = {13th {IEEE/ACS} International Conference of Computer Systems and Applications,
{AICCSA} 2016, Agadir, Morocco, November 29 - December 2, 2016},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/AICCSA.2016.7945781},
doi = {10.1109/AICCSA.2016.7945781},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/FkaierRKF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/GuellouzBKF16,
author = {Safa Guellouz and
Adel Benzina and
Mohamed Khalgui and
Georg Frey},
title = {Reconfigurable function blocks: Extension to the standard {IEC} 61499},
booktitle = {13th {IEEE/ACS} International Conference of Computer Systems and Applications,
{AICCSA} 2016, Agadir, Morocco, November 29 - December 2, 2016},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/AICCSA.2016.7945784},
doi = {10.1109/AICCSA.2016.7945784},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/GuellouzBKF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/HousseyniMKC16,
author = {Wiem Housseyni and
Olfa Mosbahi and
Mohamed Khalgui and
Maryline Chetto},
title = {Real-time scheduling of sporadic tasks in energy harvesting distributed
reconfigurable embedded systems},
booktitle = {13th {IEEE/ACS} International Conference of Computer Systems and Applications,
{AICCSA} 2016, Agadir, Morocco, November 29 - December 2, 2016},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/AICCSA.2016.7945682},
doi = {10.1109/AICCSA.2016.7945682},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/HousseyniMKC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SalahBK16,
author = {Hela Ben Salah and
Adel Benzina and
Mohamed Khalgui},
title = {Verification of Reconfigurable NoC under Quality of Service Constraints},
booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2016, Atlanta, GA, USA, June 10-14, 2016},
pages = {329--334},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/COMPSAC.2016.218},
doi = {10.1109/COMPSAC.2016.218},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SalahBK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/HousseyniMKC16,
author = {Wiem Housseyni and
Olfa Mosbahi and
Mohamed Khalgui and
Maryline Chetto},
title = {Real-Time Scheduling of Reconfigurable Distributed Embedded Systems
with Energy Harvesting Prediction},
booktitle = {20th {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications, {DS-RT} 2016, London, United Kingdom,
September 21-23, 2016},
pages = {145--152},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DS-RT.2016.30},
doi = {10.1109/DS-RT.2016.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/HousseyniMKC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/AdailiMKB16a,
author = {Farid Adaili and
Olfa Mosbahi and
Mohamed Khalgui and
Samia Bouzefrane},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {Towards a Secure {RA2DL} Based Approach},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 11th International
Conference, {ENASE} 2016, Rome, Italy, April 27-28, 2016, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {703},
pages = {89--110},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-56390-9\_5},
doi = {10.1007/978-3-319-56390-9\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/AdailiMKB16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/AdailiMKB16,
author = {Farid Adaili and
Olfa Mosbahi and
Mohamed Khalgui and
Samia Bouzefrane},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable
Embedded Systems},
booktitle = {{ENASE} 2016 - Proceedings of the 11th International Conference on
Evaluation of Novel Approaches to Software Engineering, Rome, Italy
27-28 April, 2016},
pages = {102--111},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005874301020111},
doi = {10.5220/0005874301020111},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/AdailiMKB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/OueslatiMKA16,
author = {Raja Oueslati and
Olfa Mosbahi and
Mohamed Khalgui and
Samir Ben Ahmed},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {A Novel {R-UML-B} Approach for Modeling and Code Generation of Reconfigurable
Control Systems},
booktitle = {{ENASE} 2016 - Proceedings of the 11th International Conference on
Evaluation of Novel Approaches to Software Engineering, Rome, Italy
27-28 April, 2016},
pages = {140--147},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005829301400147},
doi = {10.5220/0005829301400147},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/OueslatiMKA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/KhlifiSMKF16,
author = {Oussama Khlifi and
Christian Siegwart and
Olfa Mosbahi and
Mohamed Khalgui and
Georg Frey},
editor = {Oleg Gusikhin and
Dimitri Peaucelle and
Kurosh Madani},
title = {Modeling and Simulation of an Energy Efficient Skid Conveyor using
{ZIZO}},
booktitle = {Proceedings of the 13th International Conference on Informatics in
Control, Automation and Robotics {(ICINCO} 2016) - Volume 1, Lisbon,
Portugal, July 29-31, 2016},
pages = {551--558},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0006002305510558},
doi = {10.5220/0006002305510558},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/KhlifiSMKF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/LakhdharMKT16a,
author = {Wafa Lakhdhar and
Rania Mzid and
Mohamed Khalgui and
Nicolas Tr{\`{e}}ves},
editor = {Enrique Cabello and
Jorge Cardoso and
Andr{\'{e}} Ludwig and
Leszek A. Maciaszek and
Marten van Sinderen},
title = {A New Approach for Automatic Development of Reconfigurable Real-Time
Systems},
booktitle = {Software Technologies, 11th International Joint Conference, {ICSOFT}
2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {743},
pages = {22--44},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-62569-0\_2},
doi = {10.1007/978-3-319-62569-0\_2},
timestamp = {Thu, 03 Feb 2022 09:27:49 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/LakhdharMKT16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GhribiAKP16a,
author = {Ines Ghribi and
Riadh Ben Abdallah and
Mohamed Khalgui and
Marco Platzner},
editor = {Enrique Cabello and
Jorge Cardoso and
Andr{\'{e}} Ludwig and
Leszek A. Maciaszek and
Marten van Sinderen},
title = {I-Codesign: {A} Codesign Methodology for Reconfigurable Embedded Systems},
booktitle = {Software Technologies, 11th International Joint Conference, {ICSOFT}
2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {743},
pages = {153--174},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-62569-0\_8},
doi = {10.1007/978-3-319-62569-0\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/GhribiAKP16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/KhemaissiaMKL16a,
author = {Imen Khemaissia and
Olfa Mosbahi and
Mohamed Khalgui and
Zhiwu Li},
editor = {Enrique Cabello and
Jorge Cardoso and
Andr{\'{e}} Ludwig and
Leszek A. Maciaszek and
Marten van Sinderen},
title = {\emph{CRMPSoC}: New Solution for Feasible Reconfigurable MPSoC},
booktitle = {Software Technologies, 11th International Joint Conference, {ICSOFT}
2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {743},
pages = {175--198},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-62569-0\_9},
doi = {10.1007/978-3-319-62569-0\_9},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/KhemaissiaMKL16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/KhemaissiaMKL16,
author = {Imen Khemaissia and
Olfa Mosbahi and
Mohamed Khalgui and
ZhiWu Li},
editor = {Leszek A. Maciaszek and
Jorge Cardoso and
Andr{\'{e}} Ludwig and
Marten van Sinderen and
Enrique Cabello},
title = {New Methodology for Feasible Reconfigurable Real-Time Network-on-Chip
NoC},
booktitle = {Proceedings of the 11th International Joint Conference on Software
Technologies {(ICSOFT} 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal,
July 24 - 26, 2016},
pages = {249--257},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005992002490257},
doi = {10.5220/0005992002490257},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/KhemaissiaMKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/LakhdharMKT16,
author = {Wafa Lakhdhar and
Rania Mzid and
Mohamed Khalgui and
Nicolas Tr{\`{e}}ves},
editor = {Leszek A. Maciaszek and
Jorge Cardoso and
Andr{\'{e}} Ludwig and
Marten van Sinderen and
Enrique Cabello},
title = {MILP-based Approach for Optimal Implementation of Reconfigurable Real-time
Systems},
booktitle = {Proceedings of the 11th International Joint Conference on Software
Technologies {(ICSOFT} 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal,
July 24 - 26, 2016},
pages = {330--335},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0006006703300335},
doi = {10.5220/0006006703300335},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/LakhdharMKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GhribiAKP16,
author = {Ines Ghribi and
Riadh Ben Abdallah and
Mohamed Khalgui and
Marco Platzner},
editor = {Leszek A. Maciaszek and
Jorge Cardoso and
Andr{\'{e}} Ludwig and
Marten van Sinderen and
Enrique Cabello},
title = {New Co-design Methodology for Real-time Embedded Systems},
booktitle = {Proceedings of the 11th International Joint Conference on Software
Technologies {(ICSOFT} 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal,
July 24 - 26, 2016},
pages = {353--364},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0006010703530364},
doi = {10.5220/0006010703530364},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/GhribiAKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/0002BKC16,
author = {Aymen Gammoudi and
Adel Benzina and
Mohamed Khalgui and
Daniel Chillet},
title = {Real-Time Scheduling of Reconfigurable Battery-Powered Multi-Core
Platforms},
booktitle = {28th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2016, San Jose, CA, USA, November 6-8, 2016},
pages = {121--129},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICTAI.2016.0028},
doi = {10.1109/ICTAI.2016.0028},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/0002BKC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/GrichiMK16,
author = {Hanen Grichi and
Olfa Mosbahi and
Mohamed Khalgui},
editor = {Hamido Fujita and
George Angelos Papadopoulos},
title = {A Development Tool Chain for Reconfigurable WSNs},
booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings
of the Fifteenth SoMeT{\_}16, Larnaca, Cyprus, 12-14 September 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {286},
pages = {101--114},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-674-3-101},
doi = {10.3233/978-1-61499-674-3-101},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/somet/GrichiMK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/WangKKLMZ15,
author = {Xi Wang and
Imen Khemaissia and
Mohamed Khalgui and
ZhiWu Li and
Olfa Mosbahi and
MengChu Zhou},
title = {Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic
and Probabilistic Tasks},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {12},
number = {1},
pages = {258--271},
year = {2015},
url = {https://doi.org/10.1109/TASE.2014.2309479},
doi = {10.1109/TASE.2014.2309479},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tase/WangKKLMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/ZhangKLFMS15,
author = {Jiafeng Zhang and
Mohamed Khalgui and
Zhiwu Li and
Georg Frey and
Olfa Mosbahi and
Hela Ben Salah},
title = {Reconfigurable Coordination of Distributed Discrete Event Control
Systems},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {23},
number = {1},
pages = {323--330},
year = {2015},
url = {https://doi.org/10.1109/TCST.2014.2313352},
doi = {10.1109/TCST.2014.2313352},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/ZhangKLFMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/QinLZKM15,
author = {Meng Qin and
Zhiwu Li and
Mengchu Zhou and
Mohamed Khalgui and
Olfa Mosbahi},
title = {Corrections to "Deadlock Prevention for a Class of Petri Nets
With Uncontrollable and Unobservable Transitions"},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {45},
number = {10},
pages = {1385--1386},
year = {2015},
url = {https://doi.org/10.1109/TSMC.2015.2394491},
doi = {10.1109/TSMC.2015.2394491},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/QinLZKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/SalahBK15,
author = {Hela Ben Salah and
Adel Benzina and
Mohamed Khalgui},
editor = {Takayuki Ito and
Yanggon Kim and
Naoki Fukuta},
title = {Petri Nets-based design of real-time reconfigurable networks on chips},
booktitle = {14th {IEEE/ACIS} International Conference on Computer and Information
Science, {ICIS} 2015, Las Vegas, NV, USA, June 28 - July 1, 2015},
pages = {597--604},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICIS.2015.7166664},
doi = {10.1109/ICIS.2015.7166664},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/SalahBK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/GharsellaouiKKK15,
author = {Hamza Gharsellaoui and
Ismail Ktata and
Naoufel Kharroubi and
Mohamed Khalgui},
editor = {Takayuki Ito and
Yanggon Kim and
Naoki Fukuta},
title = {Real-time reconfigurable scheduling of multiprocessor embedded systems
using hybrid genetic based approach},
booktitle = {14th {IEEE/ACIS} International Conference on Computer and Information
Science, {ICIS} 2015, Las Vegas, NV, USA, June 28 - July 1, 2015},
pages = {605--609},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICIS.2015.7166665},
doi = {10.1109/ICIS.2015.7166665},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/GharsellaouiKKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/JarrayCK15,
author = {Fethi Jarray and
Hamza Chniter and
Mohamed Khalgui},
editor = {Takayuki Ito and
Yanggon Kim and
Naoki Fukuta},
title = {New adaptive middleware for real-time embedded operating systems},
booktitle = {14th {IEEE/ACIS} International Conference on Computer and Information
Science, {ICIS} 2015, Las Vegas, NV, USA, June 28 - July 1, 2015},
pages = {610--618},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICIS.2015.7166666},
doi = {10.1109/ICIS.2015.7166666},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/JarrayCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEssd/GrichiMK15,
author = {Hanen Grichi and
Olfa Mosbahi and
Mohamed Khalgui},
title = {Formal specification and verification of reconfigurable wireless sensor
networks},
booktitle = {12th {IEEE} International Multi-Conference on Systems, Signals {\&}
Devices, {SSD} 2015, Mahdia, Tunisia, March 16-19, 2015},
pages = {1--8},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SSD.2015.7348099},
doi = {10.1109/SSD.2015.7348099},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEssd/GrichiMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/SalemMKF15,
author = {Mohamed Oussama Ben Salem and
Olfa Mosbahi and
Mohamed Khalgui and
Georg Frey},
editor = {Christine Verdier and
Marta Bienkiewicz and
Ana L. N. Fred and
Hugo Gamboa and
Dirk Elias},
title = {ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time
Control Tasks Sharing Adaptive Resources - Application to the Medical
Project {BROS}},
booktitle = {{HEALTHINF} 2015 - Proceedings of the International Conference on
Health Informatics, Lisbon, Portugal, 12-15 January, 2015},
pages = {20--31},
publisher = {SciTePress},
year = {2015},
timestamp = {Fri, 11 Sep 2015 17:58:42 +0200},
biburl = {https://dblp.org/rec/conf/biostec/SalemMKF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/SalemMKF15a,
author = {Mohamed Oussama Ben Salem and
Olfa Mosbahi and
Mohamed Khalgui and
Georg Frey},
editor = {Christine Verdier and
Marta Bienkiewicz and
Ana L. N. Fred and
Hugo Gamboa and
Dirk Elias},
title = {{BROS} - {A} New Robotic Platform for the Treatment of Supracondylar
Humerus Fracture},
booktitle = {{HEALTHINF} 2015 - Proceedings of the International Conference on
Health Informatics, Lisbon, Portugal, 12-15 January, 2015},
pages = {151--163},
publisher = {SciTePress},
year = {2015},
timestamp = {Fri, 11 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/SalemMKF15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/SalemMKF15b,
author = {Mohamed Oussama Ben Salem and
Olfa Mosbahi and
Mohamed Khalgui and
Georg Frey},
editor = {Ana L. N. Fred and
Hugo Gamboa and
Dirk Elias},
title = {Towards a Safer and More Optimal Treatment of the Supracondylar Humerus
Fracture},
booktitle = {Biomedical Engineering Systems and Technologies - 8th International
Joint Conference, {BIOSTEC} 2015, Lisbon, Portugal, January 12-15,
2015, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {574},
pages = {403--423},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27707-3\_25},
doi = {10.1007/978-3-319-27707-3\_25},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/biostec/SalemMKF15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GrichiMK15,
author = {Hanen Grichi and
Olfa Mosbahi and
Mohamed Khalgui},
editor = {Pascal Lorenz and
Leszek A. Maciaszek},
title = {{ROCL:} New Extensions to {OCL} for Useful Verification of Flexible
Software Systems},
booktitle = {{ICSOFT-EA} 2015 - Proceedings of the 10th International Conference
on Software Engineering and Applications, Colmar, Alsace, France,
20-22 July, 2015},
pages = {45--52},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005522700450052},
doi = {10.5220/0005522700450052},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/GrichiMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/SalemMKF15,
author = {Mohamed Oussama Ben Salem and
Olfa Mosbahi and
Mohamed Khalgui and
Georg Frey},
editor = {Pascal Lorenz and
Marten van Sinderen and
Jorge Cardoso},
title = {Transformation from {R-UML} to {R-TNCES:} New Formal Solution for
Verification of Flexible Control Systems},
booktitle = {{ICSOFT-PT} 2015 - Proceedings of the 10th International Conference
on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015},
pages = {64--75},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005523700640075},
doi = {10.5220/0005523700640075},
timestamp = {Thu, 03 Feb 2022 09:27:49 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/SalemMKF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/SalemMKF15a,
author = {Mohamed Oussama Ben Salem and
Olfa Mosbahi and
Mohamed Khalgui and
Georg Frey},
editor = {Pascal Lorenz and
Jorge Cardoso and
Leszek A. Maciaszek and
Marten van Sinderen},
title = {{R-UML:} An {UML} Profile for Verification of Flexible Control Systems},
booktitle = {Software Technologies - 10th International Joint Conference, {ICSOFT}
2015, Colmar, France, July 20-22, 2015, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {586},
pages = {118--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-30142-6\_7},
doi = {10.1007/978-3-319-30142-6\_7},
timestamp = {Tue, 21 Mar 2023 21:01:55 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/SalemMKF15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/KhlifiMKF15,
author = {Oussama Khlifi and
Olfa Mosbahi and
Mohamed Khalgui and
Georg Frey},
editor = {Pascal Lorenz and
Leszek A. Maciaszek},
title = {{GR-TNCES:} New Extensions of {R-TNCES} for Modelling and Verification
of Flexible Systems under Energy and Memory Constraints},
booktitle = {{ICSOFT-EA} 2015 - Proceedings of the 10th International Conference
on Software Engineering and Applications, Colmar, Alsace, France,
20-22 July, 2015},
pages = {373--380},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005523503730380},
doi = {10.5220/0005523503730380},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/KhlifiMKF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/OueslatiMKA15,
author = {Raja Oueslati and
Olfa Mosbahi and
Mohamed Khalgui and
Samir Ben Ahmed},
editor = {C{\'{e}}sar Benavente{-}Peces and
Olivier Paillet and
Andreas Ahrens},
title = {Modeling and Verification of B-based Distributed Reconfigurable Control
Systems},
booktitle = {{PECCS} 2015 - Proceedings of the 5th International Conference on
Pervasive and Embedded Computing and Communication Systems, ESEO,
Angers, Loire Valley, France, 11-13 February, 2015},
pages = {124--131},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005244601240131},
doi = {10.5220/0005244601240131},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/peccs/OueslatiMKA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/MeskinaDK15,
author = {Syrine Ben Meskina and
Narjes Doggaz and
Mohamed Khalgui},
editor = {C{\'{e}}sar Benavente{-}Peces and
Olivier Paillet and
Andreas Ahrens},
title = {An Efficient Simulator for Fault Detection and Recovery in Smart Grids
- {FDIRSY}},
booktitle = {{PECCS} 2015 - Proceedings of the 5th International Conference on
Pervasive and Embedded Computing and Communication Systems, ESEO,
Angers, Loire Valley, France, 11-13 February, 2015},
pages = {132--139},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005245001320139},
doi = {10.5220/0005245001320139},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/peccs/MeskinaDK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/AdailiMKB15,
author = {Farid Adaili and
Olfa Mosbahi and
Mohamed Khalgui and
Samia Bouzefrane},
editor = {C{\'{e}}sar Benavente{-}Peces and
Olivier Paillet and
Andreas Ahrens},
title = {{RA2DL:} New Flexible Solution for Adaptive AADL-based Control Components},
booktitle = {{PECCS} 2015 - Proceedings of the 5th International Conference on
Pervasive and Embedded Computing and Communication Systems, ESEO,
Angers, Loire Valley, France, 11-13 February, 2015},
pages = {247--258},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005241202470258},
doi = {10.5220/0005241202470258},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/peccs/AdailiMKB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/AhmedMK15,
author = {Asma Ben Ahmed and
Olfa Mosbahi and
Mohamed Khalgui},
editor = {C{\'{e}}sar Benavente{-}Peces and
Olivier Paillet and
Andreas Ahrens},
title = {New Solutions for Optimal Hardware Tests of Reconfigurable Hardware
Systems},
booktitle = {{PECCS} 2015 - Proceedings of the 5th International Conference on
Pervasive and Embedded Computing and Communication Systems, ESEO,
Angers, Loire Valley, France, 11-13 February, 2015},
pages = {281--288},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005243902810288},
doi = {10.5220/0005243902810288},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/peccs/AhmedMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/AbidiSK15,
author = {Mohamed Ghaieth Abidi and
Moncef Ben Smida and
Mohamed Khalgui},
editor = {C{\'{e}}sar Benavente{-}Peces and
Olivier Paillet and
Andreas Ahrens},
title = {New Forecasting-based Solutions for Optimal Energy Consumption in
Microgrids with Load Shedding - Case Study: Petroleum Platform},
booktitle = {{PECCS} 2015 - Proceedings of the 5th International Conference on
Pervasive and Embedded Computing and Communication Systems, ESEO,
Angers, Loire Valley, France, 11-13 February, 2015},
pages = {289--296},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005244002890296},
doi = {10.5220/0005244002890296},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/peccs/AbidiSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/NaftiRK15,
author = {Asma Nafti and
Mohamed Romdhani and
Mohamed Khalgui},
editor = {C{\'{e}}sar Benavente{-}Peces and
Olivier Paillet and
Andreas Ahrens},
title = {{CHAMELEON} - New Object Oriented Solution for Adaptive Control Systems},
booktitle = {{PECCS} 2015 - Proceedings of the 5th International Conference on
Pervasive and Embedded Computing and Communication Systems, ESEO,
Angers, Loire Valley, France, 11-13 February, 2015},
pages = {297--304},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005244902970304},
doi = {10.5220/0005244902970304},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/peccs/NaftiRK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/MeskinaDK15,
author = {Syrine Ben Meskina and
Narjes Doggaz and
Mohamed Khalgui},
editor = {Hamido Fujita and
Guido Guizzi},
title = {An Efficient Reconfiguration-Based Approach for Improving Smart Grid
Performance},
booktitle = {Intelligent Software Methodologies, Tools and Techniques - 14th International
Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015. Proceedings},
series = {Communications in Computer and Information Science},
volume = {532},
pages = {42--55},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22689-7\_4},
doi = {10.1007/978-3-319-22689-7\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/somet/MeskinaDK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/GasmiMKG15,
author = {Maroua Gasmi and
Olfa Mosbahi and
Mohamed Khalgui and
Lu{\'{\i}}s Gomes},
editor = {Hamido Fujita and
Guido Guizzi},
title = {{PEDASA:} Priority, Energy and Deadline Aware Scheduling Algorithm},
booktitle = {Intelligent Software Methodologies, Tools and Techniques - 14th International
Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015. Proceedings},
series = {Communications in Computer and Information Science},
volume = {532},
pages = {59--72},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22689-7\_5},
doi = {10.1007/978-3-319-22689-7\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/somet/GasmiMKG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/GammoudiBKC15,
author = {Aymen Gammoudi and
Adel Benzina and
Mohamed Khalgui and
Daniel Chillet},
editor = {Hamido Fujita and
Guido Guizzi},
title = {New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time
Systems},
booktitle = {Intelligent Software Methodologies, Tools and Techniques - 14th International
Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015. Proceedings},
series = {Communications in Computer and Information Science},
volume = {532},
pages = {73--86},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22689-7\_6},
doi = {10.1007/978-3-319-22689-7\_6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/somet/GammoudiBKC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/AdailiMKB15,
author = {Farid Adaili and
Olfa Mosbahi and
Mohamed Khalgui and
Samia Bouzefrane},
editor = {Hamido Fujita and
Guido Guizzi},
title = {New Solutions for Useful Execution Models of Communicating Adaptive
{RA2DL}},
booktitle = {Intelligent Software Methodologies, Tools and Techniques - 14th International
Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015. Proceedings},
series = {Communications in Computer and Information Science},
volume = {532},
pages = {87--101},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22689-7\_7},
doi = {10.1007/978-3-319-22689-7\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/somet/AdailiMKB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/IdrissLK15,
author = {Rim Idriss and
Adlen Loukil and
Mohamed Khalgui},
editor = {Hamido Fujita and
Guido Guizzi},
title = {New Middleware for Secured Reconfigurable Real-Time Systems},
booktitle = {Intelligent Software Methodologies, Tools and Techniques - 14th International
Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015. Proceedings},
series = {Communications in Computer and Information Science},
volume = {532},
pages = {469--483},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22689-7\_36},
doi = {10.1007/978-3-319-22689-7\_36},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/somet/IdrissLK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/GharbiK14,
author = {Atef Gharbi and
Mohamed Khalgui},
title = {Functional safety of adaptive embedded control systems: new solutions},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {5},
number = {3/4},
pages = {300--353},
year = {2014},
url = {https://doi.org/10.1504/IJCCBS.2014.064665},
doi = {10.1504/IJCCBS.2014.064665},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijccbs/GharbiK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KhemaissiaMK14,
author = {Imen Khemaissia and
Olfa Mosbahi and
Mohamed Khalgui},
title = {New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC
Architectures},
booktitle = {14th International Conference on Application of Concurrency to System
Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
pages = {152--158},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ACSD.2014.25},
doi = {10.1109/ACSD.2014.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KhemaissiaMK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SalemMK14,
author = {Mohamed Oussama Ben Salem and
Olfa Mosbahi and
Mohamed Khalgui},
editor = {Mohamed Khalgui and
Zhiwu Li},
title = {PCP-based Solution for Resource Sharing in Reconfigurable Timed Net
Condition/Event Systems},
booktitle = {{ADECS} 2014, Proceedings of the 1st International Workshop on Petri
Nets for Adaptive Discrete-Event Control Systems, co-located with
35th International Conference on Application and Theory of Petri Nets
and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1161},
pages = {52--67},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1161/11610052.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/SalemMK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/GasmiMK014,
author = {Maroua Gasmi and
Olfa Mosbahi and
Mohamed Khalgui and
Lu{\'{\i}}s Gomes},
editor = {Joaquim Filipe and
Oleg Yu. Gusikhin and
Kurosh Madani and
Jurek Z. Sasiadek},
title = {Reconfigurable Priority Ceiling Protocol: {A} Safe Way to Real-Time
Reconfiguration},
booktitle = {Informatics in Control, Automation and Robotics - 11th International
Conference, {ICINCO} 2014 Vienna, Austria, September 2-4, 2014 Revised
Selected Papers},
series = {Lecture Notes in Electrical Engineering},
volume = {370},
pages = {23--42},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-26453-0\_2},
doi = {10.1007/978-3-319-26453-0\_2},
timestamp = {Tue, 16 Aug 2022 23:04:41 +0200},
biburl = {https://dblp.org/rec/conf/icinco/GasmiMK014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/GasmiMKG14,
author = {Maroua Gasmi and
Olfa Mosbahi and
Mohamed Khalgui and
Lu{\'{\i}}s Gomes},
editor = {Joaquim Filipe and
Oleg Yu. Gusikhin and
Kurosh Madani and
Jurek Z. Sasiadek},
title = {Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based
Real-time Scheduling},
booktitle = {{ICINCO} 2014 - Proceedings of the 11th International Conference on
Informatics in Control, Automation and Robotics, Volume 1, Vienna,
Austria, 1 - 3 September, 2014},
pages = {42--52},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005060900420052},
doi = {10.5220/0005060900420052},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/GasmiMKG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/ChniterKJ14a,
author = {Hamza Chniter and
Mohamed Khalgui and
Fethi Jarray},
editor = {Joaquim Filipe and
Oleg Yu. Gusikhin and
Kurosh Madani and
Jurek Z. Sasiadek},
title = {Combinatorial Optimization Approach for Feasible Low-Power and Real-Time
Flexible {OS} Tasks},
booktitle = {Informatics in Control, Automation and Robotics - 11th International
Conference, {ICINCO} 2014 Vienna, Austria, September 2-4, 2014 Revised
Selected Papers},
series = {Lecture Notes in Electrical Engineering},
volume = {370},
pages = {59--77},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-26453-0\_4},
doi = {10.1007/978-3-319-26453-0\_4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/ChniterKJ14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/ChniterKJ14,
author = {Hamza Chniter and
Mohamed Khalgui and
Fethi Jarray},
editor = {Joaquim Filipe and
Oleg Yu. Gusikhin and
Kurosh Madani and
Jurek Z. Sasiadek},
title = {Adaptive Embedded Systems - New Composed Technical Solutions for Feasible
Low-Power and Real-time Flexible {OS} Tasks},
booktitle = {{ICINCO} 2014 - Proceedings of the 11th International Conference on
Informatics in Control, Automation and Robotics, Volume 1, Vienna,
Austria, 1 - 3 September, 2014},
pages = {92--101},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005066000920101},
doi = {10.5220/0005066000920101},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/ChniterKJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/KhemaissiaMK14,
author = {Imen Khemaissia and
Olfa Mosbahi and
Mohamed Khalgui},
editor = {Joaquim Filipe and
Oleg Yu. Gusikhin and
Kurosh Madani and
Jurek Z. Sasiadek},
title = {Reconfigurable {CAN} in Real-time Embedded Platforms},
booktitle = {{ICINCO} 2014 - Proceedings of the 11th International Conference on
Informatics in Control, Automation and Robotics, Volume 1, Vienna,
Austria, 1 - 3 September, 2014},
pages = {355--362},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005068103550362},
doi = {10.5220/0005068103550362},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/KhemaissiaMK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/MeskinaDK14,
author = {Syrine Ben Meskina and
Narjes Doggaz and
Mohamed Khalgui},
editor = {Joaquim Filipe and
Oleg Yu. Gusikhin and
Kurosh Madani and
Jurek Z. Sasiadek},
title = {New Solutions for Fault Detections and Dynamic Recoveries of Flexible
Power Smart Grids},
booktitle = {{ICINCO} 2014 - Proceedings of the 11th International Conference on
Informatics in Control, Automation and Robotics, Volume 1, Vienna,
Austria, 1 - 3 September, 2014},
pages = {370--377},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005091303700377},
doi = {10.5220/0005091303700377},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/MeskinaDK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/OueslatiMKA14,
author = {Raja Oueslati and
Olfa Mosbahi and
Mohamed Khalgui and
Samir Ben Ahmed},
editor = {Joaquim Filipe and
Oleg Yu. Gusikhin and
Kurosh Madani and
Jurek Z. Sasiadek},
title = {New Solutions for Modeling and Verification of B-based Reconfigurable
Control Systems},
booktitle = {{ICINCO} 2014 - Proceedings of the 11th International Conference on
Informatics in Control, Automation and Robotics, Volume 1, Vienna,
Austria, 1 - 3 September, 2014},
pages = {749--757},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005091207490757},
doi = {10.5220/0005091207490757},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/OueslatiMKA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GrichiMK14a,
author = {Hanen Grichi and
Olfa Mosbahi and
Mohamed Khalgui},
editor = {Andreas Holzinger and
Jorge Cardoso and
Jos{\'{e}} Cordeiro and
Th{\'{e}}r{\`{e}}se Libourel and
Leszek A. Maciaszek and
Marten van Sinderen},
title = {New Flexible Architectures for Reconfigurable Wireless Sensor Networks},
booktitle = {Software Technologies - 9th International Joint Conference, {ICSOFT}
2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {555},
pages = {151--169},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-25579-8\_9},
doi = {10.1007/978-3-319-25579-8\_9},
timestamp = {Thu, 03 Feb 2022 09:27:49 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/GrichiMK14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GrichiMK14,
author = {Hanen Grichi and
Olfa Mosbahi and
Mohamed Khalgui},
editor = {Andreas Holzinger and
Th{\'{e}}r{\`{e}}se Libourel and
Leszek A. Maciaszek and
Stephen J. Mellor},
title = {Reconfigurable Wireless Sensor Networks - New Adaptive Dynamic Solutions
for Flexible Architectures},
booktitle = {{ICSOFT-EA} 2014 - Proceedings of the 9th International Conference
on Software Engineering and Applications, Vienna, Austria, 29-31 August,
2014},
pages = {254--265},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005005602540265},
doi = {10.5220/0005005602540265},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/GrichiMK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/KhemaissiaMK14,
author = {Imen Khemaissia and
Olfa Mosbahi and
Mohamed Khalgui},
editor = {Andreas Holzinger and
Th{\'{e}}r{\`{e}}se Libourel and
Leszek A. Maciaszek and
Stephen J. Mellor},
title = {New Multi-Token based Protocol for Flexible Networked Microcontrollers},
booktitle = {{ICSOFT-EA} 2014 - Proceedings of the 9th International Conference
on Software Engineering and Applications, Vienna, Austria, 29-31 August,
2014},
pages = {464--469},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005014304640469},
doi = {10.5220/0005014304640469},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/KhemaissiaMK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/ChniterJK14,
author = {Hamza Chniter and
Fethi Jarray and
Mohamed Khalgui},
editor = {C{\'{e}}sar Benavente{-}Peces and
Andreas Ahrens and
Joaquim Filipe},
title = {Combinatorial Approaches for Low-power and Real-time Adaptive Reconfigurable
Embedded Systems},
booktitle = {{PECCS} 2014 - Proceedings of the 4th International Conference on
Pervasive and Embedded Computing and Communication Systems, Lisbon,
Portugal, 7-9 January, 2014},
pages = {151--157},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004752701510157},
doi = {10.5220/0004752701510157},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/peccs/ChniterJK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/KhemaissiaMKB14,
author = {Imen Khemaissia and
Olfa Mosbahi and
Mohamed Khalgui and
Walid Bouzayen},
editor = {C{\'{e}}sar Benavente{-}Peces and
Andreas Ahrens and
Joaquim Filipe},
title = {New Reconfigurable Middleware for Feasible Adaptive RT-Linux},
booktitle = {{PECCS} 2014 - Proceedings of the 4th International Conference on
Pervasive and Embedded Computing and Communication Systems, Lisbon,
Portugal, 7-9 January, 2014},
pages = {158--167},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004752901580167},
doi = {10.5220/0004752901580167},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/peccs/KhemaissiaMKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/GharsellaouiKA14,
author = {Hamza Gharsellaoui and
Mohamed Khalgui and
Samir Ben Ahmed},
editor = {C{\'{e}}sar Benavente{-}Peces and
Andreas Ahrens and
Joaquim Filipe},
title = {Preemptive Hard Real-time Scheduling of Reconfigurable {OS} Tasks
on Multiprocessors Embedded Control Systems},
booktitle = {{PECCS} 2014 - Proceedings of the 4th International Conference on
Pervasive and Embedded Computing and Communication Systems, Lisbon,
Portugal, 7-9 January, 2014},
pages = {192--197},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004832901920197},
doi = {10.5220/0004832901920197},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/peccs/GharsellaouiKA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgreens/JaouadiMKT14,
author = {Aymen Jaouadi and
Olfa Mosbahi and
Mohamed Khalgui and
Ahmed Toujani},
editor = {Markus Helfert and
Karl{-}Heinz Krempels and
Brian Donnellan},
title = {Adaptive {STM32F4} Microcontrollers - Case of Flexible Smart Meters},
booktitle = {{SMARTGREENS} 2014 - Proceedings of the 3rd International Conference
on Smart Grids and Green {IT} Systems, Barcelona, Spain, 3-4 April,
2014},
pages = {364--374},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004975903640374},
doi = {10.5220/0004975903640374},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smartgreens/JaouadiMKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgreens/JaouadiMKS14,
author = {Aymen Jaouadi and
Olfa Mosbahi and
Mohamed Khalgui and
Asma Sakri},
editor = {Markus Helfert and
Karl{-}Heinz Krempels and
Brian Donnellan},
title = {New Software Solutions for Low-power Management of Green Smart Homes},
booktitle = {{SMARTGREENS} 2014 - Proceedings of the 3rd International Conference
on Smart Grids and Green {IT} Systems, Barcelona, Spain, 3-4 April,
2014},
pages = {375--385},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004976003750385},
doi = {10.5220/0004976003750385},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smartgreens/JaouadiMKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2014adecs,
editor = {Mohamed Khalgui and
Zhiwu Li},
title = {{ADECS} 2014, Proceedings of the 1st International Workshop on Petri
Nets for Adaptive Discrete-Event Control Systems, co-located with
35th International Conference on Application and Theory of Petri Nets
and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1161},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1161},
urn = {urn:nbn:de:0074-1161-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/2014adecs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsda/GharsellaouiKA13,
author = {Hamza Gharsellaoui and
Mohamed Khalgui and
Samir Ben Ahmed},
title = {Reconfiguration of Synchronous Real-Time Operating System},
journal = {Int. J. Syst. Dyn. Appl.},
volume = {2},
number = {1},
pages = {114--132},
year = {2013},
url = {https://doi.org/10.4018/ijsda.2013010106},
doi = {10.4018/IJSDA.2013010106},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsda/GharsellaouiKA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KhalguiL13,
author = {Mohamed Khalgui and
Zhiwu Li},
title = {Introduction to the Special Issue on Modeling and Verification of
Discrete Event Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {1},
pages = {1:1--1:2},
year = {2013},
url = {https://doi.org/10.1145/2406336.2406337},
doi = {10.1145/2406336.2406337},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KhalguiL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KhalguiML13,
author = {Mohamed Khalgui and
Olfa Mosbahi and
Zhiwu Li},
title = {Runtime Reconfigurations of Embedded Controllers},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {1},
pages = {14:1--14:23},
year = {2013},
url = {https://doi.org/10.1145/2406336.2406350},
doi = {10.1145/2406336.2406350},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KhalguiML13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/Khalgui13,
author = {Mohamed Khalgui},
title = {Distributed Reconfigurations of Autonomous {IEC61499} Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {1},
pages = {18:1--18:23},
year = {2013},
url = {https://doi.org/10.1145/2406336.2406354},
doi = {10.1145/2406336.2406354},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/Khalgui13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/ZhangKLMA13,
author = {Jiafeng Zhang and
Mohamed Khalgui and
Zhiwu Li and
Olfa Mosbahi and
Abdulrahman Al{-}Ahmari},
title = {{R-TNCES:} {A} Novel Formalism for Reconfigurable Discrete Event Control
Systems},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {43},
number = {4},
pages = {757--772},
year = {2013},
url = {https://doi.org/10.1109/TSMCA.2012.2217321},
doi = {10.1109/TSMCA.2012.2217321},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/ZhangKLMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GharsellaouiKA13,
author = {Hamza Gharsellaoui and
Mohamed Khalgui and
Samir Ben Ahmed},
editor = {Jos{\'{e}} Cordeiro and
David A. Marca and
Marten van Sinderen},
title = {An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic
Tasks},
booktitle = {{ICSOFT} 2013 - Proceedings of the 8th International Joint Conference
on Software Technologies, Reykjav{\'{\i}}k, Iceland, 29-31 July,
2013},
pages = {377--388},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004432003770388},
doi = {10.5220/0004432003770388},
timestamp = {Thu, 14 Dec 2017 12:26:02 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/GharsellaouiKA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GharbiGKA13,
author = {Atef Gharbi and
Hamza Gharsellaoui and
Mohamed Khalgui and
Samir Ben Ahmed},
editor = {Jos{\'{e}} Cordeiro and
David A. Marca and
Marten van Sinderen},
title = {Model Checking of Distributed Component-based Control Systems},
booktitle = {{ICSOFT} 2013 - Proceedings of the 8th International Joint Conference
on Software Technologies, Reykjav{\'{\i}}k, Iceland, 29-31 July,
2013},
pages = {512--519},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004492605120519},
doi = {10.5220/0004492605120519},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/GharbiGKA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijapuc/GharsellaouiKA12,
author = {Hamza Gharsellaoui and
Mohamed Khalgui and
Samir Ben Ahmed},
title = {New Optimal Preemptively Scheduling for Real-Time Reconfigurable Sporadic
Tasks Based on Earliest Deadline First Algorithm},
journal = {Int. J. Adv. Pervasive Ubiquitous Comput.},
volume = {4},
number = {2},
pages = {65--81},
year = {2012},
url = {https://doi.org/10.4018/japuc.2012040106},
doi = {10.4018/JAPUC.2012040106},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijapuc/GharsellaouiKA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijimr/KhalguiMCV12,
author = {Mohamed Khalgui and
Olfa Mosbahi and
Emanuele Carpanzano and
Anna Valente},
title = {An Automated Approach for Adaptive Control Systems},
journal = {Int. J. Intell. Mechatronics Robotics},
volume = {2},
number = {3},
pages = {58--71},
year = {2012},
url = {https://doi.org/10.4018/ijimr.2012070105},
doi = {10.4018/IJIMR.2012070105},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijimr/KhalguiMCV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsda/AliKA12,
author = {Amen Ben Hadj Ali and
Mohamed Khalgui and
Samir Ben Ahmed},
title = {UML-Based Design and Validation of Intelligent Agents-Based Reconfigurable
Embedded Control Systems},
journal = {Int. J. Syst. Dyn. Appl.},
volume = {1},
number = {1},
pages = {17--38},
year = {2012},
url = {https://doi.org/10.4018/ijsda.2012010102},
doi = {10.4018/IJSDA.2012010102},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsda/AliKA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsda/GharsellaouiKA12,
author = {Hamza Gharsellaoui and
Mohamed Khalgui and
Samir Ben Ahmed},
title = {New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous
Operating System Tasks with Minimizations of Response Time},
journal = {Int. J. Syst. Dyn. Appl.},
volume = {1},
number = {4},
pages = {88--131},
year = {2012},
url = {https://doi.org/10.4018/ijsda.2012100105},
doi = {10.4018/IJSDA.2012100105},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsda/GharsellaouiKA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/ChenLKM12,
author = {Yufeng Chen and
ZhiWu Li and
Mohamed Khalgui and
Olfa Mosbahi},
title = {Corrections to "Design of a Maximally Permissive Liveness-Enforcing
Petri Net Supervisor for Flexible Manufacturing Systems"},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {9},
number = {2},
pages = {455},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.2183739},
doi = {10.1109/TASE.2012.2183739},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/ChenLKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/QinLZKM12,
author = {Meng Qin and
ZhiWu Li and
MengChu Zhou and
Mohamed Khalgui and
Olfa Mosbahi},
title = {Deadlock Prevention for a Class of Petri Nets With Uncontrollable
and Unobservable Transitions},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {42},
number = {3},
pages = {727--738},
year = {2012},
url = {https://doi.org/10.1109/TSMCA.2011.2169955},
doi = {10.1109/TSMCA.2011.2169955},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/QinLZKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcat/KhalguiM11,
author = {Mohamed Khalgui and
Olfa Mosbahi},
title = {Formal approach for the development of intelligent industrial control
components},
journal = {Int. J. Comput. Appl. Technol.},
volume = {42},
number = {2/3},
pages = {84--107},
year = {2011},
url = {https://doi.org/10.1504/IJCAT.2011.045400},
doi = {10.1504/IJCAT.2011.045400},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcat/KhalguiM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcat/MosbahiK11,
author = {Olfa Mosbahi and
Mohamed Khalgui},
title = {Combining formal methods for the development of reactive systems},
journal = {Int. J. Comput. Appl. Technol.},
volume = {42},
number = {2/3},
pages = {127--149},
year = {2011},
url = {https://doi.org/10.1504/IJCAT.2011.045402},
doi = {10.1504/IJCAT.2011.045402},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcat/MosbahiK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmic/KhalguiH11,
author = {Mohamed Khalgui and
Hans{-}Michael Hanisch},
title = {Automatic NCES-based specification and SESA-based verification of
feasible control components in benchmark production systems},
journal = {Int. J. Model. Identif. Control.},
volume = {12},
number = {3},
pages = {223--243},
year = {2011},
url = {https://doi.org/10.1504/IJMIC.2011.039701},
doi = {10.1504/IJMIC.2011.039701},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmic/KhalguiH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/MosbahiAK11,
author = {Olfa Mosbahi and
Leila Jemni Ben Ayed and
Mohamed Khalgui},
title = {A formal approach for the development of reactive systems},
journal = {Inf. Softw. Technol.},
volume = {53},
number = {1},
pages = {14--33},
year = {2011},
url = {https://doi.org/10.1016/j.infsof.2010.07.004},
doi = {10.1016/J.INFSOF.2010.07.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/MosbahiAK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/ChenLKM11,
author = {Yufeng Chen and
ZhiWu Li and
Mohamed Khalgui and
Olfa Mosbahi},
title = {Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor
for Flexible Manufacturing Systems},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {8},
number = {2},
pages = {374--393},
year = {2011},
url = {https://doi.org/10.1109/TASE.2010.2060332},
doi = {10.1109/TASE.2010.2060332},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/ChenLKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/KhalguiMLH11,
author = {Mohamed Khalgui and
Olfa Mosbahi and
Zhiwu Li and
Hans{-}Michael Hanisch},
title = {Reconfigurable Multiagent Embedded Control Systems: From Modeling
to Implementation},
journal = {{IEEE} Trans. Computers},
volume = {60},
number = {4},
pages = {538--551},
year = {2011},
url = {https://doi.org/10.1109/TC.2010.96},
doi = {10.1109/TC.2010.96},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/KhalguiMLH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/KhalguiH11,
author = {Mohamed Khalgui and
Hans{-}Michael Hanisch},
title = {Reconfiguration Protocol for Multi-Agent Control Software Architectures},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {C}},
volume = {41},
number = {1},
pages = {70--80},
year = {2011},
url = {https://doi.org/10.1109/TSMCC.2010.2064163},
doi = {10.1109/TSMCC.2010.2064163},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/KhalguiH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/MosbahiKHL11,
author = {Olfa Mosbahi and
Mohamed Khalgui and
Hans{-}Michael Hanisch and
Zhiwu Li},
title = {A Component-Based Approach for the Development of Automated Systems},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {41},
number = {5},
pages = {1026--1031},
year = {2011},
url = {https://doi.org/10.1109/TSMCA.2010.2093885},
doi = {10.1109/TSMCA.2010.2093885},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/MosbahiKHL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/KhalguiMZLG11,
author = {Mohamed Khalgui and
Olfa Mosbahi and
Jiafeng Zhang and
Zhiwu Li and
Atef Gharbi},
editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and
Boris Shishkov and
Jos{\'{e}} Cordeiro},
title = {Feasible Dynamic Reconfigurations of Petri Nets - Application to a
Production System},
booktitle = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on
Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July,
2011},
pages = {105--110},
publisher = {SciTePress},
year = {2011},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/KhalguiMZLG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GharbiKZA11,
author = {Atef Gharbi and
Mohamed Khalgui and
Jiafeng Zhang and
Samir Ben Ahmed},
editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and
Boris Shishkov and
Jos{\'{e}} Cordeiro},
title = {Agent-based Fault Management of Embedded Control Systems},
booktitle = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on
Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July,
2011},
pages = {277--280},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/GharbiKZA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/WangKL11,
author = {Xi Wang and
Mohamed Khalgui and
Zhiwu Li},
editor = {C{\'{e}}sar Benavente{-}Peces and
Joaquim Filipe},
title = {Dynamic Low Power Reconfigurations of Real-time Embedded Systems},
booktitle = {{PECCS} 2011 - Proceedings of the 1st International Conference on
Pervasive and Embedded Computing and Communication Systems, Vilamoura,
Algarve, Portugal, 5-7 March, 2011},
pages = {415--420},
publisher = {SciTePress},
year = {2011},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/peccs/WangKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/Khalgui10,
author = {Mohamed Khalgui},
title = {NCES-based modelling and CTL-based verification of reconfigurable
embedded control systems},
journal = {Comput. Ind.},
volume = {61},
number = {3},
pages = {198--212},
year = {2010},
url = {https://doi.org/10.1016/j.compind.2009.09.004},
doi = {10.1016/J.COMPIND.2009.09.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cii/Khalgui10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KhalguiM10,
author = {Mohamed Khalgui and
Olfa Mosbahi},
title = {Intelligent distributed control systems},
journal = {Inf. Softw. Technol.},
volume = {52},
number = {12},
pages = {1259--1271},
year = {2010},
url = {https://doi.org/10.1016/j.infsof.2010.06.001},
doi = {10.1016/J.INFSOF.2010.06.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/KhalguiM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/juspn/KhalguiG10,
author = {Mohamed Khalgui and
Atef Gharbi},
title = {New Solutions for Feasible and Coherent Reconfigurations of Multi-Agent
Embedded Software Architectures},
journal = {J. Ubiquitous Syst. Pervasive Networks},
volume = {1},
number = {1},
pages = {19--28},
year = {2010},
url = {https://doi.org/10.5383/juspn.01.01.003},
doi = {10.5383/JUSPN.01.01.003},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/juspn/KhalguiG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GharbiKA10,
author = {Atef Gharbi and
Mohamed Khalgui and
Samir Ben Ahmed},
title = {Optimal model checking of safe control embedded software components},
booktitle = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
Spain},
pages = {1--8},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ETFA.2010.5641197},
doi = {10.1109/ETFA.2010.5641197},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/GharbiKA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/KhalguiHG09,
author = {Mohamed Khalgui and
Hans{-}Michael Hanisch and
Atef Gharbi},
title = {Model-checking for the Functional Safety of Control Component-based
Heterogeneous Embedded Systems},
booktitle = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2009, September 22-25, 2008, Palma
de Mallorca, Spain},
pages = {1--10},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ETFA.2009.5347106},
doi = {10.1109/ETFA.2009.5347106},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/KhalguiHG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/KhalguiMH09,
author = {Mohamed Khalgui and
Olfa Mosbahi and
Hans{-}Michael Hanisch},
title = {Implementation of agent-based reconfigurable embedded control systems},
booktitle = {7th {IEEE} International Conference on Industrial Informatics, {INDIN}
2009, Cardiff, UK, 23-26 June 2009},
pages = {428--433},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/INDIN.2009.5195842},
doi = {10.1109/INDIN.2009.5195842},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/KhalguiMH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/Khalgui08,
author = {Mohamed Khalgui},
title = {A deployment methodology of real-time industrial control applications
in distributed controllers},
journal = {Comput. Ind.},
volume = {59},
number = {5},
pages = {450--462},
year = {2008},
url = {https://doi.org/10.1016/j.compind.2007.12.008},
doi = {10.1016/J.COMPIND.2007.12.008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cii/Khalgui08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmic/KhalguiT08,
author = {Mohamed Khalgui and
Kleanthis Thramboulidis},
title = {An IEC61499-based development approach for distributed industrial
control applications},
journal = {Int. J. Model. Identif. Control.},
volume = {4},
number = {2},
pages = {186--204},
year = {2008},
url = {https://doi.org/10.1504/IJMIC.2008.021096},
doi = {10.1504/IJMIC.2008.021096},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmic/KhalguiT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijspm/KhalguiCH08,
author = {Mohamed Khalgui and
Emanuele Carpanzano and
Hans{-}Michael Hanisch},
title = {An optimised simulation of component-based embedded systems in manufacturing
industry},
journal = {Int. J. Simul. Process. Model.},
volume = {4},
number = {2},
pages = {148--162},
year = {2008},
url = {https://doi.org/10.1504/IJSPM.2008.022076},
doi = {10.1504/IJSPM.2008.022076},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijspm/KhalguiCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/KhalguiMH08,
author = {Mohamed Khalgui and
Olfa Mosbahi and
Hans{-}Michael Hanisch},
title = {A formal approach to check and schedule reconfigurable embedded control
systems},
booktitle = {Proceedings of 13th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2008, September 15-18, 2008, Hamburg,
Germany},
pages = {383--391},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ETFA.2008.4638422},
doi = {10.1109/ETFA.2008.4638422},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/KhalguiMH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/KhalguiH08,
author = {Mohamed Khalgui and
Hans{-}Michael Hanisch},
title = {Automatic specification of feasible Control Tasks in Benchmark Production
Systems},
booktitle = {Proceedings of 13th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2008, September 15-18, 2008, Hamburg,
Germany},
pages = {789--798},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ETFA.2008.4638489},
doi = {10.1109/ETFA.2008.4638489},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/KhalguiH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/KhalguiHMH08,
author = {Mohamed Khalgui and
Martin Hirsch and
Dirk Missal and
Hans{-}Michael Hanisch},
editor = {Joaquim Filipe and
Juan Andrade{-}Cetto and
Jean{-}Louis Ferrier},
title = {Reconfiguration of Embedded Systems},
booktitle = {{ICINCO} 2008, Proceedings of the Fifth International Conference on
Informatics in Control, Automation and Robotics, Intelligent Control
Systems and Optimization, Funchal, Madeira, Portugal, May 11-15, 2008},
pages = {157--162},
publisher = {{INSTICC} Press},
year = {2008},
timestamp = {Mon, 07 Sep 2009 10:36:06 +0200},
biburl = {https://dblp.org/rec/conf/icinco/KhalguiHMH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/KhalguiH08,
author = {Mohamed Khalgui and
Hans{-}Michael Hanisch},
title = {NCES-based modelling and CTL-based verification of reconfigurable
Benchmark Production Systems},
booktitle = {{IEEE} Third International Symposium on Industrial Embedded Systems,
{SIES} 2008, Montpellier / La Grande Motte, France, June 11-13, 2008},
pages = {1--10},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/SIES.2008.4577674},
doi = {10.1109/SIES.2008.4577674},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/KhalguiH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Khalgui07,
author = {Mohamed Khalgui},
title = {Validation temporelle et d{\'{e}}ploiement d'une application
de contr{\^{o}}le industrielle {\`{a}} base de composants. (Temporal
validation and deployment of component based industrial control applications)},
school = {National Polytechnic Institute of Lorraine, Nancy, France},
year = {2007},
url = {https://tel.archives-ouvertes.fr/tel-01752890},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Khalgui07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/KhalguiC07,
author = {Mohamed Khalgui and
Emanuele Carpanzano},
editor = {Joaquim Filipe and
Boris Shishkov and
Markus Helfert},
title = {A Formal Approach to Deploy Heterogeneous Software Components in a
{PLC}},
booktitle = {{ICSOFT} 2007, Proceedings of the Second International Conference
on Software and Data Technologies, Volume SE, Barcelona, Spain, July
22-25, 2007},
pages = {207--212},
publisher = {{INSTICC} Press},
year = {2007},
timestamp = {Tue, 24 Feb 2009 15:20:59 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/KhalguiC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/KhalguiRS06,
author = {Mohamed Khalgui and
Xavier Rebeuf and
Fran{\c{c}}oise Simonot{-}Lion},
title = {Component based deployment of industrial control systems: a hybrid
scheduling approach},
booktitle = {Proceedings of 11th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2006, September 20-22, 2006, Diplomat
Hotel Prague, Czech Republic},
pages = {1293--1300},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ETFA.2006.355399},
doi = {10.1109/ETFA.2006.355399},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/KhalguiRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/KhalguiR06,
author = {Mohamed Khalgui and
Xavier Rebeuf},
title = {A heuristic based method for automatic deployment of distributed component
based applications},
booktitle = {International Symposium on Industrial Embedded Systems, {IES} 2006,
Antibes Juan-Les-Pins, France, October 18-20, 2006},
pages = {1--10},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IES.2006.357471},
doi = {10.1109/IES.2006.357471},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/KhalguiR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/KhalguiRZ05,
author = {Mohamed Khalgui and
Xavier Rebeuf and
Francesco Zampognaro},
title = {Adaptable {OPC-XML} contracts taking into account network traffic},
booktitle = {Proceedings of 10th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2005, September 19-22, 2005, Catania,
Italy},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ETFA.2005.1612499},
doi = {10.1109/ETFA.2005.1612499},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/KhalguiRZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-14 03:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
