UMR CNRS 7253

Outils du site


fr:publis_hal

Article dans une revue

2019

auteur
Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
titre
Safety Case Confidence Propagation Based on Dempster-Shafer theory
article
International Journal of Approximate Reasoning, 2019, 107, pp.46-64. ⟨10.1016/j.ijar.2019.02.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02012942/file/JAR_v12-revised.pdf BibTex

2018

auteur
Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
titre
Modelling Confidence in Railway Safety Case
article
Safety Science, 2018, 110 (part B), pp.286-299. ⟨10.1016/j.ssci.2017.11.012⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01661045/file/SSv17_HAL.pdf BibTex
auteur
Siqi Qiu, Mohamed Sallak, Walter Schön, Henry X.G. Ming
titre
A valuation-based system approach for risk assessment of belief rule-based expert systems
article
Information Sciences, 2018, 466, pp.323-336. ⟨10.1016/j.ins.2018.04.039⟩
Accès au bibtex
BibTex
auteur
Antoine Ferlin, Siqi Qiu, Philippe Bon, Mohamed Sallak, Simon Collart-Dutilleul, Walter Schön, Zohra Cherfi-Boulanger
titre
An Automated Method for the Study of Human Reliability in Railway Supervision Systems
article
IEEE Transactions on Intelligent Transportation Systems, 2018, 19 (10), pp.3360-3375. ⟨10.1109/TITS.2017.2779565⟩
Accès au bibtex
BibTex
auteur
Siqi Qiu, Mohamed Sallak, Walter Schön, Henry X.G. Ming
titre
Extended LK heuristics for the optimization of linear consecutive-k-out-of-n: F systems considering parametric uncertainty and model uncertainty
article
Reliability Engineering and System Safety, 2018, 175, pp.51-61. ⟨10.1016/j.ress.2018.01.016⟩
Accès au bibtex
BibTex

2017

auteur
Yunhui Hou, Nikolaos Limnios, Walter Schön
titre
On the Existence and Uniqueness of Solution of MRE and Applications
article
Methodology and Computing in Applied Probability, 2017, 19 (4), pp.1241-1250. ⟨10.1007/s11009-017-9570-7⟩
Accès au bibtex
BibTex
auteur
Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-Boulanger
titre
Application of Valuation-Based Systems for the availability assessment of systems under uncertainty
article
Control Engineering Practice, 2017, 66, pp.39-50. ⟨10.1016/j.conengprac.2017.06.004⟩
Accès au bibtex
BibTex
auteur
Subeer Rangra, Mohamed Sallak, Walter Schön, Frédéric Vanderhaegen
titre
A Graphical Model Based on Performance Shaping Factors for Assessing Human Reliability
article
IEEE Transactions on Reliability, 2017, 66 (4), pp.1120-1143. ⟨10.1109/TR.2017.2755543⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01668143/file/AuthorPost-print-IEEE_TransRel_RANGRA.pdf BibTex
auteur
Kaci Bader, Benjamin Lussier, Walter Schön
titre
A fault tolerant architecture for data fusion: A real application of Kalman filters for mobile robot localization
article
Robotics and Autonomous Systems, 2017, 88, pp.11-23. ⟨10.1016/j.robot.2016.11.015⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01706066/file/Kaci_RAS_2017_halversion.pdf BibTex

2016

auteur
Yunhui Hou, Mohamed Sallak, Walter Schon
titre
Estimation of Imprecise Reliability of Systems Using Random Sets and Monte Carlo Resampling Procedures
article
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016, 47 (11), pp.2844-2855. ⟨10.1109/TSMC.2016.2523928⟩
Accès au bibtex
BibTex
auteur
Lanting Yu, Sébastien Destercke, Mohamed Sallak, Walter Schon
titre
Comparing System Reliabilities with Ill-Known Probabilities
article
Communications in Computer and Information Science, 2016, Information Processing and Management of Uncertainty in Knowledge-Based Systems, 611, pp.619-629. ⟨10.1007/978-3-319-40581-0_50⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01382851/file/Notes%281%29.pdf BibTex

2015

auteur
Chiara Bersani, Siqi Qiu, Roberto Sacile, Mohamed Sallak, Walter Schön
titre
Rapid, robust, distributed evaluation and control of train scheduling on a single line track
article
Control Engineering Practice, 2015, 35, pp.12-21. ⟨10.1016/j.conengprac.2014.10.008⟩
Accès au bibtex
BibTex
auteur
Felipe Aguirre, Mohamed Sallak, Walter Schon
titre
An efficient method for reliability analysis of systems under epistemic uncertainty using belief functions theory
article
IEEE Transactions on Reliability, 2015, 64 (3), pp.893 - 909. ⟨10.1109/TR.2015.2434946⟩
Accès au bibtex
BibTex
auteur
Siqi Qiu, Roberto Sacile, Mohamed Sallak, Walter Schön
titre
On the application of Valuation-Based Systems in the assessment of the probability bounds of Hazardous Material transportation accidents occurrence
article
Safety Science, 2015, 72, pp.83-96. ⟨10.1016/j.ssci.2014.08.006⟩
Accès au bibtex
BibTex

2014

auteur
Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-Boulanger
titre
Modeling of ERTMS Level 2 as an SoS and Evaluation of its Dependability Parameters Using Statecharts
article
IEEE Systems Journal, 2014, 8, pp.1169-1181. ⟨10.1109/JSYST.2013.2297751⟩
Accès au bibtex
BibTex
auteur
Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-Boulanger
titre
Availability assessment of railway signalling systems with uncertainty analysis using Statecharts
article
Simulation Modelling Practice and Theory, 2014, 47, pp.1-18. ⟨10.1016/j.simpat.2014.04.004⟩
Accès au bibtex
BibTex

2013

auteur
Mohamed Sallak, Walter Schon, Felipe Aguirre
titre
Reliability assessment for multi-state systems under uncertainties based on the Dempster-Shafer theory
article
IIE Transactions, 2013, 45 (9), pp.995-1007. ⟨10.1080/0740817X.2012.706378⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00749606/file/Paper.pdf BibTex
auteur
Felipe Aguirre, Mohamed Sallak, Walter Schon, Fabien Belmonte
titre
Application of Evidential Networks in quantitative analysis of railway accidents
article
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 2013, 227 (4), pp.368-384. ⟨10.1177/1748006X12475044⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00749617/file/Revised_Paper_v1.pdf BibTex
auteur
Felipe Aguirre, Mohamed Sallak, Walter Schon
titre
Construction of belief functions from statistical data about reliability under epistemic uncertainty
article
IEEE Transactions on Reliability, 2013, 62 (3), pp.555-568. ⟨10.1109/TR.2013.2273047⟩
Accès au bibtex
BibTex
auteur
Mohamed Sallak, Walter Schon, Felipe Aguirre
titre
Extended component importance measures considering aleatory and epistemic uncertainties
article
IEEE Transactions on Reliability, 2013, 62 (1), pp.49-65. ⟨10.1109/TR.2013.2240888⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00749618/file/2011256_Final_Paper.pdf BibTex

2012

auteur
Mohamed Bouali, Pavol Barger, Walter Schon
titre
Backward reachability of Colored Petri Nets for systems diagnosis
article
Reliability Engineering and System Safety, 2012, 99, pp.1-14. ⟨10.1016/j.ress.2011.10.003⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01005556/file/RESS_v1.pdf BibTex

2011

auteur
Fabien Belmonte, Walter Schön, Laurent Heurley, Robert Capel
titre
Interdisciplinary safety analysis of complex socio-technological systems based on the Functional Resonance Accident Model: An application to railway traffic supervision
article
Reliability Engineering and System Safety, 2011, 96, pp.237-249. ⟨10.1016/j.ress.2010.09.006⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00524485/file/article_HAL.pdf BibTex

2010

auteur
Mohamed Sallak, Walter Schön, Felipe Aguirre
titre
The Transferable Belief Model for reliability analysis of systems with data uncertainties and failure dependencies
article
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 2010, 224 (4 / 2010), pp.266-278. ⟨10.1243/1748006XJRR292⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00522460/file/p92.pdf BibTex

2009

auteur
Fateh Guenab, Walter Schon, Jean-Louis Boulanger
titre
Système tolérant aux défauts : Synthèse d'une méthode de reconfiguration et/ou restructuration intégrant la fiabilité de certains composants
article
Journal Européen des Systèmes Automatisés (JESA), 2009, 43/10-2009, pp.1149-1178
Accès au texte intégral et bibtex
https://hal.science/hal-00447504/file/Guenab_version_corrigee.pdf BibTex

2008

auteur
Walter Schon
titre
Sécurité des systèmes critiques et cybercriminalité : vers une sécurité globale ?
article
Cahiers de la Sécurité, 2008, n°6 La criminalité numérique p. 146-154. ⟨10.48550/arXiv.1001.3215⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00337751/file/ArticleJMPicard.pdf BibTex

Communication dans un congrès

2024

auteur
Yasmine Benghename, Ahmed Lounis, Mohamed Sallak, Walter Schön, Abdelmadjid Bouabdallah, Yohan Bouvet
titre
Identifier les Protocoles de Sécurité et Révéler les Vulnérabilités dans les Systèmes de Transmission ERTMS/ETCS
article
Congrès Lambda Mu 24, Institut pour la Maîtrise des Risques Sûreté du fonctionnement - Management - Cindyniques (IMdR), Oct 2024, l'INSA Centre Val de Loire, Bourges, France
Accès au bibtex
BibTex

2023

auteur
Jourdan Luca, Mohamed Sallak, Walter Schön, Benjamin Quost
titre
A discussion toward AI certification in railway systems
article
CIGI QUALITA MOSIM 2023, Jun 2023, Quebec (Canada), Canada
Accès au bibtex
BibTex
auteur
Luca Jourdan, Mohamed Sallak, Walter Schön, Benjamin Quost, Yohan Bouvet, Lotfi Abdi
titre
Arbre de classification pour une perception du train autonome plus robuste
article
50e Congrès ATEC ITS France - Les Rencontres de la Mobilité Intelligente, Jan 2023, Montrouge, France
Accès au bibtex
BibTex

2022

auteur
Augustin Viot, Benjamin Lussier, Walter Schön, Armando Tacchella, Stéphane Geronimi
titre
New Threat on Formal Verification for Neural Networks: Example and Fault Tolerance
article
11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2022), Jun 2022, Pafos, Cyprus. pp.623-630, ⟨10.1016/j.ifacol.2022.07.197⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03823896/file/Viot_2022_SafeProcess_article.pdf BibTex
auteur
Luca Jourdan, Mohamed Sallak, Walter Schön, Benjamin Quost, Yohan Bouvet
titre
Validated autonomous train perception using interpretable machine learning
article
Lambda Mu 22 - Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2022, Paris Saclay, France
Accès au texte intégral et bibtex
https://hal.science/hal-03878419/file/1A%20-%20Validated%20autonomous%20train%20perception%20using%20interpretable%20machine%20learning.pdf BibTex
auteur
Houda Sarih, Mohamed Sallak, Jérôme Barbat, Walter Schön, Jean-François Barbet, Jérôme Fenwick
titre
Contribution aux calculs des indices de dégradation pour la maintenance prévisionnelle des systèmes de transport
article
Congrè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
Accès au texte intégral et bibtex
https://hal.science/hal-03878248/file/5B%20-%20Contribution%20aux%20calculs%20des%20indices%20de%20de%CC%81gradation%20pour%20la%20maintenance%20pre%CC%81visionnelle%20des%20syste%CC%80mes%20de%20transport.pdf BibTex

2021

auteur
Sadek Rayan Aktouche, Mohamed Sallak, Abdelmadjid Bouabdallah, Walter Schön
titre
Towards a Relational Model for Collaborative Safety and Security Risk Assessment Processes
article
31st European Safety and Reliability Conference (ESREL 2021), Sep 2021, Angers, France. pp.2673-2678, ⟨10.3850/978-981-18-2016-8_535-cd⟩
Accès au bibtex
BibTex
auteur
Sadek Rayan Aktouche, Mohamed Sallak, Walter Schön, Abdelmadjid Bouabdallah
titre
Towards Reconciling Safety and Security Risk Analysis Processes in Railway Remote Driving
article
5th International Conference on System Reliability and Safety (ICSRS 2021), Nov 2021, Palerme, Italy. pp.148-154
Accès au bibtex
BibTex

2020

auteur
Augustin Viot, Benjamin Lussier, Walter Schön, Stéphane Geronimi, Armando Tacchella
titre
Erreurs de modèles dans les réseaux de neurones et leurs menaces pour la vérification formelle
article
Lambda Mu 22 - Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2020, Le Havre, France. pp.596
Accès au texte intégral et bibtex
https://hal.science/hal-03144913/file/article%20sans%20marque%20lambda%20mu%20%2817-02-2021%29.pdf BibTex
auteur
Sadek Rayan Aktouche, Mohamed Sallak, Abdelmadjid Bouabdallah, Walter Schön
titre
Combinaison Safety-Security dans les systèmes de transport ferroviaire : Contexte, Défis, et Méthodologies
article
Lambda Mu 22 - Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2020, Le Havre, France
Accès au texte intégral et bibtex
https://hal.science/hal-03127833/file/LM_22_synthe%CC%80se_AKTOUCHE.pdf BibTex
auteur
Abderraouf Boussif, Simon Collart-Dutilleul, François Baranowski, Julie Beugin, Walter Schön
titre
Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défis
article
Lambda 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
Accès au texte intégral et bibtex
https://hal.science/hal-03347585/file/LM22_COM_FULL_482749_Abderraouf_Boussif_20200709_308782.pdf BibTex

2018

auteur
Subeer Rangra, Mohamed Sallak, Walter Schön, Fabien Belmonte
titre
Analyse Des Risques Et De La Sécurité Du Transport Ferroviaire Autonome Pour Les Grandes Lignes : Contexte, Défis Et Solutions
article
Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Accès au texte intégral et bibtex
https://hal.science/hal-02073235/file/lm21_com_5A_6_132_Rangra.pdf BibTex
auteur
Adrien Delmas, Mohamed Sallak, Walter Schön, Linda Zhao
titre
Méthodes de prédiction de durée de vie en vue de modèles de maintenance prévisionnelle : calcul d'intervalles et stratégies en présence de données incertaines
article
Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Accès au texte intégral et bibtex
https://hal.science/hal-02066504/file/lm21_com_3R_2_120_Delmas.pdf BibTex
auteur
Manel Brini, Paul Crubille, Benjamin Lussier, Walter Schön
titre
Validation of safety necessities for a Safety-Bag component in experimental autonomous vehicles
article
14th European Dependable Computing Conference (EDCC), Sep 2018, Iasi, Romania. pp.33-40, ⟨10.1109/EDCC.2018.00017⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01998333/file/Manel-BRINI-EDCC-2018.pdf BibTex
auteur
Damien Trentesaux, Rudy Dahyot, Kiswendsida Abel Ouedraogo, Luis Diego Arenas Pimentel, Sébastien Lefebvre, Walter Schön, Benjamin Lussier, Hugues Chéritel
titre
The Autonomous Train
article
13th Annual International Conference on System of Systems Engineering (SoSE 2018), Jun 2018, Paris, France. pp.514-520, ⟨10.1109/SYSOSE.2018.8428771⟩
Accès au bibtex
BibTex
auteur
A. Delmas, Mohamed Sallak, Walter Schön, L. Zhao
titre
Remaining useful life estimation methods for predictive maintenance models: defining intervals and strategies for incomplete data
article
10th IMA International Conference on Modelling in Industrial Maintenance and Reliability (MIMAR 2018), 2018, Liverpool, United Kingdom. ⟨10.19124/ima.2018.001.09⟩
Accès au bibtex
BibTex
auteur
Kaoutar Rhazali, Benjamin Lussier, Walter Schön, Stéphane Géronimi
titre
Fault Tolerant Deep Neural Networks for Detection of Unrecognizable Situations
article
10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2018), Aug 2018, Warsaw, Poland. pp.31-37, ⟨10.1016/j.ifacol.2018.09.525⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01996374/file/safeProcess18-rhazali.pdf BibTex

2017

auteur
Manel Brini, Paul Crubille, Benjamin Lussier, Walter Schön
titre
Contraintes de sécurité pour le Safety-Bag d'un véhicule autonome : méthodes AMDEC et HazOp
article
12th International Pluridisciplinary Congress on Quality, Dependability and substainability (QUALITA 2017), Aug 2017, Bourges, France
Accès au texte intégral et bibtex
https://hal.science/hal-01686689/file/Article-Manel-BRINI-Bourges.pdf BibTex
auteur
Subeer Rangra, Mohamed Sallak, Walter Schön, Frédéric Vanderhaegen
titre
Obtaining empirical data from experimentations on railway operational simulator for human reliability modelling
article
27th European Safety and Reliability Conference (ESREL 2017), Jun 2017, Portoroz, Slovenia. pp.299-304, ⟨10.1201/9781315210469-40⟩
Accès au bibtex
BibTex
auteur
Mohamed Sallak, Siqi Qiu, Walter Schön
titre
Safe Design of Consecutive-K-out-of-N Systems under Uncertainty
article
20th International Federation of Automatic Control World Congress (IFAC WC 2017), 2017, Toulouse, France. pp.15748-15753
Accès au bibtex
BibTex
auteur
Kaci Bader, Benjamin Lussier, Walter Schön
titre
Fault Tolerance from Formal Analysis of a Data Fusion Mechanism
article
First IEEE International Conference on Robotic Computing (IRC 2017), Apr 2017, Taichung, Taiwan. pp.69-72, ⟨10.1109/IRC.2017.29⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02005050/file/IRC2017_Kaci_Bader.pdf BibTex
auteur
Adrien Delmas, Mohamed Sallak, Walter Schön, Linda Zhao
titre
Contribution à la maintenance prévisionnelle des composants en présence de données incomplètes
article
12th International Pluridisciplinary Congress on Quality, Dependability and substainability (QUALITA 2017), 2017, Bourges, France
Accès au bibtex
BibTex
auteur
Kaoutar Rhazali, Benjamin Lussier, Walter Schön, Stéphane Géronimi
titre
Tolérance aux fautes pour détecter les comportements indésirables des réseaux de neurones
article
12th International Pluridisciplinary Congress on Quality, Dependability and substainability (QUALITA 2017), Aug 2017, Bourges, France
Accès au texte intégral et bibtex
https://hal.science/hal-01997210/file/qualita2017-rhazali.pdf BibTex

2016

auteur
Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
titre
D-S Theory for Argument Confidence Assessment
article
4th International Conference on Belief Functions (BELIEF 2016), Sep 2016, Prague, Czech Republic. pp.190-200, ⟨10.1007/978-3-319-45559-4_20⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01372016/file/paper%20%2320.pdf BibTex
auteur
Lanting Yu, Sébastien Destercke, Mohamed Sallak, Walter Schon
titre
Comparing System Reliabilities with Ill-Known Probabilities
article
16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016), Jun 2016, Eindhoven, Netherlands. pp.619-629, ⟨10.1007/978-3-319-40581-0_50⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01346452/file/Notes.pdf BibTex
auteur
Manel Brini, Paul Crubillé, Benjamin Lussier, Walter Schon
titre
Risk reduction of experimental autonomous vehicles: The Safety-Bag approach
article
CARS 2016 4th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2016, Goteborg, Sweden
Accès au texte intégral et bibtex
https://hal.science/hal-01379307/file/Article-Manel-BRINI-UTC.pdf BibTex
auteur
Subeer Rangra, Kaci Bader, Mohamed Sallak, Walter Schön, Frédéric Vanderhaegen
titre
Analyse de la fiabilité humaine: vers un cadre plus formel pour les applications ferroviaires
article
20ème Colloque National de Maîtrise des Risques et Sûreté de Fonctionnement (Lambda Mu 20), Oct 2016, Saint-Malo, France
Accès au bibtex
BibTex
auteur
Subeer Rangra, Walter Schön, Frédéric Vanderhaegen
titre
Integration of human factors in safety and risk analysis of railway operations: issues and methods from the perspective of a recent accident
article
International Railway Safety Council (IRSC 2016), Oct 2016, Paris, France
Accès au bibtex
BibTex

2015

auteur
Kaci Bader, Walter Schön, Benjamin Lussier
titre
Localisation Multi-capteurs Tolérante aux Fautes : Validation expérimentale sur un cas réel
article
QUALITA' 2015, Mar 2015, Nancy, France
Accès au texte intégral et bibtex
https://hal.science/hal-01149765/file/Bader_qualita2015_version_corrigee.pdf BibTex
auteur
Kaci Bader, Benjamin Lussier, Walter Schön
titre
Functional Diversification for Software Fault Tolerance in Data Fusion: a real Application on Kalman Filters for Mobile Robot Yaw Estimation
article
The annual European Safety and Reliability Conference (ESREL 2015), Sep 2015, Zürich, Switzerland. pp.3977-3985
Accès au bibtex
BibTex
auteur
Subeer Rangra, Walter Schön, Mohamed Sallak, Frédéric Vanderhaegen
titre
On the study of human reliability in transportation systems of systems
article
10th IEEE System of Systems Engineering Conference (SoSE 2015), May 2015, San Antonio, TX, United States. pp.208-213, ⟨10.1109/SYSOSE.2015.7151980⟩
Accès au bibtex
BibTex
auteur
Yunhui Hou, Mohamed Sallak, Walter Schon
titre
Reliability analysis of multi-state systems using random set theory
article
European Safety and Reliability Conference (ESREL 2015), Sep 2015, Zurich, Switzerland. pp.2763-2770
Accès au bibtex
BibTex
auteur
Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-Boulanger
titre
Evaluation of human error probabilities based on classical HRA models: an application to railway systems
article
QUALITA' 2015, Mar 2015, Nancy, France
Accès au texte intégral et bibtex
https://hal.science/hal-01149780/file/root_final.pdf BibTex
auteur
Subeer Rangra, Mohamed Sallak, Walter Schön, Frédéric Vanderhaegen
titre
Human Reliability Assessment under Uncertainty – Towards a Formal Method
article
6th International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences (AHFE 2015), Jul 2015, Las Vegas, United States. pp.3230-3237, ⟨10.1016/j.promfg.2015.07.874⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01266950/file/1-s2.0-S2351978915008756-main.pdf BibTex
auteur
Mohamed Sallak, Sébastien Destercke, Walter Schon, Frédéric Vanderhaegen, Denis Berdjag, Christophe Simon
titre
Uncertainty, elicitation of experts' opinion, and human failures: Challenges for RAM analysis of ERTMS SoS
article
10th IEEE System of Systems Engineering Conference (SoSE 2015), May 2015, San Antonio, TX, United States. pp.88-93, ⟨10.1109/SYSOSE.2015.7151917⟩
Accès au bibtex
BibTex
auteur
Yunhui Hou, Mohamed Sallak, Walter Schon
titre
Availability analysis of systems using random set theory
article
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes , Sep 2015, Paris, France. pp.1315-1320
Accès au bibtex
BibTex
auteur
Manel Brini, Paul Crubillé, Benjamin Lussier, Walter Schon
titre
Assurer la sécurité de véhicules autonomes démonstrateurs -l'approche Safety-Bag
article
Control Architectures of Robots 2015 10th National Conference & Secondes Journées Architectures Logicielles pour la Robotique Autonome, les Systèmes Cyber-Physiques et les Systèmes Auto-Adaptables, Jun 2015, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-01382883/file/Article-workshop-Lyon-Manel-brini.pdf BibTex

2014

auteur
Siqi Qiu, Guy-Leon Kaza, Mohamed Sallak, Walter Schön
titre
A reachability analysis for verification of safety properties of railway infrastructures
article
10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Tool Exhibition and Tutorium (FORMS/FORMAT 2014), Sep 2014, Braunschweig, Germany
Accès au bibtex
BibTex
auteur
Zaibi Kais, Mohamed Sallak, Walter Schon, Subeer Rangra, Roberto Sacile
titre
A UML APPROACH FOR MODELING AND VERIFYING OF RAILWAY SIGNALLING SYSTEMS SPECIFICATIONS
article
MOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France
Accès au texte intégral et bibtex
https://hal.science/hal-01166630/file/paper_177.pdf BibTex
auteur
Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-Boulanger
titre
Dynamic reliability modeling using Valuation-Based System
article
19th IFAC World Congress (IFAC WC 2014), Aug 2014, Cape Town, South Africa
Accès au bibtex
BibTex
auteur
Kaci Bader, Benjamin Lussier, Walter Schön
titre
A Fault Tolerant Architecture For Data Fusion Targeting Hardware and Software Faults
article
The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014), Nov 2014, Singapour, Singapore. pp.1-10
Accès au bibtex
BibTex
auteur
Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-Boulanger
titre
Modélisation et vérification de propriétés de sécurité d'une infrastructure ferroviaire à l'aide des Statecharts
article
19ème congrès de maîtrise des risques et sûreté de fonctionnement, Lambda Mu 19, Oct 2014, Dijon, France
Accès au bibtex
BibTex
auteur
Kaci Bader, Benjamin Lussier, Walter Schon
titre
Architecture de filtre de Kalman tolérante aux fautes pour la localisation des robots mobiles
article
19ème congrès de maîtrise des risques et sûreté de fonctionnement, Lambda Mu 19, Oct 2014, Dijon, France. pp.9
Accès au bibtex
BibTex
auteur
Patrick Sondi, Marion Berbineau, Mohamed Kassab, Martine Wahl, Christophe Gransart, Etienne Lemaire, G. Mariano, Mohamed Ghazel, Vincent Benard, Walter Schon
titre
Virtual lab based on co-simulation to include impairments of wireless telecommunication such as GSM-R in the evaluation of ERTMS
article
TRA - Transport Research Arena, Apr 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-00985733/file/doc00017336.pdf BibTex

2013

auteur
Yunhui Hou, Nikolaos Limnios, Walter Schön
titre
Approximation normale de la probabilité de défaillance d'un système
article
QUALITA2013, Mar 2013, Compiègne, France
Accès au texte intégral et bibtex
https://hal.science/hal-00823161/file/qualita_fr.pdf BibTex
auteur
Felipe Aguirre, Mohamed Sallak, Walter Schön, Siqi Qiu
titre
On the distinction between aleatory and epistemic uncertainty and its implications on reliability and risk analysis
article
European Safety and Reliability Conference (ESREL 2013), Sep 2013, Amsterdam, Netherlands
Accès au bibtex
BibTex
auteur
Kaci Bader, Benjamin Lussier, Walter Schön
titre
Tolérance aux Fautes par Fusion de Données : Un Cas d'Étude
article
QUALITA2013, Mar 2013, Compiègne, France
Accès au texte intégral et bibtex
https://hal.science/hal-00823157/file/qualita_2013_kaci_corrige.pdf BibTex
auteur
Mohamed Sallak, Felipe Aguirre, Walter Schon
titre
Incertitudes aléatoires et épistémiques, comment les distinguer et les manipuler dans les études de fiabilité ?
article
QUALITA2013, Mar 2013, Compiègne, France
Accès au texte intégral et bibtex
https://hal.science/hal-00823114/file/FirstDraft.pdf BibTex
auteur
Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-Boulanger
titre
Epistemic parametric uncertainties in availability assessment of a Railway Signalling System using Monte Carlo simulation
article
European Safety and Reliability Conference (ESREL 2013), Sep 2013, Amsterdam, Netherlands
Accès au bibtex
BibTex
auteur
Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi
titre
Modélisation et évaluation de la disponibilité d'un système de signalisation ferroviaire ERTMS niveau 2
article
QUALITA2013, Mar 2013, Compiègne, France
Accès au texte intégral et bibtex
https://hal.science/hal-00823131/file/Qualita2013_QiuSallakSchonCherfi.pdf BibTex

2011

auteur
Felipe Aguirre, Mohamed Sallak, Walter Schön
titre
Prise en compte des incertitudes dans les études de fiabilité : Comparaison entre le Modèle de Croyances Transférables et les méthodes de simulations de Monté-Carlo.
article
Qualita 2011, Mar 2011, Angers, France. pp.80
Accès au texte intégral et bibtex
https://hal.science/hal-00650744/file/Qualita_id80.pdf BibTex
auteur
Felipe Aguirre, Mohamed Sallak, Walter Schön
titre
Generalized expressions of reliability of series-parallel and parallel-series systems using the Transferable Belief Model
article
European Safety and Reliability Conference (ESREL 2011), Sep 2011, Troyes, France. pp.2137-2142
Accès au texte intégral et bibtex
https://hal.science/hal-00646300/file/Aguirre_et_al_-_2011_-_Generalized_expressions_of_reliability_using_the_Transferable_Belief_Model.pdf BibTex
auteur
Felipe Aguirre, Mohamed Sallak, Walter Schön, Denis Berdjag, Patrice Caulier, Frédéric Vanderhaegen
titre
Decision making in diagnosis of human machine systems: The probabilistic and credibilistic perspectives to deal with uncertainty.
article
Berlin workshop human machine systyems, Oct 2011, Berlin, Germany
Accès au bibtex
BibTex

2009

auteur
Pavol Barger, Walter Schön, Mohamed Bouali
titre
A study of railway ERTMS safety with Colored Petri Nets
article
The European Safety and Reliability Conference (ESREL'09), Sep 2009, Prague, Czech Republic. pp.1303--1309
Accès au texte intégral et bibtex
https://hal.science/hal-00447528/file/esrel_camread_v26.pdf BibTex
auteur
Mohamed Bouali, Pavol Barger, Walter Schön
titre
Towards an efficient structural analysis of colored Petri nets
article
International Conference on Industrial Engineering and Systems Management (IESM'09), May 2009, Montreal, Canada. electronic proceedings
Accès au texte intégral et bibtex
https://hal.science/hal-00447622/file/IESM09_bouali_final.pdf BibTex
auteur
Mohamed Bouali, Pavol Barger, Walter Schön
titre
Inconsistent state analysis of a network receiver with colored Petri nets
article
Fourth International Conference on Dependability of Computer Systems (DepCoSRELCOMEX'09), Jun 2009, Wroclaw, Poland. pp.152-159
Accès au texte intégral et bibtex
https://hal.science/hal-00447539/file/PID867007.pdf BibTex
auteur
Mohamed Bouali, Pavol Barger, Walter Schön
titre
Colored Petri nets inversion for backward reachability analysis
article
Second IFAC Workshop on Depandable Control of Descrete Systems, Jun 2009, Bari, Italy. pp.259-264
Accès au texte intégral et bibtex
https://hal.science/hal-00447602/file/dcds_v2.pdf BibTex

2008

auteur
Fateh Guenab, Jean-Louis Boulanger, Walter Schön
titre
Safety of railway control systems: A new Preliminary Risk Analysis approach
article
IEEE International Conference on Industrial Engineering and Engineering Management, Dec 2008, Singapour, Singapore. pp.IEEM08-P-0236
Accès au texte intégral et bibtex
https://hal.science/hal-00339936/file/Guenab_et_al_IEEM08.pdf BibTex
auteur
Fabien Belmonte, Walter Schön, Jean-Louis Boulanger, Robert Capel
titre
Évaluation du facteur humain dans le domaine de la supervision de trafic ferroviaire : le projet SPICA-Rail
article
Lambda-Mu, Oct 2008, Avignon, France. pp.session 7A
Accès au texte intégral et bibtex
https://hal.science/hal-00335053/file/lm16.pdf BibTex
auteur
Fateh Guenab, Jean-Louis Boulanger, Walter Schön
titre
Sécurité des systèmes de contrôle-commande et signalisation ferroviaire: nouvelle approche d'analyse préliminaire des risques
article
5ème Conférence Internationale Francophone d'Automatique, Sep 2008, Bucarest, Roumanie. Papier N° 111
Accès au texte intégral et bibtex
https://hal.science/hal-00339947/file/Guenab_et_al_Cifa2008.pdf BibTex
auteur
Fateh Guenab, Jean-Louis Boulanger, Walter Schön
titre
Safety of railway control systems : A new Preliminary Risk Analysis approach
article
COMPRAIL 2008, Sep 2008, Toledo, Spain
Accès au texte intégral et bibtex
https://hal.science/hal-00339955/file/Guenab_et_al_Comprail2008.pdf BibTex
auteur
Fabien Belmonte, Jean-Louis Boulanger, Walter Schön
titre
Dispatcher reliability analysis : SPICA-Rail experiment.
article
COMPRAIL, Sep 2008, Toledo, Spain. pp.100
Accès au texte intégral et bibtex
https://hal.science/hal-00335047/file/comprail08.pdf BibTex
auteur
Fabien Belmonte, Jean-Louis Boulanger, Walter Schön
titre
Utilisation d'un modèle d'accident systémique comme référentiel commun à une analyse de risque interdisciplinaire
article
CIFA, Sep 2008, Bucarest, Roumanie. pp.T24-1
Accès au texte intégral et bibtex
https://hal.science/hal-00335069/file/cifa08.pdf BibTex
auteur
Mylène Belmonte, Gerald Churchill, Walter Schon, Jean-Louis Boulanger
titre
AUTOMATISATION INTEGRALE DE LA LIGNE 1 : ETUDE ET MODELISATION DU TRAFIC MIXTE
article
Lambda-Mu, Oct 2008, Avignon, France. pp.Session 5B
Accès au texte intégral et bibtex
https://hal.science/hal-00337681/file/LM16_Article_5B1.pdf BibTex

Chapitre d'ouvrage

2019

auteur
Subeer Rangra, Mohamed Sallak, Walter Schön, Frédéric Vanderhaegen
titre
Un modèle graphique basé sur les facteurs affectant la performance pour l’évaluation de la fiabilité humaine
article
Frédéric Vanderhaegen; Choubeila Maaoui; Mohamed Sallak; Denis Berdjag. Défis de l'automatisation des systèmes sociotechniques, Iste éditions, pp.187-242, 2019, Systèmes et génie industriel, 9781784055394. ⟨10.1002/9781119644576.ch6⟩
Accès au bibtex
BibTex

2015

auteur
Yunhui Hou, Nikolaos Limnios, Walter Schön
titre
On the existence and uniqueness of solution of MRE and applications
article
Alex Karagrigoriou, Teresa Oliveira and Christos Skiadas Statistical, Stochastic and Data Analysis Methods and Applications , ISAST, 2015
Accès au bibtex
BibTex

2010

auteur
Fabien Belmonte, Jean-Louis Boulanger, Walter Schon, Karim Berkani
titre
Role of supervision systems in railway safety
article
G. Sciutto. Safety and Security in Railway Engineering, WIT Press, pp.59-68, 2010, 978-1-84564-243-3. ⟨10.2495/CR060131⟩
Accès au bibtex
BibTex

Ouvrages

2013

auteur
Walter Schon, Guy Larraufie, Gilbert Moens, Jacques Pore
titre
Railway signalling and automation Volume 2
article
La Vie du Rail, pp.300, 2013, 9782918758631
Accès au bibtex
BibTex
auteur
Walter Schon, Guy Larraufie, Gilbert Moens, Jacques Pore
titre
Railway Signalling and Automation Volume 1
article
La Vie du Rail, pp.300, 2013, 9782918758488
Accès au bibtex
BibTex
auteur
Walter Schon, Guy Larraufie, Gilbert Moens, Jacques Pore
titre
Railway signalling and automation Volume 3
article
La Vie du Rail, pp.400, 2013, 9782918758648
Accès au bibtex
BibTex

Poster de conférence

2016

auteur
Subeer Rangra, Mohamed Sallak, Walter Schön, Frédéric Vanderhaegen
titre
Human reliability analysis for railway operations: a framework for integration of human factors in risk analysis
article
International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification , Jul 2016, Paris, France. , 2016
Accès au bibtex
BibTex


Outils pour utilisateurs