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
Télécharger le documentAnalytical 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
Télécharger le documentA 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
Télécharger le documentSingle 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
Télécharger le documentInteropérabilité ferroviaire : exigences et développement européen à l'horizon 2020
TEC Transport environnement circulation, 216, p60-66
Plus d'infosA 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
Plus d'infosAirport 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
Plus d'infosValidation 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
Plus d'infosSpecification and verification of real-time systems using POLA
International Journal of Critical Computer-Based Systems, Vol2;n3/4, p332-351
Plus d'infosDevelopment 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
Plus d'infosA formal model of requirements
Open Transportation Journal, 18p
Plus d'infosAn 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
Plus d'infos3D 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
Plus d'infosUtilisation 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
Plus d'infosUsing 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
Plus d'infosSécurité aux intéractions route/rail : le cas des passages à niveau
TEC, Transport Environnement Circulation, 200, p34-39
Plus d'infosSELCAT: its contribution to european level crossing safety
EURAIL Mag, Issue 18, p222-228
Plus d'infosSafety Levels Apportionment in Railway System
IJR International Journal of Railway, Vol1,n4, p157-168
Plus d'infosTowards 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
Télécharger le documentHarmonising 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
Plus d'infosRECIFE : modèles et outils pour l'analyse de la capacité ferroviaire
RTS : Recherche transports sécurité, n95, p19-36
Télécharger le documentA constraint programming model for real-time train scheduling at junctions
Transportation Research Part B, Vol41, n1, p231-245
Plus d'infosSynthèse - Quinzième colloque Lambda Mu
RTS : Recherche transports sécurité, n93, p335-337
Plus d'infosB-RAIL Analyse et modélisation des exigences
Génie Logiciel, n79, p18-24
Plus d'infosSystème de Management de la Sécurité pour un réseau ferroviaire européen interopérable et unifié
Génie logiciel, n78, p18-24
Plus d'infosPour une assistance informationnelle contextualisée: Le projet MobilUrb
TEC - Transport Environnement Circulation, 185, 7p
Télécharger le documentRailroad infrastructure operation modelling and resolution
Quaterly Journal of the Belgian, French and Italian Operations Research Societies (4OR), Vol3,n1, p83-86
Plus d'infosThe 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
Plus d'infosGRASP 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
Plus d'infosSystème d'information transport personnalisée à base d'agents logiciels
Génie Logiciel, N70, P38-47
Plus d'infosLa réglementation européenne en matière de sécurité ferroviaire
RGCF revue générale des chemins de fer, P5-19
Plus d'infosKVB, le système français de contrôle de vitesse à balises
RTS : Recherche transports sécurité, n70, p94-96
Plus d'infosChronobiologie 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'infosLe projet ISIS : une interface intégrée de sécurité
RTS : Recherche transports sécurité, p78-93
Plus d'infosHeuristics for railway infrastructure saturation
Electronic Notes in Theoretical Computer Science, Vol50, n1, p39-53
Plus d'infos