Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mohamed Ghazel
@article{DBLP:journals/automatica/ChouchaneGB23,
author = {Amira Chouchane and
Mohamed Ghazel and
Abderraouf Boussif},
title = {\emph{K}-diagnosability analysis of bounded and unbounded Petri nets
using linear optimization},
journal = {Autom.},
volume = {147},
pages = {110689},
year = {2023},
url = {https://doi.org/10.1016/j.automatica.2022.110689},
doi = {10.1016/J.AUTOMATICA.2022.110689},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/ChouchaneGB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LiangGCFWZ23,
author = {Ci Liang and
Mohamed Ghazel and
Yusheng Ci and
Nour{-}Eddin El Faouzi and
Rui Wang and
Wei Zheng},
editor = {J{\'{e}}r{\'{e}}mie Guiochet and
Stefano Tonetta and
Erwin Schoitsch and
Matthieu Roy and
Friedemann Bitsch},
title = {Rear-End Collision Risk Analysis for Autonomous Driving},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops
- ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France,
September 19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14182},
pages = {271--282},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40953-0\_23},
doi = {10.1007/978-3-031-40953-0\_23},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LiangGCFWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BoudardaraBG23,
author = {Fateh Boudardara and
Abderraouf Boussif and
Mohamed Ghazel},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {A Sound Abstraction Method Towards Efficient Neural Networks Verification},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {76--89},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_6},
doi = {10.1007/978-3-031-49737-7\_6},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BoudardaraBG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BoudardaraBMG22,
author = {Fateh Boudardara and
Abderraouf Boussif and
Pierre{-}Jean Meyer and
Mohamed Ghazel},
editor = {Mario Trapp and
Erwin Schoitsch and
J{\'{e}}r{\'{e}}mie Guiochet and
Friedemann Bitsch},
title = {Interval Weight-Based Abstraction for Neural Network Verification},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2022 Workshops
- DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany,
September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13415},
pages = {330--342},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14862-0\_24},
doi = {10.1007/978-3-031-14862-0\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BoudardaraBMG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/BoussifGB21,
author = {Abderraouf Boussif and
Mohamed Ghazel and
Jo{\~{a}}o Carlos Basilio},
title = {Intermittent fault diagnosability of discrete event systems: an overview
of automaton-based approaches},
journal = {Discret. Event Dyn. Syst.},
volume = {31},
number = {1},
pages = {59--102},
year = {2021},
url = {https://doi.org/10.1007/s10626-020-00324-y},
doi = {10.1007/S10626-020-00324-Y},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/BoussifGB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/BoussifG18,
author = {Abderraouf Boussif and
Mohamed Ghazel},
title = {Model-Based Monitoring of a Train Passenger Access System},
journal = {{IEEE} Access},
volume = {6},
pages = {41619--41632},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2860966},
doi = {10.1109/ACCESS.2018.2860966},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/BoussifG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/BoussifGK18,
author = {Abderraouf Boussif and
Mohamed Ghazel and
Kais Klai},
title = {Fault diagnosis of discrete-event systems based on the symbolic observation
graph},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {8},
number = {2},
pages = {141--168},
year = {2018},
url = {https://doi.org/10.1504/IJCCBS.2018.096178},
doi = {10.1504/IJCCBS.2018.096178},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/BoussifGK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/BoussifG18,
author = {Abderraouf Boussif and
Mohamed Ghazel},
title = {Formal verification of intermittent fault diagnosability of discrete-event
systems using model-checking},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {8},
number = {2},
pages = {193--213},
year = {2018},
url = {https://doi.org/10.1504/IJCCBS.2018.096192},
doi = {10.1504/IJCCBS.2018.096192},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/BoussifG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileTSBG18,
author = {Francesco Basile and
Gianmaria De Tommasi and
Claudio Sterle and
Abderraouf Boussif and
Mohamed Ghazel},
title = {Efficient diagnosability assessment via {ILP} optimization: a railway
benchmark},
booktitle = {23rd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2018, Torino, Italy, September 4-7, 2018},
pages = {441--448},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ETFA.2018.8502532},
doi = {10.1109/ETFA.2018.8502532},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileTSBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iintec/EttouilSJG18,
author = {Monia Ettouil and
Habib Smei and
Abderrazak Jemai and
Mohamed Ghazel},
title = {Codesign of an IoT Using a Metaheuristic {IP}},
booktitle = {International Conference on Internet of Things, Embedded Systems and
Communications, {IINTEC} 2018, Hamammet, Tunisia, December 20-21,
2018},
pages = {153--157},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IINTEC.2018.8695297},
doi = {10.1109/IINTEC.2018.8695297},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iintec/EttouilSJG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/Ghazel17,
author = {Mohamed Ghazel},
title = {A Control Scheme for Automatic Level Crossings Under the {ERTMS/ETCS}
Level 2/3 Operation},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {18},
number = {10},
pages = {2667--2680},
year = {2017},
url = {https://doi.org/10.1109/TITS.2017.2657695},
doi = {10.1109/TITS.2017.2657695},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/Ghazel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/BoussifG17,
author = {Abderraouf Boussif and
Mohamed Ghazel},
title = {A diagnoser-based approach for intermittent fault diagnosis of discrete-event
systems},
booktitle = {2017 American Control Conference, {ACC} 2017, Seattle, WA, USA, May
24-26, 2017},
pages = {3860--3867},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/ACC.2017.7963546},
doi = {10.23919/ACC.2017.7963546},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/BoussifG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/BoussifLG17,
author = {Abderraouf Boussif and
Baisi Liu and
Mohamed Ghazel},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {An Experimental Comparison of Three Diagnosis Techniques for Discrete
Event Systems},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {52--64},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/vwc9},
doi = {10.29007/VWC9},
timestamp = {Sun, 15 Aug 2021 10:46:48 +0200},
biburl = {https://dblp.org/rec/conf/dx/BoussifLG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/LiangGCBE17,
author = {Ci Liang and
Mohamed Ghazel and
Olivier Cazier and
Laurent Bouillaut and
El{-}Miloudi El{-}Koursi},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Bayesian Network Modeling Applied on Railway Level Crossing Safety},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {116--130},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_8},
doi = {10.1007/978-3-319-68499-4\_8},
timestamp = {Sun, 25 Oct 2020 23:06:42 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/LiangGCBE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BoussifG17,
author = {Abderraouf Boussif and
Mohamed Ghazel},
editor = {Kamel Barkaoui and
Hanifa Boucheneb and
Ali Mili and
Sofi{\`{e}}ne Tahar},
title = {An Experimental Comparison of Two Approaches for Diagnosability Analysis
of Discrete Event Systems - {A} Railway Case-Study},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 11th International Conference, VECoS 2017, Montreal, QC, Canada,
August 24-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10466},
pages = {92--107},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66176-6\_7},
doi = {10.1007/978-3-319-66176-6\_7},
timestamp = {Wed, 31 Jan 2024 20:36:03 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BoussifG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/PeresG16,
author = {Florent Peres and
Mohamed Ghazel},
title = {A {\(\mathrm{\mu}\)}-calculus formulation of the diagnosability of
discrete event systems},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {6},
number = {4},
pages = {275--301},
year = {2016},
url = {https://doi.org/10.1504/IJCCBS.2016.081806},
doi = {10.1504/IJCCBS.2016.081806},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/PeresG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/LiuGT16,
author = {Baisi Liu and
Mohamed Ghazel and
Armand Toguy{\'{e}}ni},
title = {Model-Based Diagnosis of Multi-Track Level Crossing Plants},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {17},
number = {2},
pages = {546--556},
year = {2016},
url = {https://doi.org/10.1109/TITS.2015.2478910},
doi = {10.1109/TITS.2015.2478910},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/LiuGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphm/BoussifG16,
author = {Abderraouf Boussif and
Mohamed Ghazel},
title = {Intermittent fault diagnosis of industrial systems in a model-checking
framework},
booktitle = {{IEEE} International Conference on Prognostics and Health Management,
{ICPHM} 2016, Ottawa, ON, Canada, June 20-22, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICPHM.2016.7542874},
doi = {10.1109/ICPHM.2016.7542874},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icphm/BoussifG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idt/LiuG16,
author = {Baisi Liu and
Mohamed Ghazel},
title = {Petri Net Diagnosability Analyzer},
booktitle = {11th International Design {\&} Test Symposium, {IDT} 2016, Hammamet,
Tunisia, December 18-20, 2016},
pages = {13--18},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IDT.2016.7843007},
doi = {10.1109/IDT.2016.7843007},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idt/LiuG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BoussifG16,
author = {Abderraouf Boussif and
Mohamed Ghazel},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Using Model-Checking Techniques for Diagnosability Analysis of Intermittent
Faults - {A} Railway Case Study},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {93--104},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BoussifG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/GhazelL16,
author = {Mohamed Ghazel and
Baisi Liu},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {A customizable railway benchmark to deal with fault diagnosis issues
in {DES}},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {177--182},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497845},
doi = {10.1109/WODES.2016.7497845},
timestamp = {Fri, 29 Apr 2022 15:37:30 +0200},
biburl = {https://dblp.org/rec/conf/wodes/GhazelL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BoussifLG16,
author = {Abderraouf Boussif and
Baisi Liu and
Mohamed Ghazel},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {A twin-plant based approach for diagnosability analysis of intermittent
failures},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {237--244},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497854},
doi = {10.1109/WODES.2016.7497854},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BoussifLG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2016,
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689},
urn = {urn:nbn:de:0074-1689-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jides/GhazelYE15,
author = {Mohamed Ghazel and
Jing Yang and
El{-}Miloudi El{-}Koursi},
title = {A pattern-based method for refining and formalizing informal specifications
in critical control systems},
journal = {J. Innov. Digit. Ecosyst.},
volume = {2},
number = {1-2},
pages = {32--44},
year = {2015},
url = {https://doi.org/10.1016/j.jides.2015.11.001},
doi = {10.1016/J.JIDES.2015.11.001},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jides/GhazelYE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BoussifGK15,
author = {Abderraouf Boussif and
Mohamed Ghazel and
Kais Klai},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event
Systems},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {23--34},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BoussifGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/GhazelE14,
author = {Mohamed Ghazel and
El{-}Miloudi El{-}Koursi},
title = {Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings:
{A} Comparative Risk Analysis Study},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {15},
number = {3},
pages = {1123--1133},
year = {2014},
url = {https://doi.org/10.1109/TITS.2013.2294874},
doi = {10.1109/TITS.2013.2294874},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/GhazelE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LiuGT14,
author = {Baisi Liu and
Mohamed Ghazel and
Armand Toguy{\'{e}}ni},
editor = {Mohamed Khalgui and
Zhiwu Li},
title = {{OF-PENDA:} {A} Software Tool for Fault Diagnosis of Discrete Event
Systems Modeled by Labeled Petri Nets},
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 = {20--35},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1161/11610020.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/LiuGT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/GhazelP14,
author = {Mohamed Ghazel and
Florent Peres},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {A {\(\mathrm{\mu}\)}-Calculus Framework for the Diagnosability of
Discrete Event Systems},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {45--56},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/vecos/GhazelP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/MekkiGT12,
author = {Ahmed Mekki and
Mohamed Ghazel and
Armand Toguy{\'{e}}ni},
title = {Validation of a New Functional Design of Automatic Protection Systems
at Level Crossings with Model-Checking Techniques},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {13},
number = {2},
pages = {714--723},
year = {2012},
url = {https://doi.org/10.1109/TITS.2011.2178238},
doi = {10.1109/TITS.2011.2178238},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/MekkiGT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/MekkiGT10,
author = {Ahmed Mekki and
Mohamed Ghazel and
Armand Toguy{\'{e}}ni},
editor = {Joaquim Filipe and
Juan Andrade{-}Cetto and
Jean{-}Louis Ferrier},
title = {Patterns for Temporal Requirements Engineering - {A} Level Crossing
Case Study},
booktitle = {{ICINCO} 2010, Proceedings of the 7th International Conference on
Informatics in Control, Automation and Robotics, Volume 1, Funchal,
Madeira, Portugal, June 15-18, 2010},
pages = {45--52},
publisher = {{INSTICC} Press},
year = {2010},
timestamp = {Tue, 04 Jan 2011 14:48:16 +0100},
biburl = {https://dblp.org/rec/conf/icinco/MekkiGT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/MekkiGT10a,
author = {Ahmed Mekki and
Mohamed Ghazel and
Armand Toguy{\'{e}}ni},
editor = {Juan Andrade{-}Cetto and
Jean{-}Louis Ferrier and
Joaquim Filipe},
title = {Timed Specification Patterns for System Validation: {A} Railway Case
Study},
booktitle = {Informatics in Control, Automation and Robotics - Revised and Selected
Papers from the International Conference on Informatics in Control,
Automation and Robotics 2010, {ICINCO} 2010, Funchal, Madeira, Portugal,
June 15-18, 2010},
series = {Lecture Notes in Electrical Engineering},
volume = {89},
pages = {121--134},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19539-6\_8},
doi = {10.1007/978-3-642-19539-6\_8},
timestamp = {Sat, 19 Oct 2019 20:36:43 +0200},
biburl = {https://dblp.org/rec/conf/icinco/MekkiGT10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/GhazelM10,
author = {Mohamed Ghazel and
Ahmed Mekki},
editor = {Hamid R. Arabnia and
Hassan Reza and
Leonidas Deligiannidis and
Juan Jose Cuadrado{-}Gallego and
Vincent Schmidt and
Ashu M. G. Solo},
title = {Assisting Specification and Consistency-Check of Temporal Requirements
for Critical Systems},
booktitle = {Proceedings of the 2010 International Conference on Software Engineering
Research {\&} Practice, {SERP} 2010, July 12-15, 2010, Las Vegas,
Nevada, USA, 2 Volumes},
pages = {605--611},
publisher = {{CSREA} Press},
year = {2010},
timestamp = {Fri, 10 Dec 2010 13:15:53 +0100},
biburl = {https://dblp.org/rec/conf/serp/GhazelM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/GhazelTY09,
author = {Mohamed Ghazel and
Armand Toguy{\'{e}}ni and
Pascal Yim},
title = {State Observer for {DES} Under Partial Observation with Time Petri
Nets},
journal = {Discret. Event Dyn. Syst.},
volume = {19},
number = {2},
pages = {137--165},
year = {2009},
url = {https://doi.org/10.1007/s10626-009-0060-0},
doi = {10.1007/S10626-009-0060-0},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/GhazelTY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/Ghazel09,
author = {Mohamed Ghazel},
title = {Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {10},
number = {4},
pages = {668--677},
year = {2009},
url = {https://doi.org/10.1109/TITS.2009.2026310},
doi = {10.1109/TITS.2009.2026310},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/Ghazel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/GhazelMT09,
author = {Mohamed Ghazel and
Malek Masmoudi and
Armand Toguy{\'{e}}ni},
title = {Verification of temporal requirements of complex systems using {UML}
patterns, application to a railway control example},
booktitle = {4th {IEEE} International Conference on System of Systems Engineering,
SoSE 2009, Albuquerque, NM, USA, 30 May - 03 Jun 2009},
pages = {1--6},
publisher = {{IEEE}},
year = {2009},
url = {https://ieeexplore.ieee.org/document/5282332/},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sysose/GhazelMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/GhazelE07,
author = {Mohamed Ghazel and
El{-}Miloudi El{-}Koursi},
title = {Automatic Level Crossings: From Informal Functional Requirements'
Specifications to the Control Model Design},
booktitle = {2nd {IEEE} International Conference on System of Systems Engineering,
SoSE 2007, San Antonio, TX, USA, 16-18 April 2007},
pages = {1--6},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/SYSOSE.2007.4304240},
doi = {10.1109/SYSOSE.2007.4304240},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sysose/GhazelE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcim/GhazelTB06,
author = {Mohamed Ghazel and
Armand Toguy{\'{e}}ni and
Michel Bigand},
title = {A semi-formal approach to build the functional graph of an automated
production system for supervision purposes},
journal = {Int. J. Comput. Integr. Manuf.},
volume = {19},
number = {3},
pages = {234--247},
year = {2006},
url = {https://doi.org/10.1080/03081070500066021},
doi = {10.1080/03081070500066021},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcim/GhazelTB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/GhazelTB04,
author = {Mohamed Ghazel and
Armand Toguy{\'{e}}ni and
Michel Bigand},
title = {An {UML} approach for the metamodelling of automated production systems
for monitoring purpose},
journal = {Comput. Ind.},
volume = {55},
number = {3},
pages = {283--299},
year = {2004},
url = {https://doi.org/10.1016/j.compind.2004.08.005},
doi = {10.1016/J.COMPIND.2004.08.005},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cii/GhazelTB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/GhazelTB03,
author = {Mohamed Ghazel and
Armand Toguy{\'{e}}ni and
Michel Bigand},
editor = {Ricardo Jardim{-}Gon{\c{c}}alves and
Jianzhong Cha and
Adolfo Steiger{-}Gar{\c{c}}{\~{a}}o},
title = {{UML} modelling approach to build an information system for automated
production systems},
booktitle = {Enhanced Interoperable Systems. Proceedings of the 10th {ISPE} International
Conference on Concurrent Engineering {(ISPE} {CE} 2003), July 26-30,
2003, Madeira, Portugal},
pages = {755--763},
publisher = {A. A. Balkema Publishers},
year = {2003},
timestamp = {Thu, 21 Sep 2023 11:30:06 +0200},
biburl = {https://dblp.org/rec/conf/ispe/GhazelTB03.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-01-14 23:25 CET 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:
