Abderraouf Boussif - Publications, H-index & Citations

Abderraouf Boussif

universite de lille

9H指数

53论文数

287被引数

收录论文 7

发表时间

A Methodology of Elicitation of Safety Requirements of Artificial Intelligence Based Functions in Railways 基于铁路人工智能功能的安全需求引出方法

TRANSPORT TRANSITIONS: ADVANCING SUSTAINABLE AND INCLUSIVE MOBILITY - VOL 1

IF0

2026-01-01

OAAI

Mahtani, Ankur; Sassi, Insaf; Himrane, Ouail; Boussif, Abderraouf

INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification

IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS

IF8.9

2024-12-01

OAAI

Boudardara, Fateh; Boussif, Abderraouf; Meyer, Pierre-Jean; Ghazel, Mohamed

Application of Systems Theoretic Accident Model and Processes in Railway Systems: A Review

IEEE ACCESS

IF3.6

2024-01-01

OAAI

Tonk, Abhimanyu; Boussif, Abderraouf

A Risk-Based Decision-Making Process for Autonomous Trains Using POMDP: Case of the Anti-Collision Function

IEEE ACCESS

IF3.6

2024-01-01

OAAI

Chelouati, Mohammed; Boussif, Abderraouf; Beugin, Julie; El-Koursi, El-Miloudi

Graphical safety assurance case using Goal Structuring Notation (GSN)-challenges, opportunities and a framework for autonomous trains

RELIABILITY ENGINEERING & SYSTEM SAFETY

IF11

2023-02-01

PREAI

Chelouati, Mohammed; Boussif, Abderraouf; Beugin, Julie; El Koursi, El-Miloudi

K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization

AUTOMATICA

IF5.9

2023-01-01

OAAI

Chouchane, Amira; Ghazel, Mohamed; Boussif, Abderraouf

Model-Based Monitoring of a Train Passenger Access System

IEEE ACCESS

IF3.6

2018-01-01

OAAI

Boussif, Abderraouf; Ghazel, Mohamed

研究方向