Aller au contenu principal

Revues

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

https://doi.org/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

https://doi.org/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

http://dx.doi.org/10.1049/itr2.12216
https://hal.archives-ouvertes.fr/hal-03736251
https://hal.archives-ouvertes.fr/hal-03736251/file/IET 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

https://doi.org/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

https://doi.org/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

https://journals.sagepub.com/home/TRR
https://doi.org/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

https://doi.org/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

https://doi.org/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

https://lib.jucs.org/article/66857/list/9/

Télécharger le document

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

CUVELIER, Marielle   /   (2022)

The Conversation, pp1-4

https://theconversation.com/a-loos-en-gohelle-une-mobilite-durable-sur-mesure-construite-avec-les-habitants-174352

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

https://academic.oup.com/imamci/article-abstract/38/3/908/6291454?redirectedFrom=fulltext
https://doi.org/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

https://link.springer.com/article/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

https://doi.org/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

http://www.ijsps.com/index.php?m=content&c=index&a=show&catid=77&id=333

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

https://www.construction21.org/france/articles/h/dossier-mobilites-29-transition-vers-une-mobilite-quotidienne-bas-carbone-en-periurbain.html

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

https://onlinelibrary.wiley.com/doi/full/10.1002/asjc.2259
https://doi.org/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, 

https://hal.archives-ouvertes.fr/hal-02953658
https://doi.org/10.1080/00207179.2020.1798021

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

https://www.revue-rgcf.com/fr/revues/302/sommaire

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

http://www.ingegneriaferroviaria.it/web/it/content/integrazione-di-impianti-merci-rete-e-modelli-di-ottimizzazione-l%E2%80%99esercizio-tempo-reale
http://www.diva-portal.org/smash/record.jsf?pid=diva2%3A1474712&dswid=1632

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

https://link.springer.com/article/10.1007/s10626-020-00324-y
https://doi.org/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

https://revue-rgcf.com/en/revues/306/sommaire

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

https://doi.org/10.1002/net.21948
https://onlinelibrary.wiley.com/doi/full/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

https://doi.org/10.1016/j.jrtpm.2019.100170
https://www.sciencedirect.com/science/article/pii/S2210970619300691

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

https://doi.org/10.1287/ijoc.2019.0915
https://pubsonline.informs.org/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

https://link.springer.com/article/10.1007%2Fs11590-020-01540-z
https://doi.org/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

https://doi.org/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

http://www.jocm.us/index.php?m=content&c=index&a=show&catid=231&id=1447
https://doi.org/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

https://rdcu.be/bRVqn
http://dx.doi.org/10.1007/s12555-018-0682-9
https://link.springer.com/article/10.1007%2Fs12555-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

https://www.witpress.com/elibrary/tdi-volumes/3/1/2412
https://dx.doi.org/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

http://www.jcomputers.us
https://dx.doi.org/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

http://www.ijcee.org/index.php?m=content&c=index&a=show&catid=99&id=1143

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

https://doi.org/10.1080/15472450.2018.1525533
https://www.tandfonline.com/doi/full/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

https://doi.org/10.1016/j.cor.2018.10.006
https://www.sciencedirect.com/science/article/pii/S0305054818302594?via%3Dihub

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

https://doi.org/10.1016/j.trb.2018.12.008
https://www.sciencedirect.com/science/article/pii/S0191261518307276?via%3Dihub

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

https://doi.org/10.1080/00140139.2018.1485970
https://www.tandfonline.com/doi/full/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

https://www.sciencedirect.com/science/article/pii/S0965856418305895?via%3Dihub
https://doi.org/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

http://www.inderscience.com/offer.php?id=96178
https://dx.doi.org/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

https://ieeexplore.ieee.org/document/8283579/
https://dx.doi.org/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

https://ieeexplore.ieee.org/abstract/document/8423174/
https://dx.doi.org/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

http://www.sciencedirect.com/science/article/pii/S1571065318301598
https://doi.org/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

https://www.revue-rgcf.com/fr/revues/281/sommaire

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

https://doi.org/10.1016/j.cor.2018.02.018
https://www.sciencedirect.com/science/article/pii/S0305054818300571?via%3Dihub

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

http://ieeexplore.ieee.org/document/8293773/
http://dx.doi.org/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

http://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1539-6924
http://dx.doi.org/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

https://doi.org/10.1016/j.ssci.2017.12.008
https://www.sciencedirect.com/science/journal/09257535

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

http://onlinelibrary.wiley.com/journal/10.1002
http://dx.doi.org/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

https://hal.archives-ouvertes.fr/hal-02424067

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

https://hal.archives-ouvertes.fr/hal-02424023

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

http://www.sciencedirect.com/science/article/pii/S2210970617300355
https://doi.org/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

http://www.tandfonline.com/doi/full/10.1080/17457300.2017.1416480
https://doi.org/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

http://www.sciencedirect.com/science/article/pii/S092575351630666X
https://doi.org/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

http://www.sciencedirect.com/science/article/pii/S000145751730310X
https://doi.org/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

https://link.springer.com/journal/12544
https://doi.org/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

http://ieeexplore.ieee.org/document/7857080/
https://doi.org/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

https://atec-its-france.com/boutique/tec-232/
https://atec-its-france.com/extrait-pdf/?revue=8398

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

https://doi.org/10.1109/TITS.2017.2657695
http://ieeexplore.ieee.org/document/7850991/

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

http://dx.doi.org/10.1016/j.trc.2016.12.010
http://www.sciencedirect.com/science/journal/0968090X

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

http://dx.doi.org/10.22271/ijmrd
https://hal.archives-ouvertes.fr/hal-02424015

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

https://hal.archives-ouvertes.fr/hal-02423988

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

http://dx.doi.org/10.22068 / IJRARE.3.1.37
https://hal.archives-ouvertes.fr/hal-02423996

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

https://hal.archives-ouvertes.fr/hal-02423765

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

https://hal.archives-ouvertes.fr/hal-02423763

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

https://hal.archives-ouvertes.fr/hal-02423768

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

https://hal.archives-ouvertes.fr/hal-02423971

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

https://doi.org/10.1016/j.ejor.2015.09.049
https://www.sciencedirect.com/science/article/pii/S0377221715008917?via%3Dihub

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

http://dx.doi.org/10.1504/IJCCBS.2016.081806
http://www.inderscienceonline.com/loi/ijccbs

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

http://digital-library.theiet.org/content/journals/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

http://www.journals.elsevier.com/reliability-engineering-and-system-safety
http://dx.doi.org/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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
http://dx.doi.org/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

http://dx.doi.org/10.15837/ijccc.2016.5.2148
http://univagora.ro/jour/index.php/ijccc/index

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

http://www.jtle.net/
http://www.jtle.net/index.php?m=content&c=index&a=show&catid=43&id=161

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

http://www.sciencedirect.com/science/journal/01912615
http://dx.doi.org/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

http://www.davidpublisher.org/Home/Journal/JCEA
http://www.davidpublisher.org/Public/uploads/Contribute/56b19ed06cc92.pdf

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

http://dx.doi.org/10.1016/j.jrtpm.2016.01.002
http://www.sciencedirect.com/science/journal/22109706

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

http://dx.doi.org/10.1016/j.trc.2015.11.014
http://www.sciencedirect.com/science/journal/0968090X

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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
http://dx.doi.org/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

https://hal.archives-ouvertes.fr/hal-01727301
https://hal.archives-ouvertes.fr/hal-01727301/file/CTS 2016 paper.pdf
https://doi.org/10.24846/v24i1y201505
https://sic.ici.ro/

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

http://tsi.revuesonline.com/accueil.jsp

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

http://www.jucs.org/
http://dx.doi.org/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

http://www.sciencedirect.com/science/journal/aip/23526645
http://www.sciencedirect.com/science/article/pii/S2352664515000188

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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
http://dx.doi.org/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

http://10.1016/j.ress.2014.09.019
http://www.sciencedirect.com/science/journal/09518320

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

https://hal.archives-ouvertes.fr/hal-02423324

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

http://www.sciencedirect.com/science/journal/09518320

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

http://www.iiste.org/Journals/index.php/IKM/index

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

www.emeraldinsight.com/0959-6119.htm
http://doi.org/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

http://link.springer.com/journal/500
http://link.springer.com/article/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

http://www.sciencedirect.com/science/journal/0968090X
http://dx.doi.org/10.1016/j.trc.2014.02.002
0968-090X

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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
http://dx.doi.org/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

http://www.sciencedirect.com/science/journal/01912615
http://dx.doi.org/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

http://dx.doi.org/10.3233/IFS-130764
http://iospress.metapress.com/content/300180

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

http://dx.doi.org/10.1111/itor.12043
http://onlinelibrary.wiley.com/journal/10.1111/%28ISSN%291475-3995

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

http://www.sciencedirect.com/science/journal/09257535
http://dx.doi.org/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

http://jesa.revuesonline.com/accueil.jsp

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

http://www.seipub.org/ijace

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

http://www.sciencedirect.com/science/journal/09658564
http://dx.doi.org/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

http://dx.doi.org/10.1016/j.trc.2013.09.007
http://www.sciencedirect.com/science/journal/0968090X

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

http://www.davidpublishing.com/davidpublishing/journals/J6/ch2011/jss2014/407.html

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

http://www.jucs.org/jucs_19_1/from_a_solution_model_to

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

http://www.ijcsi.org/

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

http://www.jscse.com/papers/vol2.no8/vol2.no8.2.pdf

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: http://dx.doi.org/10.1016/j.tre.2012.03.004

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

http://inderscience.metapress.com/content/j7023g4028822561/fulltext.pdf
http://www.inderscience.com/jhome.php?jcode=ijrm

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

http://dx.doi.org/10.1007/s11721-011-0061-0
http://www.springer.com/computer/ai/journal/11721

Plus d'infos

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

CHEVRIER, R ; LIEFOOGHE, A ; JOURDAN, L ; DHAENENS, C   /   (2012)

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

http://www.sciencedirect.com/science/journal/15684946

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

http://www.sciencedirect.com/science/journal/0968090X

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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979

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

http://www.atec-itsfrance.net

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

MAALEL, A ; HADJ-MABROUK, H ; MEJRI, L ; BEN-GUEZELA, H   /   (2011)

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

http://www.journalofcomputing.org/volume-3-issue-7-july-2011

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

http://www.springer.com/engineering/journal/13547

Plus d'infos

On the composition of time Petri nets

PERES, F ; BERTHOMIEU, B ; VERNADAT, F   /   (2011)

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

Plus d'infos

A formal model of requirements

DEFOSSEZ, F ; COLLART-DUTILLEUL, S ; BON, P   /   (2011)

Open Transportation Journal, 18p

Plus d'infos

An approach for protecting a critical transport infrastructure

KHOUDOUR, L ; EL-KOURSI, EM ; VELASTIN, S ; BUCH, N ; LIM-THIEBOT, S ; FONTAINE, F   /   (2011)

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

http://www.uk.sagepub.com/journals/Journal202020

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

http://jivp.eurasipjournals.com/content/2011/1/548604

Télécharger le document

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

BERRADO, A ; EL-KOURSI, EM ; CHERKAOUI, A ; KHADDOUR, M   /   (2011)

Open transportation Journal, 19p

http://www.bentham.org/open/totj/

Télécharger le document

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

FAKHFAKH, N ; KHOUDOUR, L ; EL-KOURSI, EM ; JACOT, J ; DUFAUX, A   /   (2011)

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

http://www.bentham.org/open/totj/

Télécharger le document

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

JABRI, S ; EL-KOURSI, EM ; BOURDEAUD'HUY, TH ; LEMAIRE, E   /   (2010)

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

http://www.springer.com/engineering/mechanical+eng/journal/12544

Plus d'infos

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

CLARHAUT, J ; HAYAT, S ; CONRARD, B ; COCQUEMPOT, V   /   (2010)

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

CLARHAUT, J ; HAYAT, S ; CONRARD, B ; COCQUEMPOT, V   /   (2010)

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

http://jesa.e-revues.com/cgv.jsp

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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979

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

http://www.springer.com/mathematics/applications/journal/10626

Plus d'infos

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

CLARHAUT, J ; CONRARD, B ; HAYAT, S ; COCQUEMPOT, V   /   (2009)

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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=24
http:dx.doi.org/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

http://www.sciencedirect.com/science/journal/03772217
http://dx.doi.org/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

RICHARD, P ; VANDERHAEGEN, F ; DAHYOT, R ; BENARD, V   /   (2008)

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

KHOUDOUR, L ; GHAZEL, M ; HEDDEBAUT, M ; EL-KOURSI, EM   /   (2008)

TEC, Transport Environnement Circulation, 200, p34-39

Plus d'infos

SELCAT: its contribution to european level crossing safety

SLOVAK, R ; EL-KOURSI, EM ; TORDAI, L ; WOODS, M ; SCHNIEDER, E   /   (2008)

EURAIL Mag, Issue 18, p222-228

Plus d'infos

Safety Levels Apportionment in Railway System

RAFRAFI, M ; EL-KOURSI, EM ; BOURDEAUD'HYU, T   /   (2008)

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

KHOUDOUR, L ; GHAZEL, M ; BOUKOUR, F ; HEDDEBAUT, M ; EL-KOURSI, EM   /   (2008)

European Transport Research Review, 1, 11p

http://www.springerlink.com/content/r1622854332x8733/
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

http://www.informaworld.com/smpp/title~content=t713804665

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

http://www.sciencedirect.com/science/journal/09518320

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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=21 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

http://www.monash.edu.au/muarc/IPSO/vol11/Issue2/1 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

RODRIGUEZ, J ; DELORME, X ; GANDIBLEUX, X ; MARLIÉRE, G ; BARTUSIAK, R ; DEGOUTIN, F ; SOBIERAJ, S   /   (2007)

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

PIECHOWIAK, S ; RODRIGUEZ, J   /   (2005)

Applied Intelligence, Vol23, n3, p153-164

http://www.springer.com/computer/artificial/journal/10489

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

DELORME, X ; GANDIBLEUX, X ; RODRIGUEZ, J   /   (2004)

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

http://www.sciencedirect.com/science/journal/03772217

Télécharger le document

Introduction à la cinématique ferroviaire

BIED-CHARRETON, D   /   (2004)

RGCF - REVUE GENERALE DES CHEMINS DE FER, p33-38

Plus d'infos

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

PETIT-ROZE, C ; ANLI, A ; GRISLIN LE STRUGEON, E ; ABED, M ; USTER, G ; KOLSKI, C   /   (2004)

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

DOGUI, M ; HADJ-MABROUK, A ; HADJ-MABROUK, H   /   (2001)

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

Plus d'infos

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

BIED-CHARRETON, D ; NICOLAIDIS, M ; ZAIDAN, N   /   (2001)

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

Plus d'infos

Heuristics for railway infrastructure saturation

DELORME, X ; RODRIGUEZ, J ; GANDIBLEUX, X   /   (2001)

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

Plus d'infos
Pour aller plus loin, consulter l'archive institutionnelle : http://madis-externe.ifsttar.fr