Documentation
Français (FR)

Anglais (EN)

AB

Abderraouf Boussif

25

Documents

Présentation

Publications

mohamed-ghazel

	INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification Fateh Boudardara , Abderraouf Boussif , Pierre-Jean Meyer , Mohamed Ghazel IEEE Transactions on Neural Networks and Learning Systems, 2023, pp.1-15. ⟨10.1109/tnnls.2023.3316551⟩ Article dans une revue hal-04235453v1
	K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization Amira Chouchane , Mohamed Ghazel , Abderraouf Boussif Automatica, 2023, 147, pp1-13. ⟨10.1016/j.automatica.2022.110689⟩ Article dans une revue hal-03842331v1
	A review of abstraction methods towards verifying neural networks Fateh Boudardara , Abderraouf Boussif , Pierre-Jean Meyer , Mohamed Ghazel ACM Transactions on Embedded Computing Systems (TECS), 2023, ⟨10.1145/3617508⟩ Article dans une revue hal-04235472v1
	A semi-symbolic diagnoser for fault diagnosis of bounded labeled petri nets Abderraouf Boussif , Mohamed Ghazel , Kais Klai Asian Journal of Control, 2021, 23 (2), pp648-660. ⟨10.1002/asjc.2259⟩ Article dans une revue hal-02483169v1
	Tuning the Diagnoser-based Approach for Diagnosability Analysis of Finite Automata Abderraouf Boussif , Mohamed Ghazel International Journal of Control, Automation and Systems, 2021, 19 (8), pp2842-2858. ⟨10.1007/s12555-020-0100-y⟩ Article dans une revue hal-03300679v1
	Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches Abderraouf Boussif , Mohamed Ghazel , João Carlos Basilio Discrete Event Dynamic Systems, 2020, 30 (3), 44p. ⟨10.1007/s10626-020-00324-y⟩ Article dans une revue hal-02940679v1
	Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure Abderraouf Boussif , Mohamed Ghazel International Journal of Control, Automation and Systems, 2019, 18 (3), pp682-695. ⟨10.1007/s12555-018-0682-9⟩ Article dans une revue hal-02298344v1
	Model-Based Monitoring of a Train Passenger Access System Abderraouf Boussif , Mohamed Ghazel IEEE Access, 2018, 6 (1), pp41619-41632. ⟨10.1109/ACCESS.2018.2860966⟩ Article dans une revue hal-01871377v1
	Fault diagnosis of discrete-event systems based on the symbolic observation graph Abderraouf Boussif , Mohamed Ghazel , Kais Klai International Journal of Critical Computer-Based Systems (IJCCBS), 2018, 8 (2), pp141-168. ⟨10.1504/IJCCBS.2018.10011234⟩ Article dans une revue hal-01928797v1

	Interval Weight-Based Abstraction for Neural Network Verification Fateh Boudardara , Abderraouf Boussif , Pierre-Jean Meyer , Mohamed Ghazel International Conference on Computer Safety, Reliability, and Security, Sep 2022, Munich, Germany. pp.330-342, ⟨10.1007/978-3-031-14862-0_24⟩ Communication dans un congrès hal-04426156v1
	Deep Neural Networks Abstraction using An Interval Weights Based Approach Fateh Boudardara , Abderraouf Boussif , Pierre-Jean Meyer , Mohamed Ghazel Confiance.ai Days, Oct 2022, Saclay (92), France Communication dans un congrès hal-04426163v1
	Efficient diagnosability assessment via ILP optimization: a railway benchmark Francesco Basile , Gianmaria de Tommasi , Claudio Sterle , Abderraouf Boussif , Mohamed Ghazel IEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, Sep 2018, Torino, Italy. 8p Communication dans un congrès hal-01877250v1
	A Diagnosis Study on a Train Passenger Access System using Petri Net Models Abderraouf Boussif , Mohamed Ghazel CTS 2018, 15th IFAC Symposium on Control in Transportation Systems, Jun 2018, Savona, Italy. 6p Communication dans un congrès hal-02464751v1
	DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems Abderraouf Boussif , Mohamed Ghazel 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France Communication dans un congrès hal-01657433v1
	Diagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche Diagnostiqueur Abderraouf Boussif , Mohamed Ghazel MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. 15p Communication dans un congrès hal-01647847v1
	A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event Systems Abderraouf Boussif , Mohamed Ghazel ACC - 2017 American Control Conference, May 2017, Seattle, United States. pp 3860-3867, ⟨10.23919/ACC.2017.7963546⟩ Communication dans un congrès hal-01647001v1
	An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems Abderraouf Boussif , Baisi Liu , Mohamed Ghazel DX'17 - 28th International Workshop on Principles of Diagnosis, Sep 2017, Brescia, Italy. p8 Communication dans un congrès hal-01647904v1
	Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking Abderraouf Boussif , Mohamed Ghazel 5th IFAC International Workshop on Dependable Control of Discrete Systems : DCDS 2015, May 2017, Cancun, Mexico. pp.71-78, ⟨10.1016/j.ifacol.2015.06.475⟩ Communication dans un congrès hal-01472584v1
	DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser Abderraouf Boussif , Mohamed Ghazel , Kais Klai 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France Communication dans un congrès hal-01653191v1
	Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework Abderraouf Boussif , Mohamed Ghazel ICPHM - 2016 IEEE International Conference on Prognostics and Health Management, Jun 2016, Ottawa, Canada. 6p, ⟨10.1109/ICPHM.2016.7542874⟩ Communication dans un congrès hal-01646340v1
	Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults-A Railway Case-Study. Abderraouf Boussif , Mohamed Ghazel VECOS 2016 - 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, Oct 2016, Tunis, Tunisia. 11p Communication dans un congrès hal-01646486v1
	A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure Abderraouf Boussif , Baisi Liu , Mohamed Ghazel 13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. p237-244, ⟨10.1109/WODES.2016.7497854⟩ Communication dans un congrès hal-01374116v1
	Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking Abderraouf Boussif , Mohamed Ghazel 5th IFAC Workshop on Dependable Control of Discrete Systems, May 2015, Cancun, Mexico. 8p Communication dans un congrès hal-01471419v1
	Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems Abderraouf Boussif , Mohamed Ghazel , Kais Klai VECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania. 11p Communication dans un congrès hal-01471590v1
	Une Approche par Décomposition de Modèles pour l'Analyse de la Diagnosticabilité des SEDs par Model-Checking Abderraouf Boussif , Mohamed Ghazel Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France Communication dans un congrès hal-01224281v1