Publications
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
Argumentaire de sécurité graphique pour l'assurance de sécurité des trains autonomes
23ème Congrès Lambda Mu de l'IMdR, FRANCE, 7p
Plus d'infosTrain 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
Statistical Model Checking for On-board Train Integrity Safety and Performance Analysis
European Conference on Safety and Reliability (ESREL2022), IRELANDE, 8p
Plus d'infosInterval Weight-Based Abstraction for Neural Network Verification
Lecture Notes in Computer Science, 13415, 330-342, doi: 10.1007/978-3-031-14862-0_24
https://link.springer.com/chapter/10.1007/978-3-031-14862-0_24
https://doi.org/10.1007/978-3-031-14862-0_24
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
Performance Evaluation of a Parallel Ant Colony Optimization for the Real-Time Train Routing Selection Problem in Large Instances
EVOCOP 2022, 22nd European Conference on Evolutionary Computation in Combinatorial Optimisation, ESPAGNE, pp46-61
https://doi.org/10.1007/978-3-031-04148-8_4
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
A framework for risk-awareness and dynamic risk assessment for autonomous trains
ESREL 2022, 32nd European Safety and Reliability Conference, IRELANDE, pp2128-2135
Plus d'infosVerification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use Case
TRISTAN XI, 11th Triennial Symposium on Transportation Analysis conference, MAURICE, 5p
Plus d'infosA Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL project
RAILWAYS 2022, 5th International Conference on Railway Technology: Research, Development and Maintenance, FRANCE, 5P
Plus d'infosToward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3: The PERFORMINGRAIL Project
ESREL 2022, 32nd European Safety and Reliability Conference, IRELANDE, pp2143-2150
Plus d'infosMethodology Framework for Modelling ETCS-L3 Moving Block System
TRA 2022, Transport Research Arena, PORTUGAL, 6p
Plus d'infosA Safety Assurance Methodology for Autonomous Trains
TRA 2022, Transport Research Arena, PORTUGAL, 8p
Plus d'infosSoREn, 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/
Territoires périurbains : vers une mobilité quotidienne bas carbone. In: Cerema (Eds) Mobilités décarbonées. Un défi global
CEREMA, Construction21, lab recherche environnement VINCI ParisTech, pp135-138
https://www.cerema.fr/fr/centre-ressources/boutique/mobilites-decarbonees-defi-global
À Loos-en-Gohelle, une mobilité durable « sur mesure » construite avec les habitants
The Conversation, pp1-4
Télécharger le documentA new framework for Mobility Allowance Shuttle Transit (MAST)
EURO 2021, 31st European Conference on Operational Research, GRECE, 1p
http://dx.doi.org/10.13140/RG.2.2.27058.94407
https://hal.archives-ouvertes.fr/hal-03562604
Mixed-Integer Linear Programming (MILP) formulation for a Mobility Allowance Shuttle Transit (MAST)
INFORMS Annual Meeting, ETATS-UNIS, 1p
http://dx.doi.org/10.13140/RG.2.2.23703.50088
https://hal.archives-ouvertes.fr/hal-03544169
IFAC CTS'2021, 16th IFAC Symposium On Control in Transportation Systems CTS, Lille, France, 8-10 juin 2021, Proceedings
IFAC-PapersOnLine, 54, 2, pp1-360
https://www.sciencedirect.com/journal/ifac-papersonline/vol/54/issue/2
https://cts2021.univ-gustave-eiffel.fr/
https://ifac.papercept.net/conferences/conferences/CTS21/program/
Energy-efficient multi-train operations in railway networks considering traffic perturbations
RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 20p
Plus d'infosAn improved approach for train routing selection in large railway stations
RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE,
Plus d'infosScheduling of Autonomous Electric Vehicles On-Demand
RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 10p
Plus d'infosA two-stage framework for strategic railway timetabling based on multi-objective ant colony optimization
RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 11p
Plus d'infosReal-Time Optimization of Energy Consumption in Railway Networks
EWGT 2021, 24th Euro Working Group on Transportation Meeting, PORTUGAL, 8p
Télécharger le documentA Conditional Time-Intervals formulation of the real-time Railway Traffic Management Problem
IFAC-PapersOnLine, 54, 2, pp187-194, doi: 10.1016/j.ifacol.2021.06.046
https://doi.org/10.1016/j.ifacol.2021.06.046
Closed-loop incremental stability for efficient symbolic control of non-linear systems
7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021, BELGIQUE, pp121-126
https://doi.org/10.1016/j.ifacol.2021.08.485
Formal modeling of a new On-board Train integrity System ETCS Compliant
ESREL 2021, 31st European Safety and Reliability Conference, FRANCE, 9p
https://easychair.org/smart-program/ESREL2021/
Toward Formal Safety and Performance Evaluation of GNSS-based Railway Localisation Function
IFAC-PapersOnLine, 54, 2, pp159-166, doi: 10.1016/j.ifacol.2021.06.049
https://www.sciencedirect.com/science/article/pii/S2405896321004973
https://doi.org/10.1016/j.ifacol.2021.06.049
Business Processes Meet Spatial Concerns: the sBPMN Verification Framework
FM 2021, International Symposium on Formal Methods, CHINE,
https://hal-cnrs.archives-ouvertes.fr/hal-03289951
https://lcs.ios.ac.cn/fm2021/
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
Towards a Specified Operational Design Domain for a Safe Remote Driving of Trains
ESREL 2021, 31st European Safety And Reliability Conference, FRANCE, 8p
https://easychair.org/smart-program/ESREL2021/
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
Train routing selection problem: Ant colony optimization versus integer linear programming
IFAC-PapersOnLine, 54, 2, pp167-172, doi: 10.1016/j.ifacol.2021.06.060
https://doi.org/10.1016/j.ifacol.2021.06.060
Ant Colony Optimization for Energy-Efficient Train Operations
GECCO 2021, Genetic and Evolutionary Computation Conference Companion, FRANCE, pp75-76
https://doi.org/10.1145/3449726.3459436
https://gecco-2021.sigevo.org/HomePage
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
Merging Railway Standard Notations in a Formal DSL-Based Framework
ECSA 2020, 14th European Conference on Software Architecture, , ITALIE, pp411-419
http://dx.doi.org/10.1007/978-3-030-59155-7_30
https://hal.archives-ouvertes.fr/hal-03265296
Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défis
Lambda Mu 22, 22e Congrès de maîtrise des risques et de sûreté de fonctionnement, Les risques au coeur des transitions (e-congrès), FRANCE, pp312-320
Plus d'infosProposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS
Lambda Mu 22, 22e Congrès de maîtrise des risques et de sûreté de fonctionnement. Les risques au coeur des transitions (e-congrès), FRANCE, 10p
https://www.imdr-lm22.fr/
https://hal.archives-ouvertes.fr/hal-03480709
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
Security and safety integrated approach for multimodal-hubs crisis management: a railway and airway proposition
TRA 2020, 8th Transport Research Arena, FINLANDE, 7p
https://hal-enac.archives-ouvertes.fr/hal-02952135
https://hal-enac.archives-ouvertes.fr/hal-02952135/file/1180_TRA2020_SCD-PBN-YMK-v5.pdf
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
Assessing train timetable efficiency in a Mass Transit context using a data-based simulation method
IEEE ITSC 2020, 23rd IEEE International Conference on Intelligent Transportation Systems, GRECE, pp2404-2409
Plus d'infosIntegrating 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
Allocating imprecise safety targets in satellite-based localization systems used in railway signaling operations
ESREL'20 - PSAM 15, 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, ITALIE, 8p
https://www.esrel2020-psam15.org/
Towards a Model-Based Safety Assessment of Railway Operation Using GNSS Localization
ESREL'20 - PSAM 15, 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, ITALIE, 8p
https://www.esrel2020-psam15.org/
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
Réinventer la mobilité avec et pour les habitants du périurbain - Cas de Loos en Gohelle
RDMI'20, 47ème Congrès ATEC ITS France, les Rencontres De la Mobilité Intelligente, FRANCE, 11p
Télécharger le documentStudies on the validity of the fixed-speed approximation for the real time Railway Traffic Management Problem
RailNorrköping 2019, 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), SUEDE, pp409-424
https://ep.liu.se/ecp/article.asp?issue=069&article=027&volume=0
Résolution du problème de yard à 1-étape
ROADEF 2019, 20ème Congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 2p
https://easychair.org/cfp/roadef2019
https://easychair.org/smart-program/ROADEF2019/index.html
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
Une approche basée sur la séparation des préoccupations pour modéliser et vérifier les règles de signalisation d'un système ferroviaire
AFADL'19, 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, France, pp 9--12
https://afadl2019.sciencesconf.org/data/pages/actes_AFADL_2019.pdf
Event-B Decomposition Analysis for Systems Behavior Modeling
ICSOFT 2019, 14th International Conference on Software Technologies, TCHÈQUE, RÉPUBLIQUE, pp278-286
http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0007929602780286
https://dx.doi.org/10.5220/0007929602780286
Conceptual Modelling of the Dynamic Goal-Oriented Safety Management for Safety Critical Systems
ICSOFT 2019, 14th International Conference on Software Technologies, TCHÈQUE, RÉPUBLIQUE, pp287-297
Plus d'infosFormal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model
ER'19, 38th International Conference on Conceptual Modeling, BRESIL, 14p
Plus d'infosB-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution
RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, FRANCE, pp242-258
https://doi.org/10.1007/978-3-030-18744-6_16
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules
RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification , FRANCE, pp173-190
https://doi.org/10.1007/978-3-030-18744-6_11
Towards a tool-based domain specific approach for railway systems modeling and validation
RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification , FRANCE, pp23-40
https://doi.org/10.1007/978-3-030-18744-6_2
Formal Approach to Dynamic SoS Design
ENASE'19, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, GRECE, 1p
Télécharger le documentFormal Approach to Dynamic SoS Design
ENASE'19, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, GRECE, pp377-384
https://dx.doi.org/10.5220/0007730903770384
A new Constraint Based Scheduling model for real-time Railway Traffic Management Problem using conditional Time-Intervals
Rail Norrköping 2019, 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), SUEDE, 20p
Plus d'infosA 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
A Formal Approach for Multi-occurrence Crisis Management
ICSOFT 2018, 13th International Conference on Software Technologies, PORTUGAL, pp607-614
https://www.scitepress.org/Papers/2018/68656/pdf/index.html
https://www.scitepress.org/Link.aspx?doi=10.5220/0006865606410648
Using Bayesian Networks for the Purpose of Risk Analysis at Railway Level Crossings
CTS'18, 15th IFAC Symposium on Control in Transportation Systems, ITALIE, 8p
Plus d'infosA Diagnosis Study on a Train Passenger Access System using Petri Net Models
CTS '18, 15th IFAC Symposium on Control in Transportation Systems, ITALIE, 6p
Plus d'infosCollecting 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
Applications of train routing selection methods for real-time railway traffic management
ITSC 2018, 21st International Conference on Intelligent Transportation Systems, ETATS-UNIS, pp72-77
https://ieeexplore.ieee.org/document/8569555
An MDA Approach for the Specification of Relay-Based Diagrams
MEDI 2018, 8th International Conference on Model and Data Engineering, MAROC, 13p
https://doi.org/10.1007/978-3-030-02852-7_2
Modelling and verification: Performance evaluation and test: part 2
International Journal of Critical Computer Based Systems, 8, 3/4, pp231-233
Télécharger le documentSatellite positioning in the transport domain: applications and challenges
Data Science and Mobility Conference, SUISSE, 18p
https://archiveweb.epfl.ch/dsmc18.epfl.ch/
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
Towards Semantic Interpretation of Goal-Oriented Safety Decision based on Foundational Ontology
ICCSIT 2018, 11th International Conference on Computer Science and Information Technology, FRANCE, 9p
Plus d'infosComparaison de l'approche sécurité multi-domaine
Lambda-Mu, 21ème Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, FRANCE, 7p
Plus d'infosImproving Safety By Integrating Dysfunctional Analysis Into The Design Of Railway Systems
WIT Transactions on the Built Environment, 181, pp399-411, doi: 10.2495/CR180361
https://www.wessex.ac.uk/conferences/2018/comprail-2018
https://www.witpress.com/books/978-1-78466-285-1
https://www.witpress.com/elibrary/wit-transactions-on-the-built-environment/181/36887
https://dx.doi.org/10.2495/CR180361
Efficient diagnosability assessment via ILP optimization: a railway benchmark
IEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, ITALIE, 8p
Plus d'infosA passenger flow oriented security and safety approach in international railway stations
TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p
Plus d'infosProposition of a formal model for crisis management in the context of high-speed train networks in border areas
TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p
Plus d'infosAn 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
EGNOS service evaluation in railway environment for safety-critical operations
TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p
Plus d'infosOptimization of a railway freight yard in real time
EURO'18, 29th European Conference On Operational Research, ESPAGNE, 1p
Plus d'infosMaintenance on the Railway Network: Disruptions and re-scheduling
EURO/ALIO '18, International Conference on Applied Combinatorial Optimization, ITALIE, 8p
Télécharger le documentOptimiser une gare de triage en temps réel
ROADEF 2018, 19ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 2p
Télécharger le documentLe 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
Bayesian Network Modeling Applied on Railway Level Crossing Safety
RSSRail 2017 - 2nd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, ITALIE, 15p
Télécharger le documentDIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems
MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 2p
Télécharger le documentDPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser
MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 14p
Télécharger le documentDiagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche Diagnostiqueur
MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 15p
Télécharger le documentAn Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems
DX'17 - 28th International Workshop on Principles of Diagnosis, ITALIE, p8
Télécharger le documentAn Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study
Lecture Notes in Computer Science, 10466, pp 92-107, doi: 10.1007/978-3-319-66176-6_7
https://doi.org/10.1007/978-3-319-66176-6_7
http://madis-collection.ifsttar.fr/cd/vecos/2017%20-%20VECOS/VeCOS2017_Proceedings.pdf
A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event Systems
ACC - 2017 American Control Conference, ETATS-UNIS, pp 3860-3867
http://ieeexplore.ieee.org/document/7963546/
http://dx.doi.org/10.23919/ACC.2017.7963546
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 survey of lubrication techniques of railway switches and crossings
Railway Engineering-2017, ROYAUME-UNI, 11p
Plus d'infosAnt Colony Optimization for train routing selection: operational vs tactical application
MT-ITS 2017 - 5th IEEE International Conference on Models and Technologies for Intelligent Transportation Systems, ITALIE, 6p
http://ieeexplore.ieee.org/document/8005684/
http://dx.doi.org/10.1109/MTITS.2017.8005684
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
The potential of the routing selection problem in real-time railway traffic management
RailLille2017 - 7th International Conference on Railway Operations Modelling and Analysis, France, 19p
Télécharger le documentA Benders' decomposition for the real-time Railway Traffic Management Problem
7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 19p
Télécharger le documentA 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
Timetable Optimization during Railway Infrastructure Maintenance
7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 20p
Plus d'infosBoosting the performance of railway traffic management through the reformulation of RECIFE-MILP
7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 16p
Plus d'infosTrain timetable rearrangement facing infrastructure maintenance activities
ROADEF 2017, 18ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, France, 2p
Télécharger le documentRé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 decomposition approach for the real time Railway Traffic Management Problem
ROADEF 2017, 18ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, France, 2p
Télécharger le documentA 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
Sysml formalization of the disruption management process in european railways
96th Transportation Research Board Annual Meeting, Etats-Unis, 1p
Télécharger le documentLes risques psychosociaux dans la politique Européenne du développement durable
Colloque international Union Européenne et développement durable, Défis et perspectives, France, P20
https://hal.archives-ouvertes.fr/hal-02424644
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 Hybrid Method for Assigning Containers to AGVs in the Dynamic Environment of Container Terminals
CTS 2016, 14th IFAC Symposium on Control in Transportation Systems, TURQUIE, 9p
https://hal.archives-ouvertes.fr/hal-01727566/
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults-A Railway Case-Study
VECOS 2016 - 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, TUNISIE, 11p
Télécharger le documentIntermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework
ICPHM - 2016 IEEE International Conference on Prognostics and Health Management, CANADA, 6p
http://ieeexplore.ieee.org/document/7542874/
http://dx.doi.org/10.1109/ICPHM.2016.7542874
Risk analysis on level crossings using a causal Bayesian network based approach
WCTR 2016 - World Conference on Transport Research, CHINE, pp2167-2181
http://www.sciencedirect.com/science/article/pii/S2352146517307251
https://doi.org/10.1016/j.trpro.2017.05.418
Statistical Analysis of Collisions at French Level Crossings
The Third International Conference on Railway Technology: Research, Development and Maintenance, ITALIE, 15p
Plus d'infosSafety integrity level allocation shared or divergent practices in the railway domain
International Railway Safety Council, France, 10p
Télécharger le documentPetri net diagnosability analyzer
11th International Design and Test Symposium - IDT 2016, Tunisie, 6p
Plus d'infosA µ 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
Pratiques partagées ou divergentes d'allocation de niveaux d'intégrité de sécurité dans le domaine ferroviaire
Lambda-Mu, 20ème Congrès de maîtrise des risques et de sûreté de fonctionnement, FRANCE, 8p
Plus d'infosTowards 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
A Customizable Railway Benchmark to Deal with Fault Diagnosis Issues in DES
13th International Workshop on Discrete Event Systems - WODES 2016, Chine, p177-182
http://dx.doi.org/10.1109/WODES.2016.7497845
A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure
13th International Workshop on Discrete Event Systems - WODES 2016, Chine, p237-244
http://dx.doi.org/10.1109/WODES.2016.7497854
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
Trace analysis from ERTMS engineering
Comprail, International Conference on Railway Engineering Design and Operation, Espagne, 12p
http://www.wessex.ac.uk/conferences/2016/comprail-2016
RECIFE-MILP for real-time railway traffic optimization: main results and open issues
WCRR 2016, 11th World Congress of Railway Research, Italie, 7p
Plus d'infosImplementation of ERTMS: a methodology based on formal methods and simulation with respect to French national rules
TRA2016 - Moving Forward. Innovative Solutions for Tomorrow's Mobility, Pologne, 10p
Plus d'infosThe 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
Solving the real-time Railway Traffic Management Problem with Benders decomposition
ROADEF 2016, 17ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 11p
Télécharger le documentTimetable Optimization to cope with Railway Infrastructure Maintenance
ROADEF 2016, 17ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 2p
Télécharger le documentRailway 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
Modelling and Solving the Train Timetabling Problem using Genetics Algorithms
ROADEF 2015, 16ème conférence ROADEF Société Française de Recherche Opérationnelle et Aide à la Décision, FRANCE, 2p
https://hal-uphf.archives-ouvertes.fr/hal-03388437
http://roadef2015.lsis.org/index.php?menu=programme
The integration of the human factors in the sociotechnical systems. Application to the railway transportation systems
ICTL 2015, 1st International conference on Transportation and Logistics, TUNISIE, pp1-6
https://hal.archives-ouvertes.fr/hal-03021966
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/
Cyclic Scheduling of Flexible Job-shop with Time Window Constraints and Resource Capacity Constraints
IFAC 2015, 15th IFAC Symposium on Information Control in Manufacturing, INCOM, CANADA, pp816-821
https://doi.org/10.1016/j.ifacol.2015.06.184
https://www.sciencedirect.com/science/article/pii/S2405896315004231?via%3Dihub
An Hcpn Pattern for Railway Safety Critical Scenarios Formal Modeling
JRC 2015, Joint Rail Conference, ETATS-UNIS, 10p
https://dx.doi.org/10.1115/JRC2015-5687
http://proceedings.asmedigitalcollection.asme.org/proceeding.aspx?articleid=2323319
On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes - SAFEPROCESS 2015, France, p326-331
http://dx.doi.org/10.1016/j.ifacol.2015.09.548
Solving the train timetabling problem, a mathematical model and a genetic algorithm solution approach
RailTokyo2015- 6th International Conference on Railway Operations Modelling and Analysis, JAPON, 12 p
https://hal.archives-ouvertes.fr/hal-01338609
https://hal.archives-ouvertes.fr/hal-01338609/file/Paper_1144939.pdf
Colored Petri Nets formal transformation to B machines for safety critical software development
International Conference on Industrial Engineering and Systems Management, IESM 2015, ESPAGNE, 7p
http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7368810
Real-time railway traffic management optimization and imperfect information: preliminary studies
International Conference on Industrial Engineering and Systems Management, IESM 2015, Espagne, 6p
Plus d'infosModel transformation from coloured Petri nets with prioritized transitions to B machines
International Conference on Industrial Engineering and Systems Management, IESM 2015, Espagne, pp19-28
Plus d'infosIntegrated approach using formal models and simulation environment
International Conference on Industrial Engineering and Systems Management, IESM 2015, Espagne, 1p
Plus d'infosIndustrial needs concerning the safety analysis of a French implementation of ERTMS
International Conference on Industrial Engineering and Systems Management, IESM 2015, Espagne, 1p
Plus d'infosFormalismes 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 Model Pattern of Railway Interlocking System by Petri Nets
2015 Models and Technologies for Intelligent Transportation Systems (MT-ITS), Hongrie, 8p
http://dx.doi.org/10.1109/MTITS.2015.7223292
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
A Routing Filter for the Real-time Railway Traffic Management Problem Based on Ant Colony Optimization
EWGT 2015 - 18th Euro Working Group on Transportation, PAYS-BAS, 10p
http://www.sciencedirect.com/science/journal/23521465/10/supp/C
http://dx.doi.org/10.1016/j.trpro.2015.09.007
http://www.sciencedirect.com/science/article/pii/S2352146515001945
Parallel verification of temporal properties using dynamic analysis
International Conference on Industrial Engineering and System Management (IESM), Espagne, 10p
Plus d'infosUne Approche par Décomposition de Modèles pour l'Analyse de la Diagnosticabilité des SEDs par Model-Checking
10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015), France, 16p
Télécharger le documentCombining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems
VECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, ROUMANIE, 11p
Télécharger le documentRECIFE-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
Vérification parallélisée de propriétés temporelles sur des traces d'exécution, par analyse dynamique formelle
Approches Formelles dans l'Assistance au Développement Logiciel, France, pp.1-15
https://hal.inria.fr/hal-01155626
Analytical approach for evaluating LTE communication errors in train control application
1st IEEE ICCW 2015 Workshop on Dependable Vehicular Communications (DVC), ROYAUME-UNI, 6p
http://ieeexplore.ieee.org/document/7247535/
http://dx.doi.org/10.1109/ICCW.2015.7247535
Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking
5th IFAC Workshop on Dependable Control of Discrete Systems , MEXIQUE, 8p
Plus d'infosHarmonized methodology for Safety Integrity Level allocation in a generic TCMS application
ESREL 2015 - European safety and reliability conference, SUISSE, 8p
Télécharger le documentApproach for evaluating the safety of a satellite-based train localisation system through the extended integrity concept
ESREL 2015 - European safety and reliability conference, SUISSE, 8p
Télécharger le documentAnalysis of the robustness of real-time railway traffic management optimization
RailTokyo2015, 6th International Conference on Railway Operations Modelling and Analysis, JAPON, 16p
Plus d'infosOptimal Management of Railway Perturbations by Means of an Integrated Support System for Real-Time Traffic Control
6th International Conference on Railway Operations Modelling and Analysis - RailTokyo2015, ICROR, Japon, 20p
Télécharger le documentGaLoROI. Satellite based localization in railways
IC-ARE'15, International Congress on Advanced Railway Engineering, TURQUIE, 8p
Plus d'infosHCPN modeling for ERTMS requirements specification
HASE 2015, High Assurance Systems Engineering , ETATS-UNIS, 2p
Plus d'infosMethod 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
Towards a Decision Support System for Security Analysis. Application to Railroad Accidents. In : ISCRAM Lecture Notes in Business Information Processing
Springer, pp46-56
http://dx.doi.org/10.1007/978-3-319-11818-5_5
https://hal.archives-ouvertes.fr/hal-02422991
Méthode originale d'analyse préliminaire des risques. In : Gestion des risques naturels, technologiques et sanitaires
Cépaduès, pp1-20
https://hal.archives-ouvertes.fr/hal-02422894
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
i-viaTIC: Plate-forme collaborative pour les mobilités innovantes
ATEC ITS France 2014, Les Rencontres de la Mobilité Intelligente, FRANCE, 5p
http://docplayer.fr/6530320-I-viatic-plate-forme-collaborative-pour-les-mobilites-innovantes.html
Complex systems renewal: positioning, concepts and architectural issues
IFAC 2014, 19th World Congress of the International Federation of Automatic Control, AFRIQUE DU SUD, pp8731-8736
https://www.sciencedirect.com/science/article/pii/S1474667016429915
https://doi.org/10.3182/20140824-6-ZA-1003.01771
An Operative Formulation of the Diagnosability of Discrete Event Systems Using a Single Logical Framework
VECOS 2014 - 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, ALGERIE, 12p
Plus d'infosAnalyzing railroad congestion in a dense urban network through the use of road traffic network fundamental diagram concept
TRB 2014 - Transportation Research Board 93rd Annual Meeting, ETATS-UNIS, 15 p
Télécharger le documentA formal modeling methodology of the French railway interlocking system via HCPN
14th International Conference on Railway Engineering Design and Optimization (COMPRAIL 2014), ITALIE, 10p
http://dx.doi.org//10.2495/CR140711
http://www.witpress.com/elibrary/wit-transactions-on-the-built-environment/135/27127
Solving the Periodic Timetabling Problem using a Genetic Algorithm
PANAM 2014 - XVIII Congreso Panamericano de Ingeniería de Transito, Transporte y Logistica, ESPAGNE, 15P.
https://hal.archives-ouvertes.fr/hal-01086542
https://hal.archives-ouvertes.fr/hal-01086542/file/Paper_492.pdf
Safety critical software construction using CPN modeling and B method's proof
SESA 2014, Software Engineering and Systems Architecture, MAROC, 4p
Plus d'infosHigh level Petri net modeling For railway safety critical scenarios
10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, ALLEMAGNE, p65-75
Plus d'infosAllocation rules of Safety Integrity Levels in a generic TCMS application
10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, ALLEMAGNE, pp.167-176
Plus d'infosModelling Communication Based Train control system for dependability analysis of the LTE Communication network in train control application
EMS2014, European Modelling Symposium, ITALIE, 6p
Télécharger le documentModélisation et validation formelle des règles d'exploitation ferroviaires
Approches Formelles dans l'Assistance au Développement de Logiciels, FRANCE, 15p
Télécharger le documentChecking the European Railways Traffic Management System (ERTMS) operating rules using UML and B method
COMPRAIL - 14th International conference on Railway Engineering Design and Optimization, ITALIE, p139-149
Télécharger le documentB Formal Validation of ERTMS/ETCS Railway Operating Rules
4th International ABZ Conference, FRANCE, p124-129
Télécharger le documentOptimization for the real-time railway traffic management: case studies in European networks
IFORS 2014 - 20th Conference of the International Federation of Operational Research Societies, ESPAGNE, 13p
Télécharger le documentMaintaining 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
RAMS analysis of GNSS based localisation system for the train control application
ComManTel, 2nd International Conference on Computing, Management and Telecommunications, VIET NAM, 6p
Télécharger le documentIntelligent Framework for Safety Properties Checking of Complex Systems
ISTS 2014 - 4th International Symposium of Transport Simulation, FRANCE, 3p
Plus d'infosArchitecture Description Language for Cyber Physical Systems Analysis: A Railway Control System Case Study
COMPRAIL - 14th International conference on Railway Engineering Design and Optimization, ITALIE, 14p
Télécharger le documentFrom Goal Modeling of Real-time Control System to RT-DEVS Safety Properties Analysis
12th IFAC - IEEE International Workshop on Discrete Event Systems WODES, FRANCE, 8p
http://www.ifac-papersonline.net/Detailed/65091.html
Modelling and verification methodology for control systems
TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, FRANCE, 9p
http://www.traconference.eu/papers/pdfs/TRA2014_Fpaper_18435.pdf
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
OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets
International Workshop Petri Nets for Adaptive Discrete-Event Control Systems, TUNISIE, 16p
Plus d'infosToward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets
13th European Control Conference - ECC'2014, FRANCE, 6p
Plus d'infosDiagnosis of Labeled Time Petri Nets Using Time Interval Splitting
IFAC 2014 - 19th World Congress of the International Federation of Automatic Control, AFRIQUE DU SUD, 6p
Plus d'infosFormal modelling methodology of French railway interlocking system via HCPN
TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, FRANCE, 1p
Plus d'infosStudy of the implementation of ERTMS with respect to French national "non on board rules" using a collaborative methodology based on formal methods and simulation
TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, France, 1p
Plus d'infosStudy of the implementation of ERTMS with respect to French national ― "non on board rules" using a collaborative methodology based on formal methods and simulation
TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, FRANCE, 8p
Plus d'infosResilience of metro vehicle to blast events
ISTS 2014 - 4th International Symposium of Transport Simulation, FRANCE, 1p
Plus d'infosReal-time railway traffic management through optimisation tools
15th conference ROADEF of the French society of operations research et decision aid, FRANCE, 14p
Télécharger le documentImprovement of real-time traffic management by using optimization tools
Procedia - Social and Behavioral Sciences, 160, p465-473, doi: 10.1016/j.sbspro.2014.12.159
http://www.sciencedirect.com/science/journal/18770428
http://dx.doi.org/10.1016/j.sbspro.2014.12.159
Simulation of an innovative management of freight trains
ISTS 2014 - 4th International Symposium of Transport Simulation, FRANCE, 3p
Plus d'infosOptimal train routing and scheduling in case of traffic perturbations: improving solution time through parameter tuning
TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, FRANCE, 9p
Plus d'infosAre 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
Virtual lab based on co-simulation to include impairments of wireless telecommunication such as GSM-R in the evaluation of ERTMS
TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, France, 10p
Télécharger le documentAn ontology for the ERTMS/ETCS
TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, France, 10p
Télécharger le documentCausal Analysis Methodology of Multisensor Systems based on GNSS
Railways 2014, The Second International Conference on Railway Technology: Research, Development and Maintenance, FRANCE, 21p
http://www.civil-comp.com/conf/railways2014.htm
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
Generating Test Scenarios Based on Real-World Traces for ERTMS Telecommunication Subsystem Evaluation. In: Berbineau M. et al. (eds) Communication Technologies for Vehicles. Nets4Cars/Nets4Trains 2013
Springer Berlin Heidelberg, pp223-231
http://dx.doi.org/10.1007/978-3-642-37974-1_18
https://hal.archives-ouvertes.fr/hal-03447726
Dependency Graph for Requirements Structuring based on Guidance Ontology
4th International academic-industrial conference on Complex Systems Design & Management (CSD&M), FRANCE, 12p
Télécharger le documentTropos For Embedded Real-time Control System Modeling and Simulation
4th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2013), FRANCE, 5p
Télécharger le documentStudy of implementation of ERTMS with respect to French national rules using a B centered methodology.
5th IESM 2013, 5th international conference on industrial engineering and system management, MAROC, 9p
Télécharger le documentBoosting the performance of a MILP formulation for railway traffic management in complex junctions
MT-ITS 2013, Models and Technologies for Intelligent Transportation Systems, ALLEMAGNE, p419-428
Plus d'infosSensitivity Assessment to Analyse Dependability of a Multisensor Localisation System based on GNSS
ITST 2013, 13th International Conference on ITS telecommunications, FINLANDE, 7p
Plus d'infosDependability evaluation of a GNSS and ECS based localisation unit for railway vehicles
ITST 2013, 13th International Conference on ITS telecommunications, FINLANDE, 6p
Télécharger le documentOntology for complex railway systems application to ERTMS/ETCS system
FM-RAIL-BOK Workshop in SEFM’2013 11th International Conference on Software Engineering and Formal Methods, ESPAGNE, 6p
Plus d'infosÉ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
A mixed-integer linear program for the real-time railway traffic management problem:quantification of the impact of a priori platform assignment
ROADEF 2013, 14ème conférence dela Société française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 2p
Télécharger le documentConfiguring a MILP formulation for rail traffic management
EURO-INFORMS conference 2013, Italie, 1p
Plus d'infosAlgorithme hybride multi-objectif pour l'optimisation énergétique de profils de vitesse de trains
ROADEF 2013, 14ème conférence dela Société française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 2p
Télécharger le documentComputation of Passive Robustness Bound for Assembly/Disassembly Processes
International Journal of Automation and Control Engineering, 2, 2, p79-86
Télécharger le documentApplication of a Co-evolutionary Genetic Algorithm to solve the Periodic Railway Timetabling Problem
IESM 2013, 5th international conference on industrial engineering and system management, MAROC, 10p
Télécharger le documentReal-time train routing and scheduling through mixed integer linear programming: Heuristic approach
IESM 2013, 5th international conference on industrial engineering and system management, MAROC, 6p
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
Computing multiple running times for railway timetabling: a speed-level based model for constructing alternative speed profiles
RailCopenhagen 2013, 5th International Conference in Railway Operations Research, DANEMARK, 20p
Télécharger le documentHuman 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
From Formal Specifications to Efficient Test Scenarios Generation
ICALT, International Conference on Advanced Logistics and Transport, Tunisie, 6p
Télécharger le documentContribution to a terminology related to dependability for the qualification of an on-board satellite-based system
2th ICTIS conference, International Conference on Transportation Information and Safety, CHINE, p333-339
Télécharger le documentImproved Resilience of Metro Vehicle Design to Blast and Fire Events
ICALT, International Conference on Advanced Logistics and Transport, Tunisie, 6p
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6568429
A mixed-integer linear program for the real-time railway traffic management problem modeling track-circuits
IAROR, 5th International Seminar on Railway Operations Modelling and Analysis, RailCopenhagen 2013, DANEMARK, 18p
Plus d'infosUsing 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 documentDiagnosis of human operator behaviour in case of train driving: interest of facial recognition
30th European Annual Conference on Human Decision-Making and Manual Control, ALLEMAGNE, 6p
Télécharger le documentScheduling theory and constraint programming applied to rail traffic management, in Farewell address, Prof. Ingo Hansen
TECHNICAL UNIVERSITY DELFT, p133-145
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'infosK-diagnosability of labeled Petri nets
Majecstic 2012, 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication, FRANCE, 8p
Télécharger le documentA DBMS Framework for Diagnosability Analysis of Discrete Event Systems
DSN 2012, 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, ETATS-UNIS, 2p
Plus d'infosAdding Technological Solutions for Safety Improvement at Level Crossings: a Functional Specification
TRA, Transport Research Arena, GRECE, 10p
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
Integrating humans factors in the analysis of the interaction 'Tram- car drivers'
CETRA 2012, 2nd International Conference on Road and Rail Infrastructure , CROATIE, 9p
Télécharger le documentOn the Sensitivity of Reactive Tabu Search to its Meta-parameters
ThRaSH 2012, 6th Workshop on Theory of Randomized Search Heuristics, FRANCE, 1p
http://thrash2012.gforge.inria.fr
Exact models for the real time railway traffic management problem: tackling perturbed traffic considering real junction details
IMSP 2012 - 21th International Symposium on Mathematical Programming (ISMP 2012), ALLEMAGNE, 14p
Télécharger le documentTwo local searches for the primary allocation of airport slots
AIRO 2012 - Conference Graph Algorithms and Optimization, ITALIE, 18p
Télécharger le documentReal time railway traffic management modeling track-circuits
ATOMOS 2012, 12th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, SLOVÉNIE, 12p
http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3700
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
Propriétés de sûreté de fonctionnement d'un système embarqué de localisation par satellites dédié à la sécurité ferroviaire
18th Lambda-Mu congress, France, 9p
Télécharger le documentTest Cases Generation from CTL. A Methodology
International Symposium on Security and Safety of Complex Systems, 25-26 mai 2012, Agadir, Maroc, 7p
Plus d'infosRaffinement des Exigences pour la Génération de Scénarios de Tests d'une Architecture de Contrôle/Commande Ferroviaire Embarqué
Workshop Applications industrielles : Sûreté, surveillance, supervision, 18 Janvier 2012, Paris, France, 1p
Plus d'infosIntegration of B activity into a global design process (Poster)
TRA, Transport Research Arena, April 23-26 2012, Athens, Greece, 1p
Plus d'infosIntegration of B activity into a global design process
TRA, Transport Research Arena, April 23-26 2012, Athens, Greece, 10p
Plus d'infosAlgorithme pour l adaptation d interfaces à deux niveaux : application à des services numériques dédiés au vélo urbain
UBIMOB 2012, 8èmes journées francophones Mobilité et Ubiquité, juin 2012, Anglet, France, 10p
Télécharger le documentIntelligent Surveillance System Based on Stereo Vision for Level Crossings Safety Applications
Recent Developments in videosurveillance, El-Alfy,H (ED), p75-100
Plus d'infosEvaluation method of GNSS-based positioning functions for safety applications in operational conditions
TRA, Transport Research Arena, April 23-26 2012, Athens, Greece, 10p
Plus d'infosSolving 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
Third mode and information: how to improve the efficiency of urban mobility systems ?
EWGT 2012, 15th meeting of the Euro Working Group on Transportation, September 10-12, 2012, Paris, France, 1p
Télécharger le documentSimulation-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
Evaluation of the safety level of a hot box detection system by using estimated rates
TRA, Transport Research Arena, April 23-26 2012, Athens, Greece, 8p
Plus d'infosInteraction in Mobility: The Evaluation of Interactive Systems Used by Travellers in Transportation Contexts. In: Lecture Notes in Computer Science
HCI International 2011, ETATS-UNIS, pp. 301-310
http://dx.doi.org/10.1007/978-3-642-21616-9_34
https://hal.archives-ouvertes.fr/hal-01354552
http://link.springer.com/chapter/10.1007%2F978-3-642-21616-9_34
4th International Seminar on Railway Operations Modelling and Analysis - RailRome2011
4th International Seminar on Railway Operations Modelling and Analysis - RailRome2011, ITALIE, 77p
Plus d'infosÉditorial. in RTS 2ème numéro spécial transport ferroviaire
RTS : Recherche transports sécurité, 27, p239-240, doi: 10.1007/s13547-011-0028-y
http://necplus.eu/abstract_S0761898011004018
doi:10.1007/s13547-011-0028-y
Spécification et Vérification Formelles des COTS Orientée Contrôle-Commande Ferroviaire Embarqué
Journée des doctorants SPI-STIC de l'IFSTTAR 2011, Rencontre du 7 juin 2011, Villeneuve d'Ascq, France, 12p
Plus d'infosRequirement Refinement to Test Case Generation for Embedded Railway Control Systems
EURO-ZEL 2011, 19th International Symposium on recent Challenges for European Railways, 8th - 9th June 2011, Zilina, Slovak Republic, p191-199
Plus d'infosA set of design oriented scientific tools to assist abstract B machine specification
LINDI 2011, 3rd IEEE International Symposium on Logistics and Industrial Informatics, august 25-27, 2011, Budapest, Hungary, p209-214
Plus d'infosUn ensemble d'outils scientifiques orientés modèles pour assister la conception de spécification en langage B
SOFA 2011, 2ème Conférence Nationale sur les Systèmes d'Ordre Fractionnaire et leurs Applications, 24-26 Octobre 2011, Tizi-Ouzou, Algérie, 6p
Télécharger le documentDix années d'évolution du Système d'Information Multimodale en France
TEC Transport environnement circulation, 212, p42-47
Plus d'infosConsideration of the Travel Time Experience in The Conceptual Models Of Personalized Interactive Applications. In: Christophe Kolski (eds) Human-Computer Interactions in Transport
John Wiley & Sons, pp283-310
https://doi.org/10.1002/9781118601907.ch9
Principles, Issues and Viewpoints of travaler Information in a Multimodal Context
Human computer Interactions in Transport, KOLSKI,C (ED), p1-20
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'infosTowards Human stability in transport systems
IEEM2011, IEEE International Conference on Industrial Engineering and Engineering Management, december 2011, Singapore, 6p
Plus d'infosIntegration of communication systems for a railroad smart wagon
LOGISTIQUA, IEEE 4th International Conference on logisitcs, May 31 2011-June 3 2011, Hammamet, Tunisia, 6p
Plus d'infosPerformance of a constraint-based scheduling model for optimal train dispatching
WCRR 2011, 9th World Congress on Railway Research, may 22-26 2011, Lille, France, 15p
Plus d'infosImproving traffic management of rail network : new methods, processes and tools - Real-time traffic management of railway bottlenecks
8th ITS European Congress Wednesday, 8th June 2011, Lyon, France, 38p
Télécharger le documentÉvaluation par simulation des solutions d'un modèle à vitesse fixée pour l'optimisation du trafic ferroviaire
ROADEF'2011, 12ème congrès de la société française de Recherche Opérationnelle et d'Aide à la Décision, mars 2011, St-Etienne, France, 2p
Télécharger le documentStudy on train speed profile adjustments of two fixed-speed models for the real-time railway traffic optimization problem
MT-ITS 2011, 2nd International Conference on Models and Technologies for Intelligent Transportation Systems, 22-24 june 2011, Leuven, Belgium, 4p
http://www.mech.kuleuven.be/MT-ITS2011/download/proceedings.html
Simulation of solutions of a fixed-speed model for the real-time railway traffic optimization problem
RailRome 2011, 4th International Seminar on Railway Operations Modelling and Analysis, 16-18 february 2011, Roma, Italy, 17p
Télécharger le documentDevelopment 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
Patterns-Based Assistance for Temporal Requirement Specification
WORLDCOMP 2011, SERP'11, International Conference on Software Engineering Research and Practice, july 18-21 2011, Las Vegas, Nevada, USA, 7p
Plus d'infosEditorial. 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'infosReflections on the development of a common incidents/accidents model for urban guided transport in Europe
APM, Automated People Movers and Transit Systems,May 22 - 26, 2011, Paris, France, 10p
Télécharger le documentThe renovation requirements for the VAL manless system in Lille
APM, Automated People Movers and Transit Systems,May 22 - 26, 2011, Paris, France, 8p
Télécharger le documentSaving Energy in Railway Management with an Evolutionary Multiobjective Algorithm: Application and Case Study
WCRR 2011, 9th World Congress on Railway Research, may 22-26 2011, Lille, France, 19p
Plus d'infosRequirement Refinement to Test Case Generation for Railway Control Systems
EURO - ZEL 2011, 19th International Symposium 8th - 9th, June 2011, ©ilina, Slovak Republic, 8p
www.zu-zel.sk/file/down/2011/Yang.pps
Contribution de la chronobiologie de la vigilance a la sécurité des transports
SETIT, 6th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, 26-29 octobre 2011, Sousse, Tunisie, 7p
Plus d'infosTowards an Ontology of Help to the Modeling of Accident Scenarii Application on Railroad Transport
SETIT, 6th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, 26-29 octobre 2011, Sousse, Tunisie, 7p
Plus d'infosConstruction d'une ontologie d'aide au renforcement de la sécurité des systèmes de transport automatisés
EGC 2011, 11ème Conférence internationale francophone sur l'extraction et la gestion des connaissances, 25 au 28 janvier 2011, Brest, France, 15p
Télécharger le documentThe Contribution of Machine Learning to Analyze and Evaluate the Safety of Automated Transport Systems.
CCCA'11, IEEE 2011 International Conference on Communications, Computing and Control Applications, March 3-5 2011 Hamammet, Tunisia, 6p
Plus d'infosLocalisation tri-dimensionnelle robuste d'objets par propagation de croyance hiérarchique
TELECOM2011 & 7ème JFMMA 16-18 mars 2011, Tanger, Maroc, 6p
Plus d'infosMulti-objective Evolutionary Algorithm for Speed Tuning Optimization with Energy Saving in Railway: Application and Case Study
RAILROM 2011, 4th International Seminar in Railway Operations Research,february 2011, Roma, Italy, 19p
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'infosMonitoring and Diagnosis of Discrete Event Systems using Time Petri Nets : a Railway Case Study
Fault Detection: Theory, Methods and Systems, SIMON,L (ED), p69-95
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
Cyclistes urbains : qui etes-vous ?
Congrès international ATEC ITS, février 2011, Versailles, France, 5p
Télécharger le documentA 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/
An ant algorithm for measuring and optimizing the capacity of a railway infrastructure, in Artificial Ants, Monmarche,N, Guinand,F, Siarry,P (Eds), Wiley
WILEY, p11-41
Plus d'infosSurveillance des systèmes à événements discrets à l'aide des réseaux de Petri temporels
EUE Editions Universitaires Européennes, 160p
Plus d'infosAnalyse d'un modèle AADL à l'aide de Pola
AFADL 2010, 10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels, 9-11 Juin 2010, Poitiers, France, 4p
Télécharger le documentModélisation de la fonction de localisation des trains à grande vitesse
Journée des doctorants SPI et STIC de l'INRETS, mai 2010, Villeneuve d'Ascq, France, 7p
Plus d'infosA constraint-based scheduling model for optimal train dispatching
2010 Joint Rail Conference, april 27-29 2010, Urbana, Illinois, USA, 8p
Plus d'infosA future driver assistance system for train control realization in case of signaling system ERTMS dysfunction
ITST 2010 10th International Conference on Intelligent Transport Systems Telecommunications, , november 9-11, 2010, Kyoto, Japan, 6p
Plus d'infosDisturbances modelling for improving the traffic operation for the public transport networks
IFAC LSS Symposium, Large Scale Systems: Theory and Applications, juillet 2010, Villeneuve d'Ascq, France, 7p
Plus d'infosModeling of interface dialog between train and balise localization by signaling system ERTMS in dysfunction cases
12th IFAC-LSS'2010 symposium Large Scale Systems : Theory and Applications, juillet 2010, Villeneuve d'Ascq, France, 9p
Plus d'infosSystème d'information d'un usager à l'approche d'un passage à niveau
Dépôt INPI le 4 février 2010 n° 10 50765, 12p
Plus d'infosPrise en compte du risque humain dans le secteur maritime. Application au projet des autoroutes de la mer
Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 5-7 octobre 2010, La Rochelle, France, 10p
Télécharger le documentElaboration d'un référentiel réglementaire en matière de sécurité ferroviaire
Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 5-7 octobre 2010, La Rochelle, France, 9p
Télécharger le documentOptimisation de la gestion des circulations dans une gare de métropole. In: Innovations dans les transports guidés urbains et régionaux (Traité systèmes automatisés, IC2) , Soulas,C et Wahl,M (Eds)
Innovations dans les transports guidés urbains et régionaux (Traité systèmes automatisés, IC2), Soulas,C et Wahl,M (Eds), 244-250
Plus d'infosMéthodes formelles : des logiciels aux systèmes critiques
Innovations dans les transports guidés urbains et régionaux (Traité systèmes automatisés, IC2), Soulas,C et Wahl,M (Eds), p146-156
Plus d'infosContrôle et évaluation de la sécurité des systèmes de transport guidés urbains
Innovations dans les transports guidés urbains et régionaux (Traité systèmes automatisés, IC2), Soulas,C et Wahl,M (Eds), p133-46
Plus d'infosPANsafer Project: Towards a safer level crossing
11th Global Level Crossing Symposium, october 2010, Tokyo, Japan,
Plus d'infosAssisting Specification and Consistency-Check of Temporal Requirements for Critical Systems
SERP2010 - WorldComp'2010, 9th International Conference on Software Engineering Research & Practice, july 2010, Las Vegas, Nevada, USA, 7p
Plus d'infosMethodology for assessing safety systems Application for a railway hot box protection system
FORMS/FORMAT 2010, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, december 2010, Braunschweig, Germany, 8p
Plus d'infosOn Optimizing a Demand Responsive Transport with an Evolutionary Multiobjective Approach
ITSC 2010, 13th IEEE Intelligent Transport Systems Conference, 19-22 september 2010, Madeira Island, Portugal,
Plus d'infosAn Evolutionary Multiobjective Approach for Speed Tuning Optimization with Energy Saving in Railway Management
ITSC 2010, 13th IEEE Intelligent Transport Systems Conference, 19-22 september 2010, Madeira Island, Portugal, p279-284
Plus d'infosEvolutionary Multi-objective Optimization of Speed Tuning in Railway Management: A Case Study
META'2010, International Conference on Metaheuristics and Nature Inspired Computing, october 2010, Djerba, Tunisia, 2p
Plus d'infosCommon approach for supervising the railway safety performance
Safety and Security in Railway Engineering, SCIUTTO,G (ED), p69-79
Plus d'infosEuropean 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
Taking advantage of some complementary modelling methods to meet critical system requirement specifications
Safety and Security in Railway Engineering, SCIUTTO,G (ED), p119-128
Plus d'infosPatterns de Spécification des Exigences Temporelles
Journée des doctorants SPI et STIC de l'INRETS, mai 2010, Villeneuve d'Ascq, France, 7p
Plus d'infosBRILLANT: an open source platform for B
Workshop on Tool Building in Formal Methods, february 2010, Orford, Quebec, Canada, 5p
http://hal.archives-ouvertes.fr/inria-00480709/fr/
Toward the Human Stability in Transportation Systems: Concept and Objectives
11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, August 31 - September 3, 2010, Valenciennes, France, 6p
Plus d'infosVers le concept de stabilité humaine pour l'amélioration de la sécurité des transports
Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 5-7 octobre 2010, La Rochelle, France, 7p
Télécharger le documentTowards the Human Stability concept in order to improve safety in transport systems
ESREL 2010, 5 au 9 September 2010, Rhodes, Greece, 8p
Plus d'infosFunctioning mode Management and formal assessment of safety
IFAC LSS Symposium, Large Scale Systems: Theory and Applications, juillet 2010, Villeneuve d'Ascq, France, 6p
Plus d'infosModèle sûr de fonctionnement du wagon intelligent de ferroutage
Journal National de la Recherche en IUT, 1, p155-168
Plus d'infosDesign of dependable system architectures for a railroad smart wagon using shared functions
ITSC 2010, 13th IEEE Intelligent Transport Systems Conference, 19-22 september 2010, Madeira Island, Portugal, 6p
Plus d'infosThe concept of a smart wagon for improving the safety of a railroad transportation system
IFAC LSS Symposium, Large Scale Systems: Theory and Applications, juillet 2010, Villeneuve d'Ascq, France, 6p
Plus d'infosCapitalisation et exploitation des connaissances de sécurité
Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 5-7 octobre 2010, La Rochelle, France, 9p
Télécharger le documentMéthodologie de conception de systèmes d'automatisation. Proposition du concept du wagon intelligent pour améliorer la sûreté de fonctionnement du ferroutage
Editions Universitaires Européennes, 221p
Plus d'infosVers une ontologie pour le domaine de l'analyse de sécurité des systèmes de transport automatisés
Conférence TOTh 2010, Terminologie & Ontologie, Théories et applications, 3-4 juin 2010, Annecy, France, 17p
Plus d'infosMethodological Approach of Management of the Risks in the Industrial Sector: Application to the Oil Sector
EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 8p
Plus d'infosTowards an Ontology of Risks Analysis
EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 10p
Plus d'infosTaking into Account of Safety in Models of Railroad Traffic Management and Optimization
EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 9p
Plus d'infosTaking into Account of Human Risk in Maritime Sector. Application on Sea Motorways Project
EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 11p
Plus d'infosSystem Based Knowledge for the Help in Exploitation of Field Data Feedback in Railroad Transport
EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 6p
Plus d'infosSupporting Tool of Regulation Capitalization and Exploitation in Railroad Safety
EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 9p
Plus d'infosContribution of case based reasoning (CBR) in the exploitation of return of experience. Application to accident scenarii in rail transport
SIIE'2010, 3rd International Conference on Information Systems and Economic Intelligence, 18-20 february 2010, Sousse, Tunisia, 8p
Plus d'infosContribution of the return of experience to Security
SIIE'2010, 3rd International Conference on Information Systems and Economic Intelligence, 18-20 february 2010, Sousse, Tunisia, 4p
Plus d'infosAnalysis and maritime Risk management
SIIE'2010, 3rd International Conference on Information Systems and Economic Intelligence, 18-20 february 2010, Sousse, Tunisia, 6p
Plus d'infosIntroduction à la sécurité et à l'analyse des risques technologiques et humains
Symposium International sur la Maintenance et la Maîtrise des Risques, avril 2010, Rabat, Maroc, 16p
Télécharger le documentVers la prise en compte de l'expérience des temps de déplacement dans les modèles conceptuels des applications interactives personnalisées
Interaction homme-machine dans les transports - information voyageur, personnalisation et assistance, KOLSKI,C (ED), 28p
Plus d'infosPrincipes, problématique et perspectives de l'information voyageur dans un contexte multimodal
Interaction homme-machine dans les transports - information voyageur, personnalisation et assistance, KOLSKI,C (ED), 21p
Plus d'infosDense Stereo Matching by Hierarchical Belief Propagation based on Fuzzy Confidence Approach
14th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, September 8,9 & 10 Cardiff, Wales, UK, 10p
Plus d'infosBackground Subtraction and 3D Localization of Moving and Stationary Obstacles at Level Crossings
IPTA 2010, IEEE International Conference on Image Processing, Theory, Tools and Applications, 7-10 july 2010, Paris, France, 6p
Plus d'infosRobust 3D Objects Localization using Hierarchical Belief Propagation in Real World Environment
14th International Conference on Image Processing, Computer Vision, and Pattern Recognition, 12-15 July 2010, Las Vegas, Nevada, USA, 6p
Plus d'infosRailway traffic flow modelling using bond graphs
MOSIM'10, 8th International Conference of Modeling and Simulation, Evaluation and optimization of innovative production systems of goods and services, 10-12 may 2010, Hammamet, Tunisia, 4p
Plus d'infosPatterns For Temporal Requirements Engineering. A level crossing case study
ICINCO 2010, 7th International Conference on Informatics in Control, Automation and Robotics, juin 2010, Madeira, Portugal, 8p
Plus d'infosTime-constrained systems validation using MDA model transformation. A railway case study
MOSIM'10, 8th International Conference of Modeling and Simulation, Evaluation and optimization of innovative production systems of goods and services, 10-12 may 2010, Hammamet, Tunisia, 9p
Plus d'infosEcran autonome interactif embarqué. Pour une information personnalisée dans le véhicule
Congrès ATEC ITS France Mobilité et Avenir des Territoires : l'accès aux services, 3-4 février 2010, Paris, France, 8p
Plus d'infosDu concept de recherche au prototype industriel : l'exemple de Viatic
Congrès ATEC-ITS mobilité et avenir des territoires, 3-4 février 2010, Versailles, France, 11p
Plus d'infosComment l'intelligence ambiante peut-elle contribuer aux transports intelligents ?
Congrès ATEC ITS France Mobilité et Avenir des Territoires : l'accès aux services, 3-4 février 2010, Paris, France, 11p
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
3rd International Seminar on Railway Operations Modelling and Analysis - RailZurich2009
3rd International Seminar on Railway Operations Modelling and Analysis - RailZurich2009, SUISSE, 50p
Télécharger le documentModèle du wagon intelligent de ferroutage
15ème séminaire CNRIUT'09, Colloque National de la Recherche en IUT, 09 juin 2009, Villeneuve d'Ascq, France, 1p
Télécharger le documentDes réseaux solistes en quête de chefs d'orchestre
L'expansion, Les cahiers du management, n?737 janvier 2009, p105
Plus d'infosRisks and Governance, which approach?
4ème Colloque International l'ISG de Gabès, décembre 2009, Tataouine, Tunisie, 6p
Télécharger le documentUsing 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
Analyse des risques des systèmes de transport intelligents
Workshop Rôle des nouvelles technologies et des infrastructures dans la sûreté et la sécurité des systèmes de transport, octobre 2009, Rabat, Maroc, 5p
Télécharger le documentInformer les voyageurs pour une mobilité raisonnée
Paroles de Chercheurs II, p148-151
Plus d'infosUser modelling: the consideration of the experience of time during journeys in public transportation
ACM Mobility conference, 6th International Conference on Mobile Technology, Applications and Systems, 2-4 september 2009, Nice, France, 4p
Plus d'infosThe Viatic Concept Information Technology for Intelligent Travellers
ITST 2009, 9th International Conference on ITS Telecommunications, october 2009, Lille, France, 5p
Plus d'infosÉvaluation des exigences temporelles des systèmes complexes ; Aperçu de l'existant et introduction d'une nouvelle approche générique
Journée des Doctorants de l'INRETS 2009, avril 2009, Villeneuve d'Ascq, France, 17p
Plus d'infosA New Selective Confidence Measure-Based Approach for Stereo Matching. In Velásquez, J.D.; Ríos, S.A.; Howlett, R.J.; Jain, L.C. (Eds.), Knowledge-Based and Intelligent Information and Engineering Systems
KES 2009, 13th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, CHILI, p185-192
http://www.springer.com/computer/artificial/book/978-3-642-04594-3
Mise en correspondance stéréoscopique d'images couleur pour la détection d'objets obstruant la voie aux passages à niveau
7ème Télécom' 2009 et 6ème JFMMA, Journées Franco-Maghrébines des Micro-ondes et leurs Applications, mars 2009, Agadir, Maroc, p207-210
Télécharger le documentDétection de régions en mouvement et suivi 3D d'obstacles aux passages à niveau
Journée des doctorants SPI et STIC de l'INRETS, Avril 2009, Villeneuve d'Ascq, France, 14p
Plus d'infosProposition d'une modélisation d'un Système Homme-Machine par l'approche Système Dynamique Hybride
Journée des doctorants SPI et STIC de l'INRETS, Avril 2009, Villeneuve d'Ascq, France, 11p
Plus d'infosA behavioural model for the level crossing collision risk assessment
Safety and Security Engineering III Procedings of Safe 2009, 3rd International Conference on Safety and Security Engineering, july 2009, Roma, Italy. GUARASCIO,M ; BREBBIA,CA (Eds), p637-646
Plus d'infosState 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
La fluidification des circulations dans les noeuds ferroviaires
Conférence i-Trans SIFER, Économies d'énergie dans l'exploitation de l'infrastructure et du matériel roulant, mai 2009, Lille, France, 30p
Télécharger le documentManaging the railway safety performance
First National Conference on Railway safety and operation research : present development and future perspectives, march 2009, Roma, Italy, 23p
Télécharger le documentLa fluidification des noeuds sensibles dans la gestion du réseau
Journée Technique SEE,Le futur des transports ferroviaires et guidés, mars 2009, Lille, France, 21p
Télécharger le documentAn incremental heuristic for the train routing and scheduling problem
ITS 2009, International Conference on Models and Technology for Intelligent Transportation Systems, June 2009, Roma, Italy, 8p
Télécharger le documentA study of an incremental texture-based heuristic for the train routing and scheduling problem
3rd International Seminar on Railway Operations Modelling and Analysis, february 2009, Zurich, Switzerland, 14p
Télécharger le documentSafer European Level Crossing Appraisal and Technology-SELCAT. Second workshop :Technology, 22 - 23 Novembre 2007 Marrakech (Maroc)
INRETS, 212p
Plus d'infosA generation method of test scenarios based on models
Safety and Security Engineering III Procedings of Safe 2009, 3rd International Conference on Safety and Security Engineering, july 2009, Roma, Italy. GUARASCIO,M ; BREBBIA,CA (Eds), 9p
Plus d'infosModelling of the European Rail Traffic Management System (ERTMS) for checking objectives
CTS'09, 12th IFAC Symposium on Control in Transportation Systems, September 2009, California, USA, 6p
Télécharger le documentValidating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers
VECOS2009, Verification and Evaluation of Computer and Communication Systems, juillet 2009, Rabat, Maroc, 12p
Plus d'infosOptimal 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
« ALoCSyS », un outil logiciel d'aide à la conception de systèmes d'automatisation sûrs de fonctionnement
3SGS'09, 2nd Workshop Surveillance, Sûreté et Sécurité des Grands Systèmes, juin 2009, Nancy, France, 9p
Télécharger le documentAmélioration de la sûreté de fonctionnement du ferroutage par le concept du wagon intelligent
CNRIUT 2009, 15ème Colloque National de la Recherche en IUT, juin 2009, Lille, France, 9p
Télécharger le documentEtude de la conception d'un système d'aide à la conduite de trains lors du dysfonctionnement du système de signalisation ERTMS
3SGS'09, 2nd Workshop Surveillance, Sûreté et Sécurité des Grands Systèmes, juin 2009, Nancy, France, 9p
Télécharger le documentDesign of the driver assistance system for train's control in case of signaling system ERTMS dysfunction
ITS 2009, International Conference on Models and Technology for Intelligent Transportation Systems, June 2009, Roma, Italy, 8p
Télécharger le documentThe Cost Benefit Analysis of level crossing safety measure
Safe 2009, 3rd International Conference on Safety and Security Engineering, july 2009, Roma, Italy, 11p
Télécharger le documentMonitoring of Temporal Requirements with Stocharts Observation Patterns, Application to a Level Crossing Control System
DCDS09, 2nd IFAC Workshop on Dependable Control of Discrete Systems, june 2009, Bari, Italy, p71-76
Télécharger le documentVerification of Temporal Requirements of Complex Systems Using UML Patterns, Application to a Railway Control Example
4th IEEE International Conference on System of Systems Engineering, May 31st -June 3rd 2009, Albuquerque, New Mexico, USA, 6p
Plus d'infosIntégration de la Sécurité dans les Systèmes Technologiques de l'Information et de la Communication
SETIT, 5th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, mars 2009, Hammamet, Tunisie, 5p
Télécharger le documentIntégration de la Sécurité dans les Autoroutes de la mer
SETIT, 5th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, mars 2009, Hammamet, Tunisie, 11p
Plus d'infosContribution du Raisonnement à Partir de cas à l'Evaluation des Logiciels de Sécurité
SETIT, 5th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, mars 2009, Hammamet, Tunisie, 7p
Plus d'infosAlgorithme de fourmis pour mesurer et optimiser la capacité d'un réseau ferroviaire
Fourmis artificielles, Tome 1 : des bases de l'optimisation aux applications industrielles, MONMARCHE,N (ED), GUINAND,F (ED), SIARRY,P (ED), p215-244
Plus d'infosStability 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
Safer European Level Crossing Appraisal and Technology-SELCAT. First Workshop: Appraisal, May 16th, 2007, Villeneuve d'Ascq, France
Institut de Recherche sur les Transports et leur Sécurité - INRETS, 195p
Télécharger le documentEvaluation of Personalized Information Systems: Application in Intelligent Transport System
SEKE2008, 20th International Conference on Software Engineering and Knowledge Engineering, July 1-3 2008, San Francisco, USA, p877-880
Télécharger le documentLa 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'infosHuman stability toward a risk indicator in guided transport
27th European Annual Conference on Human Decision-Making and Manual Control, PAYS-BAS, 8p
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'infosEtude d'un système multicapteurs pour la reconnaissance de situations potentiellement dangereuses aux passages à niveau
Communiquer, Naviguer, Surveiller. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN de l'INRETS du 3 avril 2008, WAHL,M (ED) ; BERBINEAU,M (ED), 10p
Plus d'infosModelling of the ERTMS specifications for checking and tests generation objectives
FORMS 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, october 2008, Budapest, Hungary, 7p
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
Apport de l'intelligence artificielle à la sécurité des transports ferroviaires
FIRTL 2008, Forum Inter universitaire de Recherche En Transport et Logistique, avrill 2008, Sousse, Tunisie, 12p
Télécharger le documentMéthode originale d'analyse des risques technologiques
Symposium maintenance et maîtrise des risques, mai 2008, Oran, Algérie, 12p
Télécharger le documentComplementarity of Preliminary Hazard Analysis and Field Data Feedback to improve security - Application to rail transport
STA 2008, 9th International conference on Sciences and Techniques of Automatic control & computer engineering, december 2008, Sousse, Tunisia, 9p
Télécharger le documentApport du retour d'expérience à l'analyse des risques
16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 6p
Plus d'infosIntégration des facteurs humains dans le retour d'expérience
16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 6p
Télécharger le documentAnalyse préliminaire de risques et Retour d'expérience : deux approches complémentaires pour améliorer la sécurité des transports ferroviaires
CIFA 2008, Conférence Internationale Francophone d'Automatique, septembre 2008, Bucarest, Roumanie, 5p
Plus d'infosHow can risk aversion factor characterise choices of economic agents under uncertainty in rail transport?
FORMS 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, october 2008, Budapest, Hungary, 9p
Plus d'infosApproche orientée modèles pour une conception UML certifiée des systèmes logiciels critiques
CIFA 2008, Conférence Internationale Francophone d'Automatique, septembre 2008, Bucarest, Roumanie, 7p
Télécharger le documentTemporal requirements checking in a safety analysis of railway systems
FORMS/FORMAT 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, october 2008, Budapest, Hungary. Schnieder,E and Géza Tarnai,G (Eds), 8p
Plus d'infosSystems engineering approach for the railway worksites' safety modelling
WOS 2008,4th Working on Safety Conference, Working On Safety Network, september-october 2008, Crete, Greece, 8p
Plus d'infosRisk Apportionment for Railway Safety
WOS 2008,4th Working on Safety Conference, Working On Safety Network, september-october 2008, Crete, Greece, 10p
Plus d'infosStochastic Petri Nets for Risk Assessment
FORMS 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, october 2008, Budapest, Hungary, 8p
Plus d'infosGestion des risques dans le contexte d'un réseau ferroviaire européen ouvert et unifié
16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 5p
Plus d'infosA Risk Assessment framework for Road-Rail Level Crossings: Application to Moroccan Level Crossings
Level crossing 2008, 10th International Level Crossing Safety and Trespass Prevention Symposium, juin, Paris, France, 10p
Plus d'infosManagement Préliminaire des Risques (MPR). Proposition d'une méthode systémique et organisationnelle basée sur une ontologie générique
3SGS, workshop surveillance, sûreté et sécurité des grands systèmes, juin 2008, Troyes, France, 10p
Plus d'infosA behavioural model for the Level Crossing Collision Risk Assessment
COMPRAIL 2008, 11th International Conference on Computer System Design and Operation in the Railway and Other Transit Systems 15-17 Septembre, Tolède, Espagne, 10p
Plus d'infosApproche d'évaluation quantitative du risque de collision sur les passages à niveau
16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 6p
Plus d'infosSynthèse de contrôle de systèmes à événements discrets temporisés : application au passage à niveau
CIFA 2008, Conférence Internationale Francophone d'Automatique, septembre 2008, Bucarest, Roumanie., 7p
Plus d'infosProgrammation par contraintes pour l'allocation des objectifs de sécurité. Application au transport ferroviaire
16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 5p
Plus d'infosTaking advantage of some complementary modelling methods to meet critical system requirement specification
COMPRAIL 2008, 11th International Conference on Computer System Design and Operation in the Railway and Other Transit Systems 15-17 Septembre, Tolède, Espagne. J. ALLEN, C.A. BREBBIA, A.F. RUMSEY, G. SCIUTTO, S. SONE, C.J. GOODMAN (Eds), p153-161
Plus d'infosVers une intégration des facteurs humains dans le formalisme SAFE-SADT : application au freinage ferroviaire
16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 7p
Plus d'infosAn Incremental Decision Algorithm for Railway Traffic Optimisation in a Complex Station
COMPRAIL 2008, 11th International Conference on Computer System Design and Operation in the Railway and Other Transit Systems 15-17 Septembre, Tolède, Espagne. J. ALLEN, C.A. BREBBIA, A.F. RUMSEY, G. SCIUTTO, S. SONE, C.J. GOODMAN (EDS), p495-504
Plus d'infosMéthodologie de conception de systèmes sûrs et économiques basée sur des scenarios et des arbres de défaillances multiples
16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 9p
Plus d'infosOptimal design of control systems using a dependability criteria and temporal sequences evaluation. Application to a railroad transportation system
ESREL 2008, Conference on Safety and Reliability, september 2008, Valencia, Spain. Safety, Reliability and Risk Analysis: Theory, Methods and Applications, Martorell,S, Guedes Soares,C, Barnett,J (Eds), p3199-3209
Plus d'infosMéthodologie de conception d'architectures de systèmes sécuritaires pour le ferroutage basée sur des séquences de défaillances ordonnées dans le temps et des arbres de défaillances multiples
3SGS, workshop surveillance, sûreté et sécurité des grands systèmes, juin 2008, Troyes, France, 11p
Plus d'infosSELCAT. Its contribution to european level crossing safety
EURNEX - ZEL 2008, 16th international symposium, Railroads at the treshold of the third milenium, Towards sustainable and competitive European rail system, june 2008, Zilina, Slovak Republic, 10p
Plus d'infosThe 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
Viatic Project : Innovative Street Furniture for Sustainable Mobility
15th World Congress on Intelligent Transport Systems, november 2008, New York, USA, 3p
Télécharger le documentProcédé de recherche et de composition d'itinéraires
23p
Plus d'infosRisk Apportionment for Railway System using Constraint Programming
Risk analysis 2008, Sixth International Conference in Computer Simulation Risk Analysis and Hazard Mitigation, May, 2008, Cephalonia, Greece, 10p
Plus d'infosApplication of the SAFE-SADT method on a railway braking system
WCRR 2008, 8th World Congress on Railway Research, may 2008, Seoul, Korea, 13p
Plus d'infosUrban 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
Deployment method of tests scenarios for critical systems- Application to the ERTMS/ETCS system
WCRR 2008, 8th World Congress on Railway Research, may 2008, Seoul, Korea, 10p
Plus d'infosSELCAT. Safer European Level Crossing Appraisal and Technology
WCRR 2008, 8th World Congress on Railway Research, may 2008, Seoul, Korea, 13p
Plus d'infosEtude des scénarios de tests de systèmes critiques
Communiquer, Naviguer, Surveiller. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN de l'INRETS du 3 avril 2008, WAHL,M (ED) ; BERBINEAU,M (ED), 13p
Plus d'infosApplying constraint programming to rail traffic management problems at junctions
Transportation Research Trends, INWELDI,P (ED), p237-259
Plus d'infosConception d'un wagon de ferroutage intelligent
Zoom ITS-CIEL, L'électronique embarquée et sécurisée des ITS, 28 juin 2007, Villeneuve d'Ascq, France, 1p
Télécharger le documentA generic process and its tool support towards combining UML and B for safety critical systems
ISCA, 20th International Conference on Computer Applications in Industry and Engineering, Gongzhu Hu (ED), November 2007, San Francisco, California, USA, p185-192
Plus d'infosMéthode originale d'analyse des risques des systèmes de transports ferroviaires
CRiSIS : Conférence internationale sur des Risques et la Sécurité de l'Internet et des Systèmes, juillet 2007, Marrakech, Maroc, 5p
Télécharger le documentPrésentation d'un projet de recherche « Avis » pour l'aide à l'analyse de la sécurité des transports ferroviaires
QUALITA : congrès international pluridisciplinaire, Tanger, Maroc, mars 2007., p 545-551
Télécharger le documentAnalyse de la sécurité et Facteurs Humains dans les transports ferroviaires
42e congrès AQTR (Association Québécoise du Transport et des Routes), Québec, Canada, avril 2007, 14p
Plus d'infosACASYA et SAUTREL : Deux mécanismes d'apprentissage d'aide au retour d'expérience
4rth International Conference: Sciences of Electronic Technologies of Information and Telecommunications, Tunisia, March 2007, 7p
Télécharger le documentContribution du raisonnement à partir de cas à l'analyse des effets des erreurs du logiciel. Application à la sécurité des transports ferroviaires
In : Raisonnement à partir de cas 2, RENAUD,J (ED), p 123-148
Plus d'infosModélisation générique des scénarios d'accident dans le but d'harmoniser les APRs
Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN du 12 avril 2007, MARAIS,J (ED) ; BERBINEAU,M (ED), 10p
Plus d'infosSelcat Project : Level Crossing technology
1st SELCAT Workshop, Level Crossing appraisal, Lille, France, mai 2007, 19p
Plus d'infosVers une démarche Européenne de certification de la sécurité des transports guidés urbains
7ème Congrès international pluridisciplinaire Qualité et Sûreté de Fonctionnement, Tanger, Maroc, mars 2007, p377-384
Plus d'infosB-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 documentDesign of public transport platforms using hybrid Petri nets
7eme édition de QUALITA, Tanger, Maroc, mars 2007, p590-599
Plus d'infosAn intelligent level crossing: technical solutions for improved safety and security
XVIIth Scientific Conference with International Participation Transport 2007, Sofia, Bulgaria, 16th - 17th November 2007, p13-18
Plus d'infosContribution à l'étude de la couverture des scénarios de tests de systèmes critiques - Application au système de signalisation ferroviaire ERTMS/ETCS
Workshop international A Technically IEEE/SMC Co-Sponsorised Workshop Logistique & Transport 2007, 18-20 novembre 2007, Sousse, Tunisie, p109-114
Télécharger le documentTowards an european certification process for the safety of urban guided transport systems
Zel 2007, 15th Symposium EURNEX, may 2007, Zilina, Slovak Republic, 10p
Télécharger le documentPrise en compte des facteurs humains dans la sécurité ferroviaire
Tunisie, novembre 2007, 15p
Télécharger le documentProposal of a generic methodology to harmonize Preliminary Hazard Analyses for guided transport
IEEE SMC, SoSE 2007 (International Conference on System of Systems Engineering), Avril 2007, Etats-Unis, 6p
Plus d'infosA PHA base on a Systemic and Generic Ontology
IEEE/INFORMS International Conference on Service Operations and Logistics, and Informatics (SOLI'2007), Etats-Unis, august 2007, 6p
Plus d'infosContribution à l'étude des scénarios de tests de systèmes critiques. Application au système de signalisation ferroviaire ERTMS/ETCS
Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN du 12 avril 2007, MARAIS,J (ED) ; BERBINEAU,M (ED), 12
Plus d'infosModelling of the European railway system for automatic chekings
EURNEX - ZEL 2007, 15th International symposium, Zilèna, Slovaquie, 8
Télécharger le documentRadiographie du voyageur : de l'(in)activité aux services à la mobilité
Congrès international ATEC-ITS, 30 et 31 janvier 2007, Issy les Moulineaux, France, 7p
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
Analyzing, controlling and modelling the human error
Transport-2007, Sofia 16th, 17th November 2007, 6p
Télécharger le documentModélisation discrète et formelle pour l'évaluation et la validation de la sécurité au passage à niveau
Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN du 12 avril 2007, MARAIS,J (ED) ; BERBINEAU,M (ED), 13p
Plus d'infosA Time Based Approach for the Monitoring of DES under Partial Observability - Application to a Railway Circuit
Qualita, 7ème Congrès international pluridisciplinaire Qualité et Sûreté de Fonctionnement, Tanger, Maroc, mars 2007, 10p
Télécharger le documentContribution à la conception de système sûrs de fonctionnement appliqués aux wagons de ferroutage
Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN du 12 avril 2007, MARAIS,J (ED) ; BERBINEAU,M (ED), 12p
Plus d'infosRolling Stock and GSM-R assessment approach of rail systems for Interoperability
Workshop international Logistique & Transport LT' 2007, a technically IEEE/SMC co-sponsored workshop, 18-20 novembre 2007, Sousse, Tunisie, 6p
Plus d'infosA key challenge for cross acceptance and harmonisation procedures in the field of Rolling Stock and GSM-R/ERTMS
workshop international ITELMS'2007 -Intelligent Technologies in Logistics and Mechatronics Systems Source 28-29 September 2007, Jurmala-Riga, Latvia - Lettonie, 2007, 4p
Télécharger le documentAutomatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design
SoSE International Conference on System of Systems Engineering in service of Energy and Security, April 16-18th, 2007, San Antonio, Texas, 6p
Plus d'infosA 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 documentModel for the worksites' safety management
2nd International Seminar on Safety and Security of Railway Operations, Rabat, Maroc, 29p
Télécharger le documentA study of the use of state resources in a constraint-based model for routing and scheduling trains
2nd International Seminar on Railway Operations Modelling and Analysis - Hannover, Germany, 14p
Télécharger le documentUne Démarche Harmonisée pour l'Allocation des Objectifs de Sécurité Basée sur une Approche Fonctionnelle
Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN du 12 avril 2007, MARAIS,J (ED) ; BERBINEAU,M (ED), 13p
Plus d'infosManaging the Safety Performance of an Open Rail System
EURNEX - ZEL 2007, 15th International symposium, Zilèna, Slovaquie, 8p
Télécharger le documentSafety system conception by using a semi quantitative reliability evaluation application to rail-road system
International conference on industrial engineering and systems Management: IESM2007, May 30,June 2, 2007, Beijing, China., 6p
Télécharger le documentDescription Logics in the Calculus of Structures
20th International workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, 8-10 june 2007, 8p
Plus d'infosA constraint programming model for real-time train scheduling at junctions
Transportation Research Part B, Vol41, n1, p231-245
Plus d'infosOperating rules description using Petri nets
FORMS/FORMAT 2007,Eckehard Schnieder and Géza Tarnai (Eds), 25th and 26th january 2007, Braunschweig, Germany, p139-146
Plus d'infosFormal methods and temporal safety requirements: A level crossing application
FORMS/FORMAT 2007, Eckehard Schnieder and Géza Tarnai (Eds) ; 25th and 26th january 2007, Braunschweig, Germany, p220-230
Plus d'infosFunctional Hazard Analysis for Railway Safety
Symposium FORMS/FORMAT 2007, Eckehard Schneider, Géza Tarnai (Eds.), 25th and 26th January 2007, Braunschweig, Germany, p164-73
Plus d'infosConcepts et terminologie de base pour l'Analyse Préliminaire des Risques dans le Transport Ferroviaire
Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs. Rencontre avec les doctorants des laboratoires LEOST, ESTAS, LIVIC, LTN. Actes inrets n°109, 6 avril - 6 octobre 2006, France, 10p
Plus d'infosSynthèse - Quinzième colloque Lambda Mu
RTS : Recherche transports sécurité, n93, p335-337
Plus d'infosConception de systèmes intelligents sûrs de fonctionnement Application au ferroutage
Journée des doctorants de l'INRETS 2006, Actes INRETS, p153-164
Plus d'infosModélisation du comportement humain dans les scénarios d'accidents ferroviaires
STA'2006, Septième conférence internationale des Sciences et Techniques de l'Automatique, 17-19 décembre 2006, Hammamet, Tunisie, 17p
Télécharger le documentMéthode d'analyse préliminaire des risques dans les transports ferroviaires
Lambda Mu 15, Maîtrise des Risques et sûreté de fonctionnement, Risques et Performances, Lille, octobre 2006, p434-437
Télécharger le documentRéglementation en matière de retour d'expérience dans les transports ferroviaires
Workshop International : Logistique & Transport, Hammamet, Tunisie,mai 2006, 5p
Télécharger le documentB-RAIL Analyse et modélisation des exigences
Génie Logiciel, n79, p18-24
Plus d'infosSELCAT - a New European Project for Safer Level Crossings
9th International Level Crossing Safety and Trespass Prevention Symposium 2006 September 10-14, 2006, 7p
Plus d'infosCommon approach for supervising the railway safety performance
COMPRAIL 2006, 10-12 July 2006, Prague, Czech Republic, 10p
Plus d'infosAssessment of the Safety management system in railway sectors
WCRR 2006, 4 au 8 Juin 2006, Montréal CANADA, 10p
Plus d'infosDéveloppement et harmonisation de la sécurité ferroviaire
Workshop International : Logistique & Transport 2006, 28 Avril au 2 Mai, Hammamet, Tunisie, 6p
Télécharger le documentThe contribution of state resources in a constraint-based scheduling model for conflict solving at railway junctions
Computers in Railways X: Computer System Design and Operation in the Railway and Other Transit Systems (COMPRAIL 2006) WIT Transactions on The Built Environment,, p591-600
Plus d'infosFormalisme pour la validation de règlements de sécurité
Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs, actes Inrets N°109, Berbineau,M, Marais,J (ED), 9p
Plus d'infosSelecting efficient solutions for the stability evaluation problem of a railway timetable
MOPGP'06: 7th Int. Conf. on Multi-Objective Programming and Goal Programming, June 12-14, 2006 Tours, France, 4p
Télécharger le documentStability evaluation of a railway timetable
INCOM 2006, 12th IFAC Symposium on Information Control Problems in Manufacturing, Vol III, Operational Research, may 2006, Saint-Etienne, France, p379-384
Plus d'infosModèle d'ordonnancement à base de contraintes pour la gestion du trafic ferroviaire
Séminaire PFI-TISIC N° 6 Optimisation discrète, 19 septembre 2006, France, 59p
Télécharger le documentUsing dataflow traceability between functions in the safety evaluation process
IMACS 2006, Multiconference on Computational Engineering in Systems Applications, octobre 2006, Beijing, China, Fuchun Sun and Huaping Liu (Eds), p1095-1101
Plus d'infosComparison of rail safety framework in Europe, North America and Japan
7th World Congress on Railway Research (WCRR'2007), 8p
Plus d'infosRégulation du trafic des réseaux de transport collectif : Approche Évolutionniste-Logique floue
META'06 : Métaheuristiques, 2-4 Novembre 2006, Hammamet, Tunisie, 13p
Télécharger le documentCross acceptance under the interoperability and safety directives
EURNEX-ZEL 2006, 14th international symposium Toward the competitive rail systems in europe, 30-31 mai 2006, Zilina, République Slovaque, p191-199
Télécharger le documentEvaluation des règles d'exploitation pour l'interopérabilité et la sécurité dans les transports ferroviaires
MOSIM'06, Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités, 6e Conférence Francophone de MOdélisation et SIMulation, 3-5 avril 2006 - Rabat- Maroc, 7p
Plus d'infosFormalisation and simulation of operating rules using coloured Petri nets
Computer in Railways X, J. Allen, C.A. Brebbia, A.F. Rumsey, G. Sciutto, S. Sone and C.J. Goodman (Eds), p341-349
Plus d'infosFrom UML to B - a level crossing case study
Computer in Railways X, J. Allen, C.A. Brebbia, A.F. Rumsey, G. Sciutto, S. Sone and C.J. Goodman (Eds), p351-359
Plus d'infosSafety requirements and p-time Petri nets: A Level Crossing case study
2006 IMACS Multiconference on Computational Engineering in Systems Applications (CESA' 2006), p1118-1123
Plus d'infosSafety intelligent system conception for piggyback service
IEEE International Conference on Industrial Technology : ICIT2006, 15-17 December 2006, Mumbai., p1659-1664
Plus d'infosSécurité d'un système de changement de mode de conduite Automatique/ Manuel
Workshop International : Logistique & Transport, Hammamet, Tunisie,mai 2006, p40-47
Télécharger le documentSystè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'infosRisk Apportionment Methodology Based On Functional Analysis
IMACS 2006, Multiconference on Computational Engineering in Systems Applications, octobre 2006, Beijing, China, Fuchun Sun and Huaping Liu (Eds), p1103-9
Plus d'infosPour une assistance informationnelle contextualisée: Le projet MobilUrb
TEC - Transport Environnement Circulation, 185, 7p
Télécharger le documentBRILLANT : An Open Source and XML-based platform for Rigourous Software Development
SEFM 2005, 3rd IEEE International Conference on Software Engineering and Formal Methods, september 2005, Koblenz, Germany, p373-382
Plus d'infosRailroad infrastructure operation modelling and resolution
Quaterly Journal of the Belgian, French and Italian Operations Research Societies (4OR), Vol3,n1, p83-86
Plus d'infosIs a Europe-wide harmonized process of formal acceptance relevant within the urban transport world ?
Urban Transport 2005, 11th International Conference on Urban Transport and the Environment in the 21st Century, avril 2005, Portugal, 14p
Plus d'infosAnalyse des risques d'accident dans le domaine ferroviaire
40e Congrès annuel de l'Association québécoise du transport et des routes (AQTR), 10 au 12 avril 2005, Laval, Canada, 9p
Télécharger le documentMéthode et formalisme de base pour l'analyse préliminaire des risques
STA 2005, 6th International Conference on Sciences and Techniques of Automatic control, STA'2005, Sousse, 19-21 December 2005, 6p
Plus d'infosThe VAL of TORINO, first Italian driverless automatic metro
Automated People Movers 2005, may 2005, Orlando, Florida, USA, 12p
Télécharger le documentScientific strategies to further enhance the railway safety
Zel 2005, Railways on the Edge of the 3rd Millennium, Zilina, Slovak Republic, 8p
Télécharger le documentThe 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
A CSP model and LNS approach for the railway saturation problem
EU/ME Working Group worshop Combination of metaheuristic and local search with Constraint Programming techniques November 28-29, 2005, Nantes, France, 7p
Télécharger le documentOptimisation du problème de capacité d'infrastructures ferroviaires
Journée de synthèse TAT-MOST, 06 Juin 2005, Béthune, France, 30p
Télécharger le documentAction Spécifique RECIFE : Analyse de la capacité ferroviaire
Journée de synthèse TAT-MOST, 06 Juin 2005, Béthune, 29p
Télécharger le documentAn ant colony optimization inspired algorithm for the Set Packing Problem with application to railway infrastructure
6th Metaheuristics International Conference, MIC2005 August 22-26, 2005. Vienna, Austria, 6p
Télécharger le documentExploitation des systèmes ferroviaires : gestion en temps réel des circulations et analyse des capacités
Séminaire PFI-Innovation dans les transports guidés urbains et régionaux : «Problématiques et Incidences», Arcueil, 14 Décembre 2004, 24p
Télécharger le documentA constraint programming model for real-time trains scheduling at junctions
RailDelft2005, 1st International Seminar on Railway Operations Modelling and Analysis, June 8-10, 2005, Delft, The Netherlands, 16p
http://www.jror.nl/seminars/raildelft2005/
Evaluation of Depth-bounded Discrepancy on a CSP model of the railway saturation problem
17th IMACS, World congress, Scientific Computation, Applied Mathematics and Simulation, 11-15 July 2005, Paris, France, 7p
Télécharger le documentFormal design of public transport stations Formal design of public transport stations
Congrès international IEEE-ITSC, du 13 au 16 Septembre 2005 à Viennes-Autriche, p61-65
Plus d'infosCHV's brake discs temperature estimation: results in open road tests
IEEE-ITSC, Intelligent Transportation Systems Conference, september 2005, Vienna, Austria, p204-209
Plus d'infosContribution des techniques d'intelligence artificielle à l'analyse de la sécurité des transports ferroviaires
6e Conférence Internationale des Science et des Techniques de l'Automatique - STA'2005 19 au 21 décembre 2005 - Sousse - Tunisie, 6p
Plus d'infosUne approche économique de l'information multimodale
RTS : Recherche transports sécurité, n83, p85-98
Plus d'infosDuration calculus :A real-time semantic for B. In Liu, Zhiming, Araki, Keijiro (Eds.), Theoretical Aspects of Computing
CTCA 2004, International Colloquium on theoretical aspects of computing, CHINE, p431-446
http://www.springer.com/series/558
A Formal Framework for UML Modelling with Timed Constraints: Application to Railway Control Systems
SVERTS, Specification and Validation of UML models for Real Time and Embedded Systems, october 2004, Lisbon, Portugal, 20p
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.5745
Évaluation de l'extensibilité de PhoX:: B/PhoX un assistant de preuves pour B
JFLA 2004, Journées Francophones des Langages Applicatifs, janvier 2004, Sainte-Marie-de-Ré, France, p37-54
http://jfla.inria.fr/2004/actes/index.html
GRASP for set packing problems
European Journal of Operational Research, Vol153, n3, p564-580
http://www.sciencedirect.com/science/journal/03772217
Sécurité ferroviaire. Bases de données accidents/incidents. Etat de l'art dans les domaines aérien, maritime, routier et ferroviaire
INRETS, 122p
Plus d'infosEvaluation des performances d'un modèle CSP pour le problème
6eme congrès de la société française de recherche opérationnelle et d'aide à la décision ROADEF, 4-15 février 2004, Tours, France, 15p
Plus d'infosRôles et obligations des acteurs impliqués dans la sécurité des transports ferroviaires
LM 14, maitrise des risques et sureté de fonctionnement, 12-14 octobre 2004, Bourges, France, 8p
Plus d'infosB-RAIL - Passage d'une modélisation semi-formelle à une modélisation formelle
Maîtrise des risques et sûreté de fonctionnement, Lambda-Mu 14, octobre 2004, Bourges, France, 8P
Plus d'infosUML-based design and formal analysis of railway traffic control systems
FORMS'2004, 2-3 December 2004, Braunschweig, Deutschland, 14p
Plus d'infosTowards an interactive and effective regulation for the urban transport networks
SMC 2004, international conference on systems, man and cybernetics, 10-13 October 2004, La Hague, Pays Bas, 6p
Plus d'infosA natural extension of b substitutions: Postconditions
FSTTCS 2004, foundations of software technology and theoretical computer science, December 16-18, 2004, Chennai, India, 12p
Plus d'infosIntroduction à la cinématique ferroviaire
RGCF - REVUE GENERALE DES CHEMINS DE FER, p33-38
Plus d'infosDuration calculus: A real-time semantic for B
FDL'04 forum on specifications and design languages, 13 septembre2004, Lille, France, 14p
Plus d'infosSystème d'information transport personnalisée à base d'agents logiciels
Génie Logiciel, N70, P38-47
Plus d'infosEtude de sécurité d'un poids lourd en conduite automatique et système prédictif de pannes de capteurs
IEEE-CIFA'2004, conférence internationale francophone d'automatique, 22-24 novembre 2004, Douz, Tunisie, 6p
Plus d'infosCHV's brake discs temperature estimation: Tests and results of an energetic approach
IEEE-ITSC'04, intelligent transportation systems, October 3-6, 2004, Washington, dc, USA, 7p
Plus d'infosRetour d'expérience dans les transports ferroviaires
IEEE-CIFA'2004, conférence internationale francophone d'automatique, 22-24 novembre 2004, Douz, Tunisie, 6p
Plus d'infosFrom UML to B: A level crossing case study
8th international level crossing symposium, 13-15 April 2004, Sheffield, UK, 9p
Plus d'infosBrail - requirement analysis
FORMS'2004, 2-3 December 2004, Braunschweig, Deutschland, 9p
Plus d'infosOutils pour la gestion opérationnelle du trafic ferroviaire
INRETS;GRRTTILT 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, 2-4 décembre 2003, Lille, France, 10p
Plus d'infosLe tram-train : une problématique de sécurité nouvelle
INRETS;GRRTTILT 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, 2-4 décembre 2003, Lille, France, 9P
Plus d'infosGestion de la sécurité ferroviaire réseau thématique : SAMNET
INRETS;GRRTTILT 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, 2-4 décembre 2003, Lille, France, 8p
Plus d'infosA brake disc's temperature estimation module
SCSC'03, summer computer simulation conference, 20-24 July 2003, Montréal, Canada, 6p
Plus d'infosAGENPERSO : IHM à base d'agents logiciels personnels d'information aux usagers des transports collectifs
ACM PressIHM 03, 15e conférence francophone sur l'interaction homme-machine, 24-28 novembre 2003, Caen, France, p260-3
Plus d'infosL'apport de la localisation dans l'information aux voyageurs
ATECATEC, 22 et 26 janvier 2003, Paris, France, 8p
Plus d'infosVers une personnalisation de l'information dans les transports
GRRTInnovation technologique pour les transports terrestres, colloque international organisé par le GRRT, le 2-4 décembre 2003, Lille, France, p671-8
Plus d'infosApproche d'intégration de l'erreur humaine dans le retour d'expérience. Application au domaine de la sécurité des transports ferroviaires
INRETS, 104P
Télécharger le documentA new satellite-based fail-safe train control and command for low density railway lines
Colloque TILT, 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, 2-4 décembre 2003, Lille, France, P227-236
Télécharger le documentMobile objects and ground transportation
Colloque TILT, 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, 2-4 décembre 2003, Lille, France, p245-252
Télécharger le documentMultiagent traffic model of an automated highway system
ISCE 2003, sixteenth international conference on systems engineering system, 9-11 September. 2003, UK, 5p
Plus d'infosRésolution d'un problème d'évaluation de capacité d'infrastructure ferroviaire
Colloque TILT, 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, 2-4 décembre 2003, Lille, France, 8p
Télécharger le documentSemi formal modelling and formal specification: UML & b in simple railway application
ICSSEA, 10p
Plus d'infosThoughts about the implementation of the duration calculus with Coq
LPAR, Logic for programming artificial intelligence and reasoning, September 22-27, 2003, Almaty, Kazakhstan, 11p
Plus d'infosThe safety management in an interoperability project LIKE ERTMS. The French application
WCRR 2003, world congress on railway research, 28 September 01 October2003, Edinburgh, UK, 11p
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'infosCENELEC standards EN 50126 et 59129 : Theory and practice
WCRR 2003, world congress on railway research, 28 September-01 October 2003, Edinburgh, UK, 3p
Plus d'infosNouvelles interfaces pour les calculateurs de sécurité
Colloque TILT, 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, FRANCE, 8p
Télécharger le documentModélisation du routage des trains dans un noeud complexe et étude de capacité
2p
Plus d'infosTowards to fuzzy aid decision-making system of the Valenciennes transport network connections
IEEE-IRI'03, October 2003, Las Vegas, USA, 5p
Plus d'infosMultiagent model using coloured Petri nets for the regulation traffic of automated highway
ITCS'03, IEEE 6th international conference on intelligent transportation systems, 12-15 October 2003, Shanghai, China, 6p
Plus d'infosA traffic regulation system for the future automated highway
SMC'02, IEEE system, man and cybernetics, 6-9 October 2002, Hammamet, Tunisie, 6p
Plus d'infosThe YATE fail-safe interface: The user's point of view
8th IEEE international on-line testing workshop 2002, 8-10 juillet 2002, Bandol, France, 5p
Plus d'infosLa sécurité probabiliste et ses limites
ESREL 2002- Lambda-Mu 13, colloque européen, 19-21 mars 2002, Lyon, France, 5p
Plus d'infosApport de la chronobiologie de la vigilance au domaine de la sécurité ferroviaire
INRETSJournée spécialisée de l'INRETS : facteurs de dégradation de la vigilance et insécurité dans les transports, 25 octobre 2002, Paris, France, 11p
Plus d'infosContribution des techniques d'intelligence artificielle à la capitalisation des analyses de sécurité des systèmes de transports ferroviaires guidés
Veille stratégique - La veille dans le secteur public, 21 mars 2002, Villeneuve d'Ascq, France, 7p
Plus d'infosConstraint programming for real-time train circulation management in railway nodes
3rd research seminar on railway optimization problems, research training network amore algorithmic methods for optimizing the railways in Europe, 01-04 October 2002, Oegstgeest, Pays Bas, 46p
Plus d'infosRailway infrastructure saturation using constraint programming approach
Witpress EdCOMPRAIL 02, Computers in railways VIII, 12-14 juin 2002, Lemnos, Grece, 10p
Plus d'infosProgrammation par contraintes pour la gestion du trafic ferroviaire
INRETS-CNAM/CMSL, forum systèmes et logiciels pour les NTIC dans le transport - outils de planification dans les transports -, 30 mai 2002, Paris, France, 45p
Plus d'infosAn inexorable evolution in automated train control
ICTTS 2002, international congress on traffic and transportation studies, 23-25 July 2002, Guilin, China, p234-41
Plus d'infosFunctional analysis of the sub-system of energy and infrastructure of conventional rail
SMC'02, IEEE system, man & cybernetics 6-9 October 2002, Hammamet, Tunisie, 6p
Plus d'infosQualitative and quantitative safety assessment of ERTMS operating rules
COMPRAIL, June 2002, Grece, 10p
Plus d'infosAssessment and certification of safety critical software
WAC'2002, world automation congress, 9-13, June 2002, Orlando, USA, 6p
Plus d'infosEvaluation method of service quality parameters in transport networks
WAC'2002, IEEE world automation congress, 9-13, June 2002, Orlando, USA,
Plus d'infosSafety analysis of a frontal collision warning system
IV'2002, IEEE intelligent vehicle symposium, 18-20 mai 2002, Versailles, France, 6p
Plus d'infosKVB, le système français de contrôle de vitesse à balises
RTS : Recherche transports sécurité, n70, p94-96
Plus d'infosMaintening safety in automated transit, the Val experience
ASCEAPM 2001, 8th San Francisco USA, 7p
Plus d'infosA methodology based on multiple views for multi-agent systems in simulation, application to the transportation domain
ESS 01, 13th European simulation symposium, 18-20 octobre 2001, Marseille, France, p898-902
Plus d'infosAn efficient algorithm for the design of fault tolerant multi-sensor system
Daniel W. Repperger, Publications ChairCDC?2001, IEEE 40th conference on decision and control, December 4-7, 2001, Orlando, Florida, USA, 2p
Plus d'infosReprésentation des contraintes sous forme de règles : application aux CSP dynamiques
LIFO Université d'OrléansAFPLC, journée contraintes et règles de l'association française pour la programmation logique et la programmation par contrainte, 18 janvier 2001, Orléans, France, 31p
Plus d'infosDiagnostic de circuits électroniques à l'aide de réseaux Bayesian
JNMR'01, journées nationales sur les modèles de raisonnement, 3-4 mai 2001, Arras, France, p51-66
Plus d'infosSafety assessment of European rail rules for operating ERTMS
ASCEAutomated people movers 2001, 7-11 July 2001, San Francisco USA, 10p
Plus d'infosSafety technologies for computerised train control protection systems in France
Nordic Rail 2001, 2001-10-03/05, Elmia, Jönköping, Sweden, 3p
Plus d'infosConception sure de circuit basée sur la notion de propriété
ICSSEA 2001, CNAM, 5 décembre 2001, Paris, France, 12p
Plus d'infosApplication de la chronobiologie de la vigilance au domaine de la sécurité des transports ferroviaires
Colloque vigilance des conducteurs, pilotes et opérateurs, 15-16 novembre 2001, Toulouse, France, 11p
Plus d'infosFunctional analysis of a frontal collision avoidance system
ITS, 8th world congress on intelligent transport systems, 30 september-4-October 2001, Sydney, Australia, 8p
Plus d'infosApplication de la metaheuristique GRASP a la résolution d'un problème de capacité d'infrastructure ferroviaire
Société canadienne de recherche opérationnelleFRANCORO III, 3emes journées francophones de recherche opérationnelle, 9-12 mai 2001, Québec, Canada, 1p
Plus d'infosGRASP for set packing problems
EURO the Association of European Operational Research SocietiesORP3 2001, Operational Research Peripatetic Post-graduate Programme, September 26-28 2001, Paris, France, 9p
Plus d'infosHeuristics for railway infrastructure saturation
ElsevierICALP 2001, 28th international colloquium on automata, languages, and programming, Hersonissos, Crete, Greece, p41-55
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'infosInformation multimodale voyageurs aspects institutionnels et juridiques
Predit 1996-2000Carrefour du Predit, transports et société, 12-14 juin 2001.Livre des projets, PM
Plus d'infosPersonnalisation de l'information : du bon usage des agents intelligents
Predit 1996-2000 : les nouveaux services aux usagers, journée de valorisation du 27 février 2001, 5p
Plus d'infosAspects institutionnels et juridiques de l'information multimodale
Predit 1996-2000 : les nouveaux services aux usagers, journée de valorisation du 27 février 2001, 4p
Plus d'infosPublic transport information: Towards the information society
WIT PressSeventh international conference on urban transport and the environment for the 21st century, urban transport VII, p317-26
Plus d'infosPourquoi l'information multimodale ne se développe-t-elle pas en France ?
Presses des Ponts et ChausséesATEC, congrès international francophone : mise en ?uvre des plans de déplacements et systèmes de transport intelligents, 24-25 janvier 2001, Paris, France, p291-303
Plus d'infosSécurité ferroviaire et facteurs humains. Apport de la chronobiologie de la vigilance
INRETS, 136p
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'infosAdvanced technologies in french train protection systems
6th International Conference on Application of Advanced Technologies in Transportation Engineering AATT 2000, Singapore, June 28-30, 2000, 8P
Plus d'infosAssessment and certification process for safety computers in the railway sectors
4th World Multiconference on Systemics and Informatics (SCI'2000) July 23 to 26, Orlando, Florida, USA, 5P
Plus d'infosConstraint compiling into rules formalism for dynamic CSPS computing
CL2000, first international conference on computational logic, 8 juillet 2000, Londres, Grande-Bretagne, 14p
Plus d'infosCompte rendu du sous-groupe tramway : contrôle de vitesse/prise en compte des facteurs humains, Arcueil, 17 novembre 2000
INRETS, 4P
Plus d'infosLa sureté de fonctionnement dans les transports guidés
Journée sureté de fonctionnement dans les transports guides, 10 novembre 2000, Belfort, France, 6p
Plus d'infosMéthodes, techniques et outils d'apprentissage automatique
Laboratoire de biophysique;Faculté de médecine de MonastirAMINA 2000, premier workshop sur les applications médicales de l'intelligence neuro-artificielle, 9-11 novembre 2000, Monastir, Tunisie, p1-13
Plus d'infosPreliminary safety analysis of frontal collision avoidance systems
ITS 2000, IEEE intelligent transportation systems, 1-3 October 2000, Dearborn, Michigan, USA, p410-5
Plus d'infosA prediction system based on vehicle sensor data in automated highway
IEEEITSC'2000, IEEE Intelligent Transportation Systems Congress, 1-3 october 2000, Dearborn (MI), USA, 6P
Plus d'infosRéférentiel de sécurité pour les automatismes dans les transports guidés
IUCISCIFA'2000, IEEE première conférence internationale francophone d'automatique, 5-8 juillet 2000, Lille, France, p894-9
Plus d'infosISIS: A fail-safe interface realised in smart-power technology
IEEE Computer Society TTTCIOLTW'00, 6th IEEE international on-line testing workshop, 3-5 July 2000 Palma de Mallorca, Spain, p191-197
Plus d'infosAssessment and certification of vital computer DIGISAFE
TSI PressWorld Automation Congress - WAC 2000, Third International Symposium on Intelligent Automation and Control, June 11-16, 2000, Maui, Hawaii, USA, 6P
Plus d'infosA prediction system for reliability improvement of the vehicle-follower control on the automated highwayY
4th IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes, SAFPROCESS'2000, 14-16 June 2000, Budapest, Hungry, 6P
Plus d'infosVisual tracking specifications for trucks platooning
TSI PressWAC'2000, world automation congress, 11-16 June 2000, Maui, USA;Cd rom series on intelligent automation and soft computing, 5p
Plus d'infosComment conserver le niveau de sécurité antérieur d'une ligne de métro automatique lors de son extension
11P
Plus d'infosSécurité des logiciels critiques développés par la méthode B
GRRT;INRETSJournée RT3, thème sécurité : sécurité des automatismes dans les transports guidés, 19 MAI 2000, Villeneuve d'Ascq, France, 13p
Plus d'infosLe concept de scénario. Application à l'analyse de sécurité des systèmes de transport guidés
Journée thématique : sécurité, réseau inter-regional de recherche technologique dans les transports terrestres, FRANCE, p1-13
Plus d'infosDiagnostic à base de modèles - Application à signalisation des lignes à grande vitesse
DTT;MENRTJournée PREDIT-ASCOT, MENRT, 14 mars 2000, Paris, France, 5p
Plus d'infosContribution of case-based reasoning to the software error effect analysis
International conference on Artificial and Computational Intelligence for Decision. Control and automation in engineering and industrial applications, Tunisia, 22-24 march 2000ACIDCA'2000, International conference on artificial and computational intelligence for decision, control and automation in engineering and industrial applications, 22-24 March 2000, Monastir, Tunisia, p83-89
Plus d'infosMéthodes et outils d'aide à la capitalisation et à l'évaluation des études de sécurité basés sur l'utilisation des techniques d'intelligence artificielle
PREDIT-DTT/MENRTJournée PREDIT-ASCOT, MENRT, 14 mars 2000, Paris, France, p1-14
Plus d'infosRecherche d'informations personnalisées
Nîmes TIC 2000, conférence internationale d'ingénierie de système et NTIC, 11-13 septembre 2000, Nîmes, France, 7p
Plus d'infosEtat des réflexions sur le développement de l'information multimodale en France
UITP, 21-23 Juin 2000, Hanovre, Allemagne, 10p
Plus d'infosDu cahier des charges aux spécifications formelles. Une méthode basée sur la modélisation par les réseaux de Petri de haut niveau
AFADEL'2000, approches formelles dans l'assistance au développement de logiciel, 26-28 janvier 2000, Grenoble, France, p158-172
Plus d'infosFuzzy decision-making in the traffic regulation of the bus networks
WAC'2000, World Automation Congress, 11-16 June 2000, Maui, USA. CD Rom Series on Intelligent Automation and Soft Computing, 7p
Plus d'infos