Aller au contenu principal

Publications

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

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

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

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

Plus d'infos

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

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

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

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

Télécharger le document

Argumentaire de sécurité graphique pour l'assurance de sécurité des trains autonomes

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

23ème Congrès Lambda Mu de l'IMdR, FRANCE, 7p

Plus d'infos

Train management in freight shunting yards: Formalisation and literature review

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

IET Intelligent Transport Systems, 16, 10, pp1286-1305, doi: 10.1049/itr2.12216

http://dx.doi.org/10.1049/itr2.12216
https://hal.archives-ouvertes.fr/hal-03736251
https://hal.archives-ouvertes.fr/hal-03736251/file/IET Intelligent Trans Sys - 2022 - Deleplanque.pdf

Télécharger le document

Complexity of the Multilvel Critical Node Problem

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

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

https://doi.org/10.1016/j.jcss.2022.02.004

Télécharger le document

The Connected Critical Node Problem

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

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

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

Télécharger le document

Statistical Model Checking for On-board Train Integrity Safety and Performance Analysis

SASSI, Insaf ; GHAZEL, Mohamed ; EL KOURSI, El Miloudi   /   (2022)

European Conference on Safety and Reliability (ESREL2022), IRELANDE, 8p

Plus d'infos

Interval Weight-Based Abstraction for Neural Network Verification

BOUDARDARA, Fateh ; BOUSSIF, Abderraouf ; MEYER, Pierre-Jean ; GHAZEL, Mohamed   /   (2022)

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

Plus d'infos

Multiobjective Timetable Development Tool for Railway Strategic Planning in Norway

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

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

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

Plus d'infos

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

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

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

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

Télécharger le document

Performance Evaluation of a Parallel Ant Colony Optimization for the Real-Time Train Routing Selection Problem in Large Instances

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

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

Plus d'infos

Reachability analysis of neural networks using mixed monotonicity

MEYER, Pierre-Jean   /   (2022)

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

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

Télécharger le document

A framework for risk-awareness and dynamic risk assessment for autonomous trains

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

ESREL 2022, 32nd European Safety and Reliability Conference, IRELANDE, pp2128-2135

Plus d'infos

Verification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use Case

SADDEM-YAGOUBI, Rim ; BEUGIN, Julie ; GHAZEL, Mohamed   /   (2022)

TRISTAN XI, 11th Triennial Symposium on Transportation Analysis conference, MAURICE, 5p

Plus d'infos

A Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL project

SADDEM-YAGOUBI, Rim ; BEUGIN, Julie ; GHAZEL, Mohamed   /   (2022)

RAILWAYS 2022, 5th International Conference on Railway Technology: Research, Development and Maintenance, FRANCE, 5P

Plus d'infos

Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3: The PERFORMINGRAIL Project

SADDEM-YAGOUBI, Rim ; SANWAL, Muhammad Usman ; LIBUTTI, Simone ; BENERECETTI, Massimo ; BEUGIN, Julie ; FLAMMINI, Francesco ; GHAZEL, Mohamed ; JANSSEN, Bob ; MARRONE, Stefano ; MOGAVERO, Fabio ; NARDONE, Roberto ; PERON, Adriano ; SECELEANU, Cristina ; VITTORINI, Valeria   /   (2022)

ESREL 2022, 32nd European Safety and Reliability Conference, IRELANDE, pp2143-2150

Plus d'infos

Methodology Framework for Modelling ETCS-L3 Moving Block System

SADDEM-YAGOUBI, Rim ; BEUGIN, Julie ; GHAZEL, Mohamed   /   (2022)

TRA 2022, Transport Research Arena, PORTUGAL, 6p

Plus d'infos

A Safety Assurance Methodology for Autonomous Trains

TONK, Abhimanyu ; CHELOUATI, Mohammed ; BOUSSIF, Abderraouf ; BEUGIN, Julie ; EL KOURSI, Miloudi   /   (2022)

TRA 2022, Transport Research Arena, PORTUGAL, 8p

Plus d'infos

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

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

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

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

Télécharger le document

Territoires périurbains : vers une mobilité quotidienne bas carbone. In: Cerema (Eds) Mobilités décarbonées. Un défi global

CUVELIER, Marielle ; USTER, Guillaume   /   (2022)

CEREMA, Construction21, lab recherche environnement VINCI ParisTech, pp135-138

https://www.cerema.fr/fr/centre-ressources/boutique/mobilites-decarbonees-defi-global

Télécharger le document

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

CUVELIER, Marielle   /   (2022)

The Conversation, pp1-4

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

Télécharger le document

A new framework for Mobility Allowance Shuttle Transit (MAST)

SHAHIN, Reza ; HOSTEINS, Pierre ; VANDANJON, Pierre-Olivier ; PELLEGRINI, Paola   /   (2021)

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

Télécharger le document

Mixed-Integer Linear Programming (MILP) formulation for a Mobility Allowance Shuttle Transit (MAST)

SHAHIN, Reza ; HOSTEINS, Pierre ; VANDANJON, Pierre-Olivier ; PELLEGRINI, Paola   /   (2021)

INFORMS Annual Meeting, ETATS-UNIS, 1p

http://dx.doi.org/10.13140/RG.2.2.23703.50088
https://hal.archives-ouvertes.fr/hal-03544169

Télécharger le document

IFAC CTS'2021, 16th IFAC Symposium On Control in Transportation Systems CTS, Lille, France, 8-10 juin 2021, Proceedings

GHAZEL, Mohamed   /   (2021)

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/

Plus d'infos

Energy-efficient multi-train operations in railway networks considering traffic perturbations

NALDINI, Federico ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2021)

RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 20p

Plus d'infos

An improved approach for train routing selection in large railway stations

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

RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 

Plus d'infos

Scheduling of Autonomous Electric Vehicles On-Demand

KADRI, Ahmed ; HOSTEINS, Pierre ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin ; DE ALMEIDA, David ; BOROT, David ; RAMOND, François ; POZZOLI, Valentina ; CHEVRIER, Rémy   /   (2021)

RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 10p

Plus d'infos

A two-stage framework for strategic railway timetabling based on multi-objective ant colony optimization

COVIELLO, Nicola ; MEDEOSSI, Giorgio ; NYGREEN, Thomas ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2021)

RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 11p

Plus d'infos

Real-Time Optimization of Energy Consumption in Railway Networks

NALDINI, Federico ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2021)

EWGT 2021, 24th Euro Working Group on Transportation Meeting, PORTUGAL, 8p

Télécharger le document

A Conditional Time-Intervals formulation of the real-time Railway Traffic Management Problem

MARLIERE, Grégory ; SOBIERAJ RICHARD, Sonia ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2021)

IFAC-PapersOnLine, 54, 2, pp187-194, doi: 10.1016/j.ifacol.2021.06.046

https://doi.org/10.1016/j.ifacol.2021.06.046

Télécharger le document

Closed-loop incremental stability for efficient symbolic control of non-linear systems

TAJVAR, Pouria ; MEYER, Pierre-Jean ; TUMOVA, Jana   /   (2021)

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

Télécharger le document

Formal modeling of a new On-board Train integrity System ETCS Compliant

SASSI, Insaf ; GHAZEL, Mohamed ; EL-KOURSI, El-Miloudi   /   (2021)

ESREL 2021, 31st European Safety and Reliability Conference, FRANCE, 9p

https://easychair.org/smart-program/ESREL2021/

Plus d'infos

Toward Formal Safety and Performance Evaluation of GNSS-based Railway Localisation Function

HIMRANE, Ouail ; BEUGIN, Julie ; GHAZEL, Mohamed   /   (2021)

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

Télécharger le document

Business Processes Meet Spatial Concerns: the sBPMN Verification Framework

SADDEM-YAGOUBI, Rim ; POIZAT, Pascal ; HOUHOU, Sara   /   (2021)

FM 2021, International Symposium on Formal Methods, CHINE, 

https://hal-cnrs.archives-ouvertes.fr/hal-03289951
https://lcs.ios.ac.cn/fm2021/

Plus d'infos

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

CHOUCHANE, Amira   /   (2021)

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

https://academic.oup.com/imamci/article-abstract/38/3/908/6291454?redirectedFrom=fulltext
https://doi.org/10.1093/imamci/dnab015

Plus d'infos

Towards a Specified Operational Design Domain for a Safe Remote Driving of Trains

TONK, Abhimanyu ; BOUSSIF, Abderraouf ; BEUGIN, Julie ; COLLART-DUTILLEUL, Simon   /   (2021)

ESREL 2021, 31st European Safety And Reliability Conference, FRANCE, 8p

https://easychair.org/smart-program/ESREL2021/

Plus d'infos

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

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2021)

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

https://link.springer.com/article/10.1007/s12555-020-0100-y

Plus d'infos

Train routing selection problem: Ant colony optimization versus integer linear programming

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

IFAC-PapersOnLine, 54, 2, pp167-172, doi: 10.1016/j.ifacol.2021.06.060

https://doi.org/10.1016/j.ifacol.2021.06.060

Télécharger le document

Ant Colony Optimization for Energy-Efficient Train Operations

NALDINI, Federico ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2021)

GECCO 2021, Genetic and Evolutionary Computation Conference Companion, FRANCE, pp75-76

https://doi.org/10.1145/3449726.3459436
https://gecco-2021.sigevo.org/HomePage

Plus d'infos

Solution algorithms for the generalized train unit shunting problem

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

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

https://doi.org/10.1016/j.ejtl.2021.100042

Télécharger le document

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

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

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

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

Télécharger le document

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

CUVELIER, Marielle ; USTER, Guillaume   /   (2021)

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

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

Télécharger le document

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

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

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

https://onlinelibrary.wiley.com/doi/full/10.1002/asjc.2259
https://doi.org/10.1002/asjc.2259

Plus d'infos

Merging Railway Standard Notations in a Formal DSL-Based Framework

YAR, Asfand ; IDANI, Akram ; COLLART-DUTILLEUL, Simon   /   (2020)

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

Plus d'infos

Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défis

BOUSSIF, Abderraouf ; COLLART-DUTILLEUL, Simon ; BARANOWSKI, François ; BEUGIN, Julie ; SCHON, Walter   /   (2020)

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

https://www.imdr-lm22.fr

Plus d'infos

Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS

HIMRANE, Ouail ; BEUGIN, Julie ; GHAZEL, Mohamed   /   (2020)

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

Télécharger le document

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

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

International Journal of Control, 

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

Plus d'infos

Security and safety integrated approach for multimodal-hubs crisis management: a railway and airway proposition

COLLART-DUTILLEUL, Simon ; KADRI, Hela ; BON, Philippe ; MYKONIATIS, Georges ; BEN AHMED, Samir   /   (2020)

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

Plus d'infos

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

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

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

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

Plus d'infos

Assessing train timetable efficiency in a Mass Transit context using a data-based simulation method

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

IEEE ITSC 2020, 23rd IEEE International Conference on Intelligent Transportation Systems, GRECE, pp2404-2409

Plus d'infos

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

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

Ingegneria Ferroviaria, 6, pp417-440

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

Télécharger le document

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

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

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

https://link.springer.com/article/10.1007/s10626-020-00324-y
https://doi.org/10.1007/s10626-020-00324-y

Télécharger le document

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

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

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

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

Plus d'infos

Allocating imprecise safety targets in satellite-based localization systems used in railway signaling operations

SASSI, Insaf ; BEUGIN, Julie ; SALLAK, Mohamed ; AIT TMAZIRTE, Nourdine   /   (2020)

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/

Plus d'infos

Towards a Model-Based Safety Assessment of Railway Operation Using GNSS Localization

HIMRANE , Ouail ; BEUGIN, Julie ; GHAZEL, Mohamed   /   (2020)

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/

Plus d'infos

The Stochastic Critical Node Problem over Trees

HOSTEINS, Pierre ; SCATAMACCHIA, Rosario   /   (2020)

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

https://doi.org/10.1002/net.21948
https://onlinelibrary.wiley.com/doi/full/10.1002/net.21948

Télécharger le document

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

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

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

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

Télécharger le document

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

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

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

https://doi.org/10.1287/ijoc.2019.0915
https://pubsonline.informs.org/doi/10.1287/ijoc.2019.0915

Télécharger le document

A Compact Mixed Integer Linear Formulation for Safe Set Problems

HOSTEINS, Pierre   /   (2020)

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

https://link.springer.com/article/10.1007%2Fs11590-020-01540-z
https://doi.org/10.1007/s11590-020-01540-z

Télécharger le document

Réinventer la mobilité avec et pour les habitants du périurbain - Cas de Loos en Gohelle

CUVELIER, Marielle ; USTER, Guillaume   /   (2020)

RDMI'20, 47ème Congrès ATEC ITS France, les Rencontres De la Mobilité Intelligente, FRANCE, 11p

Télécharger le document

Studies on the validity of the fixed-speed approximation for the real time Railway Traffic Management Problem

HOSTEINS, Pierre ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2019)

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

Plus d'infos

Résolution du problème de yard à 1-étape

DELEPLANQUE, Samuel ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2019)

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

Télécharger le document

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

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

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

https://doi.org/10.1016/j.trc.2019.05.008

Télécharger le document

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

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

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

http://www.jocm.us/index.php?m=content&c=index&a=show&catid=231&id=1447
https://doi.org/10.12720/jcm.14.10.980-986

Télécharger le document

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

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2019)

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

https://rdcu.be/bRVqn
http://dx.doi.org/10.1007/s12555-018-0682-9
https://link.springer.com/article/10.1007%2Fs12555-018-0682-9

Plus d'infos

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

LEDRU, Yves ; IDANI, Akram ; BEN-AYED, Rahma ; AIT WAKRIME, Abderrahim ; BON, Philippe   /   (2019)

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

Plus d'infos

Event-B Decomposition Analysis for Systems Behavior Modeling

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

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

Plus d'infos

Conceptual Modelling of the Dynamic Goal-Oriented Safety Management for Safety Critical Systems

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

ICSOFT 2019, 14th International Conference on Software Technologies, TCHÈQUE, RÉPUBLIQUE, pp287-297

Plus d'infos

Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model

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

ER'19, 38th International Conference on Conceptual Modeling, BRESIL, 14p

Plus d'infos

B-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution

DE ALMEIDA PEREIRA, Dalay Israel ; DEHARBE, David ; PERIN, Matthieu ; BON, Philippe   /   (2019)

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

Plus d'infos

A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules

LEDRU, Yves ; IDANI, Akram ; BEN AYED, Rahma ; AIT WAKRIME, Abderrahim ; BON, Philippe   /   (2019)

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

Plus d'infos

Towards a tool-based domain specific approach for railway systems modeling and validation

IDANI, Akram ; LEDRU, Yves ; AIT WAKRIME, Abderrahim ; BEN AYED, Rahma ; BON, Philippe   /   (2019)

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

Plus d'infos

Formal Approach to Dynamic SoS Design

KADRI, Hela ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; BEN AHMED, Samir   /   (2019)

ENASE'19, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, GRECE, 1p

Télécharger le document

Formal Approach to Dynamic SoS Design

KADRI, Hela ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; BEN AHMED, Samir   /   (2019)

ENASE'19, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, GRECE, pp377-384

https://dx.doi.org/10.5220/0007730903770384

Plus d'infos

A new Constraint Based Scheduling model for real-time Railway Traffic Management Problem using conditional Time-Intervals

MARLIERE, Grégory ; SOBIERAJ RICHARD, Sonia ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2019)

Rail Norrköping 2019, 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), SUEDE, 20p

Plus d'infos

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

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

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

https://www.witpress.com/elibrary/tdi-volumes/3/1/2412
https://dx.doi.org/10.2495/TDI-V3-N1-30-43

Télécharger le document

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

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

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

http://www.jcomputers.us
https://dx.doi.org/10.17706/jcp.14.4.257-267

Télécharger le document

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

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

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

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

Télécharger le document

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

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

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

https://doi.org/10.1080/15472450.2018.1525533
https://www.tandfonline.com/doi/full/10.1080/15472450.2018.1525533

Télécharger le document

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

CORDONE, Roberto ; HOSTEINS, Pierre   /   (2019)

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

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

Télécharger le document

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

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

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

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

Plus d'infos

A Formal Approach for Multi-occurrence Crisis Management

KADRI, Hela ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; BEN AHMED, Samir   /   (2018)

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

Plus d'infos

Using Bayesian Networks for the Purpose of Risk Analysis at Railway Level Crossings

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

CTS'18, 15th IFAC Symposium on Control in Transportation Systems, ITALIE, 8p

Plus d'infos

A Diagnosis Study on a Train Passenger Access System using Petri Net Models

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2018)

CTS '18, 15th IFAC Symposium on Control in Transportation Systems, ITALIE, 6p

Plus d'infos

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

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

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

https://doi.org/10.1080/00140139.2018.1485970
https://www.tandfonline.com/doi/full/10.1080/00140139.2018.1485970

Télécharger le document

Design solutions to improve resilience of metro vehicle to blast events

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

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

https://www.sciencedirect.com/science/article/pii/S0965856418305895?via%3Dihub
https://doi.org/10.1016/j.tra.2018.09.015

Plus d'infos

Applications of train routing selection methods for real-time railway traffic management

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

ITSC 2018, 21st International Conference on Intelligent Transportation Systems, ETATS-UNIS, pp72-77

https://ieeexplore.ieee.org/document/8569555

Plus d'infos

An MDA Approach for the Specification of Relay-Based Diagrams

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

MEDI 2018, 8th International Conference on Model and Data Engineering, MAROC, 13p

https://doi.org/10.1007/978-3-030-02852-7_2

Plus d'infos

Modelling and verification: Performance evaluation and test: part 2

GHAZEL, Mohamed ; JMAIEL, Mohamed   /   (2018)

International Journal of Critical Computer Based Systems, 8, 3/4, pp231-233

Télécharger le document

Satellite positioning in the transport domain: applications and challenges

BEUGIN, Julie ; GILLIERON, Pierre-Yves   /   (2018)

Data Science and Mobility Conference, SUISSE, 18p

https://archiveweb.epfl.ch/dsmc18.epfl.ch/

Plus d'infos

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

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

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

http://www.inderscience.com/offer.php?id=96178
https://dx.doi.org/10.1504/IJCCBS.2018.10011234

Plus d'infos

Towards Semantic Interpretation of Goal-Oriented Safety Decision based on Foundational Ontology

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

ICCSIT 2018, 11th International Conference on Computer Science and Information Technology, FRANCE, 9p

Plus d'infos

Comparaison de l'approche sécurité multi-domaine

MAILLAND, David ; THIONVILLE, Amélie ; SCHAFF, Martial ; BEUGIN, Julie   /   (2018)

Lambda-Mu, 21ème Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, FRANCE, 7p

Plus d'infos

Improving Safety By Integrating Dysfunctional Analysis Into The Design Of Railway Systems

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

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

Plus d'infos

Efficient diagnosability assessment via ILP optimization: a railway benchmark

BASILE, Francesco ; DE TOMMASI, Gianmaria ; STERLE, Claudio ; BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2018)

IEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, ITALIE, 8p

Plus d'infos

A passenger flow oriented security and safety approach in international railway stations

COLLART-DUTILLEUL, Simon ; MAURER, Stephan ; BON, Philippe ; KAUL, Peter   /   (2018)

TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p

Plus d'infos

Proposition of a formal model for crisis management in the context of high-speed train networks in border areas

KADRI, Héla ; SCHLEINER, Simon ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; BEN AHMED, Samir ; STEYER, Florian ; GABRIEL, Alexander ; MUDIMU, Ompe Aymé   /   (2018)

TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p

Plus d'infos

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

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

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

https://ieeexplore.ieee.org/document/8283579/
https://dx.doi.org/10.1109/TITS.2017.2779565

Plus d'infos

Model-Based Monitoring of a Train Passenger Access System

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2018)

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

https://ieeexplore.ieee.org/abstract/document/8423174/
https://dx.doi.org/10.1109/ACCESS.2018.2860966

Télécharger le document

Maintenance on the Railway Network: Disruptions and re-scheduling

DELEPLANQUE, Samuel   /   (2018)

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

http://www.sciencedirect.com/science/article/pii/S1571065318301598
https://doi.org/10.1016/j.endm.2018.07.015

Télécharger le document

EGNOS service evaluation in railway environment for safety-critical operations

MARAIS, Juliette ; BEUGIN, Julie ; POUMAILLOUX, Jean ; GANDARA, Marc   /   (2018)

TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p

Plus d'infos

Optimization of a railway freight yard in real time

DELEPLANQUE, Samuel ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2018)

EURO'18, 29th European Conference On Operational Research, ESPAGNE, 1p

Plus d'infos

Maintenance on the Railway Network: Disruptions and re-scheduling

DELEPLANQUE, Samuel   /   (2018)

EURO/ALIO '18, International Conference on Applied Combinatorial Optimization, ITALIE, 8p

Télécharger le document

Optimiser une gare de triage en temps réel

DELEPLANQUE, Samuel ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2018)

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 document

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

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

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

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

Plus d'infos

Timetable rearrangement to cope with railway maintenance activities

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

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

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

Plus d'infos

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

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

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

http://ieeexplore.ieee.org/document/8293773/
http://dx.doi.org/10.1109/ACCESS.2018.2807127

Télécharger le document

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

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

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

http://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1539-6924
http://dx.doi.org/10.1111/risa.12972

Plus d'infos

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

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

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

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

Télécharger le document

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

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

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

http://onlinelibrary.wiley.com/journal/10.1002
http://dx.doi.org/10.1002/asjc.1508

Plus d'infos

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

HADJ MABROUK, Habib   /   (2017)

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

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

Plus d'infos

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

HADJ MABROUK, Habib   /   (2017)

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

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

Plus d'infos

Bayesian Network Modeling Applied on Railway Level Crossing Safety

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

RSSRail 2017 - 2nd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, ITALIE, 15p

Télécharger le document

DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2017)

MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 2p

Télécharger le document

DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser

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

MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 14p

Télécharger le document

Diagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche Diagnostiqueur

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2017)

MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 15p

Télécharger le document

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems

BOUSSIF, Abderraouf ; LIU, Baisi ; GHAZEL, Mohamed   /   (2017)

DX'17 - 28th International Workshop on Principles of Diagnosis, ITALIE, p8

Télécharger le document

An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2017)

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

Plus d'infos

A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event Systems

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2017)

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

Plus d'infos

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

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

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

http://www.sciencedirect.com/science/article/pii/S2210970617300355
https://doi.org/10.1016/j.jrtpm.2017.08.001

Plus d'infos

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

LIANG, Ci ; GHAZEL, Mohamed   /   (2017)

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

http://www.tandfonline.com/doi/full/10.1080/17457300.2017.1416480
https://doi.org/10.1080/17457300.2017.1416480

Télécharger le document

Developing accident prediction model for railway level crossings

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

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

http://www.sciencedirect.com/science/article/pii/S092575351630666X
https://doi.org/10.1016/j.ssci.2017.08.013

Télécharger le document

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

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

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

http://www.sciencedirect.com/science/article/pii/S000145751730310X
https://doi.org/10.1016/j.aap.2017.08.030

Plus d'infos

A survey of lubrication techniques of railway switches and crossings

LIU, Baisi ; GHAZEL, Mohamed ; PARAGREEN, Jonathan ; RAHBARI, Rahi   /   (2017)

Railway Engineering-2017, ROYAUME-UNI, 11p

Plus d'infos

Ant Colony Optimization for train routing selection: operational vs tactical application

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

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

Plus d'infos

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

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

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

https://link.springer.com/journal/12544
https://doi.org/10.1007/s12544-017-0228-x

Télécharger le document

The potential of the routing selection problem in real-time railway traffic management

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

RailLille2017 - 7th International Conference on Railway Operations Modelling and Analysis, France, 19p

Télécharger le document

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

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

7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 19p

Télécharger le document

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

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

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

http://ieeexplore.ieee.org/document/7857080/
https://doi.org/10.1109/TITS.2017.2658179

Télécharger le document

Timetable Optimization during Railway Infrastructure Maintenance

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

7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 20p

Plus d'infos

Boosting the performance of railway traffic management through the reformulation of RECIFE-MILP

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

7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 16p

Plus d'infos

Train timetable rearrangement facing infrastructure maintenance activities

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

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 document

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

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

TEC Transport environnement circulation, 232, pp6-7

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

Plus d'infos

A decomposition approach for the real time Railway Traffic Management Problem

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

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 document

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

GHAZEL, Mohamed   /   (2017)

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

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

Plus d'infos

On the tactical and operational train routing selection problem

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

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

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

Plus d'infos

Sysml formalization of the disruption management process in european railways

JAEKEL, Birgit ; PELLEGRINI, Paola ; SOBIERAJ RICHARD, Sonia ; RODRIGUEZ, Joaquin   /   (2017)

96th Transportation Research Board Annual Meeting, Etats-Unis, 1p

Télécharger le document

Les risques psychosociaux dans la politique Européenne du développement durable

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

Colloque international Union Européenne et développement durable, Défis et perspectives, France, P20

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

Plus d'infos

Contribution of chronobiology vigilance in public transport safety

HADJ MABROUK, Habib   /   (2016)

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

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

Plus d'infos

Transportation safety assessment methodology based on artificial intelligence techniques

HADJ MABROUK, Habib   /   (2016)

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

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

Plus d'infos

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

HADJ MABROUK, Habib   /   (2016)

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

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

Plus d'infos

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

HADJ MABROUK, Habib   /   (2016)

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

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

Plus d'infos

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

HADJ MABROUK, Habib   /   (2016)

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

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

Plus d'infos

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

HADJ MABROUK, Habib   /   (2016)

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

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

Plus d'infos

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

HADJ MABROUK, Habib   /   (2016)

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

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

Plus d'infos

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

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

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

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

Plus d'infos

A Hybrid Method for Assigning Containers to AGVs in the Dynamic Environment of Container Terminals

ZAGHDOUD, Radhia ; MESGHOUNI, Khaled ; COLLART-DUTILLEUL, Simon ; ZIDI, Kamel ; GHEDIRA, Khaled   /   (2016)

CTS 2016, 14th IFAC Symposium on Control in Transportation Systems, TURQUIE, 9p

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

Plus d'infos

Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults-A Railway Case-Study

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2016)

VECOS 2016 - 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, TUNISIE, 11p

Télécharger le document

Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2016)

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

Plus d'infos

Risk analysis on level crossings using a causal Bayesian network based approach

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

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

Télécharger le document

Statistical Analysis of Collisions at French Level Crossings

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

The Third International Conference on Railway Technology: Research, Development and Maintenance, ITALIE, 15p

Plus d'infos

Safety integrity level allocation shared or divergent practices in the railway domain

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

International Railway Safety Council, France, 10p

Télécharger le document

Petri net diagnosability analyzer

LIU, Baisi ; GHAZEL, Mohamed   /   (2016)

11th International Design and Test Symposium - IDT 2016, Tunisie, 6p

Plus d'infos

A µ calculus formulation of the diagnosability of discrete event systems

PERES, Florent ; GHAZEL, Mohamed   /   (2016)

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

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

Plus d'infos

Pratiques partagées ou divergentes d'allocation de niveaux d'intégrité de sécurité dans le domaine ferroviaire

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

Lambda-Mu, 20ème Congrès de maîtrise des risques et de sûreté de fonctionnement, FRANCE, 8p

Plus d'infos

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

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

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

http://digital-library.theiet.org/content/journals/10.1049/iet-its.2014.0309

Télécharger le document

A Customizable Railway Benchmark to Deal with Fault Diagnosis Issues in DES

GHAZEL, Mohamed ; LIU, Baisi   /   (2016)

13th International Workshop on Discrete Event Systems - WODES 2016, Chine, p177-182

http://dx.doi.org/10.1109/WODES.2016.7497845

Plus d'infos

A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure

BOUSSIF, Abderraouf ; LIU, Baisi ; GHAZEL, Mohamed   /   (2016)

13th International Workshop on Discrete Event Systems - WODES 2016, Chine, p237-244

http://dx.doi.org/10.1109/WODES.2016.7497854

Plus d'infos

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

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

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

http://www.journals.elsevier.com/reliability-engineering-and-system-safety
http://dx.doi.org/10.1016/j.ress.2016.04.011

Plus d'infos

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

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

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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
http://dx.doi.org/10.1109/TITS.2016.2604043

Plus d'infos

Statistical automaton for verifying temporal properies and computing information on traces

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

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

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

Télécharger le document

Trace analysis from ERTMS engineering

FERLIN, Antoine ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; WIELS, Virginie   /   (2016)

Comprail, International Conference on Railway Engineering Design and Operation, Espagne, 12p

http://www.wessex.ac.uk/conferences/2016/comprail-2016

Plus d'infos

RECIFE-MILP for real-time railway traffic optimization: main results and open issues

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

WCRR 2016, 11th World Congress of Railway Research, Italie, 7p

Plus d'infos

Implementation of ERTMS: a methodology based on formal methods and simulation with respect to French national rules

FERLIN, Antoine ; BEN-AYED, Rahma ; SUN, Pengfei ; COLLART-DUTILLEUL, Simon   /   (2016)

TRA2016 - Moving Forward. Innovative Solutions for Tomorrow's Mobility, Pologne, 10p

http://www.traconference.eu/

Plus d'infos

The New Challenges of Rail Security

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

Journal of Traffic and Logistics Engineering, 5p

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

Télécharger le document

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

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

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

http://www.sciencedirect.com/science/journal/01912615
http://dx.doi.org/10.1016/j.trb.2016.01.005

Plus d'infos

Solving the real-time Railway Traffic Management Problem with Benders decomposition

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

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 document

Timetable Optimization to cope with Railway Infrastructure Maintenance

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

ROADEF 2016, 17ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 2p

http://roadef2016.utc.fr/

Télécharger le document

Railway Accident Prevention and Infrastructure Protection

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

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

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

Télécharger le document

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

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

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

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

Plus d'infos

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

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

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

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

Plus d'infos

Model-Based Diagnosis of Multi-Track Level Crossing Plants

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

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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
http://dx.doi.org/10.1109/TITS.2015.2478910

Plus d'infos

Modelling and Solving the Train Timetabling Problem using Genetics Algorithms

ARENAS, Diego ; CHEVRIER, Rémy ; HANAFI, Saïd ; RODRIGUEZ, Joaquin   /   (2015)

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

Télécharger le document

The integration of the human factors in the sociotechnical systems. Application to the railway transportation systems

HADJ MABROUK, Habib ; MEJRI, Hinda ; HARGUEM, Besma ; MRAD, S   /   (2015)

ICTL 2015, 1st International conference on Transportation and Logistics, TUNISIE, pp1-6

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

Plus d'infos

A Hybrid Method for Assigning Containers to AGVs in Containers Terminal

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

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

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

Plus d'infos

Cyclic Scheduling of Flexible Job-shop with Time Window Constraints and Resource Capacity Constraints

ZHANG, Hongchang ; COLLART-DUTILLEUL, Simon ; MESGHOUNI, Khaled   /   (2015)

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

Plus d'infos

An Hcpn Pattern for Railway Safety Critical Scenarios Formal Modeling

BOUDI, Zakaryae ; EL KOURSI, El Miloudi ; COLLART-DUTILLEUL, Simon   /   (2015)

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

Plus d'infos

On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations

LI, Ben ; LIU, Baisi ; TOGUYENI, Armand   /   (2015)

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

Plus d'infos

Solving the train timetabling problem, a mathematical model and a genetic algorithm solution approach

ARENAS, Diego ; CHEVRIER, Rémy ; HANAFI, Said ; RODRIGUEZ, Joaquin   /   (2015)

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

Plus d'infos

Colored Petri Nets formal transformation to B machines for safety critical software development

BOUDI, Zakaryae ; EL KOURSI, El Miloudi ; COLLART-DUTILLEUL, Simon   /   (2015)

International Conference on Industrial Engineering and Systems Management, IESM 2015, ESPAGNE, 7p

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7368810

Plus d'infos

Real-time railway traffic management optimization and imperfect information: preliminary studies

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

International Conference on Industrial Engineering and Systems Management, IESM 2015, Espagne, 6p

Plus d'infos

Model transformation from coloured Petri nets with prioritized transitions to B machines

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

International Conference on Industrial Engineering and Systems Management, IESM 2015, Espagne, pp19-28

Plus d'infos

Integrated approach using formal models and simulation environment

COLLART-DUTILLEUL, Simon ; FERLIN, Antoine ; BON, Philippe   /   (2015)

International Conference on Industrial Engineering and Systems Management, IESM 2015, Espagne, 1p

Plus d'infos

Industrial needs concerning the safety analysis of a French implementation of ERTMS

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

International Conference on Industrial Engineering and Systems Management, IESM 2015, Espagne, 1p

Plus d'infos

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

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

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

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

Plus d'infos

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

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

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

http://www.jucs.org/
http://dx.doi.org/10.3217/jucs-021-12-1654

Télécharger le document

A Model Pattern of Railway Interlocking System by Petri Nets

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

2015 Models and Technologies for Intelligent Transportation Systems (MT-ITS), Hongrie, 8p

http://dx.doi.org/10.1109/MTITS.2015.7223292

Plus d'infos

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

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

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

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

Plus d'infos

A Routing Filter for the Real-time Railway Traffic Management Problem Based on Ant Colony Optimization

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

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

Plus d'infos

Parallel verification of temporal properties using dynamic analysis

FERLIN, Antoine ; BON, Philippe ; COLLART-DUTILLEUL, Simon ; WIELS, Virginie   /   (2015)

International Conference on Industrial Engineering and System Management (IESM), Espagne, 10p

Plus d'infos

Une Approche par Décomposition de Modèles pour l'Analyse de la Diagnosticabilité des SEDs par Model-Checking

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2015)

10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015), France, 16p

Télécharger le document

Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems

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

VECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, ROUMANIE, 11p

http://ceur-ws.org/Vol-1431/

Télécharger le document

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

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

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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
http://dx.doi.org/10.1109/TITS.2015.2414294

Télécharger le document

Vérification parallélisée de propriétés temporelles sur des traces d'exécution, par analyse dynamique formelle

FERLIN, Antoine ; BON, Philippe ; WIELS, Virginie ; COLLART-DUTILLEUL, Simon   /   (2015)

Approches Formelles dans l'Assistance au Développement Logiciel, France, pp.1-15

https://hal.inria.fr/hal-01155626

Télécharger le document

Analytical approach for evaluating LTE communication errors in train control application

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

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

Plus d'infos

Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2015)

5th IFAC Workshop on Dependable Control of Discrete Systems , MEXIQUE, 8p

Plus d'infos

Harmonized methodology for Safety Integrity Level allocation in a generic TCMS application

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

ESREL 2015 - European safety and reliability conference, SUISSE, 8p

Télécharger le document

Approach for evaluating the safety of a satellite-based train localisation system through the extended integrity concept

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

ESREL 2015 - European safety and reliability conference, SUISSE, 8p

Télécharger le document

Analysis of the robustness of real-time railway traffic management optimization

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

RailTokyo2015, 6th International Conference on Railway Operations Modelling and Analysis, JAPON, 16p

Plus d'infos

Optimal Management of Railway Perturbations by Means of an Integrated Support System for Real-Time Traffic Control

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

6th International Conference on Railway Operations Modelling and Analysis - RailTokyo2015, ICROR, Japon, 20p

Télécharger le document

GaLoROI. Satellite based localization in railways

MANZ, Hansjörg ; SCHNIEDER, Eckehard ; STEIN, Denis ; SPINDLER, Max ; LAUER, Martin ; SEEDORFF, Carsten ; BAUDIS, Arne ; BECKER, Uwe ; BEUGIN, Julie ; NGUYEN, Khanh ; MARAIS, Juliette   /   (2015)

IC-ARE'15, International Congress on Advanced Railway Engineering, TURQUIE, 8p

Plus d'infos

HCPN modeling for ERTMS requirements specification

BOUDI, Zakaryae ; EL KOURSI, El Miloudi ; COLLART-DUTILLEUL, Simon   /   (2015)

HASE 2015, High Assurance Systems Engineering , ETATS-UNIS, 2p

Plus d'infos

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

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

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

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

Télécharger le document

Towards a Decision Support System for Security Analysis. Application to Railroad Accidents. In : ISCRAM Lecture Notes in Business Information Processing

MAALEL, Ahmed ; MEJRI, Lassaad ; HADJ MABROUK, Habib ; HAJJAMI BEN GHEZALA, Henda   /   (2014)

Springer, pp46-56

http://dx.doi.org/10.1007/978-3-319-11818-5_5
https://hal.archives-ouvertes.fr/hal-02422991

Plus d'infos

Méthode originale d'analyse préliminaire des risques. In : Gestion des risques naturels, technologiques et sanitaires

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

Cépaduès, pp1-20

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

Plus d'infos

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

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

Les Cahiers des RPS, 23, pp14-18

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

Plus d'infos

i-viaTIC: Plate-forme collaborative pour les mobilités innovantes

USTER, Guillaume ; VALCKE, Quentin   /   (2014)

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

Télécharger le document

Complex systems renewal: positioning, concepts and architectural issues

ZOLGHADRI, Marc ; COUFFIN, Florent ; LECLAIRE, Patrice ; COLLART-DUTILLEUL, Simon   /   (2014)

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

Plus d'infos

An Operative Formulation of the Diagnosability of Discrete Event Systems Using a Single Logical Framework

PERES, Florent ; GHAZEL, Mohamed   /   (2014)

VECOS 2014 - 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, ALGERIE, 12p

Plus d'infos

Analyzing railroad congestion in a dense urban network through the use of road traffic network fundamental diagram concept

CUNIASSE, Pierre-Antoine ; BUISSON, Christine ; RODRIGUEZ, Joaquin ; TEBOUL, Emmanuel ; DE ALMEIDA, David   /   (2014)

TRB 2014 - Transportation Research Board 93rd Annual Meeting, ETATS-UNIS, 15 p

www.trb.org

Télécharger le document

A formal modeling methodology of the French railway interlocking system via HCPN

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

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

Plus d'infos

Solving the Periodic Timetabling Problem using a Genetic Algorithm

ARENAS, Diego ; CHEVRIER, Remy ; HANAFI, Said ; RODRIGUEZ, Joaquin   /   (2014)

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

Plus d'infos

Safety critical software construction using CPN modeling and B method's proof

BOUDI, Zakaryae ; EL KOURSI, El Miloudi ; COLLART-DUTILLEUL, Simon   /   (2014)

SESA 2014, Software Engineering and Systems Architecture, MAROC, 4p

Plus d'infos

High level Petri net modeling For railway safety critical scenarios

BOUDI, Zakaryae ; EL KOURSI, El Miloudi ; COLLART-DUTILLEUL, Simon ; KHADDOUR, Moha   /   (2014)

10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, ALLEMAGNE, p65-75

Plus d'infos

Allocation rules of Safety Integrity Levels in a generic TCMS application

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

10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, ALLEMAGNE, pp.167-176

Plus d'infos

Modelling Communication Based Train control system for dependability analysis of the LTE Communication network in train control application

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

EMS2014, European Modelling Symposium, ITALIE, 6p

Télécharger le document

Modélisation et validation formelle des règles d'exploitation ferroviaires

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

Approches Formelles dans l'Assistance au Développement de Logiciels, FRANCE, 15p

Télécharger le document

Checking the European Railways Traffic Management System (ERTMS) operating rules using UML and B method

BEN AYED, Rahma ; BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2014)

COMPRAIL - 14th International conference on Railway Engineering Design and Optimization, ITALIE, p139-149

Télécharger le document

B Formal Validation of ERTMS/ETCS Railway Operating Rules

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

4th International ABZ Conference, FRANCE, p124-129

Télécharger le document

Optimization for the real-time railway traffic management: case studies in European networks

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

IFORS 2014 - 20th Conference of the International Federation of Operational Research Societies, ESPAGNE, 13p

Télécharger le document

Maintaining a system subject to uncertain technological evolution

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

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

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

Plus d'infos

RAMS analysis of GNSS based localisation system for the train control application

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

ComManTel, 2nd International Conference on Computing, Management and Telecommunications, VIET NAM, 6p

Télécharger le document

Intelligent Framework for Safety Properties Checking of Complex Systems

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

ISTS 2014 - 4th International Symposium of Transport Simulation, FRANCE, 3p

Plus d'infos

Architecture Description Language for Cyber Physical Systems Analysis: A Railway Control System Case Study

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

COMPRAIL - 14th International conference on Railway Engineering Design and Optimization, ITALIE, 14p

Télécharger le document

From Goal Modeling of Real-time Control System to RT-DEVS Safety Properties Analysis

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

12th IFAC - IEEE International Workshop on Discrete Event Systems WODES, FRANCE, 8p

http://www.ifac-papersonline.net/Detailed/65091.html

Plus d'infos

Modelling and verification methodology for control systems

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

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

Télécharger le document

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

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

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

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

Télécharger le document

OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets

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

International Workshop Petri Nets for Adaptive Discrete-Event Control Systems, TUNISIE, 16p

Plus d'infos

Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets

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

13th European Control Conference - ECC'2014, FRANCE, 6p

Plus d'infos

Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

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

IFAC 2014 - 19th World Congress of the International Federation of Automatic Control, AFRIQUE DU SUD, 6p

Plus d'infos

Formal modelling methodology of French railway interlocking system via HCPN

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

TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, FRANCE, 1p

Plus d'infos

Study of the implementation of ERTMS with respect to French national "non on board rules" using a collaborative methodology based on formal methods and simulation

COLLART-DUTILLEUL, Simon ; BON, Philippe ; EL KOURSI, El Miloudi ; LEMAIRE, Etienne   /   (2014)

TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, France, 1p

Plus d'infos

Study of the implementation of ERTMS with respect to French national ― "non on board rules" using a collaborative methodology based on formal methods and simulation

COLLART-DUTILLEUL, Simon ; BON, Philippe ; EL KOURSI, El Miloudi ; LEMAIRE, Etienne   /   (2014)

TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, FRANCE, 8p

Plus d'infos

Resilience of metro vehicle to blast events

MARLIERE, Grégory ; EL KOURSI, El Miloudi ; BRUYELLE, Jean Luc   /   (2014)

ISTS 2014 - 4th International Symposium of Transport Simulation, FRANCE, 1p

Plus d'infos

Real-time railway traffic management through optimisation tools

PELLEGRINI, Paola ; RODRIGUEZ, Joaquin ; MARLIERE, Grégory ; HU, Shaowei ; SOBIERAJ, Sonia   /   (2014)

15th conference ROADEF of the French society of operations research et decision aid, FRANCE, 14p

Télécharger le document

Improvement of real-time traffic management by using optimization tools

RODRIGUEZ, Joaquin ; PELLEGRINI, Paola ; MARLIERE, Grégory ; HU, Shaowei ; SOBIERAJ, Sonia   /   (2014)

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

Plus d'infos

Simulation of an innovative management of freight trains

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

ISTS 2014 - 4th International Symposium of Transport Simulation, FRANCE, 3p

Plus d'infos

Optimal train routing and scheduling in case of traffic perturbations: improving solution time through parameter tuning

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

TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, FRANCE, 9p

Plus d'infos

Are traditional forecasting models suitable for hotels in Italian cities?

ELLERO, Andrea ; PELLEGRINI, Paola   /   (2014)

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

www.emeraldinsight.com/0959-6119.htm
http://doi.org/10.1108/IJCHM-02-2013-0107

Plus d'infos

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

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

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

http://link.springer.com/journal/500
http://link.springer.com/article/10.1007/s00500-013-1192-6

Plus d'infos

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

GHAZEL, Mohamed   /   (2014)

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

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

Plus d'infos

Virtual lab based on co-simulation to include impairments of wireless telecommunication such as GSM-R in the evaluation of ERTMS

SONDI, Patrick ; BERBINEAU, Marion ; KASSAB, Mohamed ; WAHL, Martine ; GRANSART, Christophe ; LEMAIRE, Etienne ; MARIANO, Georges ; GHAZEL, Mohamed ; BENARD, Vincent ; SCHON, Walter   /   (2014)

TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, France, 10p

Télécharger le document

An ontology for the ERTMS/ETCS

HOINARU, Olimpia ; GRANSART, Christophe ; MARIANO, Georges ; LEMAIRE, Etienne   /   (2014)

TRA2014 - Transport Research Arena: Transport Solutions: from Research to Deployment - Innovate Mobility, Mobilise Innovation !, France, 10p

Télécharger le document

Causal Analysis Methodology of Multisensor Systems based on GNSS

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

Railways 2014, The Second International Conference on Railway Technology: Research, Development and Maintenance, FRANCE, 21p

http://www.civil-comp.com/conf/railways2014.htm

Télécharger le document

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

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

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

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
http://dx.doi.org/10.1109/TITS.2013.2294874

Plus d'infos

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

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

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

http://www.sciencedirect.com/science/journal/01912615
http://dx.doi.org/10.1016/j.trb.2013.10.013

Télécharger le document

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

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

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

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

Plus d'infos

An analysis of parameter adaptation in reactive tabu search

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

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

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

Plus d'infos

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

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

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

http://www.sciencedirect.com/science/journal/09257535
http://dx.doi.org/10.1016/j.ssci.2013.07.022

Plus d'infos

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

SONDI, Patrick ; BERBINEAU, Marion ; KASSAB, Mohamed ; MARIANO, Georges   /   (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

Plus d'infos

Dependency Graph for Requirements Structuring based on Guidance Ontology

DARRAGI, Nesrine ; COLLART-DUTILLEUL, Simon ; EL KOURSI, El Miloudi ; BON, Philippe   /   (2013)

4th International academic-industrial conference on Complex Systems Design & Management (CSD&M), FRANCE, 12p

Télécharger le document

Tropos For Embedded Real-time Control System Modeling and Simulation

DARRAGI, Nesrine ; BON, Philippe ; COLLART-DUTILLEUL, Simon ; EL KOURSI, El Miloudi   /   (2013)

4th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2013), FRANCE, 5p

Télécharger le document

Study of implementation of ERTMS with respect to French national rules using a B centered methodology.

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

5th IESM 2013, 5th international conference on industrial engineering and system management, MAROC, 9p

Télécharger le document

Boosting the performance of a MILP formulation for railway traffic management in complex junctions

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

MT-ITS 2013, Models and Technologies for Intelligent Transportation Systems, ALLEMAGNE, p419-428

Plus d'infos

Sensitivity Assessment to Analyse Dependability of a Multisensor Localisation System based on GNSS

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

ITST 2013, 13th International Conference on ITS telecommunications, FINLANDE, 7p

Plus d'infos

Dependability evaluation of a GNSS and ECS based localisation unit for railway vehicles

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

ITST 2013, 13th International Conference on ITS telecommunications, FINLANDE, 6p

Télécharger le document

Ontology for complex railway systems application to ERTMS/ETCS system

HOINARU, Olimpia ; MARIANO, Georges ; GRANSART, Christophe   /   (2013)

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

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

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

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

Plus d'infos

A mixed-integer linear program for the real-time railway traffic management problem:quantification of the impact of a priori platform assignment

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

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 document

Configuring a MILP formulation for rail traffic management

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

EURO-INFORMS conference 2013, Italie, 1p

Plus d'infos

Algorithme hybride multi-objectif pour l'optimisation énergétique de profils de vitesse de trains

LEJEUNE, Aurelien ; CHEVRIER, Rémy ; RODRIGUEZ, Joaquin   /   (2013)

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 document

Computation of Passive Robustness Bound for Assembly/Disassembly Processes

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

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

http://www.seipub.org/ijace

Télécharger le document

Application of a Co-evolutionary Genetic Algorithm to solve the Periodic Railway Timetabling Problem

ARENAS, Diego ; CHEVRIER, Rémy ; DHAENENS, Clarisse ; HANAFI, Said ; RODRIGUEZ, Joaquin   /   (2013)

IESM 2013, 5th international conference on industrial engineering and system management, MAROC, 10p

Télécharger le document

Real-time train routing and scheduling through mixed integer linear programming: Heuristic approach

PELLEGRINI, Paola ; DOUCHET, Guillaume ; MARLIERE, Grégory ; RODRIGUEZ, Joaquin   /   (2013)

IESM 2013, 5th international conference on industrial engineering and system management, MAROC, 6p

Télécharger le document

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

PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2013)

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

http://www.sciencedirect.com/science/journal/09658564
http://dx.doi.org/10.1016/j.tra.2013.09.004

Télécharger le document

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

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

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

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

Télécharger le document

Computing multiple running times for railway timetabling: a speed-level based model for constructing alternative speed profiles

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

RailCopenhagen 2013, 5th International Conference in Railway Operations Research, DANEMARK, 20p

Télécharger le document

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

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

Journal of Civil Engineering and Architecture, pp 562-569

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

Télécharger le document

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

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

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

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

Télécharger le document

From Formal Specifications to Efficient Test Scenarios Generation

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

ICALT, International Conference on Advanced Logistics and Transport, Tunisie, 6p

Télécharger le document

Contribution to a terminology related to dependability for the qualification of an on-board satellite-based system

HOINARU, Olimpia ; BEUGIN, Julie ; MARAIS, Juliette   /   (2013)

2th ICTIS conference, International Conference on Transportation Information and Safety, CHINE, p333-339

Télécharger le document

Improved Resilience of Metro Vehicle Design to Blast and Fire Events

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

ICALT, International Conference on Advanced Logistics and Transport, Tunisie, 6p

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6568429

Plus d'infos

A mixed-integer linear program for the real-time railway traffic management problem modeling track-circuits

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

IAROR, 5th International Seminar on Railway Operations Modelling and Analysis, RailCopenhagen 2013, DANEMARK, 18p

Plus d'infos

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

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

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

http://www.ijcsi.org/

Télécharger le document

Diagnosis of human operator behaviour in case of train driving: interest of facial recognition

LEGRAND, Cyril ; RICHARD, Philippe ; BENARD, Vincent ; VANDERHAEGEN, Frédéric ; CAULIER, Patrice   /   (2012)

30th European Annual Conference on Human Decision-Making and Manual Control, ALLEMAGNE, 6p

Télécharger le document

Scheduling theory and constraint programming applied to rail traffic management, in Farewell address, Prof. Ingo Hansen

RODRIGUEZ, Joaquin   /   (2012)

TECHNICAL UNIVERSITY DELFT, p133-145

Télécharger le document

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

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

TEC Transport environnement circulation, 216, p60-66

Plus d'infos

K-diagnosability of labeled Petri nets

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

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 document

A DBMS Framework for Diagnosability Analysis of Discrete Event Systems

GHAZEL, Mohamed ; PERES, Florent ; BELHAJ ALAYA, Atef ; JEMAI, Abderrazak   /   (2012)

DSN 2012, 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, ETATS-UNIS, 2p

Plus d'infos

Adding Technological Solutions for Safety Improvement at Level Crossings: a Functional Specification

BAHLOUL, Khaled ; DEFOSSEZ, François ; GHAZEL, Mohamed ; COLLART-DUTILLEUL, Simon   /   (2012)

TRA, Transport Research Arena, GRECE, 10p

Plus d'infos

A Formal Framework for the Formalization of Informal Requirements

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

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

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

Télécharger le document

Integrating humans factors in the analysis of the interaction 'Tram- car drivers'

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

CETRA 2012, 2nd International Conference on Road and Rail Infrastructure , CROATIE, 9p

Télécharger le document

On the Sensitivity of Reactive Tabu Search to its Meta-parameters

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

ThRaSH 2012, 6th Workshop on Theory of Randomized Search Heuristics, FRANCE, 1p

http://thrash2012.gforge.inria.fr

Télécharger le document

Exact models for the real time railway traffic management problem: tackling perturbed traffic considering real junction details

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

IMSP 2012 - 21th International Symposium on Mathematical Programming (ISMP 2012), ALLEMAGNE, 14p

Télécharger le document

Two local searches for the primary allocation of airport slots

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

AIRO 2012 - Conference Graph Algorithms and Optimization, ITALIE, 18p

Télécharger le document

Real time railway traffic management modeling track-circuits

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

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

Télécharger le document

Secondary trading of airport slots as a combinatorial exchange

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

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

Plus d'infos

Airport slot allocation in Europe: economic efficiency and fairness

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

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

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

Plus d'infos

A critical analysis of parameter adaptation in ant colony optimization

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

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

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

Plus d'infos

Propriétés de sûreté de fonctionnement d'un système embarqué de localisation par satellites dédié à la sécurité ferroviaire

BEUGIN, Julie ; MARAIS, Juliette   /   (2012)

18th Lambda-Mu congress, France, 9p

Télécharger le document

Test Cases Generation from CTL. A Methodology

YANG, J ; GHAZEL, M ; EL-KOURSI, EM   /   (2012)

International Symposium on Security and Safety of Complex Systems, 25-26 mai 2012, Agadir, Maroc, 7p

Plus d'infos

Raffinement des Exigences pour la Génération de Scénarios de Tests d'une Architecture de Contrôle/Commande Ferroviaire Embarqué

YANG, J   /   (2012)

Workshop Applications industrielles : Sûreté, surveillance, supervision, 18 Janvier 2012, Paris, France, 1p

Plus d'infos

Integration of B activity into a global design process (Poster)

BON, P ; COLLART-DUTILLEUL, S ; PETIT, D   /   (2012)

TRA, Transport Research Arena, April 23-26 2012, Athens, Greece, 1p

Plus d'infos

Integration of B activity into a global design process

BON, P ; COLLART-DUTILLEUL, S ; PETIT, D   /   (2012)

TRA, Transport Research Arena, April 23-26 2012, Athens, Greece, 10p

Plus d'infos

Algorithme pour l adaptation d interfaces à deux niveaux : application à des services numériques dédiés au vélo urbain

USTER, G ; PETIT, C ; GRISLIN, E   /   (2012)

UBIMOB 2012, 8èmes journées francophones Mobilité et Ubiquité, juin 2012, Anglet, France, 10p

Télécharger le document

Intelligent Surveillance System Based on Stereo Vision for Level Crossings Safety Applications

FAKHFAKH, N ; KHOUDOUR, L ; BRUYELLE, JL ; EL-KOURSI, EM   /   (2012)

Recent Developments in videosurveillance, El-Alfy,H (ED), p75-100

http://www.intechopen.com/books/recent-developments-in-video-surveillance/intelligent-surveillance-system-based-on-stereo-vision-for-level-crossings-safety-applications

Plus d'infos

Evaluation method of GNSS-based positioning functions for safety applications in operational conditions

MARAIS, J ; BEUGIN, J   /   (2012)

TRA, Transport Research Arena, April 23-26 2012, Athens, Greece, 10p

Plus d'infos

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

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

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

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

Plus d'infos

Third mode and information: how to improve the efficiency of urban mobility systems ?

USTER, G   /   (2012)

EWGT 2012, 15th meeting of the Euro Working Group on Transportation, September 10-12, 2012, Paris, France, 1p

Télécharger le document

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

BEUGIN, Julie ; MARAIS, Juliette   /   (2012)

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

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

Plus d'infos

Assisting Temporal Requirement Specification

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

Computer Technology and Application (CTA) Journal, 10p

Plus d'infos

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

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

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

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

Plus d'infos

Evaluation of the safety level of a hot box detection system by using estimated rates

CLARHAUT, J ; EL-KOURSI, EM ; LEMAIRE, E   /   (2012)

TRA, Transport Research Arena, April 23-26 2012, Athens, Greece, 8p

Plus d'infos

Interaction in Mobility: The Evaluation of Interactive Systems Used by Travellers in Transportation Contexts. In: Lecture Notes in Computer Science

KOLSKI, Christophe ; USTER, Guillaume ; ROBERT, Jean-Marc ; OLIVEIRA, Kathia ; DAVID, Bertrand   /   (2011)

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

Plus d'infos

4th International Seminar on Railway Operations Modelling and Analysis - RailRome2011

RICCI, Stefano ; HANSEN, Ingo ; LONGO, Giovanni ; PACCIARELLI, Dario ; RODRIGUEZ, Joaquin ; WENDLER, Ekkehard   /   (2011)

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

RODRIGUEZ, Joaquin ; DABLANC, Laetitia   /   (2011)

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

Télécharger le document

Spécification et Vérification Formelles des COTS Orientée Contrôle-Commande Ferroviaire Embarqué

YANG, J   /   (2011)

Journée des doctorants SPI-STIC de l'IFSTTAR 2011, Rencontre du 7 juin 2011, Villeneuve d'Ascq, France, 12p

Plus d'infos

Requirement Refinement to Test Case Generation for Embedded Railway Control Systems

YANG, J ; PERES, F ; GHAZEL, M ; EL-KOURSI, EM   /   (2011)

EURO-ZEL 2011, 19th International Symposium on recent Challenges for European Railways, 8th - 9th June 2011, Zilina, Slovak Republic, p191-199

Plus d'infos

A set of design oriented scientific tools to assist abstract B machine specification

COLLART-DUTILLEUL, S ; BON, P ; PETIT, D   /   (2011)

LINDI 2011, 3rd IEEE International Symposium on Logistics and Industrial Informatics, august 25-27, 2011, Budapest, Hungary, p209-214

Plus d'infos

Un ensemble d'outils scientifiques orientés modèles pour assister la conception de spécification en langage B

BON, P ; COLLART-DUTILLEUL, S ; PETIT, D   /   (2011)

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 document

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

USTER, G   /   (2011)

TEC Transport environnement circulation, 212, p42-47

http://www.atec-itsfrance.net

Plus d'infos

Consideration of the Travel Time Experience in The Conceptual Models Of Personalized Interactive Applications. In: Christophe Kolski (eds) Human-Computer Interactions in Transport

BROSSARD, Arnaud ; ABED, Mourad ; KOLSKI, Christophe ; USTER, Guillaume   /   (2011)

John Wiley & Sons, pp283-310

https://doi.org/10.1002/9781118601907.ch9

Plus d'infos

Principles, Issues and Viewpoints of travaler Information in a Multimodal Context

USTER, G   /   (2011)

Human computer Interactions in Transport, KOLSKI,C (ED), p1-20

Plus d'infos

Specification and verification of real-time systems using POLA

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

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

Plus d'infos

Towards Human stability in transport systems

RICHARD, P ; BENARD, V ; VANDERHAEGEN, F ; CAULIER, P   /   (2011)

IEEM2011, IEEE International Conference on Industrial Engineering and Engineering Management, december 2011, Singapore, 6p

Plus d'infos

Integration of communication systems for a railroad smart wagon

CLARHAUT, J ; HAYAT, S ; TAHIRI, H   /   (2011)

LOGISTIQUA, IEEE 4th International Conference on logisitcs, May 31 2011-June 3 2011, Hammamet, Tunisia, 6p

Plus d'infos

Performance of a constraint-based scheduling model for optimal train dispatching

RODRIGUEZ, J ; MARLIERE, G ; SOBIERAJ, S   /   (2011)

WCRR 2011, 9th World Congress on Railway Research, may 22-26 2011, Lille, France, 15p

Plus d'infos

Improving traffic management of rail network : new methods, processes and tools - Real-time traffic management of railway bottlenecks

RODRIGUEZ, J   /   (2011)

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

MARLIERE, G ; SOBIERAJ, S ; RODRIGUEZ, J   /   (2011)

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 document

Study on train speed profile adjustments of two fixed-speed models for the real-time railway traffic optimization problem

RODRIGUEZ, J ; MARLIERE, G ; SOBIERAJ, S   /   (2011)

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

Télécharger le document

Simulation of solutions of a fixed-speed model for the real-time railway traffic optimization problem

SOBIERAJ, S ; MARLIERE, G ; RODRIGUEZ, J   /   (2011)

RailRome 2011, 4th International Seminar on Railway Operations Modelling and Analysis, 16-18 february 2011, Roma, Italy, 17p

Télécharger le document

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

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

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

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

Télécharger le document

Patterns-Based Assistance for Temporal Requirement Specification

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

WORLDCOMP 2011, SERP'11, International Conference on Software Engineering Research and Practice, july 18-21 2011, Las Vegas, Nevada, USA, 7p

Plus d'infos

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

DABLANC, L ; RODRIGUEZ, J   /   (2011)

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

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

Plus d'infos

On the composition of time Petri nets

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

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

Plus d'infos

Reflections on the development of a common incidents/accidents model for urban guided transport in Europe

BENARD, V ; FURLAN, L ; EL-KOURSI, EM   /   (2011)

APM, Automated People Movers and Transit Systems,May 22 - 26, 2011, Paris, France, 10p

Télécharger le document

The renovation requirements for the VAL manless system in Lille

EL-KOURSI, EM ; COUVREUR, G ; BARANOWSKI, F ; FLAMANT, F ; BUTIN, A   /   (2011)

APM, Automated People Movers and Transit Systems,May 22 - 26, 2011, Paris, France, 8p

Télécharger le document

Saving Energy in Railway Management with an Evolutionary Multiobjective Algorithm: Application and Case Study

CHEVRIER, R ; MARLIERE, G ; VULTURESCU, B ; RODRIGUEZ, J   /   (2011)

WCRR 2011, 9th World Congress on Railway Research, may 22-26 2011, Lille, France, 19p

Plus d'infos

Requirement Refinement to Test Case Generation for Railway Control Systems

YANG, J ; PERES, F ; GHAZEL, M ; EL-KOURSI, EM   /   (2011)

EURO - ZEL 2011, 19th International Symposium 8th - 9th, June 2011, ©ilina, Slovak Republic, 8p

www.zu-zel.sk/file/down/2011/Yang.pps

Plus d'infos

Contribution de la chronobiologie de la vigilance a la sécurité des transports

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

SETIT, 6th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, 26-29 octobre 2011, Sousse, Tunisie, 7p

Plus d'infos

Towards an Ontology of Help to the Modeling of Accident Scenarii Application on Railroad Transport

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

SETIT, 6th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, 26-29 octobre 2011, Sousse, Tunisie, 7p

Plus d'infos

Construction d'une ontologie d'aide au renforcement de la sécurité des systèmes de transport automatisés

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

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 document

The Contribution of Machine Learning to Analyze and Evaluate the Safety of Automated Transport Systems.

MAALEL, A ; MHIRI, W ; HADJ-MABROUK, H   /   (2011)

CCCA'11, IEEE 2011 International Conference on Communications, Computing and Control Applications, March 3-5 2011 Hamammet, Tunisia, 6p

Plus d'infos

Localisation tri-dimensionnelle robuste d'objets par propagation de croyance hiérarchique

KHOUDOUR, L ; FAKHFAKH, N ; EL-KOURSI, EM   /   (2011)

TELECOM2011 & 7ème JFMMA 16-18 mars 2011, Tanger, Maroc, 6p

Plus d'infos

Multi-objective Evolutionary Algorithm for Speed Tuning Optimization with Energy Saving in Railway: Application and Case Study

CHEVRIER, R ; MARLIERE, G ; VULTURESCU, B ; RODRIGUEZ, J   /   (2011)

RAILROM 2011, 4th International Seminar in Railway Operations Research,february 2011, Roma, Italy, 19p

Plus d'infos

A formal model of requirements

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

Open Transportation Journal, 18p

Plus d'infos

An approach for protecting a critical transport infrastructure

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

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

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

Plus d'infos

Timed Specification Patterns for System Validation. A railway case study

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

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

Plus d'infos

Monitoring and Diagnosis of Discrete Event Systems using Time Petri Nets : a Railway Case Study

GHAZEL, M   /   (2011)

Fault Detection: Theory, Methods and Systems, SIMON,L (ED), p69-95

Plus d'infos

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

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

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

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

Télécharger le document

Cyclistes urbains : qui etes-vous ?

JUGUET, S ; USTER, G ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2011)

Congrès international ATEC ITS, février 2011, Versailles, France, 5p

Télécharger le document

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

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

Open transportation Journal, 19p

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

Télécharger le document

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

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

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

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

Télécharger le document

An ant algorithm for measuring and optimizing the capacity of a railway infrastructure, in Artificial Ants, Monmarche,N, Guinand,F, Siarry,P (Eds), Wiley

GANDIBLEUX, Xavier ; JORGE, Julien ; DELORME, Xavier ; RODRIGUEZ, Joaquin   /   (2010)

WILEY, p11-41

Plus d'infos

Surveillance des systèmes à événements discrets à l'aide des réseaux de Petri temporels

GHAZEL, Mohamed   /   (2010)

EUE Editions Universitaires Européennes, 160p

Plus d'infos

Analyse d'un modèle AADL à l'aide de Pola

HLADIK, PE ; PERES, F ; XIAOMU, S   /   (2010)

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 document

Modélisation de la fonction de localisation des trains à grande vitesse

DHAHBI, S   /   (2010)

Journée des doctorants SPI et STIC de l'INRETS, mai 2010, Villeneuve d'Ascq, France, 7p

Plus d'infos

A constraint-based scheduling model for optimal train dispatching

RODRIGUEZ, J ; MARLIERE, G ; SOBIERAJ, S   /   (2010)

2010 Joint Rail Conference, april 27-29 2010, Urbana, Illinois, USA, 8p

Plus d'infos

A future driver assistance system for train control realization in case of signaling system ERTMS dysfunction

HAYAT, S ; DHAHBI, S   /   (2010)

ITST 2010 10th International Conference on Intelligent Transport Systems Telecommunications, , november 9-11, 2010, Kyoto, Japan, 6p

Plus d'infos

Disturbances modelling for improving the traffic operation for the public transport networks

HAYAT, S   /   (2010)

IFAC LSS Symposium, Large Scale Systems: Theory and Applications, juillet 2010, Villeneuve d'Ascq, France, 7p

Plus d'infos

Modeling of interface dialog between train and balise localization by signaling system ERTMS in dysfunction cases

HAYAT, S ; DHAHBI, S ; TURKI, A ; EL MOUDNI, A   /   (2010)

12th IFAC-LSS'2010 symposium Large Scale Systems : Theory and Applications, juillet 2010, Villeneuve d'Ascq, France, 9p

Plus d'infos

Système d'information d'un usager à l'approche d'un passage à niveau

HEDDEBAUT, M ; GHAZEL, M ; BOUKOUR, F ; RIOULT, J   /   (2010)

Dépôt INPI le 4 février 2010 n° 10 50765, 12p

Plus d'infos

Prise en compte du risque humain dans le secteur maritime. Application au projet des autoroutes de la mer

EL-MABROUK, A ; HADJ-MABROUK, H   /   (2010)

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 document

Elaboration d'un référentiel réglementaire en matière de sécurité ferroviaire

BELLAJ, A ; HADJ-MABROUK, H   /   (2010)

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 document

Optimisation 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)

MARLIERE, G ; RODRIGUEZ, J ; SOBIERAJ, S ; ZANN, F   /   (2010)

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'infos

Méthodes formelles : des logiciels aux systèmes critiques

BON, P ; BOULANGER, JL ; MARIANO, G   /   (2010)

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'infos

Contrôle et évaluation de la sécurité des systèmes de transport guidés urbains

BIED-CHARRETON, D ; FURLAN, L   /   (2010)

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'infos

PANsafer Project: Towards a safer level crossing

KHOUDOUR, L ; FELTZ, P ; BERTRAND, D ; GHAZEL, M ; HEDDEBAUT, M ; COLLART-DUTILLEUL, S ; RUICHEK, Y ; FLANCQUART, A   /   (2010)

11th Global Level Crossing Symposium, october 2010, Tokyo, Japan, 

Plus d'infos

Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems

GHAZEL, M ; MEKKI, A   /   (2010)

SERP2010 - WorldComp'2010, 9th International Conference on Software Engineering Research & Practice, july 2010, Las Vegas, Nevada, USA, 7p

Plus d'infos

Methodology for assessing safety systems Application for a railway hot box protection system

CLARHAUT, J ; LEMAIRE, E ; EL-KOURSI, EM   /   (2010)

FORMS/FORMAT 2010, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, december 2010, Braunschweig, Germany, 8p

Plus d'infos

On Optimizing a Demand Responsive Transport with an Evolutionary Multiobjective Approach

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

ITSC 2010, 13th IEEE Intelligent Transport Systems Conference, 19-22 september 2010, Madeira Island, Portugal, 

Plus d'infos

An Evolutionary Multiobjective Approach for Speed Tuning Optimization with Energy Saving in Railway Management

CHEVRIER, R   /   (2010)

ITSC 2010, 13th IEEE Intelligent Transport Systems Conference, 19-22 september 2010, Madeira Island, Portugal, p279-284

Plus d'infos

Evolutionary Multi-objective Optimization of Speed Tuning in Railway Management: A Case Study

CHEVRIER, R ; RODRIGUEZ, J ; MARLIERE, G   /   (2010)

META'2010, International Conference on Metaheuristics and Nature Inspired Computing, october 2010, Djerba, Tunisia, 2p

Plus d'infos

Common approach for supervising the railway safety performance

EL-KOURSI, EM ; TORDAI, L   /   (2010)

Safety and Security in Railway Engineering, SCIUTTO,G (ED), p69-79

Plus d'infos

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

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

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

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

Plus d'infos

Taking advantage of some complementary modelling methods to meet critical system requirement specifications

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

Safety and Security in Railway Engineering, SCIUTTO,G (ED), p119-128

Plus d'infos

Patterns de Spécification des Exigences Temporelles

MEKKI, A   /   (2010)

Journée des doctorants SPI et STIC de l'INRETS, mai 2010, Villeneuve d'Ascq, France, 7p

Plus d'infos

BRILLANT: an open source platform for B

COLIN, S ; PETIT, D ; MARIANO, G ; POIRRIEZ, V   /   (2010)

Workshop on Tool Building in Formal Methods, february 2010, Orford, Quebec, Canada, 5p

http://hal.archives-ouvertes.fr/inria-00480709/fr/

Plus d'infos

Toward the Human Stability in Transportation Systems: Concept and Objectives

RICHARD, P ; BENARD, V ; CAULIER, P ; VANDERHAEGEN, F   /   (2010)

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'infos

Vers le concept de stabilité humaine pour l'amélioration de la sécurité des transports

RICHARD, P ; BENARD, V ; CAULIER, P ; VANDERHAEGEN, F   /   (2010)

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 document

Towards the Human Stability concept in order to improve safety in transport systems

RICHARD, P ; BENARD, V ; CAULIER, P ; VANDERHAEGEN, F   /   (2010)

ESREL 2010, 5 au 9 September 2010, Rhodes, Greece, 8p

Plus d'infos

Functioning mode Management and formal assessment of safety

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

IFAC LSS Symposium, Large Scale Systems: Theory and Applications, juillet 2010, Villeneuve d'Ascq, France, 6p

Plus d'infos

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

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

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

Plus d'infos

Design of dependable system architectures for a railroad smart wagon using shared functions

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

ITSC 2010, 13th IEEE Intelligent Transport Systems Conference, 19-22 september 2010, Madeira Island, Portugal, 6p

Plus d'infos

The concept of a smart wagon for improving the safety of a railroad transportation system

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

IFAC LSS Symposium, Large Scale Systems: Theory and Applications, juillet 2010, Villeneuve d'Ascq, France, 6p

Plus d'infos

Capitalisation et exploitation des connaissances de sécurité

HADJ-MABROUK, H   /   (2010)

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 document

Méthodologie de conception de systèmes d'automatisation. Proposition du concept du wagon intelligent pour améliorer la sûreté de fonctionnement du ferroutage

CLARHAUT, J   /   (2010)

Editions Universitaires Européennes, 221p

Plus d'infos

Vers une ontologie pour le domaine de l'analyse de sécurité des systèmes de transport automatisés

MEJRI, L ; HADJ-MABROUK, H ; CAULIER, P   /   (2010)

Conférence TOTh 2010, Terminologie & Ontologie, Théories et applications, 3-4 juin 2010, Annecy, France, 17p

Plus d'infos

Methodological Approach of Management of the Risks in the Industrial Sector: Application to the Oil Sector

BAHRI, S ; HADJ-MABROUK, H   /   (2010)

EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 8p

Plus d'infos

Towards an Ontology of Risks Analysis

HAMDAOUI, F ; HADJ-MABROUK, H ; KAMOUN, A   /   (2010)

EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 10p

Plus d'infos

Taking into Account of Safety in Models of Railroad Traffic Management and Optimization

LAJIMI, C ; HADJ-MABROUK, H   /   (2010)

EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 9p

Plus d'infos

Taking into Account of Human Risk in Maritime Sector. Application on Sea Motorways Project

ELMABROUK, A ; HADJ-MABROUK, H ; KAMOUN, A   /   (2010)

EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 11p

Plus d'infos

System Based Knowledge for the Help in Exploitation of Field Data Feedback in Railroad Transport

MAALEL, A ; MEJRI, L ; BEN-GHEZELA, H ; HADJ-MABROUK, H   /   (2010)

EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 6p

Plus d'infos

Supporting Tool of Regulation Capitalization and Exploitation in Railroad Safety

BELLAAJ, A ; HADJ-MABROUK, H ; KAMOUN, A   /   (2010)

EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 9p

Plus d'infos

Contribution of case based reasoning (CBR) in the exploitation of return of experience. Application to accident scenarii in rail transport

MAALEL, A ; HADJ-MABROUK, H   /   (2010)

SIIE'2010, 3rd International Conference on Information Systems and Economic Intelligence, 18-20 february 2010, Sousse, Tunisia, 8p

Plus d'infos

Contribution of the return of experience to Security

HADJ-MABROUK, H ; HAMDAOUI, F ; MAALEL, A   /   (2010)

SIIE'2010, 3rd International Conference on Information Systems and Economic Intelligence, 18-20 february 2010, Sousse, Tunisia, 4p

Plus d'infos

Analysis and maritime Risk management

ELMABROUK, A ; HADJ-MABROUK, H   /   (2010)

SIIE'2010, 3rd International Conference on Information Systems and Economic Intelligence, 18-20 february 2010, Sousse, Tunisia, 6p

Plus d'infos

Introduction à la sécurité et à l'analyse des risques technologiques et humains

HADJ-MABROUK, H ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2010)

Symposium International sur la Maintenance et la Maîtrise des Risques, avril 2010, Rabat, Maroc, 16p

Télécharger le document

Vers la prise en compte de l'expérience des temps de déplacement dans les modèles conceptuels des applications interactives personnalisées

BROSSARD, A ; ABED, M ; KOLSKI, C ; USTER, G   /   (2010)

Interaction homme-machine dans les transports - information voyageur, personnalisation et assistance, KOLSKI,C (ED), 28p

Plus d'infos

Principes, problématique et perspectives de l'information voyageur dans un contexte multimodal

USTER, G   /   (2010)

Interaction homme-machine dans les transports - information voyageur, personnalisation et assistance, KOLSKI,C (ED), 21p

Plus d'infos

Dense Stereo Matching by Hierarchical Belief Propagation based on Fuzzy Confidence Approach

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

14th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, September 8,9 & 10 Cardiff, Wales, UK, 10p

Plus d'infos

Background Subtraction and 3D Localization of Moving and Stationary Obstacles at Level Crossings

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

IPTA 2010, IEEE International Conference on Image Processing, Theory, Tools and Applications, 7-10 july 2010, Paris, France, 6p

Plus d'infos

Robust 3D Objects Localization using Hierarchical Belief Propagation in Real World Environment

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

14th International Conference on Image Processing, Computer Vision, and Pattern Recognition, 12-15 July 2010, Las Vegas, Nevada, USA, 6p

Plus d'infos

Railway traffic flow modelling using bond graphs

HAYAT, S ; BOUGHEDADA, K ; OULDBOUAMAM, B   /   (2010)

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'infos

Patterns For Temporal Requirements Engineering. A level crossing case study

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

ICINCO 2010, 7th International Conference on Informatics in Control, Automation and Robotics, juin 2010, Madeira, Portugal, 8p

Plus d'infos

Time-constrained systems validation using MDA model transformation. A railway case study

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

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'infos

Ecran autonome interactif embarqué. Pour une information personnalisée dans le véhicule

BELLAIS, F ; PETIT, C ; USTER, G   /   (2010)

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'infos

Du concept de recherche au prototype industriel : l'exemple de Viatic

BLANQUART, C ; USTER, G   /   (2010)

Congrès ATEC-ITS mobilité et avenir des territoires, 3-4 février 2010, Versailles, France, 11p

Plus d'infos

Comment l'intelligence ambiante peut-elle contribuer aux transports intelligents ?

BALBO, F ; TARPIN, C ; USTER, G ; SEIDOWSKY, R   /   (2010)

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'infos

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

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

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

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

Plus d'infos

3rd International Seminar on Railway Operations Modelling and Analysis - RailZurich2009

HANSEN, Ingo ; WENDLER, Ekkehard ; WEIDMANN, Ulrich ; LUTHIU, Marco ; RODRIGUEZ, Joaquin ; RICCI, Stefano ; KROON, Leo   /   (2009)

3rd International Seminar on Railway Operations Modelling and Analysis - RailZurich2009, SUISSE, 50p

Télécharger le document

Modèle du wagon intelligent de ferroutage

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

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 document

Transport collectif : l'ère du voyageur numérique

USTER, G   /   (2009)

Livre blanc, p13

Plus d'infos

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

USTER, G   /   (2009)

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

Plus d'infos

Risks and Governance, which approach?

SARRAJ, M ; HADJ-MABROUK, H ; MAALEL, A   /   (2009)

4ème Colloque International l'ISG de Gabès, décembre 2009, Tataouine, Tunisie, 6p

Télécharger le document

Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment

GHAZEL, M   /   (2009)

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

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

Plus d'infos

Analyse des risques des systèmes de transport intelligents

HADJ-MABROUK, H   /   (2009)

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 document

Informer les voyageurs pour une mobilité raisonnée

USTER, G   /   (2009)

Paroles de Chercheurs II, p148-151

Plus d'infos

User modelling: the consideration of the experience of time during journeys in public transportation

BROSSARD, A ; ABED, M ; KOLSKI, C ; USTER, G   /   (2009)

ACM Mobility conference, 6th International Conference on Mobile Technology, Applications and Systems, 2-4 september 2009, Nice, France, 4p

Plus d'infos

The Viatic Concept Information Technology for Intelligent Travellers

USTER, G ; JUGUET, S ; TALON, G   /   (2009)

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

MEKKI, A   /   (2009)

Journée des Doctorants de l'INRETS 2009, avril 2009, Villeneuve d'Ascq, France, 17p

Plus d'infos

A 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

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

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

Plus d'infos

Mise en correspondance stéréoscopique d'images couleur pour la détection d'objets obstruant la voie aux passages à niveau

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

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 document

Détection de régions en mouvement et suivi 3D d'obstacles aux passages à niveau

FAKHFAKH, N   /   (2009)

Journée des doctorants SPI et STIC de l'INRETS, Avril 2009, Villeneuve d'Ascq, France, 14p

Plus d'infos

Proposition d'une modélisation d'un Système Homme-Machine par l'approche Système Dynamique Hybride

RICHARD, P   /   (2009)

Journée des doctorants SPI et STIC de l'INRETS, Avril 2009, Villeneuve d'Ascq, France, 11p

Plus d'infos

A behavioural model for the level crossing collision risk assessment

GHAZEL, M   /   (2009)

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'infos

State Observer for DES Under Partial Observation with Time Petri Nets

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

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

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

Plus d'infos

La fluidification des circulations dans les noeuds ferroviaires

RODRIGUEZ, J   /   (2009)

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 document

Managing the railway safety performance

EL-KOURSI, EM ; RODRIGUEZ, J   /   (2009)

First National Conference on Railway safety and operation research : present development and future perspectives, march 2009, Roma, Italy, 23p

Télécharger le document

La fluidification des noeuds sensibles dans la gestion du réseau

RODRIGUEZ, J   /   (2009)

Journée Technique SEE,Le futur des transports ferroviaires et guidés, mars 2009, Lille, France, 21p

Télécharger le document

An incremental heuristic for the train routing and scheduling problem

RODRIGUEZ, J ; MARLIÉRE, G ; SOBIERAJ, S   /   (2009)

ITS 2009, International Conference on Models and Technology for Intelligent Transportation Systems, June 2009, Roma, Italy, 8p

Télécharger le document

A study of an incremental texture-based heuristic for the train routing and scheduling problem

RODRIGUEZ, J ; SOBIERAJ, S   /   (2009)

3rd International Seminar on Railway Operations Modelling and Analysis, february 2009, Zurich, Switzerland, 14p

Télécharger le document

Safer European Level Crossing Appraisal and Technology-SELCAT. Second workshop :Technology, 22 - 23 Novembre 2007 Marrakech (Maroc)

EL-KOURSI, EM ; KHOUDOUR, L ; IMPASTATO, S ; MALAVASI, G ; RICCI, S   /   (2009)

INRETS, 212p

http://www.inrets.fr

Plus d'infos

A generation method of test scenarios based on models

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

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'infos

Modelling of the European Rail Traffic Management System (ERTMS) for checking objectives

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

CTS'09, 12th IFAC Symposium on Control in Transportation Systems, September 2009, California, USA, 6p

Télécharger le document

Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers

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

VECOS2009, Verification and Evaluation of Computer and Communication Systems, juillet 2009, Rabat, Maroc, 12p

Plus d'infos

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

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

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

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

Télécharger le document

« ALoCSyS », un outil logiciel d'aide à la conception de systèmes d'automatisation sûrs de fonctionnement

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

3SGS'09, 2nd Workshop Surveillance, Sûreté et Sécurité des Grands Systèmes, juin 2009, Nancy, France, 9p

Télécharger le document

Amélioration de la sûreté de fonctionnement du ferroutage par le concept du wagon intelligent

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

CNRIUT 2009, 15ème Colloque National de la Recherche en IUT, juin 2009, Lille, France, 9p

Télécharger le document

Etude de la conception d'un système d'aide à la conduite de trains lors du dysfonctionnement du système de signalisation ERTMS

DHAHBI, S ; HAYAT, S ; ABBAS TURKI, A ; EL MOUDNI, A   /   (2009)

3SGS'09, 2nd Workshop Surveillance, Sûreté et Sécurité des Grands Systèmes, juin 2009, Nancy, France, 9p

Télécharger le document

Design of the driver assistance system for train's control in case of signaling system ERTMS dysfunction

HAYAT, S ; DHAHBI, S ; ABBAS TURKI, A ; EL MOUDNI, A   /   (2009)

ITS 2009, International Conference on Models and Technology for Intelligent Transportation Systems, June 2009, Roma, Italy, 8p

Télécharger le document

The Cost Benefit Analysis of level crossing safety measure

BEN AOUN, R ; EL-KOURSI, EM ; LEMAIRE, E   /   (2009)

Safe 2009, 3rd International Conference on Safety and Security Engineering, july 2009, Roma, Italy, 11p

Télécharger le document

Monitoring of Temporal Requirements with Stocharts Observation Patterns, Application to a Level Crossing Control System

GHAZEL, M ; MASMOUDI, M ; TOGUYENI, A   /   (2009)

DCDS09, 2nd IFAC Workshop on Dependable Control of Discrete Systems, june 2009, Bari, Italy, p71-76

Télécharger le document

Verification of Temporal Requirements of Complex Systems Using UML Patterns, Application to a Railway Control Example

GHAZEL, M ; MASMOUDI, M ; TOGUYENI, A   /   (2009)

4th IEEE International Conference on System of Systems Engineering, May 31st -June 3rd 2009, Albuquerque, New Mexico, USA, 6p

Plus d'infos

Intégration de la Sécurité dans les Systèmes Technologiques de l'Information et de la Communication

BAHRI, S ; HADJ-MABROUK, H ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2009)

SETIT, 5th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, mars 2009, Hammamet, Tunisie, 5p

Télécharger le document

Intégration de la Sécurité dans les Autoroutes de la mer

ELMABROUK, A ; HAMDAOUI, F ; HADJ-MABROUK, H   /   (2009)

SETIT, 5th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, mars 2009, Hammamet, Tunisie, 11p

Plus d'infos

Contribution du Raisonnement à Partir de cas à l'Evaluation des Logiciels de Sécurité

HADJ-MABROUK, H ; MAALEL, A ; HAMDAOUI, F   /   (2009)

SETIT, 5th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, mars 2009, Hammamet, Tunisie, 7p

Plus d'infos

Algorithme de fourmis pour mesurer et optimiser la capacité d'un réseau ferroviaire

JORGE, J ; GANDIBLEUX, X ; DELORME, X ; RODRIGUEZ, J   /   (2009)

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'infos

Stability evaluation of a railway timetable at station level

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

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

http://www.sciencedirect.com/science/journal/03772217
http://dx.doi.org/10.1016/j.ejor.2007.06.062

Télécharger le document

Safer European Level Crossing Appraisal and Technology-SELCAT. First Workshop: Appraisal, May 16th, 2007, Villeneuve d'Ascq, France

EL KOURSI, El Miloudi ; KHOUDOUR, Louahdi ; LAZAREVIC, Neda ; TORDAI, Laszlo ; SLOVAK, Roman   /   (2008)

Institut de Recherche sur les Transports et leur Sécurité - INRETS, 195p

Télécharger le document

Evaluation of Personalized Information Systems: Application in Intelligent Transport System

SOUI, M ; KOLSKI, C ; ABED, M ; USTER, G   /   (2008)

SEKE2008, 20th International Conference on Software Engineering and Knowledge Engineering, July 1-3 2008, San Francisco, USA, p877-880

Télécharger le document

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

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

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

Plus d'infos

Human stability toward a risk indicator in guided transport

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

27th European Annual Conference on Human Decision-Making and Manual Control, PAYS-BAS, 8p

Plus d'infos

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

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

TEC, Transport Environnement Circulation, 200, p34-39

Plus d'infos

SELCAT: its contribution to european level crossing safety

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

EURAIL Mag, Issue 18, p222-228

Plus d'infos

Etude d'un système multicapteurs pour la reconnaissance de situations potentiellement dangereuses aux passages à niveau

FAKHFAKH, N   /   (2008)

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'infos

Modelling of the ERTMS specifications for checking and tests generation objectives

JABRI, S ; EL-KOURSI, EM ; LEMAIRE, E ; BOURDEAUD'HYU, T   /   (2008)

FORMS 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, october 2008, Budapest, Hungary, 7p

Plus d'infos

Safety Levels Apportionment in Railway System

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

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

Plus d'infos

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

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

European Transport Research Review, 1, 11p

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

Plus d'infos

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

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

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

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

Télécharger le document

Apport de l'intelligence artificielle à la sécurité des transports ferroviaires

HADJ-MABROUK, H   /   (2008)

FIRTL 2008, Forum Inter universitaire de Recherche En Transport et Logistique, avrill 2008, Sousse, Tunisie, 12p

Télécharger le document

Méthode originale d'analyse des risques technologiques

HADJ-MABROUK, H   /   (2008)

Symposium maintenance et maîtrise des risques, mai 2008, Oran, Algérie, 12p

Télécharger le document

Complementarity of Preliminary Hazard Analysis and Field Data Feedback to improve security - Application to rail transport

HADJ-MABROUK, H ; HAMDAOUI, F   /   (2008)

STA 2008, 9th International conference on Sciences and Techniques of Automatic control & computer engineering, december 2008, Sousse, Tunisia, 9p

Télécharger le document

Apport du retour d'expérience à l'analyse des risques

HADJ-MABROUK, H ; HAMDAOUI, F   /   (2008)

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 6p

Plus d'infos

Intégration des facteurs humains dans le retour d'expérience

HADJ-MABROUK, H   /   (2008)

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 6p

Télécharger le document

Analyse préliminaire de risques et Retour d'expérience : deux approches complémentaires pour améliorer la sécurité des transports ferroviaires

HADJ-MABROUK, H ; HAMDAOUI, F ; CHTIOUI, R ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2008)

CIFA 2008, Conférence Internationale Francophone d'Automatique, septembre 2008, Bucarest, Roumanie, 5p

Plus d'infos

How can risk aversion factor characterise choices of economic agents under uncertainty in rail transport?

BEN AOUN, R ; EL-KOURSI, EM ; LEMAIRE, E   /   (2008)

FORMS 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, october 2008, Budapest, Hungary, 9p

Plus d'infos

Plateforme de simulation ERTMS

SOBIERAJ, S   /   (2008)

Télécharger le document

Approche orientée modèles pour une conception UML certifiée des systèmes logiciels critiques

RASSE, A ; BOULANGER, JL ; MARIANO, G ; THIRY, L ; PERONNE, JM ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2008)

CIFA 2008, Conférence Internationale Francophone d'Automatique, septembre 2008, Bucarest, Roumanie, 7p

Télécharger le document

Temporal requirements checking in a safety analysis of railway systems

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

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'infos

Systems engineering approach for the railway worksites' safety modelling

RODRIGUEZ, J ; SOBIERAJ, S ; BLATTER, C ; VIGNES, P   /   (2008)

WOS 2008,4th Working on Safety Conference, Working On Safety Network, september-october 2008, Crete, Greece, 8p

Plus d'infos

Risk Apportionment for Railway Safety

RAFRAFI, M ; EL-KOURSI, EM   /   (2008)

WOS 2008,4th Working on Safety Conference, Working On Safety Network, september-october 2008, Crete, Greece, 10p

Plus d'infos

Stochastic Petri Nets for Risk Assessment

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

FORMS 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, october 2008, Budapest, Hungary, 8p

Plus d'infos

Gestion des risques dans le contexte d'un réseau ferroviaire européen ouvert et unifié

EL-KOURSI, EM   /   (2008)

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 5p

Plus d'infos

A Risk Assessment framework for Road-Rail Level Crossings: Application to Moroccan Level Crossings

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

Level crossing 2008, 10th International Level Crossing Safety and Trespass Prevention Symposium, juin, Paris, France, 10p

Plus d'infos

Management Préliminaire des Risques (MPR). Proposition d'une méthode systémique et organisationnelle basée sur une ontologie générique

MAZOUNI, MH ; AUBRAY, JF ; EL-KOURSI, EM   /   (2008)

3SGS, workshop surveillance, sûreté et sécurité des grands systèmes, juin 2008, Troyes, France, 10p

Plus d'infos

A behavioural model for the Level Crossing Collision Risk Assessment

GHAZEL, M   /   (2008)

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'infos

Approche d'évaluation quantitative du risque de collision sur les passages à niveau

GHAZEL, M   /   (2008)

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 6p

Plus d'infos

Synthèse de contrôle de systèmes à événements discrets temporisés : application au passage à niveau

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

CIFA 2008, Conférence Internationale Francophone d'Automatique, septembre 2008, Bucarest, Roumanie., 7p

Plus d'infos

Programmation par contraintes pour l'allocation des objectifs de sécurité. Application au transport ferroviaire

RAFRAFI, M ; EL-KOURSI, EM   /   (2008)

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 5p

Plus d'infos

Taking advantage of some complementary modelling methods to meet critical system requirement specification

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

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'infos

Vers une intégration des facteurs humains dans le formalisme SAFE-SADT : application au freinage ferroviaire

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

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 7p

Plus d'infos

An Incremental Decision Algorithm for Railway Traffic Optimisation in a Complex Station

RODRIGUEZ, J   /   (2008)

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'infos

Méthodologie de conception de systèmes sûrs et économiques basée sur des scenarios et des arbres de défaillances multiples

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

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 9p

Plus d'infos

Optimal design of control systems using a dependability criteria and temporal sequences evaluation. Application to a railroad transportation system

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

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'infos

Mé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

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

3SGS, workshop surveillance, sûreté et sécurité des grands systèmes, juin 2008, Troyes, France, 11p

Plus d'infos

SELCAT. Its contribution to european level crossing safety

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

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'infos

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

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

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

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

Plus d'infos

Viatic Project : Innovative Street Furniture for Sustainable Mobility

USTER, G ; PETIT, C ; TALON, G ; BELLAIS, F ; JUGUET, S   /   (2008)

15th World Congress on Intelligent Transport Systems, november 2008, New York, USA, 3p

Télécharger le document

Procédé de recherche et de composition d'itinéraires

KAMOUN, A ; USTER, G ; HAMMADI, S   /   (2008)

23p

Plus d'infos

Risk Apportionment for Railway System using Constraint Programming

RAFRAFI, M ; EL-KOURSI, EM   /   (2008)

Risk analysis 2008, Sixth International Conference in Computer Simulation Risk Analysis and Hazard Mitigation, May, 2008, Cephalonia, Greece, 10p

Plus d'infos

Application of the SAFE-SADT method on a railway braking system

BENARD, V   /   (2008)

WCRR 2008, 8th World Congress on Railway Research, may 2008, Seoul, Korea, 13p

Plus d'infos

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

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

IEEE Transactions on Systems, Man and Cybernetics, Part A, Vol38 issue 2, p309 - 318

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=21 DOI : 10.1109/TSMCA.2007.914789

Télécharger le document

Deployment method of tests scenarios for critical systems- Application to the ERTMS/ETCS system

JABRI, S ; LEMAIRE, E ; EL-KOURSI, EM ; BOURDEAUD'HYU, T   /   (2008)

WCRR 2008, 8th World Congress on Railway Research, may 2008, Seoul, Korea, 10p

Plus d'infos

SELCAT. Safer European Level Crossing Appraisal and Technology

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

WCRR 2008, 8th World Congress on Railway Research, may 2008, Seoul, Korea, 13p

Plus d'infos

Etude des scénarios de tests de systèmes critiques

JABRI, S   /   (2008)

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'infos

Applying constraint programming to rail traffic management problems at junctions

RODRIGUEZ, J   /   (2008)

Transportation Research Trends, INWELDI,P (ED), p237-259

Plus d'infos

Conception d'un wagon de ferroutage intelligent

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

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 document

A generic process and its tool support towards combining UML and B for safety critical systems

IDANI, S ; BOULANGER, JL ; PHILIPPE, L   /   (2007)

ISCA, 20th International Conference on Computer Applications in Industry and Engineering, Gongzhu Hu (ED), November 2007, San Francisco, California, USA, p185-192

Plus d'infos

Méthode originale d'analyse des risques des systèmes de transports ferroviaires

HADJ-MABROUK, H ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2007)

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 document

Présentation d'un projet de recherche « Avis » pour l'aide à l'analyse de la sécurité des transports ferroviaires

HADJ-MABROUK, H ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2007)

QUALITA : congrès international pluridisciplinaire, Tanger, Maroc, mars 2007., p 545-551

Télécharger le document

Analyse de la sécurité et Facteurs Humains dans les transports ferroviaires

HADJ-MABROUK, H ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2007)

42e congrès AQTR (Association Québécoise du Transport et des Routes), Québec, Canada, avril 2007, 14p

Plus d'infos

ACASYA et SAUTREL : Deux mécanismes d'apprentissage d'aide au retour d'expérience

HADJ-MABROUK, H ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2007)

4rth International Conference: Sciences of Electronic Technologies of Information and Telecommunications, Tunisia, March 2007, 7p

Télécharger le document

Contribution du raisonnement à partir de cas à l'analyse des effets des erreurs du logiciel. Application à la sécurité des transports ferroviaires

HADJ-MABROUK, H   /   (2007)

In : Raisonnement à partir de cas 2, RENAUD,J (ED), p 123-148

Plus d'infos

Modélisation générique des scénarios d'accident dans le but d'harmoniser les APRs

MAZOUNI, MH   /   (2007)

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'infos

Selcat Project : Level Crossing technology

KHOUDOUR, L ; MACHY, C ; EL-KOURSI, EM ; LAZAREVIC, N   /   (2007)

1st SELCAT Workshop, Level Crossing appraisal, Lille, France, mai 2007, 19p

Plus d'infos

Vers une démarche Européenne de certification de la sécurité des transports guidés urbains

DUQUENNE, N ; FURLAN, L ; BENARD, V ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2007)

7ème Congrès international pluridisciplinaire Qualité et Sûreté de Fonctionnement, Tanger, Maroc, mars 2007, p377-384

Plus d'infos

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

BOULANGER, JL ; BON, P   /   (2007)

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

Télécharger le document

Design of public transport platforms using hybrid Petri nets

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

7eme édition de QUALITA, Tanger, Maroc, mars 2007, p590-599

Plus d'infos

An intelligent level crossing: technical solutions for improved safety and security

LAZAREVIC, N ; KHOUDOUR, L ; EL-KOURSI, EM ; MACHY, C   /   (2007)

XVIIth Scientific Conference with International Participation Transport 2007, Sofia, Bulgaria, 16th - 17th November 2007, p13-18

Plus d'infos

Contribution à l'étude de la couverture des scénarios de tests de systèmes critiques - Application au système de signalisation ferroviaire ERTMS/ETCS

JABRI, S ; YIM, P ; EL-KOURSI, EM ; LEMAIRE, E ; BOURDEAUD'HUY, T ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2007)

Workshop international A Technically IEEE/SMC Co-Sponsorised Workshop Logistique & Transport 2007, 18-20 novembre 2007, Sousse, Tunisie, p109-114

Télécharger le document

Towards an european certification process for the safety of urban guided transport systems

BENARD, V ; FURLAN, L ; DUQUENNE, N   /   (2007)

Zel 2007, 15th Symposium EURNEX, may 2007, Zilina, Slovak Republic, 10p

Télécharger le document

Prise en compte des facteurs humains dans la sécurité ferroviaire

HADJ-MABROUK, H ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2007)

Tunisie, novembre 2007, 15p

Télécharger le document

Proposal of a generic methodology to harmonize Preliminary Hazard Analyses for guided transport

MAZOUNI, MH ; BIED-CHARRETON, D ; AUBRY, JF   /   (2007)

IEEE SMC, SoSE 2007 (International Conference on System of Systems Engineering), Avril 2007, Etats-Unis, 6p

Plus d'infos

A PHA base on a Systemic and Generic Ontology

MAZOUNI, MH ; AUBRY, JF   /   (2007)

IEEE/INFORMS International Conference on Service Operations and Logistics, and Informatics (SOLI'2007), Etats-Unis, august 2007, 6p

Plus d'infos

Contribution à l'étude des scénarios de tests de systèmes critiques. Application au système de signalisation ferroviaire ERTMS/ETCS

JABRI, S   /   (2007)

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'infos

Modelling of the European railway system for automatic chekings

JABRI, S ; LEMAIRE, E   /   (2007)

EURNEX - ZEL 2007, 15th International symposium, Zilèna, Slovaquie, 8

Télécharger le document

Radiographie du voyageur : de l'(in)activité aux services à la mobilité

JUGUET, S ; CHEVRIER, S ; USTER, G ; PETIT, C ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2007)

Congrès international ATEC-ITS, 30 et 31 janvier 2007, Issy les Moulineaux, France, 7p

Télécharger le document

Harmonising Safety Management Systems in the European Railway Sector

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

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

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

Télécharger le document

Analyzing, controlling and modelling the human error

HADNI, S ; CHERKAOUI, A ; EL-KOURSI, EM   /   (2007)

Transport-2007, Sofia 16th, 17th November 2007, 6p

Télécharger le document

Modélisation discrète et formelle pour l'évaluation et la validation de la sécurité au passage à niveau

DEFOSSEZ, F   /   (2007)

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'infos

A Time Based Approach for the Monitoring of DES under Partial Observability - Application to a Railway Circuit

GHAZEL, M ; TOGUYENI, A ; YIM, P   /   (2007)

Qualita, 7ème Congrès international pluridisciplinaire Qualité et Sûreté de Fonctionnement, Tanger, Maroc, mars 2007, 10p

Télécharger le document

Contribution à la conception de système sûrs de fonctionnement appliqués aux wagons de ferroutage

CLARHAUT, J   /   (2007)

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'infos

Rolling Stock and GSM-R assessment approach of rail systems for Interoperability

TATKEU, C ; EL-KOURSI, EM ; DUQUENNE, N   /   (2007)

Workshop international Logistique & Transport LT' 2007, a technically IEEE/SMC co-sponsored workshop, 18-20 novembre 2007, Sousse, Tunisie, 6p

Plus d'infos

A key challenge for cross acceptance and harmonisation procedures in the field of Rolling Stock and GSM-R/ERTMS

TATKEU, C ; EL-KOURSI, EM   /   (2007)

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 document

Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design

GHAZEL, M ; EL-KOURSI, EM   /   (2007)

SoSE International Conference on System of Systems Engineering in service of Energy and Security, April 16-18th, 2007, San Antonio, Texas, 6p

Plus d'infos

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

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

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

Plus d'infos

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

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

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

Télécharger le document

Model for the worksites' safety management

RODRIGUEZ, J   /   (2007)

2nd International Seminar on Safety and Security of Railway Operations, Rabat, Maroc, 29p

Télécharger le document

A study of the use of state resources in a constraint-based model for routing and scheduling trains

RODRIGUEZ, J   /   (2007)

2nd International Seminar on Railway Operations Modelling and Analysis - Hannover, Germany, 14p

Télécharger le document

Une Démarche Harmonisée pour l'Allocation des Objectifs de Sécurité Basée sur une Approche Fonctionnelle

RAFRAFI, M   /   (2007)

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'infos

Managing the Safety Performance of an Open Rail System

EL-KOURSI, EM ; RAFRAFI, M   /   (2007)

EURNEX - ZEL 2007, 15th International symposium, Zilèna, Slovaquie, 8p

Télécharger le document

Safety system conception by using a semi quantitative reliability evaluation application to rail-road system

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

International conference on industrial engineering and systems Management: IESM2007, May 30,June 2, 2007, Beijing, China., 6p

Télécharger le document

Description Logics in the Calculus of Structures

ROUBACH, JD ; YIM, P ; RODRIGUEZ, J   /   (2007)

20th International workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, 8-10 june 2007, 8p

Plus d'infos

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

RODRIGUEZ, J   /   (2007)

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

Plus d'infos

Operating rules description using Petri nets

LAHLOU, O ; BON, P ; ALLAIN, L   /   (2007)

FORMS/FORMAT 2007,Eckehard Schnieder and Géza Tarnai (Eds), 25th and 26th january 2007, Braunschweig, Germany, p139-146

Plus d'infos

Formal methods and temporal safety requirements: A level crossing application

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

FORMS/FORMAT 2007, Eckehard Schnieder and Géza Tarnai (Eds) ; 25th and 26th january 2007, Braunschweig, Germany, p220-230

Plus d'infos

Functional Hazard Analysis for Railway Safety

RAFRAFI, M ; EL-KOURSI, EM   /   (2007)

Symposium FORMS/FORMAT 2007, Eckehard Schneider, Géza Tarnai (Eds.), 25th and 26th January 2007, Braunschweig, Germany, p164-73

Plus d'infos

Concepts et terminologie de base pour l'Analyse Préliminaire des Risques dans le Transport Ferroviaire

MAZOUNI, MH   /   (2006)

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'infos

Synthèse - Quinzième colloque Lambda Mu

FURLAN, L   /   (2006)

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

Plus d'infos

Conception de systèmes intelligents sûrs de fonctionnement Application au ferroutage

CLARHAUT, J   /   (2006)

Journée des doctorants de l'INRETS 2006, Actes INRETS, p153-164

Plus d'infos

Modélisation du comportement humain dans les scénarios d'accidents ferroviaires

HADJ-MABROUK, H ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2006)

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 document

Méthode d'analyse préliminaire des risques dans les transports ferroviaires

HADJ-MABROUK, H   /   (2006)

Lambda Mu 15, Maîtrise des Risques et sûreté de fonctionnement, Risques et Performances, Lille, octobre 2006, p434-437

Télécharger le document

Réglementation en matière de retour d'expérience dans les transports ferroviaires

HADJ-MABROUK, H   /   (2006)

Workshop International : Logistique & Transport, Hammamet, Tunisie,mai 2006, 5p

Télécharger le document

B-RAIL Analyse et modélisation des exigences

BOULANGER, JL ; BON, P   /   (2006)

Génie Logiciel, n79, p18-24

Plus d'infos

SELCAT - a New European Project for Safer Level Crossings

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

9th International Level Crossing Safety and Trespass Prevention Symposium 2006 September 10-14, 2006, 7p

Plus d'infos

Common approach for supervising the railway safety performance

EL-KOURSI, EM ; TORDAI, L   /   (2006)

COMPRAIL 2006, 10-12 July 2006, Prague, Czech Republic, 10p

Plus d'infos

Assessment of the Safety management system in railway sectors

EL-KOURSI, EM ; DUQUENNE, N   /   (2006)

WCRR 2006, 4 au 8 Juin 2006, Montréal CANADA, 10p

Plus d'infos

Développement et harmonisation de la sécurité ferroviaire

EL-KOURSI, EM ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2006)

Workshop International : Logistique & Transport 2006, 28 Avril au 2 Mai, Hammamet, Tunisie, 6p

Télécharger le document

The contribution of state resources in a constraint-based scheduling model for conflict solving at railway junctions

RODRIGUEZ, J   /   (2006)

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'infos

Formalisme pour la validation de règlements de sécurité

ROUBACH, JD   /   (2006)

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'infos

Selecting efficient solutions for the stability evaluation problem of a railway timetable

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

MOPGP'06: 7th Int. Conf. on Multi-Objective Programming and Goal Programming, June 12-14, 2006 Tours, France, 4p

Télécharger le document

Stability evaluation of a railway timetable

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

INCOM 2006, 12th IFAC Symposium on Information Control Problems in Manufacturing, Vol III, Operational Research, may 2006, Saint-Etienne, France, p379-384

Plus d'infos

Modèle d'ordonnancement à base de contraintes pour la gestion du trafic ferroviaire

RODRIGUEZ, J   /   (2006)

Séminaire PFI-TISIC N° 6 Optimisation discrète, 19 septembre 2006, France, 59p

Télécharger le document

Using dataflow traceability between functions in the safety evaluation process

LEMAIRE, E ; LESNE, F ; BAYART, M   /   (2006)

IMACS 2006, Multiconference on Computational Engineering in Systems Applications, octobre 2006, Beijing, China, Fuchun Sun and Huaping Liu (Eds), p1095-1101

Plus d'infos

Comparison of rail safety framework in Europe, North America and Japan

LEMAIRE, E ; TORDAI, L   /   (2006)

7th World Congress on Railway Research (WCRR'2007), 8p

Plus d'infos

Régulation du trafic des réseaux de transport collectif : Approche Évolutionniste-Logique floue

HAYAT, S ; OULD SIDI, MM   /   (2006)

META'06 : Métaheuristiques, 2-4 Novembre 2006, Hammamet, Tunisie, 13p

Télécharger le document

Cross acceptance under the interoperability and safety directives

DUQUENNE, N ; TATKEU, C   /   (2006)

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 document

Evaluation des règles d'exploitation pour l'interopérabilité et la sécurité dans les transports ferroviaires

LAHLOU, O ; EL-KOURSI, EM ; BON, P ; YIM, P   /   (2006)

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'infos

Formalisation and simulation of operating rules using coloured Petri nets

LAHLOU, O ; BON, P ; ALLAIN, L   /   (2006)

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'infos

From UML to B - a level crossing case study

BOULANGER, JL ; BON, P ; MARIANO, G   /   (2006)

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'infos

Safety requirements and p-time Petri nets: A Level Crossing case study

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

2006 IMACS Multiconference on Computational Engineering in Systems Applications (CESA' 2006), p1118-1123

Plus d'infos

Safety intelligent system conception for piggyback service

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

IEEE International Conference on Industrial Technology : ICIT2006, 15-17 December 2006, Mumbai., p1659-1664

Plus d'infos

Sécurité d'un système de changement de mode de conduite Automatique/ Manuel

KAAKAI, F ; HAYAT, S ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2006)

Workshop International : Logistique & Transport, Hammamet, Tunisie,mai 2006, p40-47

Télécharger le document

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

EL-KOURSI, EM   /   (2006)

Génie logiciel, n78, p18-24

Plus d'infos

Risk Apportionment Methodology Based On Functional Analysis

RAFRAFI, M ; BOURDEAUD'HUY, T ; EL-KOURSI, EM   /   (2006)

IMACS 2006, Multiconference on Computational Engineering in Systems Applications, octobre 2006, Beijing, China, Fuchun Sun and Huaping Liu (Eds), p1103-9

Plus d'infos

Pour une assistance informationnelle contextualisée: Le projet MobilUrb

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

TEC - Transport Environnement Circulation, 185, 7p

Télécharger le document

BRILLANT : An Open Source and XML-based platform for Rigourous Software Development

COLIN, S ; PETIT, D ; ROCHETEAU, J ; MARCANO, R ; MARIANO, G ; POIRRIEZ, V   /   (2005)

SEFM 2005, 3rd IEEE International Conference on Software Engineering and Formal Methods, september 2005, Koblenz, Germany, p373-382

Plus d'infos

Railroad infrastructure operation modelling and resolution

DELORME, X   /   (2005)

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

Plus d'infos

Is a Europe-wide harmonized process of formal acceptance relevant within the urban transport world ?

DUQUENNE, N ; BARANOWSKI, F   /   (2005)

Urban Transport 2005, 11th International Conference on Urban Transport and the Environment in the 21st Century, avril 2005, Portugal, 14p

Plus d'infos

Analyse des risques d'accident dans le domaine ferroviaire

MAZOUNI, MH ; HADJ-MABROUK, H   /   (2005)

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 document

Méthode et formalisme de base pour l'analyse préliminaire des risques

MAZOUNI, MH ; HADJ-MABROUK, H ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2005)

STA 2005, 6th International Conference on Sciences and Techniques of Automatic control, STA'2005, Sousse, 19-21 December 2005, 6p

Plus d'infos

The VAL of TORINO, first Italian driverless automatic metro

DUQUENNE, N ; CUVELIER, M ; BARANOWSKI, F ; BIGOT, J   /   (2005)

Automated People Movers 2005, may 2005, Orlando, Florida, USA, 12p

Télécharger le document

Scientific strategies to further enhance the railway safety

EL-KOURSI, EM   /   (2005)

Zel 2005, Railways on the Edge of the 3rd Millennium, Zilina, Slovak Republic, 8p

Télécharger le document

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

PIECHOWIAK, S ; RODRIGUEZ, J   /   (2005)

Applied Intelligence, Vol23, n3, p153-164

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

Plus d'infos

A CSP model and LNS approach for the railway saturation problem

DEGOUTIN, F ; CAMBAZARD, H   /   (2005)

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 document

Optimisation du problème de capacité d'infrastructures ferroviaires

DEGOUTIN, F   /   (2005)

Journée de synthèse TAT-MOST, 06 Juin 2005, Béthune, France, 30p

Télécharger le document

Action Spécifique RECIFE : Analyse de la capacité ferroviaire

RODRIGUEZ, J   /   (2005)

Journée de synthèse TAT-MOST, 06 Juin 2005, Béthune, 29p

Télécharger le document

An ant colony optimization inspired algorithm for the Set Packing Problem with application to railway infrastructure

GANDIBLEUX, X ; JORGE, J ; ANGIBAUD, S ; DELORME, X ; RODRIGUEZ, J   /   (2005)

6th Metaheuristics International Conference, MIC2005 August 22-26, 2005. Vienna, Austria, 6p

Télécharger le document

Exploitation des systèmes ferroviaires : gestion en temps réel des circulations et analyse des capacités

RODRIGUEZ, J   /   (2005)

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 document

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

RODRIGUEZ, J   /   (2005)

RailDelft2005, 1st International Seminar on Railway Operations Modelling and Analysis, June 8-10, 2005, Delft, The Netherlands, 16p

http://www.jror.nl/seminars/raildelft2005/

Télécharger le document

Evaluation of Depth-bounded Discrepancy on a CSP model of the railway saturation problem

DEGOUTIN, F ; RODRIGUEZ, J   /   (2005)

17th IMACS, World congress, Scientific Computation, Applied Mathematics and Simulation, 11-15 July 2005, Paris, France, 7p

Télécharger le document

Formal design of public transport stations Formal design of public transport stations

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

Congrès international IEEE-ITSC, du 13 au 16 Septembre 2005 à Viennes-Autriche, p61-65

Plus d'infos

CHV's brake discs temperature estimation: results in open road tests

ARTUS, S ; COCQUEMPOT, V ; HAYAT, S ; STAROSWIECKII, M ; DE LARMINAT, F ; COVO, C   /   (2005)

IEEE-ITSC, Intelligent Transportation Systems Conference, september 2005, Vienna, Austria, p204-209

Plus d'infos

Contribution des techniques d'intelligence artificielle à l'analyse de la sécurité des transports ferroviaires

HADJ-MABROUK, H ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2005)

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'infos

E-véhicules et E-transports

USTER, Guillaume   /   (2004)

Lgdj, 3p

Plus d'infos

Pour une mobilité raisonnée

USTER, Guillaume   /   (2004)

Lgdj, 4p

Plus d'infos

Une approche économique de l'information multimodale

PERREAU, C ; USTER, G   /   (2004)

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

Plus d'infos

Duration calculus :A real-time semantic for B. In Liu, Zhiming, Araki, Keijiro (Eds.), Theoretical Aspects of Computing

COLIN, S ; MARIANO, G ; POIRRIEZ, V   /   (2004)

CTCA 2004, International Colloquium on theoretical aspects of computing, CHINE, p431-446

http://www.springer.com/series/558

Plus d'infos

A Formal Framework for UML Modelling with Timed Constraints: Application to Railway Control Systems

MARCANO, R ; MARIANO, G ; COLIN, S   /   (2004)

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

Télécharger le document

Évaluation de l'extensibilité de PhoX:: B/PhoX un assistant de preuves pour B

ROCHETEAU, J ; COLIN, S ; MARIANO, G ; POIRRIEZ, V   /   (2004)

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

Télécharger le document

GRASP for set packing problems

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

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

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

Télécharger le document

Sécurité ferroviaire. Bases de données accidents/incidents. Etat de l'art dans les domaines aérien, maritime, routier et ferroviaire

CUVELIER, M   /   (2004)

INRETS, 122p

http://www.inrets.fr

Plus d'infos

Evaluation des performances d'un modèle CSP pour le problème

DEGOUTIN, F ; RODRIGUEZ, J ; GANDIBLEUX, X   /   (2004)

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'infos

Rôles et obligations des acteurs impliqués dans la sécurité des transports ferroviaires

HADJ-MABROUK, H   /   (2004)

LM 14, maitrise des risques et sureté de fonctionnement, 12-14 octobre 2004, Bourges, France, 8p

Plus d'infos

B-RAIL - Passage d'une modélisation semi-formelle à une modélisation formelle

BOULANGER, JL ; BON, P ; MARIANO, G   /   (2004)

Maîtrise des risques et sûreté de fonctionnement, Lambda-Mu 14, octobre 2004, Bourges, France, 8P

Plus d'infos

UML-based design and formal analysis of railway traffic control systems

MARCANO, R ; MARIANO, G   /   (2004)

FORMS'2004, 2-3 December 2004, Braunschweig, Deutschland, 14p

Plus d'infos

Towards an interactive and effective regulation for the urban transport networks

OULD SIDI, M ; HAMMADI, S ; BORNE, P ; HAYAT, S   /   (2004)

SMC 2004, international conference on systems, man and cybernetics, 10-13 October 2004, La Hague, Pays Bas, 6p

Plus d'infos

A natural extension of b substitutions: Postconditions

COLIN, S ; MARIANO, G ; POIRRIEZ, V   /   (2004)

FSTTCS 2004, foundations of software technology and theoretical computer science, December 16-18, 2004, Chennai, India, 12p

Plus d'infos

Introduction à la cinématique ferroviaire

BIED-CHARRETON, D   /   (2004)

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

Plus d'infos

Duration calculus: A real-time semantic for B

COLIN, S ; MARIANO, G ; POIRRIEZ, V   /   (2004)

FDL'04 forum on specifications and design languages, 13 septembre2004, Lille, France, 14p

Plus d'infos

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

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

Génie Logiciel, N70, P38-47

Plus d'infos

Etude de sécurité d'un poids lourd en conduite automatique et système prédictif de pannes de capteurs

HAYAT, S ; LEMAIRE, E   /   (2004)

IEEE-CIFA'2004, conférence internationale francophone d'automatique, 22-24 novembre 2004, Douz, Tunisie, 6p

Plus d'infos

CHV's brake discs temperature estimation: Tests and results of an energetic approach

ARTUS, S ; COCQUEMPOT, V ; STAROSWIECKI, M ; HAYAT, S   /   (2004)

IEEE-ITSC'04, intelligent transportation systems, October 3-6, 2004, Washington, dc, USA, 7p

Plus d'infos

Retour d'expérience dans les transports ferroviaires

HADJ-MABROUK, H ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2004)

IEEE-CIFA'2004, conférence internationale francophone d'automatique, 22-24 novembre 2004, Douz, Tunisie, 6p

Plus d'infos

From UML to B: A level crossing case study

BOULANGER, JL ; BON, P ; MARIANO, G   /   (2004)

8th international level crossing symposium, 13-15 April 2004, Sheffield, UK, 9p

Plus d'infos

Brail - requirement analysis

BOULANGER, JL ; BON, P   /   (2004)

FORMS'2004, 2-3 December 2004, Braunschweig, Deutschland, 9p

Plus d'infos

Outils pour la gestion opérationnelle du trafic ferroviaire

RODRIGUEZ, J ; MARLIERE, G   /   (2003)

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'infos

Le tram-train : une problématique de sécurité nouvelle

DUQUENNE, N   /   (2003)

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'infos

Gestion de la sécurité ferroviaire réseau thématique : SAMNET

EL KOURSI, EM   /   (2003)

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'infos

A brake disc's temperature estimation module

ARTUS, S ; HAYAT, S ; STAROSWIECKI, M   /   (2003)

SCSC'03, summer computer simulation conference, 20-24 July 2003, Montréal, Canada, 6p

Plus d'infos

AGENPERSO : IHM à base d'agents logiciels personnels d'information aux usagers des transports collectifs

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

ACM PressIHM 03, 15e conférence francophone sur l'interaction homme-machine, 24-28 novembre 2003, Caen, France, p260-3

Plus d'infos

L'apport de la localisation dans l'information aux voyageurs

USTER, G ; VU ANH, S   /   (2003)

ATECATEC, 22 et 26 janvier 2003, Paris, France, 8p

Plus d'infos

Vers une personnalisation de l'information dans les transports

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

GRRTInnovation technologique pour les transports terrestres, colloque international organisé par le GRRT, le 2-4 décembre 2003, Lille, France, p671-8

Plus d'infos

Approche d'intégration de l'erreur humaine dans le retour d'expérience. Application au domaine de la sécurité des transports ferroviaires

HADJ MABROUK, Abderraouf ; HADJ MABROUK, Habib   /   (2003)

INRETS, 104P

http://www.ifsttar.fr

Télécharger le document

A new satellite-based fail-safe train control and command for low density railway lines

MARAIS, J ; BERBINEAU, M ; FRIMAT, O ; FRANCKART, JP   /   (2003)

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 document

Mobile objects and ground transportation

GRANSART, C ; RIOULT, J ; USTER, G   /   (2003)

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 document

Multiagent traffic model of an automated highway system

AI TOUCHE, A ; HAYAT, S   /   (2003)

ISCE 2003, sixteenth international conference on systems engineering system, 9-11 September. 2003, UK, 5p

Plus d'infos

Résolution d'un problème d'évaluation de capacité d'infrastructure ferroviaire

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

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 document

Semi formal modelling and formal specification: UML & b in simple railway application

BON, P ; BOULANGER, JL ; MARIANO, G   /   (2003)

ICSSEA, 10p

Plus d'infos

Thoughts about the implementation of the duration calculus with Coq

COLIN, S ; POIRRIEZ, V ; MARIANO, G   /   (2003)

LPAR, Logic for programming artificial intelligence and reasoning, September 22-27, 2003, Almaty, Kazakhstan, 11p

Plus d'infos

The safety management in an interoperability project LIKE ERTMS. The French application

DUQUENNE, N   /   (2003)

WCRR 2003, world congress on railway research, 28 September 01 October2003, Edinburgh, UK, 11p

Plus d'infos

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

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

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

Plus d'infos

CENELEC standards EN 50126 et 59129 : Theory and practice

BIED-CHARRETON, D   /   (2003)

WCRR 2003, world congress on railway research, 28 September-01 October 2003, Edinburgh, UK, 3p

Plus d'infos

Nouvelles interfaces pour les calculateurs de sécurité

BIED-CHARRETON, D   /   (2003)

Colloque TILT, 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, FRANCE, 8p

Télécharger le document

Modélisation du routage des trains dans un noeud complexe et étude de capacité

DELORME, X ; GANDIBLEUX, X ; RODRIGUEZ, J ; -, - ; -, - ; -, - ; -, - ; -, - ; -, - ; -, -   /   (2003)

2p

Plus d'infos

Towards to fuzzy aid decision-making system of the Valenciennes transport network connections

HAYAT, S ; OULD SIDI, M   /   (2003)

IEEE-IRI'03, October 2003, Las Vegas, USA, 5p

Plus d'infos

Multiagent model using coloured Petri nets for the regulation traffic of automated highway

AITOUCHE, A ; HAYAT, S   /   (2003)

ITCS'03, IEEE 6th international conference on intelligent transportation systems, 12-15 October 2003, Shanghai, China, 6p

Plus d'infos

A traffic regulation system for the future automated highway

HAYAT, S   /   (2002)

SMC'02, IEEE system, man and cybernetics, 6-9 October 2002, Hammamet, Tunisie, 6p

Plus d'infos

The YATE fail-safe interface: The user's point of view

BIED-CHARRETON, D ; GUILLON, D ; JACQUES, B   /   (2002)

8th IEEE international on-line testing workshop 2002, 8-10 juillet 2002, Bandol, France, 5p

Plus d'infos

La sécurité probabiliste et ses limites

BIED-CHARRETON, D ; DUQUENNE, N   /   (2002)

ESREL 2002- Lambda-Mu 13, colloque européen, 19-21 mars 2002, Lyon, France, 5p

Plus d'infos

Apport de la chronobiologie de la vigilance au domaine de la sécurité ferroviaire

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

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'infos

Contribution des techniques d'intelligence artificielle à la capitalisation des analyses de sécurité des systèmes de transports ferroviaires guidés

HADJ-MABROUK, H   /   (2002)

Veille stratégique - La veille dans le secteur public, 21 mars 2002, Villeneuve d'Ascq, France, 7p

Plus d'infos

Constraint programming for real-time train circulation management in railway nodes

RODRIGUEZ, J   /   (2002)

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'infos

Railway infrastructure saturation using constraint programming approach

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

Witpress EdCOMPRAIL 02, Computers in railways VIII, 12-14 juin 2002, Lemnos, Grece, 10p

Plus d'infos

Programmation par contraintes pour la gestion du trafic ferroviaire

RODRIGUEZ, J   /   (2002)

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'infos

An inexorable evolution in automated train control

STUPARU, A   /   (2002)

ICTTS 2002, international congress on traffic and transportation studies, 23-25 July 2002, Guilin, China, p234-41

Plus d'infos

Functional analysis of the sub-system of energy and infrastructure of conventional rail

CHATEL, V ; EL KOURSI, EM ; FELIOT, C ; HUISMANN, U   /   (2002)

SMC'02, IEEE system, man & cybernetics 6-9 October 2002, Hammamet, Tunisie, 6p

Plus d'infos

Qualitative and quantitative safety assessment of ERTMS operating rules

EL KOURSI, EM ; KAMPMANN, B   /   (2002)

COMPRAIL, June 2002, Grece, 10p

Plus d'infos

Assessment and certification of safety critical software

EL KOURSI, EM ; MARIANO, G   /   (2002)

WAC'2002, world automation congress, 9-13, June 2002, Orlando, USA, 6p

Plus d'infos

Safety assessment method in the railway sector

EL KOURSI, EM   /   (2002)

5p

Plus d'infos

Evaluation method of service quality parameters in transport networks

HAYAT, S   /   (2002)

WAC'2002, IEEE world automation congress, 9-13, June 2002, Orlando, USA, 

Plus d'infos

Safety analysis of a frontal collision warning system

LEMAIRE, E ; EL KOURSI, EM ; DELOOF, P ; GHYS, JP   /   (2002)

IV'2002, IEEE intelligent vehicle symposium, 18-20 mai 2002, Versailles, France, 6p

Plus d'infos

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

BIED-CHARRETON, D   /   (2001)

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

Plus d'infos

Maintening safety in automated transit, the Val experience

DUQUENNE, N   /   (2001)

ASCEAPM 2001, 8th San Francisco USA, 7p

Plus d'infos

A methodology based on multiple views for multi-agent systems in simulation, application to the transportation domain

GRUER, P ; HILAIRE, V ; KOUKAM, A ; HAYAT, S   /   (2001)

ESS 01, 13th European simulation symposium, 18-20 octobre 2001, Marseille, France, p898-902

Plus d'infos

An efficient algorithm for the design of fault tolerant multi-sensor system

ATTOUCHE, S ; HAYAT, S ; STAROSWIECKI, M   /   (2001)

Daniel W. Repperger, Publications ChairCDC?2001, IEEE 40th conference on decision and control, December 4-7, 2001, Orlando, Florida, USA, 2p

Plus d'infos

Représentation des contraintes sous forme de règles : application aux CSP dynamiques

PIECHOWIAK, S ; RODRIGUEZ, J   /   (2001)

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'infos

Diagnostic de circuits électroniques à l'aide de réseaux Bayesian

DELCROIX, V ; PIECHOWIAK, S ; RODRIGUEZ, J   /   (2001)

JNMR'01, journées nationales sur les modèles de raisonnement, 3-4 mai 2001, Arras, France, p51-66

Plus d'infos

Safety assessment of European rail rules for operating ERTMS

EL KOURSI, EM ; FLAHAUT, G ; HESSAMI, A   /   (2001)

ASCEAutomated people movers 2001, 7-11 July 2001, San Francisco USA, 10p

Plus d'infos

Safety technologies for computerised train control protection systems in France

STUPARU, A ; EL KOURSI, EM   /   (2001)

Nordic Rail 2001, 2001-10-03/05, Elmia, Jönköping, Sweden, 3p

Plus d'infos

Conception sure de circuit basée sur la notion de propriété

BOULANGER, JL ; AMMAR, A ; MARIANO, G   /   (2001)

ICSSEA 2001, CNAM, 5 décembre 2001, Paris, France, 12p

Plus d'infos

Application de la chronobiologie de la vigilance au domaine de la sécurité des transports ferroviaires

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

Colloque vigilance des conducteurs, pilotes et opérateurs, 15-16 novembre 2001, Toulouse, France, 11p

Plus d'infos

Functional analysis of a frontal collision avoidance system

EL KOURSI, EM ; LEMAIRE, E ; CHAN, CY ; ZHANG, WB   /   (2001)

ITS, 8th world congress on intelligent transport systems, 30 september-4-October 2001, Sydney, Australia, 8p

Plus d'infos

Application de la metaheuristique GRASP a la résolution d'un problème de capacité d'infrastructure ferroviaire

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

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'infos

GRASP for set packing problems

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

EURO the Association of European Operational Research SocietiesORP3 2001, Operational Research Peripatetic Post-graduate Programme, September 26-28 2001, Paris, France, 9p

Plus d'infos

Heuristics for railway infrastructure saturation

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

ElsevierICALP 2001, 28th international colloquium on automata, languages, and programming, Hersonissos, Crete, Greece, p41-55

Plus d'infos

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

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

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

Plus d'infos

Information multimodale voyageurs aspects institutionnels et juridiques

USTER, G   /   (2001)

Predit 1996-2000Carrefour du Predit, transports et société, 12-14 juin 2001.Livre des projets, PM

Plus d'infos

Personnalisation de l'information : du bon usage des agents intelligents

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

Predit 1996-2000 : les nouveaux services aux usagers, journée de valorisation du 27 février 2001, 5p

Plus d'infos

Aspects institutionnels et juridiques de l'information multimodale

USTER, G   /   (2001)

Predit 1996-2000 : les nouveaux services aux usagers, journée de valorisation du 27 février 2001, 4p

Plus d'infos

Public transport information: Towards the information society

USTER, G   /   (2001)

WIT PressSeventh international conference on urban transport and the environment for the 21st century, urban transport VII, p317-26

Plus d'infos

Pourquoi l'information multimodale ne se développe-t-elle pas en France ?

USTER, G ; GUIDEZ, S   /   (2001)

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'infos

Sécurité ferroviaire et facteurs humains. Apport de la chronobiologie de la vigilance

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

INRETS, 136p

Plus d'infos

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

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

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

Plus d'infos

Heuristics for railway infrastructure saturation

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

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

Plus d'infos

Advanced technologies in french train protection systems

STUPARU, A ; BARANOWSKI, F   /   (2000)

6th International Conference on Application of Advanced Technologies in Transportation Engineering AATT 2000, Singapore, June 28-30, 2000, 8P

Plus d'infos

Assessment and certification process for safety computers in the railway sectors

EL KOURSI, EM   /   (2000)

4th World Multiconference on Systemics and Informatics (SCI'2000) July 23 to 26, Orlando, Florida, USA, 5P

Plus d'infos

Constraint compiling into rules formalism for dynamic CSPS computing

PIECHOWIAK, S ; RODRIGUEZ, J   /   (2000)

CL2000, first international conference on computational logic, 8 juillet 2000, Londres, Grande-Bretagne, 14p

Plus d'infos

Compte rendu du sous-groupe tramway : contrôle de vitesse/prise en compte des facteurs humains, Arcueil, 17 novembre 2000

DUQUENNE, N   /   (2000)

INRETS, 4P

Plus d'infos

La sureté de fonctionnement dans les transports guidés

DUQUENNE, N   /   (2000)

Journée sureté de fonctionnement dans les transports guides, 10 novembre 2000, Belfort, France, 6p

Plus d'infos

Méthodes, techniques et outils d'apprentissage automatique

HADJ-MABROUK, H   /   (2000)

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'infos

Preliminary safety analysis of frontal collision avoidance systems

EL KOURSI, EM ; CHAN, CY ; ZHANG, WB   /   (2000)

ITS 2000, IEEE intelligent transportation systems, 1-3 October 2000, Dearborn, Michigan, USA, p410-5

Plus d'infos

A prediction system based on vehicle sensor data in automated highway

ATTOUCHE, S ; HAYAT, S ; STAROSWIECKI, M   /   (2000)

IEEEITSC'2000, IEEE Intelligent Transportation Systems Congress, 1-3 october 2000, Dearborn (MI), USA, 6P

Plus d'infos

Référentiel de sécurité pour les automatismes dans les transports guidés

EL KOURSI, EM   /   (2000)

IUCISCIFA'2000, IEEE première conférence internationale francophone d'automatique, 5-8 juillet 2000, Lille, France, p894-9

Plus d'infos

ISIS: A fail-safe interface realised in smart-power technology

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

IEEE Computer Society TTTCIOLTW'00, 6th IEEE international on-line testing workshop, 3-5 July 2000 Palma de Mallorca, Spain, p191-197

Plus d'infos

Assessment and certification of vital computer DIGISAFE

EL KOURSI, EM ; GULKER, J ; PICARD, B   /   (2000)

TSI PressWorld Automation Congress - WAC 2000, Third International Symposium on Intelligent Automation and Control, June 11-16, 2000, Maui, Hawaii, USA, 6P

Plus d'infos

A prediction system for reliability improvement of the vehicle-follower control on the automated highwayY

ATTOUCHE, S ; HAYAT, S ; STAROSWIECKI, M   /   (2000)

4th IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes, SAFPROCESS'2000, 14-16 June 2000, Budapest, Hungry, 6P

Plus d'infos

Visual tracking specifications for trucks platooning

TRIBOULET, J ; LEPERE, G ; HAYAT, S ; BECHART, H ; CHAVAND, F   /   (2000)

TSI PressWAC'2000, world automation congress, 11-16 June 2000, Maui, USA;Cd rom series on intelligent automation and soft computing, 5p

Plus d'infos

Comment conserver le niveau de sécurité antérieur d'une ligne de métro automatique lors de son extension

DUQUENNE, N ; CLARISSOU, Y   /   (2000)

11P

Plus d'infos

Sécurité des logiciels critiques développés par la méthode B

EL KOURSI, EM   /   (2000)

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'infos

Le concept de scénario. Application à l'analyse de sécurité des systèmes de transport guidés

MEJRI, L ; HADJ-MABROUK, H   /   (2000)

Journée thématique : sécurité, réseau inter-regional de recherche technologique dans les transports terrestres, FRANCE, p1-13

Plus d'infos

Diagnostic à base de modèles - Application à signalisation des lignes à grande vitesse

RODRIGUEZ, J ; LEFEBVRE, F ; PIECHOWIAK, S ; SAINTON, P   /   (2000)

DTT;MENRTJournée PREDIT-ASCOT, MENRT, 14 mars 2000, Paris, France, 5p

Plus d'infos

Contribution of case-based reasoning to the software error effect analysis

HADJ-MABROUK, H ; DARRICAU, M ; MEJRI, L   /   (2000)

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'infos

Mé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

HADJ-MABROUK, H   /   (2000)

PREDIT-DTT/MENRTJournée PREDIT-ASCOT, MENRT, 14 mars 2000, Paris, France, p1-14

Plus d'infos

Recherche d'informations personnalisées

ROZE, C ; GRISLIN-LE STRUGEON, E ; ABED, M ; USTER, G ; KOLSKI, C   /   (2000)

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'infos

Etat des réflexions sur le développement de l'information multimodale en France

USTER, G   /   (2000)

UITP, 21-23 Juin 2000, Hanovre, Allemagne, 10p

Plus d'infos

Du 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

BON, P ; EL-KOURSI, EM ; YIM, P   /   (2000)

AFADEL'2000, approches formelles dans l'assistance au développement de logiciel, 26-28 janvier 2000, Grenoble, France, p158-172

Plus d'infos

Fuzzy decision-making in the traffic regulation of the bus networks

SOULHI, A ; HAYAT, S ; HAMMADI, S ; BORNE, P   /   (2000)

WAC'2000, World Automation Congress, 11-16 June 2000, Maui, USA. CD Rom Series on Intelligent Automation and Soft Computing, 7p

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