Revues

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

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

https://doi.org/10.1016/j.ress.2022.108933

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

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

https://doi.org/10.1016/j.automatica.2022.110689

Train management in freight shunting yards: Formalisation and literature review

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

Complexity of the Multilvel Critical Node Problem

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

The Connected Critical Node Problem

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

https://doi.org/10.1016/j.tcs.2022.05.011

Multiobjective Timetable Development Tool for Railway Strategic Planning in Norway

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

https://journals.sagepub.com/home/TRR
https://doi.org/10.1177/03611981221101392

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

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

https://doi.org/10.1016/j.cor.2022.105859

Reachability analysis of neural networks using mixed monotonicity

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

https://doi.org/10.1109/LCSYS.2022.3182547

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

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

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

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

The Conversation, pp1-4

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

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

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

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

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

Solution algorithms for the generalized train unit shunting problem

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

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

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

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

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

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

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

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

International Journal of Control, 

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

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

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

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

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

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

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

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

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

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

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

The Stochastic Critical Node Problem over Trees

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

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

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

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

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

A Compact Mixed Integer Linear Formulation for Safe Set Problems

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

Advanced model-based risk reasoning on automatic railway level crossings

Safety Science, 124, pp1-11, doi: 10.1016/j.ssci.2019.104592

https://www.sciencedirect.com/science/article/pii/S0925753519322039?utm_campaign=STMJ_75273_AUTH_SERV_PPUB&utm_medium=email&utm_dgroup=Email1Publishing&utm_acid=21557667&SIS_ID=0&dgcid=STMJ_75273_AUTH_SERV_PPUB&CMX_ID=&utm_in=DM643298&utm_source=AC_30&utm_term=Email%201%20Publishing_TLSH
https://doi.org/10.1016/j.ssci.2019.104592

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Design solutions to improve resilience of metro vehicle to blast events

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

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

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

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

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

Model-Based Monitoring of a Train Passenger Access System

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

Maintenance on the Railway Network: Disruptions and re-scheduling

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

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

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

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

Timetable rearrangement to cope with railway maintenance activities

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Developing accident prediction model for railway level crossings

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

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

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

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

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

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

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

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

TEC Transport environnement circulation, 232, pp6-7

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

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

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/

On the tactical and operational train routing selection problem

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

Contribution of chronobiology vigilance in public transport safety

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

Transportation safety assessment methodology based on artificial intelligence techniques

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A µ calculus formulation of the diagnosability of discrete event systems

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

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

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

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

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

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

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

Statistical automaton for verifying temporal properies and computing information on traces

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

The New Challenges of Rail Security

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

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

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

Railway Accident Prevention and Infrastructure Protection

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

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

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

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

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

Model-Based Diagnosis of Multi-Track Level Crossing Plants

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

A Hybrid Method for Assigning Containers to AGVs in Containers Terminal

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/

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

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

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

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

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

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

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

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

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

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

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

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

Les Cahiers des RPS, 23, pp14-18

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

Maintaining a system subject to uncertain technological evolution

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

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

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

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

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

Are traditional forecasting models suitable for hotels in Italian cities?

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

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

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

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

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

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

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

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

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

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

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

An analysis of parameter adaptation in reactive tabu search

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

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

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

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

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

Computation of Passive Robustness Bound for Assembly/Disassembly Processes

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

http://www.seipub.org/ijace

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

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

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

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

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

Journal of Civil Engineering and Architecture, pp 562-569

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

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

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

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

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

http://www.ijcsi.org/

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

TEC Transport environnement circulation, 216, p60-66

A Formal Framework for the Formalization of Informal Requirements

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

Secondary trading of airport slots as a combinatorial exchange

Transportation Research Part E: Logistics and Transportation Review, 5, 48, 1009-1022, doi: http://dx.doi.org/10.1016/j.tre.2012.03.004

Airport slot allocation in Europe: economic efficiency and fairness

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

A critical analysis of parameter adaptation in ant colony optimization

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

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

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

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

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

Assisting Temporal Requirement Specification

Computer Technology and Application (CTA) Journal, 10p

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

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

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

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

TEC Transport environnement circulation, 212, p42-47

http://www.atec-itsfrance.net

Specification and verification of real-time systems using POLA

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

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

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

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

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

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

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

On the composition of time Petri nets

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

A formal model of requirements

Open Transportation Journal, 18p

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

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

Timed Specification Patterns for System Validation. A railway case study

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

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

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

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

Open transportation Journal, 19p

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

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

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

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

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

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

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

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

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

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

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

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

Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment

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

State Observer for DES Under Partial Observation with Time Petri Nets

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

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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=24
http:dx.doi.org/10.1109/TR.2009.2026790

Stability evaluation of a railway timetable at station level

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

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

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

TEC, Transport Environnement Circulation, 200, p34-39

SELCAT: its contribution to european level crossing safety

EURAIL Mag, Issue 18, p222-228

Safety Levels Apportionment in Railway System

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

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

European Transport Research Review, 1, 11p

http://www.springerlink.com/content/r1622854332x8733/
DOI :10.1007/s12544-008-0004-z

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

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

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

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

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

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

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

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

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

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

Harmonising Safety Management Systems in the European Railway Sector

Safety Science Monitor, Issue 2, Vol 11, 14p

http://www.monash.edu.au/muarc/IPSO/vol11/Issue2/1 ElKoursi.pdf

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

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

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

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

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

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

Synthèse - Quinzième colloque Lambda Mu

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

B-RAIL Analyse et modélisation des exigences

Génie Logiciel, n79, p18-24

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

Génie logiciel, n78, p18-24

Pour une assistance informationnelle contextualisée: Le projet MobilUrb

TEC - Transport Environnement Circulation, 185, 7p

Railroad infrastructure operation modelling and resolution

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

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

Applied Intelligence, Vol23, n3, p153-164

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

Une approche économique de l'information multimodale

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

GRASP for set packing problems

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

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

Introduction à la cinématique ferroviaire

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

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

Génie Logiciel, N70, P38-47

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

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

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

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

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

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

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

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

Heuristics for railway infrastructure saturation

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