Aller au contenu principal


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

CHELOUATI, Mohammed ; BOUSSIF, Abderraouf ; BEUGIN, Julie ; EL KOURSI, El-Miloudi   /   (2023)

Reliability Engineering and System Safety, 230, pp1-9, doi: 10.1016/j.ress.2022.108933

Plus d'infos

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

CHOUCHANE, Amira ; GHAZEL, Mohamed ; BOUSSIF, Abderraouf   /   (2023)

Automatica, 147, pp1-13, doi: 10.1016/j.automatica.2022.110689

Télécharger le document

Train management in freight shunting yards: Formalisation and literature review

DELEPLANQUE, Samuel ; HOSTEINS, Pierre ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2022)

IET Intelligent Transport Systems, 16, 10, pp1286-1305, doi: 10.1049/itr2.12216 Intelligent Trans Sys - 2022 - Deleplanque.pdf

Télécharger le document

Complexity of the Multilvel Critical Node Problem

NABLI, Adel ; CARVALHO, Margarida ; HOSTEINS, Pierre   /   (2022)

Journal of Computer and System Sciences, 127, pp122-145, doi: 10.1016/j.jcss.2022.02.004

Télécharger le document

The Connected Critical Node Problem

HOSTEINS, Pierre ; SCATAMACCHIA, Rosarion ; GROSSO, Andrea ; ARINGHIERI, Roberto   /   (2022)

Theoretical Computer Science, 923, pp235-255, doi: 10.1016/j.tcs.2022.05.011

Télécharger le document

Multiobjective Timetable Development Tool for Railway Strategic Planning in Norway

COVIELLO, Nicolas ; MEDEOSSI, Giorgio ; NASH, Andrew ; NYGREEN, Thomas ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2022)

TRB : Transportation research record, 14p, doi: 10.1177/03611981221101392

Plus d'infos

Effective train routing selection for real-time traffic management: Improved model and ACO parallel computing

PASCARIU, Bianca ; SAMA, Marcella ; PELLEGRINI, Paola ; D'ARIANO, Andrea ; RODRIGUEZ, Joaquin ; PACCIARELLI, Dario   /   (2022)

Computers & Operations reasearch, 145, 37p, doi: 10.1016/j.cor.2022.105859

Télécharger le document

Reachability analysis of neural networks using mixed monotonicity

MEYER, Pierre-Jean   /   (2022)

IEEE Control Systems Letters, 6, pp3068-3073, doi: 10.1109/LCSYS.2022.3182547

Télécharger le document

SoREn, How Dynamic Software Update Tools Can Help Cybersecurity Systems to Improve Monitoring and Actions

MARTINEZ, Sébastien ; GRANSART, Christophe ; STIENNE, Olivier ; DENIAU, Virginie ; BON, Philippe   /   (2022)

Journal of Universal Computer Science, 28, 1, pp27-53, doi: 10.3897/jucs.66857

Télécharger le document

À Loos-en-Gohelle, une mobilité durable « sur mesure » construite avec les habitants

CUVELIER, Marielle   /   (2022)

The Conversation, pp1-4

Télécharger le document

Analytical redundancy relationship generation on a progressive horizon for fault diagnosis of a labelled Petri net

CHOUCHANE, Amira   /   (2021)

IMA Journal of Mathematical Control and Information, 38, 3, pp908-928, doi: 10.1093/imamci/dnab015

Plus d'infos

Tuning the Diagnoser-based Approach for Diagnosability Analysis of Finite Automata

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2021)

International Journal of Control, Automation and Systems, 19, 8, pp2842-2858, doi: 10.1007/s12555-020-0100-y

Plus d'infos

Solution algorithms for the generalized train unit shunting problem

KAMENGA, Franck ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin ; MERABET, Boubekeur   /   (2021)

EURO Journal on Transportation and Logistics, 10, pp1-16, doi: 10.1016/j.ejtl.2021.100042

Télécharger le document

From French National Signaling Systems to ERTMS: Considering the Evolution of Track-Side Systems

DE ALMEIDA PEREIRA, Dalay Israel ; HIMRANE, Ouail ; BON, Philippe ; BEUGIN, Julie   /   (2021)

International Journal of Signal Processing Systems, 9, 2, pp11-16

Télécharger le document

Transition vers une mobilité quotidienne bas carbone en périurbain

CUVELIER, Marielle ; USTER, Guillaume   /   (2021)

Construction21 France, 29, Dossier Mobilit?s d?carbon?es : Enjeux et solutions, 5p

Télécharger le document

A semi-symbolic diagnoser for fault diagnosis of bounded labeled petri nets

BOUSSIF, Abderraouf ; GHAZEL, Mohamed ; KLAI, Kais   /   (2021)

Asian Journal of Control, 23, 2, pp648-660, doi: 10.1002/asjc.2259

Plus d'infos

Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms

HIMRANE, Ouail ; OURGHANLIAN, Alain ; AMARI, Saïd   /   (2020)

International Journal of Control,

Plus d'infos

Comment estimer la durée d'arrêt des trains en gare en zone dense ? Les données de comptage automatique ouvrent de nouvelles perspectives

CORNET, Selim ; BUISSON, Christine ; RAMOND, François ; RODRIGUEZ, Joaquin   /   (2020)

Revue Générale des Chemins de Fer (RGCF), 302, pp12-19

Plus d'infos

Integrating yard, network and optimisation models towards real-time optimisation of rail freight yard operations

LICCIARDELLO, Riccardo ; ADAMKO, Norbert ; DELEPLANQUE, Samuel ; HOSTEINS, Pierre ; LIU, Ronghui ; PELLEGRINI, Paola ; PETERSON, Anders ; WAHLBORG, Magnus ; ZAT'KO, Milos   /   (2020)

Ingegneria Ferroviaria, 6, pp417-440

Télécharger le document

Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches

BOUSSIF, Abderraouf ; GHAZEL, Mohamed ; BASILIO, João Carlos   /   (2020)

Discrete Event Dynamic Systems - Theory and Applications, 30, 3, 44p, doi: 10.1007/s10626-020-00324-y

Télécharger le document

Système d'aide à la conduite automobile aux passages à niveau

BAZEGHI KISOMI, Parinaz ; BEDEL, Francis ; GHAZEL, Mohamed   /   (2020)

Revue Générale des Chemins de Fer (RGCF), 306, pp78-86

Plus d'infos

The Stochastic Critical Node Problem over Trees

HOSTEINS, Pierre ; SCATAMACCHIA, Rosario   /   (2020)

Networks, 76, 3, pp381-401, doi: 10.1002/net.21948

Télécharger le document

A three-step Benders decomposition for the real-time Railway Traffic Management Problem

KEITA, Kaba ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2020)

Journal of Rail Transport Planning and Management, 16p, doi: 10.1016/j.jrtpm.2019.100170

Télécharger le document

A Branch-Price-and-Cut Procedure for the Discrete Ordered Median Problem

DELEPLANQUE, Samuel ; LABBE, Martine ; PONCE, Diego ; PUERTO, Justo   /   (2020)

INFORMS Journal on Computing, 26p, doi: 10.1287/ijoc.2019.0915

Télécharger le document

A Compact Mixed Integer Linear Formulation for Safe Set Problems

HOSTEINS, Pierre   /   (2020)

Optimization Letters, 21p, doi: 10.1007/s11590-020-01540-z

Télécharger le document

Methods for quantitative assessment of passenger flow influence on train dwell time in dense traffic areas

CORNET, Selim ; BUISSON, Christine ; RAMOND, François ; BOUVAREL, Paul ; RODRIGUEZ, Joaquin   /   (2019)

Transportation Research Part C: Emerging Technologies, 106, pp344-359, doi: 10.1016/j.trc.2019.05.008

Télécharger le document

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B

KRAIBI, Kenza ; BEN AYED, Rahma ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; PETIT, Dorian   /   (2019)

Journal of communications, 14, 10, pp980-986, doi: 10.12720/jcm.14.10.980-986

Télécharger le document

Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2019)

International Journal of Control, Automation and Systems, 18, 3, pp682-695, doi: 10.1007/s12555-018-0682-9

Plus d'infos

A model-based system engineering approach to manage railway safety-related decisions

DEBBECH, Sana ; BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2019)

International Journal of Transport Development and Integration, 3, 1, pp30-43, doi: 10.2495/TDI-V3-N1-30-43

Télécharger le document

Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology

DEBBECH, Sana ; BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2019)

Journal of computers, 14, 4, pp257-267, doi: 10.17706/jcp.14.4.257-267

Télécharger le document

A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification

DE ALMEIDA PEREIRA, Dalay Israel ; PERIN, Matthieu ; BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2019)

International Journal of Computer and Electrical Engineering (IJCEE), 11, 1, pp11-19, doi: 10.17706/IJCEE.2019.11.1.11-19

Télécharger le document

Application of fuzzy theory for identifying the required availability of an autonomous localization unit in European Train Control System

NGUYEN, Khanh ; BEUGIN, Julie ; BERBINEAU, Marion ; MARAIS, Juliette   /   (2019)

Journal of Intelligent Transportation Systems, 18p, doi: 10.1080/15472450.2018.1525533

Télécharger le document

A bi-objective model for the single-machine scheduling problem with rejection cost and total tardiness minimization

CORDONE, Roberto ; HOSTEINS, Pierre   /   (2019)

Computers and Operations Research, 102, pp130-140, doi: 10.1016/j.cor.2018.10.006

Télécharger le document

Efficient train re-routing and rescheduling: Valid inequalities and reformulation of RECIFE-MILP

PELLEGRINI, Paola ; PESENTI, Raffaele ; RODRIGUEZ, Joaquin   /   (2019)

Transportation Research Part B: Methodological, 120, pp33-48, doi: 10.1016/j.trb.2018.12.008

Plus d'infos

Collecting evidence from distributed sources to evaluate railway suicide and trespass prevention measures

RYAN, Brendan ; KALLBERG, Veli-Pekka ; RADBO, Helena ; HAVARNEANU, Grigore M ; SILLA, Anne ; LUKASCHEK, Karoline ; BURKHARDT, Jean-Marie ; BRUYELLE, Jean-Luc ; El-KOURSI, El- Miloudi ; BEURSKENS, Eric ; HEDQVIST, Maria   /   (2018)

Ergonomics, 61, pp1433-1453, doi: 10.1080/00140139.2018.1485970

Télécharger le document

Design solutions to improve resilience of metro vehicle to blast events

EL KOURSI, El Miloudi ; BRUYELLE, Jean-Luc ; SEDDON, Richard ; O'NEILL, Conor   /   (2018)

Transportation Research Part A: Policy and Practice, 118, pp280-291, doi: 10.1016/j.tra.2018.09.015

Plus d'infos

Fault diagnosis of discrete-event systems based on the symbolic observation graph

BOUSSIF, Abderraouf ; GHAZEL, Mohamed ; KLAI, Kais   /   (2018)

International Journal of Critical Computer-Based Systems (IJCCBS), 8, 2, pp141-168, doi: 10.1504/IJCCBS.2018.10011234

Plus d'infos

An Automated Method for the Study of Human Reliability in Railway Supervision Systems

FERLIN, Antoine ; QIU, Siqi ; BON, Philippe ; SALLAK, Mohamed ; COLLART-DUTILLEUL, Simon ; SCHÖN, Walter ; CHERFI-BOULANGER, Zohra   /   (2018)

IEEE Transactions on Intelligent Transportation Systems, 99, 16p, doi: 10.1109/TITS.2017.2779565

Plus d'infos

Model-Based Monitoring of a Train Passenger Access System

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2018)

IEEE Access, 6, 1, pp41619-41632, doi: 10.1109/ACCESS.2018.2860966

Télécharger le document

Maintenance on the Railway Network: Disruptions and re-scheduling

DELEPLANQUE, Samuel   /   (2018)

Electronic Notes in Discrete Mathematics, 69, pp109-116, doi: 10.1016/j.endm.2018.07.015

Télécharger le document

Le projet MORIPAN « Modèle de Risque au Passage à Niveau »

CAZIER, Olivier ; LIANG, Ci ; GHAZEL, Mohamed   /   (2018)

Revue Générale des Chemins de Fer (RGCF), 281, 9p

Plus d'infos

Timetable rearrangement to cope with railway maintenance activities

ARENAS, Diego ; PELLEGRINI, Paola ; HANAFI, Said ; RODRIGUEZ, Joaquin   /   (2018)

Computers and Operations Research, 95, pp123-138, doi: 10.1016/j.cor.2018.02.018

Plus d'infos

Safety Appraisal of GNSS-Based Localization Systems Used in Train Spacing Control

BEUGIN, Julie ; LEGRAND, Cyril ; MARAIS, Juliette ; BERBINEAU, Marion ; EL KOURSI, El Miloudi   /   (2018)

IEEE Access, 6, 99, pp9898-9916, doi: 10.1109/ACCESS.2018.2807127

Télécharger le document

Toward an Application Guide for Safety Integrity Level Allocation in Railway Systems

OUEDRAOGO, Kiswendsida Abel ; BEUGIN, Julie ; EL KOURSI, El Miloudi ; CLARHAUT, Joffrey ; RENAUX, Dominique ; LISIECKI, Frédéric   /   (2018)

Risk Analysis, 22p, doi: 10.1111/risa.12972

Plus d'infos

Analyzing risky behavior of motorists during the closure cycle of railway level crossings

LIANG, Ci ; GHAZEL, Mohamed ; CAZIER, Olivier ; EL KOURSI, El Miloudi   /   (2018)

Safety Science, 110, pp115-126, doi: 10.1016/j.ssci.2017.12.008

Télécharger le document

On-the-Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets

LIU, Baisi ; GHAZEL, Mohamed ; TOGUYENI, Armand   /   (2018)

Asian Journal of Control, 20, 1, 13p, doi: 10.1002/asjc.1508

Plus d'infos

Contribution of human factors and chronobiology vigilance in public transport safety in France

HADJ MABROUK, Habib   /   (2017)

Annual Special issue of Magazine on The Rail Industry of India, 1, 2, pp01-22

Plus d'infos

Contribution of human factors and chronobiology vigilance in public transport safety in France

HADJ MABROUK, Habib   /   (2017)

Annual Special issue of Magazine on The Rail Industry of India, 1, 2, pp01-22

Plus d'infos

RECIFE-SAT: A MILP-based algorithm for the railway saturation problem

PELLEGRINI, Paola ; MARLIERE, Grégory ; RODRIGUEZ, Joaquin   /   (2017)

Journal of Rail Transport Planning & Management, 7, pp19-32, doi: 10.1016/j.jrtpm.2017.08.001

Plus d'infos

A risk assessment study on accidents at French level crossings using Bayesian belief networks

LIANG, Ci ; GHAZEL, Mohamed   /   (2017)

International Journal of Injury Control and Safety Promotion, pp162-172, doi: 10.1080/17457300.2017.1416480

Télécharger le document

Developing accident prediction model for railway level crossings

LIANG, Ci ; GHAZEL, Mohamed ; CAZIER, Olivier ; EL KOURSI, El Miloudi   /   (2017)

Safety science, 101, pp48-59, doi: 10.1016/j.ssci.2017.08.013

Télécharger le document

A new insight on the risky behavior of motorists at railway level crossings: An observational field study

LIANG, Ci ; GHAZEL, Mohamed ; CAZIER, Olivier ; EL KOURSI, El Miloudi   /   (2017)

Accident Analysis and Prevention, 108, pp181-188, doi: 10.1016/j.aap.2017.08.030

Plus d'infos

A CPN/B method transformation framework for railway safety rules formal validation

BOUDI, Zakaryae ; BEN-AYED, Rahma ; EL KOURSI, El Miloudi ; COLLART-DUTILLEUL, Simon ; NOLASCO, Thomas ; HALOUA, Mohamed   /   (2017)

European Transport Research Review, 13, 9, 15p, doi: 10.1007/s12544-017-0228-x

Télécharger le document

A Survey of GNSS-Based Research and Developments for the European Railway Signaling

MARAIS, Juliette ; BEUGIN, Julie ; BERBINEAU, Marion   /   (2017)

IEEE Transactions on Intelligent Transportation Systems, 10, 18, p2602 - 2618, doi: 10.1109/TITS.2017.2658179

Télécharger le document

Réussir les transitions que nous sommes en train de vivre. Point de vue de la directrice de l'Institut Francais des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux - Ifsttar

JACQUOT-GUIMBAL, Hélène ; KOVARIK, Jean-Bernard ; OUKHELLOU, Latifa ; L'HOSTIS, Alain ; USTER, Guillaume   /   (2017)

TEC Transport environnement circulation, 232, pp6-7

Plus d'infos

A Control Scheme for Automatic Level Crossings under the ERTMS/ETCS Level 2/3 Operation

GHAZEL, Mohamed   /   (2017)

IEEE transactions on Intelligent Transportation Systems, 18, 10, 13p, doi: 10.1109/TITS.2017.2657695

Plus d'infos

On the tactical and operational train routing selection problem

SAMA, Marcella ; PELLEGRINI, Paola ; D'ARIANO, Andrea ; RODRIGUEZ, Joaquin ; PACCIARELLI, Dario   /   (2017)

Transportation research - Part C : Emerging technologies, 76, p1-15, doi: 10.1016/j.trc.2016.12.010

Plus d'infos

Contribution of chronobiology vigilance in public transport safety

HADJ MABROUK, Habib   /   (2016)

International Journal of Multidisciplinary Research and Development, 3, 9, pp214-221, doi: 10.22271/ijmrd

Plus d'infos

Transportation safety assessment methodology based on artificial intelligence techniques

HADJ MABROUK, Habib   /   (2016)

International Journal of Computing Science and Communication, 1, 1, pp22-30

Plus d'infos

Knowledge based system for the evaluation of safety and the prevention of railway accidents

HADJ MABROUK, Habib   /   (2016)

International journal of railway research, 3, 1, pp37-44, doi: 10.22068 / IJRARE.3.1.37 / IJRARE.3.1.37

Plus d'infos

CLASCA: Learning System for Classification and Capitalization of Accident Scenarios of Railway

HADJ MABROUK, Habib   /   (2016)

International Journal of Engineering Research and Applications, 6, 8, pp91-98

Plus d'infos

Methods and Tools to Assist the Acquisition, Modelling, Capitalization and Assessment of the Safety of Transport

HADJ MABROUK, Habib   /   (2016)

International Journal of Emerging Technology and Advanced Engineering, 6, 8, pp25-35

Plus d'infos

Contribution of Human factors and chronobiology vigilance in public transport safety in France

HADJ MABROUK, Habib   /   (2016)

Magazine on The Rail Industry, 1, 2, pp49-52

Plus d'infos

Knowledge acquisition and machine learning: two complementary approaches to assessment of safety of rail transport

HADJ MABROUK, Habib   /   (2016)

Journal of Engineering Precious Research and Applications, 1, 3, pp01-09

Plus d'infos

A branch-and-cut algorithm for the truck dock assignment problem with operational time constraints

GELAREH, Shahin ; NEAMATIAN MONEMI, Rahimeh ; SEMET, Frédéric ; GONCALVES, Gilles   /   (2016)

European Journal of Operational Research, 249, 3, pp1144-1152, doi: 10.1016/j.ejor.2015.09.049

Plus d'infos

A µ calculus formulation of the diagnosability of discrete event systems

PERES, Florent ; GHAZEL, Mohamed   /   (2016)

International Journal of Critical Computer-Based Systems, 6, 4, 27p, doi: 10.1504/IJCCBS.2016.081806

Plus d'infos

Towards eco-aware timetabling: evolutionary approach and cascading initialisation strategy for the bi-objective optimisation of train running times

LEJEUNE, Aurélien ; CHEVRIER, Rémy ; VANDANJON, Pierre Olivier ; RODRIGUEZ, Joaquin   /   (2016)

IET Intelligent Transport Systems, 10, 7, pp. 483-494, doi: 10.1049/iet-its.2014.0309

Télécharger le document

From extended integrity monitoring to the safety evaluation of satellite-based localisation system

LEGRAND, Cyril ; BEUGIN, Julie ; MARAIS, Juliette ; CONRARD, Blaise ; EL KOURSI, El Miloudi ; BERBINEAU, Marion   /   (2016)

Reliability Engineering and System Safety, 155, pp. 105-114, doi: 10.1016/j.ress.2016.04.011

Plus d'infos

A new analytical approach to evaluate the critical-event probability due to wireless communication errors in Train Control Systems

NGUYEN, Khanh ; BEUGIN, Julie ; BERBINEAU, Marion ; KASSAB, Mohamed   /   (2016)

IEEE Transactions on Intelligent Transportation Systems, 13p, doi: 10.1109/TITS.2016.2604043

Plus d'infos

Statistical automaton for verifying temporal properies and computing information on traces

FERLIN, Antoine ; WIELS, Virginie ; BON, Philippe   /   (2016)

International Journal of Computers Communications & Control, 11, 11.5, 12p, doi: 10.15837/ijccc.2016.5.2148

Télécharger le document

The New Challenges of Rail Security

BOUDI, Zakaryae ; EL KOURSI, El Miloudi ; GHAZEL, Mohamed   /   (2016)

Journal of Traffic and Logistics Engineering, 5p

Télécharger le document

Ant colony optimization for the real-time train routing selection problem

SAMA, Marcella ; PELLEGRINI, Paola ; D'ARIANO, Andrea ; RODRIGUEZ, Joaquin ; PACCIARELLI, Dario   /   (2016)

Transportation research - Part B : Methodological, 85, p89-108, doi: 10.1016/j.trb.2016.01.005

Plus d'infos

Railway Accident Prevention and Infrastructure Protection

EL KOURSI, El Miloudi ; BRUYELLE, Jean Luc   /   (2016)

Journal of Civil Engineering and Architecture, 10, p96-107, doi: 10.17265/1934-7359/2016.01.010

Télécharger le document

A detailed analysis of the actual impact of real-time railway traffic management optimization

PELLEGRINI, Paola ; MARLIERE, Grégory ; RODRIGUEZ, Joaquin   /   (2016)

Journal of Rail Transport Planning & Management, 19p, doi: 10.1016/j.jrtpm.2016.01.002

Plus d'infos

The ON-TIME real-time railway traffic management framework: A proof-of-concept using a scalable standardised data communication architecture

QUAGLIETTA, Egidio ; PELLEGRINI, Paola ; GOVERDE, Rob ; ALBRECHT, Thomas ; JAEKEL, Birgit ; MARLIERE, Grégory ; RODRIGUEZ, Joaquin ; DOLLEVOET, Twan ; AMBROGIO, Bruno ; CARCASOLE, Danièle ; GIAROLI, Marco ; NICHOLSON, Gemma   /   (2016)

Transportation Research Part C: Emerging technologies, 63, p23-50, doi: 10.1016/j.trc.2015.11.014

Plus d'infos

Model-Based Diagnosis of Multi-Track Level Crossing Plants

LIU, Baisi ; GHAZEL, Mohamed ; TOGUYENI, Armand   /   (2016)

IEEE Transactions on Intelligent Transportation Systems, 17, 2, p546 - 556, doi: 10.1109/TITS.2015.2478910

Plus d'infos

A Hybrid Method for Assigning Containers to AGVs in Containers Terminal

ZAGHOUD, Radhia ; MESGHOUNI, Khaled ; COLLART-DUTILLEUL, Simon ; ZIDI, Kamel ; GHEDIRA, Khaled   /   (2015)

Studies in Informatics and Control Journal, 24, 1, pp. 43-50, doi: 10.24846/v24i1y201505 2016 paper.pdf

Plus d'infos

Formalismes basés sur les rôles pour\ la modélisation et la validation des règles d'exploitation ferroviaires

BEN-AYED, Rahma ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; LEDRU, Yves ; IDANI, Akram   /   (2015)

Technique et Science Informatiques (TSI), 34, 5, p495-521, doi: 10.3166/TSI.34.495-521

Plus d'infos

A Joint Development of Coloured Petri Nets and the B Method in Critical Systems

SUN, Pengfei ; BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2015)

Journal of Universal Computer Science, 21, 12, p1654-1683, doi: 10.3217/jucs-021-12-1654

Télécharger le document

A pattern-based method for refining and formalizing informal specifications in critical control systems

GHAZEL, Mohamed ; YANG, Jing ; EL KOURSI, El Miloudi   /   (2015)

Journal of Innovation in Digital Ecosystems, 2, 1-2, p32-44, doi: 10.1016/j.jides.2015.11.001

Plus d'infos

RECIFE-MILP: An effective MILP-based heuristic for the real-time railway traffic management problem

PELLEGRINI, Paola ; MARLIERE, Grégory ; PESENTI, Raffaele ; RODRIGUEZ, Joaquin   /   (2015)

IEEE Transactions on Intelligent Transportation Systems, 16, 5, pp. 2609 - 2619, doi: 10.1109/TITS.2015.2414294

Télécharger le document

Method for Evaluating an Extended Fault Tree to Analyse the Dependability of Complex Systems:Application to a Satellite-based Railway System

NGUYEN, Khanh ; BEUGIN, Julie ; MARAIS, Juliette   /   (2015)

Reliability Engineering and System Safety, 133, p300-313, doi: 10.1016/j.ress.2014.09.019


Télécharger le document

Méthode d'analyse et d'évaluation des risques psychosociaux basée sur le retour d'expérience

HADJ MABROUK, Habib ; HARGUEM, Besma   /   (2014)

Les Cahiers des RPS, 23, pp14-18

Plus d'infos

Maintaining a system subject to uncertain technological evolution

NGUYEN, Khanh ; CASTANIER, Bruno ; YEUNG, Thomas   /   (2014)

Reliability Engineering and System Safety, n128, p56-65, doi: 10.1016/j.ress.2014.04.004

Plus d'infos

Requirements Modeling Methodology Based On Knowledge Engineering: A Case Study of Railway Control System

DARRAGI, Nesrine ; COLLART-DUTILLEUL, Simon ; EL KOURSI, El Miloudi   /   (2014)

Journal of Information and Knowledge, 4, 1, 16p

Télécharger le document

Are traditional forecasting models suitable for hotels in Italian cities?

ELLERO, Andrea ; PELLEGRINI, Paola   /   (2014)

International Journal of Contemporary Hospitality Management, 26, 3, p383-400, doi: 10.1108/IJCHM-02-2013-0107

Plus d'infos

On the sensitivity of reactive tabu search to its meta-parameters

PELLEGRINI, Paola ; MASCIA, Franco ; STUTZLE, Thomas ; BIRATTARI, Mauro   /   (2014)

Soft Computing, 18, 11, p2177-2190, doi: 10.1007/s00500-013-1192-6

Plus d'infos

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

GHAZEL, Mohamed   /   (2014)

Transportation research - Part C : Emerging technologies, 42, p60-75, doi: 10.1016/j.trc.2014.02.002

Plus d'infos

Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study

GHAZEL, Mohamed ; EL KOURSI, El Miloudi   /   (2014)

IEEE Transactions on Intelligent Transportation Systems, p1123 - 1133, doi: 10.1109/TITS.2013.2294874

Plus d'infos

Optimal train routing and scheduling for managing traffic perturbations in complex junctions

PELLEGRINI, Paola ; MARLIERE, Grégory ; RODRIGUEZ, Joaquin   /   (2014)

Transportation research - Part B : Methodological, p58-80, doi: 10.1016/j.trb.2013.10.013

Télécharger le document

Estimation of failure probability of milk manufacturing unit by fuzzy fault tree analysis

MHALLA, Anis ; COLLART-DUTILLEUL, Simon ; CRAYE, Etienne ; BENREJEB, Mohamed   /   (2014)

Journal of Intelligent and Fuzzy Systems, 2, 26, p741-750, doi: 10.3233/IFS-130764

Plus d'infos

An analysis of parameter adaptation in reactive tabu search

MASCIA, Franco ; PELLEGRINI, Paola ; BIRATTARI, Mauro ; STUTZLE, Thomas   /   (2014)

International Transactions in Operational Research, 21, 1, pp.127–152, doi: 10.1111/itor.12043

Plus d'infos

Improving the resilience of metro vehicle and passengers for an effective emergency response to terrorist attacks

BRUYELLE, Jean Luc ; O'NEILL, Conor ; EL KOURSI, El Miloudi ; HAMELIN, Fabrice ; SARTORI, Nicolo ; KHOUDOUR, Louahdi   /   (2014)

Safety Science, 62, pp 37-45, doi: 10.1016/j.ssci.2013.07.022

Plus d'infos

Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discrets Temporisés

LIU, Baisi ; GHAZEL, Mohamed ; TOGUYENI, Armand   /   (2013)

Journal Européen des Systèmes Automatisés, 47, 1-3, p227-242, doi: 10.3166/jesa.47.227-242

Plus d'infos

Computation of Passive Robustness Bound for Assembly/Disassembly Processes

MHALLA, Anis ; COLLART-DUTILLEUL, Simon ; BENREJEB, Mohamed ; CRAYE, Etienne   /   (2013)

International Journal of Automation and Control Engineering, 2, 2, p79-86

Télécharger le document

Single European Sky and Single European Railway Area: A System Level Analysis of Air and Rail Transportation

PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2013)

Transportation Research : Part A, Policy and Practice, 57, pp. 64–86, doi: 10.1016/j.tra.2013.09.004

Télécharger le document

Energy saving in railway timetabling: A bi-objective evolutionary approach for computing alternative running times

CHEVRIER, Remy ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2013)

Transportation research - Part C : Emerging technologies, 37, pp.20-41, doi: 10.1016/j.trc.2013.09.007

Télécharger le document

Human factors in the analysis of the 'tram-car drivers' at intersections

MOUTCHOU, Fatiha ; CHERKAOUI, Abdelghani ; EL KOURSI, El Miloudi   /   (2013)

Journal of Civil Engineering and Architecture, pp 562-569

Télécharger le document

From a Solution Model to a B Model for Verification of Safety Properties

BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2013)

Journal of universal computer science - JUCS, 19, 1, p2-24, doi: 10.3217/jucs-019-01-0002

Télécharger le document

Using Mobile Agent Technology to Develop a Collaborative Product Lifecycle Oriented Architecture

BAHLOUL, Khaled ; DARRAGI, Nesrine ; OUZROUT, Yacine ; BOURAS, Abdelaziz   /   (2012)

International Journal of Computer Science Issues (IJCSI), 9, 4, 15p

Télécharger le document

Interopérabilité ferroviaire : exigences et développement européen à l'horizon 2020

EL KOURSI, El Miloudi ; LEMAIRE, Etienne   /   (2012)

TEC Transport environnement circulation, 216, p60-66

Plus d'infos

A Formal Framework for the Formalization of Informal Requirements

PERES, Florent ; YANG, Jing ; GHAZEL, Mohamed   /   (2012)

The International Journal of Soft Computing and Software Engineering, 2, 8, p14-27, doi: 10.7321/jscse.v2.n8.2

Télécharger le document

Secondary trading of airport slots as a combinatorial exchange

PELLEGRINI, Paola ; CASTELLI, Lorenzo ; PESENTI, Raffaele   /   (2012)

Transportation Research Part E: Logistics and Transportation Review, 5, 48, 1009-1022, doi:

Plus d'infos

Airport slot allocation in Europe: economic efficiency and fairness

CASTELLI, Lorenzo ; PELLEGRINI, Paola ; PESENTI, Raffaele   /   (2012)

International Journal of Revenue Management, 6, 1-2, pp 28-44, doi: 10.1504/IJRM.2012.044513

Plus d'infos

A critical analysis of parameter adaptation in ant colony optimization

PELLEGRINI, Paola ; STUTZLE, Thomas ; BIRATTARI, Mauro   /   (2012)

Swarm intelligence, 1, 6, p23-48, doi: 10.1007/s11721-011-0061-0

Plus d'infos

Solving a dial-a-ride problem with a hybrid evolutionary multi-objective approach: Application to Demand Responsive Transport


Applied Soft Computing, Vol12, n4, p1247-1258, doi: 10.1016/j.asoc.2011.12.014

Plus d'infos

Simulation-based Evaluation of Dependability and Safety Properties of Satellite Technologies for Railway Localization

BEUGIN, Julie ; MARAIS, Juliette   /   (2012)

Transportation Research Part C Emerging Technologies, Vol 22, p42-57, doi: 10.1016/j.trc.2011.12.002

Plus d'infos

Assisting Temporal Requirement Specification

MEKKI, A ; GHAZEL, M ; TOGUYENI, A   /   (2012)

Computer Technology and Application (CTA) Journal, 10p

Plus d'infos

Validation of a New Functional Design of an Automatic Protection System at Level-Crossing with Model-Checking Techniques

MEKKI, A ; GHAZEL, M ; TOGUYENI, A   /   (2012)

IEEE Transactions on Intelligent Transportation Systems, Vol13,issue 2, p714 - 723

Plus d'infos

Dix années d'évolution du Système d'Information Multimodale en France

USTER, G   /   (2011)

TEC Transport environnement circulation, 212, p42-47

Plus d'infos

Specification and verification of real-time systems using POLA

PERES, F ; HLADIK, PE ; VERNADAT, F   /   (2011)

International Journal of Critical Computer-Based Systems, Vol2;n3/4, p332-351

Plus d'infos

Development of an Ontology to Assist the Modeling of Accident Scenarii. Application on Railroad Transport


Journal of Computing, Issue 7, vol3, p125-131

Télécharger le document

Editorial. Numéro spécial RTS sur le transport ferroviaire

DABLANC, L ; RODRIGUEZ, J   /   (2011)

RTS : Recherche transports sécurité, 27, 3, pp 141-142, doi: 10.1007/s13547-011-0017-1

Plus d'infos

On the composition of time Petri nets


Journal of Discrete Event Dynamic Systems, 21, n3, p395-p424

Plus d'infos

A formal model of requirements


Open Transportation Journal, 18p

Plus d'infos

An approach for protecting a critical transport infrastructure


Proceedings of the Institution of Mechanical Engineers, Part F : Journal of Rail and Rapid Transit, 225, 4, p 383-393, doi: 10.1177/2041301710395076

Plus d'infos

Timed Specification Patterns for System Validation. A railway case study

MEKKI, A ; GHAZEL, M ; TOGUYENI, A   /   (2011)

LNEE, Lecture Notes in Electrical Engineering, Vol 89, Part 2, p121-134, doi: 10.1007/978-3-642-19539-6_8

Plus d'infos

3D Objects Localization using Fuzzy Approach and Hierarchical Belief Propagation: Application at Level Crossings

FAKHFAKH, Nizar ; KHOUDOUR, Louahdi ; EL KOURSI, El Miloudi ; BRUYELLE, Jean Luc ; DUFAUX, Alain ; JACOT, Jacques   /   (2011)

EURASIP Journal on Image and Video Processing Special issue Advanced Video-Based Surveillance, 13p, doi: 10.1155/2011/548604

Télécharger le document

A Framework for Risk Management in Railway Sector: Application to Road-Rail Level Crossings


Open transportation Journal, 19p

Télécharger le document

A video-based object detection system for improving safety at level crossings


Open transportation journal, supplement on safety at Level Crossings, 15p

Télécharger le document

European railway traffic management system validation using UML/Petri nets modelling strategy


European Transport Research Review (ETRR), Vol 2, p113-128, doi: 10.1007/s12544-010-0030-5

Plus d'infos

Modèle sûr de fonctionnement du wagon intelligent de ferroutage


Journal National de la Recherche en IUT, 1, p155-168

Plus d'infos

Utilisation des séquences de pannes pour la conception de systèmes de commande sûrs. Application au ferroutage


Journal Européen des Systèmes Automatisés, Vol44/1, p33-66, doi: 10.3166/JESA.44.33-66

Plus d'infos

Des réseaux solistes en quête de chefs d'orchestre

USTER, G   /   (2009)

L'expansion, Les cahiers du management, n?737 janvier 2009, p105

Plus d'infos

Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment

GHAZEL, M   /   (2009)

IEEE Transactions on Intelligent Transportation Systems, 10, 4, p668-677, doi: 10.1109/TITS.2009.2026310

Plus d'infos

State Observer for DES Under Partial Observation with Time Petri Nets

GHAZEL, Mohamed ; TOGUYENI, Armand ; YIM, Pascal   /   (2009)

Discrete Event Dynamic Systems Journal, Vol 19, N2, p137-165, doi: 10.1007/s10626-009-0060-0

Plus d'infos

Optimal design of dependable control system architectures using temporal sequences of failures


IEEE Transactions on Reliability, 58, 3, p511-522, doi: 10.1109/TR.2009.2026790

Télécharger le document

Stability evaluation of a railway timetable at station level

DELORME, Xavier ; GANDIBLEUX, Xavier ; RODRIGUEZ, Joaquin   /   (2009)

European Journal of Operational Research, 95, 3, pp 780-790, doi: 10.1016/j.ejor.2007.06.062

Télécharger le document

La stabilité humaine dans la conduite des transports guidés: vers un indicateur de risques


Ergo'IA 2008, Ergonomie et informatique avancée, octobre 2008, Biarritz, France, p229-232

Plus d'infos

Sécurité aux intéractions route/rail : le cas des passages à niveau


TEC, Transport Environnement Circulation, 200, p34-39

Plus d'infos

SELCAT: its contribution to european level crossing safety


EURAIL Mag, Issue 18, p222-228

Plus d'infos

Safety Levels Apportionment in Railway System


IJR International Journal of Railway, Vol1,n4, p157-168

Plus d'infos

Towards safer level crossings: existing recommendations, new applicable technologies and a proposed simulation model


European Transport Research Review, 1, 11p
DOI :10.1007/s12544-008-0004-z

Plus d'infos

A novel approach to developing and evaluating regulation strategies for urban transport disrupted networks

OULD SIDI, MM ; HAYAT, S ; HAMMADI, S ; BORNE, P   /   (2008)

International Journal of Computer Integrated Manufacturing, Vol21, Issue 4, p480-493, doi: 10.1080/09511920701574982

Télécharger le document

The Safe-SADT method for aiding designers to choose and improve dependable architectures for complex automated systems

BENARD, V ; CAUFFRIEZ, L ; RENAUX, D   /   (2008)

Reliability Engineering and System Safety, Vol93, n2, p179-196, doi: 10.1016/j.ress.2006.12.020

Plus d'infos

Urban transport traffic network regulation and evaluation using a fuzzy evolutionary approach

OULD SIDI, MM ; HAMMADI, S ; HAYAT, S ; BORNE, P   /   (2008)

IEEE Transactions on Systems, Man and Cybernetics, Part A, Vol38 issue 2, p309 - 318 DOI : 10.1109/TSMCA.2007.914789

Télécharger le document

B-RAIL : d'UML à la méthode B pour modéliser un passage à niveau

BOULANGER, JL ; BON, P   /   (2007)

RTS : Recherche transports sécurité, n95, p147-173

Télécharger le document

Harmonising Safety Management Systems in the European Railway Sector

EL-KOURSI, EM ; MITRA, S ; BEARFIELD, G   /   (2007)

Safety Science Monitor, Issue 2, Vol 11, 14p ElKoursi.pdf

Télécharger le document

A hybrid Petri net based simulation model for evaluating the design of railway transit

KAAKAI, F ; HAYAT, S ; EL MOUDNI, A   /   (2007)

Simulation Modelling and Theory, Vol15, n8, p935-969

Plus d'infos

RECIFE : modèles et outils pour l'analyse de la capacité ferroviaire


RTS : Recherche transports sécurité, n95, p19-36

Télécharger le document

A constraint programming model for real-time train scheduling at junctions

RODRIGUEZ, J   /   (2007)

Transportation Research Part B, Vol41, n1, p231-­245

Plus d'infos

Synthèse - Quinzième colloque Lambda Mu

FURLAN, L   /   (2006)

RTS : Recherche transports sécurité, n93, p335-337

Plus d'infos

B-RAIL Analyse et modélisation des exigences

BOULANGER, JL ; BON, P   /   (2006)

Génie Logiciel, n79, p18-24

Plus d'infos

Système de Management de la Sécurité pour un réseau ferroviaire européen interopérable et unifié

EL-KOURSI, EM   /   (2006)

Génie logiciel, n78, p18-24

Plus d'infos

Pour une assistance informationnelle contextualisée: Le projet MobilUrb

JUGUET, Stéphane ; BOULLIER, Dominique ; USTER, Guillaume ; MASSOT, Marie-hélène   /   (2005)

TEC - Transport Environnement Circulation, 185, 7p

Télécharger le document

Railroad infrastructure operation modelling and resolution

DELORME, X   /   (2005)

Quaterly Journal of the Belgian, French and Italian Operations Research Societies (4OR), Vol3,n1, p83-86

Plus d'infos

The localization and correction of errors in models: a constraint-based approach


Applied Intelligence, Vol23, n3, p153-164

Plus d'infos

Une approche économique de l'information multimodale

PERREAU, C ; USTER, G   /   (2004)

RTS : Recherche transports sécurité, n83, p85-98

Plus d'infos

GRASP for set packing problems


European Journal of Operational Research, Vol153, n3, p564-580

Télécharger le document

Introduction à la cinématique ferroviaire

BIED-CHARRETON, D   /   (2004)


Plus d'infos

Système d'information transport personnalisée à base d'agents logiciels


Génie Logiciel, N70, P38-47

Plus d'infos

La réglementation européenne en matière de sécurité ferroviaire

HADJ-MABROUK, H ; TRIKI, I   /   (2003)

RGCF revue générale des chemins de fer, P5-19

Plus d'infos

KVB, le système français de contrôle de vitesse à balises

BIED-CHARRETON, D   /   (2001)

RTS : Recherche transports sécurité, n70, p94-96

Plus d'infos

Chronobiologie de la vigilance. Approche d'application dans le domaine de la sécurité routière


RTS : Recherche transports sécurité, n73, p3-30

Plus d'infos

Le projet ISIS : une interface intégrée de sécurité


RTS : Recherche transports sécurité, p78-93

Plus d'infos

Heuristics for railway infrastructure saturation


Electronic Notes in Theoretical Computer Science, Vol50, n1, p39-53

Plus d'infos
Pour aller plus loin, consulter l'archive institutionnelle :