- 19
- 5
- 4
- 2
- 2
- 1
- 1
- 1
AB
Abderraouf Boussif
35
Documents
Présentation
Publications
- 18
- 16
- 15
- 15
- 13
- 12
- 11
- 11
- 9
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 25
- 8
- 4
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 21
- 7
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 6
- 3
- 2
- 1
- 4
- 6
- 4
- 3
|
Deep Neural Networks Abstraction using An Interval Weights Based ApproachConfiance.ai Days, Oct 2022, Saclay (92), France
Communication dans un congrès
hal-04426163v1
|
A framework for risk-awareness and dynamic risk assessment for autonomous trainsESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p
Communication dans un congrès
hal-03691799v1
|
|
A Safety Assurance Methodology for Autonomous TrainsTRA 2022, Transport Research Arena, Nov 2022, Lisbon, Portugal. 8p
Communication dans un congrès
hal-03690433v1
|
|
|
Définir la fiabilité de l'opérateur humain pour concevoir les futurs systèmes autonomes : un regard des Facteurs Organisationnels et HumainsCongrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris Saclay, France
Communication dans un congrès
hal-03968262v1
|
|
Interval Weight-Based Abstraction for Neural Network VerificationInternational 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
|
|
Argumentaire de sécurité graphique pour l'assurance de sécurité des trains autonomesCongrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris Saclay, France
Communication dans un congrès
hal-03968250v1
|
Towards a Specified Operational Design Domain for a Safe Remote Driving of TrainsESREL 2021, 31st European Safety And Reliability Conference, Sep 2021, Angers, France. 8p
Communication dans un congrès
hal-03328878v1
|
|
|
Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défisLambda Mu 22 - Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2020, Le Havre (e-congrès), France. pp.312-320
Communication dans un congrès
hal-03347585v1
|
A Diagnosis Study on a Train Passenger Access System using Petri Net ModelsCTS 2018, 15th IFAC Symposium on Control in Transportation Systems, Jun 2018, Savona, Italy. 6p
Communication dans un congrès
hal-02464751v1
|
|
Efficient diagnosability assessment via ILP optimization: a railway benchmarkIEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, Sep 2018, Torino, Italy. 8p
Communication dans un congrès
hal-01877250v1
|
|
Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking5th 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
|
|
|
An Experimental Comparison of Three Diagnosis Techniques for Discrete Event SystemsDX'17 - 28th International Workshop on Principles of Diagnosis, Sep 2017, Brescia, Italy. p8
Communication dans un congrès
hal-01647904v1
|
|
DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France
Communication dans un congrès
hal-01653191v1
|
A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event SystemsACC - 2017 American Control Conference, May 2017, Seattle, United States. pp 3860-3867, ⟨10.23919/ACC.2017.7963546⟩
Communication dans un congrès
hal-01647001v1
|
|
|
DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems11è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 DiagnostiqueurMSR 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
|
Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking FrameworkICPHM - 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.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 Failure13th 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
|
|
|
Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event SystemsVECOS 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-CheckingModélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France
Communication dans un congrès
hal-01224281v1
|
Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking5th IFAC Workshop on Dependable Control of Discrete Systems, May 2015, Cancun, Mexico. 8p
Communication dans un congrès
hal-01471419v1
|
|
Contributions to Model-Based Diagnosis of Discrete-Event SystemsSymbolic Computation [cs.SC]. Université de Lille1 - Sciences et Technologies, 2016. English. ⟨NNT : ⟩
Thèse
tel-01667809v1
|