Communications

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

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

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

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

Interval Weight-Based Abstraction for Neural Network Verification

Lecture Notes in Computer Science, 13415, 330-342, doi: 10.1007/978-3-031-14862-0_24

https://link.springer.com/chapter/10.1007/978-3-031-14862-0_24
https://doi.org/10.1007/978-3-031-14862-0_24

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

EVOCOP 2022, 22nd European Conference on Evolutionary Computation in Combinatorial Optimisation, ESPAGNE, pp46-61

https://doi.org/10.1007/978-3-031-04148-8_4

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

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

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

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

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

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

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

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

Methodology Framework for Modelling ETCS-L3 Moving Block System

TRA 2022, Transport Research Arena, PORTUGAL, 6p

A Safety Assurance Methodology for Autonomous Trains

TRA 2022, Transport Research Arena, PORTUGAL, 8p

A new framework for Mobility Allowance Shuttle Transit (MAST)

EURO 2021, 31st European Conference on Operational Research, GRECE, 1p

http://dx.doi.org/10.13140/RG.2.2.27058.94407
https://hal.archives-ouvertes.fr/hal-03562604

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

INFORMS Annual Meeting, ETATS-UNIS, 1p

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

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

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

An improved approach for train routing selection in large railway stations

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

Scheduling of Autonomous Electric Vehicles On-Demand

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

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

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

Real-Time Optimization of Energy Consumption in Railway Networks

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

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

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

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

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

7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021, BELGIQUE, pp121-126

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

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

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

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

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

IFAC-PapersOnLine, 54, 2, pp159-166, doi: 10.1016/j.ifacol.2021.06.049

https://www.sciencedirect.com/science/article/pii/S2405896321004973
https://doi.org/10.1016/j.ifacol.2021.06.049

Business Processes Meet Spatial Concerns: the sBPMN Verification Framework

FM 2021, International Symposium on Formal Methods, CHINE, 

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

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

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

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

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

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

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

Ant Colony Optimization for Energy-Efficient Train Operations

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

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

Merging Railway Standard Notations in a Formal DSL-Based Framework

ECSA 2020, 14th European Conference on Software Architecture, , ITALIE, pp411-419

http://dx.doi.org/10.1007/978-3-030-59155-7_30
https://hal.archives-ouvertes.fr/hal-03265296

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

Lambda Mu 22, 22e Congrès de maîtrise des risques et de sûreté de fonctionnement, Les risques au coeur des transitions (e-congrès), FRANCE, pp312-320

https://www.imdr-lm22.fr

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

Lambda Mu 22, 22e Congrès de maîtrise des risques et de sûreté de fonctionnement. Les risques au coeur des transitions (e-congrès), FRANCE, 10p

https://www.imdr-lm22.fr/
https://hal.archives-ouvertes.fr/hal-03480709

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

TRA 2020, 8th Transport Research Arena, FINLANDE, 7p

https://hal-enac.archives-ouvertes.fr/hal-02952135
https://hal-enac.archives-ouvertes.fr/hal-02952135/file/1180_TRA2020_SCD-PBN-YMK-v5.pdf

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

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

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

ESREL'20 - PSAM 15, 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, ITALIE, 8p

https://www.esrel2020-psam15.org/

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

ESREL'20 - PSAM 15, 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, ITALIE, 8p

https://www.esrel2020-psam15.org/

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

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

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

RailNorrköping 2019, 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), SUEDE, pp409-424

https://ep.liu.se/ecp/article.asp?issue=069&article=027&volume=0

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

ROADEF 2019, 20ème Congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 2p

https://easychair.org/cfp/roadef2019
https://easychair.org/smart-program/ROADEF2019/index.html

Une approche basée sur la séparation des préoccupations pour modéliser et vérifier les règles de signalisation d'un système ferroviaire

AFADL'19, 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, France, pp 9--12

https://afadl2019.sciencesconf.org/data/pages/actes_AFADL_2019.pdf

Event-B Decomposition Analysis for Systems Behavior Modeling

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

http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0007929602780286
https://dx.doi.org/10.5220/0007929602780286

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

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

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

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

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

RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, FRANCE, pp242-258

https://doi.org/10.1007/978-3-030-18744-6_16

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

RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification , FRANCE, pp173-190

https://doi.org/10.1007/978-3-030-18744-6_11

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

RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification , FRANCE, pp23-40

https://doi.org/10.1007/978-3-030-18744-6_2

Formal Approach to Dynamic SoS Design

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

Formal Approach to Dynamic SoS Design

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

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

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

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

A Formal Approach for Multi-occurrence Crisis Management

ICSOFT 2018, 13th International Conference on Software Technologies, PORTUGAL, pp607-614

https://www.scitepress.org/Papers/2018/68656/pdf/index.html
https://www.scitepress.org/Link.aspx?doi=10.5220/0006865606410648

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

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

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

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

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

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

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

An MDA Approach for the Specification of Relay-Based Diagrams

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

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

Satellite positioning in the transport domain: applications and challenges

Data Science and Mobility Conference, SUISSE, 18p

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

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

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

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

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

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

WIT Transactions on the Built Environment, 181, pp399-411, doi: 10.2495/CR180361

https://www.wessex.ac.uk/conferences/2018/comprail-2018
https://www.witpress.com/books/978-1-78466-285-1
https://www.witpress.com/elibrary/wit-transactions-on-the-built-environment/181/36887
https://dx.doi.org/10.2495/CR180361

Efficient diagnosability assessment via ILP optimization: a railway benchmark

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

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

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

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

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

EGNOS service evaluation in railway environment for safety-critical operations

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

Optimization of a railway freight yard in real time

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

Maintenance on the Railway Network: Disruptions and re-scheduling

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

Optimiser une gare de triage en temps réel

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

Bayesian Network Modeling Applied on Railway Level Crossing Safety

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

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

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

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

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

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

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

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems

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

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

Lecture Notes in Computer Science, 10466, pp 92-107, doi: 10.1007/978-3-319-66176-6_7

https://doi.org/10.1007/978-3-319-66176-6_7
http://madis-collection.ifsttar.fr/cd/vecos/2017%20-%20VECOS/VeCOS2017_Proceedings.pdf

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

ACC - 2017 American Control Conference, ETATS-UNIS, pp 3860-3867

http://ieeexplore.ieee.org/document/7963546/
http://dx.doi.org/10.23919/ACC.2017.7963546

A survey of lubrication techniques of railway switches and crossings

Railway Engineering-2017, ROYAUME-UNI, 11p

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

MT-ITS 2017 - 5th IEEE International Conference on Models and Technologies for Intelligent Transportation Systems, ITALIE, 6p

http://ieeexplore.ieee.org/document/8005684/
http://dx.doi.org/10.1109/MTITS.2017.8005684

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

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

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

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

Timetable Optimization during Railway Infrastructure Maintenance

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

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

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

Train timetable rearrangement facing infrastructure maintenance activities

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

A decomposition approach for the real time Railway Traffic Management Problem

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

Sysml formalization of the disruption management process in european railways

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

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

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

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

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

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

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

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

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

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

ICPHM - 2016 IEEE International Conference on Prognostics and Health Management, CANADA, 6p

http://ieeexplore.ieee.org/document/7542874/
http://dx.doi.org/10.1109/ICPHM.2016.7542874

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

WCTR 2016 - World Conference on Transport Research, CHINE, pp2167-2181

http://www.sciencedirect.com/science/article/pii/S2352146517307251
https://doi.org/10.1016/j.trpro.2017.05.418

Statistical Analysis of Collisions at French Level Crossings

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

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

International Railway Safety Council, France, 10p

Petri net diagnosability analyzer

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

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

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

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

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

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

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

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

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

Trace analysis from ERTMS engineering

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

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

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

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

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

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

http://www.traconference.eu/

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

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

Timetable Optimization to cope with Railway Infrastructure Maintenance

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

http://roadef2016.utc.fr/

Modelling and Solving the Train Timetabling Problem using Genetics Algorithms

ROADEF 2015, 16ème conférence ROADEF Société Française de Recherche Opérationnelle et Aide à la Décision, FRANCE, 2p

https://hal-uphf.archives-ouvertes.fr/hal-03388437
http://roadef2015.lsis.org/index.php?menu=programme

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

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

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

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

IFAC 2015, 15th IFAC Symposium on Information Control in Manufacturing, INCOM, CANADA, pp816-821

https://doi.org/10.1016/j.ifacol.2015.06.184
https://www.sciencedirect.com/science/article/pii/S2405896315004231?via%3Dihub

An Hcpn Pattern for Railway Safety Critical Scenarios Formal Modeling

JRC 2015, Joint Rail Conference, ETATS-UNIS, 10p

https://dx.doi.org/10.1115/JRC2015-5687
http://proceedings.asmedigitalcollection.asme.org/proceeding.aspx?articleid=2323319

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

9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes - SAFEPROCESS 2015, France, p326-331

http://dx.doi.org/10.1016/j.ifacol.2015.09.548

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

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

https://hal.archives-ouvertes.fr/hal-01338609
https://hal.archives-ouvertes.fr/hal-01338609/file/Paper_1144939.pdf

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

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

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

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

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

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

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

Integrated approach using formal models and simulation environment

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

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

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

A Model Pattern of Railway Interlocking System by Petri Nets

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

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

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

EWGT 2015 - 18th Euro Working Group on Transportation, PAYS-BAS, 10p

http://www.sciencedirect.com/science/journal/23521465/10/supp/C
http://dx.doi.org/10.1016/j.trpro.2015.09.007
http://www.sciencedirect.com/science/article/pii/S2352146515001945

Parallel verification of temporal properties using dynamic analysis

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

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

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

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

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

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

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

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

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

Analytical approach for evaluating LTE communication errors in train control application

1st IEEE ICCW 2015 Workshop on Dependable Vehicular Communications (DVC), ROYAUME-UNI, 6p

http://ieeexplore.ieee.org/document/7247535/
http://dx.doi.org/10.1109/ICCW.2015.7247535

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

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

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

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

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

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

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

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

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

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

GaLoROI. Satellite based localization in railways

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

HCPN modeling for ERTMS requirements specification

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

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

ATEC ITS France 2014, Les Rencontres de la Mobilité Intelligente, FRANCE, 5p

http://docplayer.fr/6530320-I-viatic-plate-forme-collaborative-pour-les-mobilites-innovantes.html

Complex systems renewal: positioning, concepts and architectural issues

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

https://www.sciencedirect.com/science/article/pii/S1474667016429915
https://doi.org/10.3182/20140824-6-ZA-1003.01771

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

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

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

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

www.trb.org

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

14th International Conference on Railway Engineering Design and Optimization (COMPRAIL 2014), ITALIE, 10p

http://dx.doi.org//10.2495/CR140711
http://www.witpress.com/elibrary/wit-transactions-on-the-built-environment/135/27127

Solving the Periodic Timetabling Problem using a Genetic Algorithm

PANAM 2014 - XVIII Congreso Panamericano de Ingeniería de Transito, Transporte y Logistica, ESPAGNE, 15P.

https://hal.archives-ouvertes.fr/hal-01086542
https://hal.archives-ouvertes.fr/hal-01086542/file/Paper_492.pdf

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

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

High level Petri net modeling For railway safety critical scenarios

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

Allocation rules of Safety Integrity Levels in a generic TCMS application

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

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

EMS2014, European Modelling Symposium, ITALIE, 6p

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

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

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

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

B Formal Validation of ERTMS/ETCS Railway Operating Rules

4th International ABZ Conference, FRANCE, p124-129

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

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

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

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

Intelligent Framework for Safety Properties Checking of Complex Systems

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

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

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

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

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

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

Modelling and verification methodology for control systems

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

http://www.traconference.eu/papers/pdfs/TRA2014_Fpaper_18435.pdf

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

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

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

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

Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

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

Formal modelling methodology of French railway interlocking system via HCPN

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

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

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

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

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

Resilience of metro vehicle to blast events

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

Real-time railway traffic management through optimisation tools

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

Improvement of real-time traffic management by using optimization tools

Procedia - Social and Behavioral Sciences, 160, p465-473, doi: 10.1016/j.sbspro.2014.12.159

http://www.sciencedirect.com/science/journal/18770428
http://dx.doi.org/10.1016/j.sbspro.2014.12.159

Simulation of an innovative management of freight trains

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

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

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

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

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

An ontology for the ERTMS/ETCS

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

Causal Analysis Methodology of Multisensor Systems based on GNSS

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

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

Dependency Graph for Requirements Structuring based on Guidance Ontology

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

Tropos For Embedded Real-time Control System Modeling and Simulation

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

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

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

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

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

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

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

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

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

Ontology for complex railway systems application to ERTMS/ETCS system

FM-RAIL-BOK Workshop in SEFM’2013 11th International Conference on Software Engineering and Formal Methods, ESPAGNE, 6p

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

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

Configuring a MILP formulation for rail traffic management

EURO-INFORMS conference 2013, Italie, 1p

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

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

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

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

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

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

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

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

From Formal Specifications to Efficient Test Scenarios Generation

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

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

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

Improved Resilience of Metro Vehicle Design to Blast and Fire Events

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

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

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

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

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

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

K-diagnosability of labeled Petri nets

Majecstic 2012, 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication, FRANCE, 8p

A DBMS Framework for Diagnosability Analysis of Discrete Event Systems

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

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

TRA, Transport Research Arena, GRECE, 10p

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

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

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

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

http://thrash2012.gforge.inria.fr

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

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

Two local searches for the primary allocation of airport slots

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

Real time railway traffic management modeling track-circuits

ATOMOS 2012, 12th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, SLOVÉNIE, 12p

http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3700

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

18th Lambda-Mu congress, France, 9p

Test Cases Generation from CTL. A Methodology

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

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

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

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

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

Integration of B activity into a global design process

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

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

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

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

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

Third mode and information: how to improve the efficiency of urban mobility systems ?

EWGT 2012, 15th meeting of the Euro Working Group on Transportation, September 10-12, 2012, Paris, France, 1p

Evaluation of the safety level of a hot box detection system by using estimated rates

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

Interaction in Mobility: The Evaluation of Interactive Systems Used by Travellers in Transportation Contexts. In: Lecture Notes in Computer Science

HCI International 2011, ETATS-UNIS, pp. 301-310

http://dx.doi.org/10.1007/978-3-642-21616-9_34
https://hal.archives-ouvertes.fr/hal-01354552
http://link.springer.com/chapter/10.1007%2F978-3-642-21616-9_34

Spécification et Vérification Formelles des COTS Orientée Contrôle-Commande Ferroviaire Embarqué

Journée des doctorants SPI-STIC de l'IFSTTAR 2011, Rencontre du 7 juin 2011, Villeneuve d'Ascq, France, 12p

Requirement Refinement to Test Case Generation for Embedded Railway Control Systems

EURO-ZEL 2011, 19th International Symposium on recent Challenges for European Railways, 8th - 9th June 2011, Zilina, Slovak Republic, p191-199

A set of design oriented scientific tools to assist abstract B machine specification

LINDI 2011, 3rd IEEE International Symposium on Logistics and Industrial Informatics, august 25-27, 2011, Budapest, Hungary, p209-214

Un ensemble d'outils scientifiques orientés modèles pour assister la conception de spécification en langage B

SOFA 2011, 2ème Conférence Nationale sur les Systèmes d'Ordre Fractionnaire et leurs Applications, 24-26 Octobre 2011, Tizi-Ouzou, Algérie, 6p

Towards Human stability in transport systems

IEEM2011, IEEE International Conference on Industrial Engineering and Engineering Management, december 2011, Singapore, 6p

Integration of communication systems for a railroad smart wagon

LOGISTIQUA, IEEE 4th International Conference on logisitcs, May 31 2011-June 3 2011, Hammamet, Tunisia, 6p

Performance of a constraint-based scheduling model for optimal train dispatching

WCRR 2011, 9th World Congress on Railway Research, may 22-26 2011, Lille, France, 15p

Improving traffic management of rail network : new methods, processes and tools - Real-time traffic management of railway bottlenecks

8th ITS European Congress Wednesday, 8th June 2011, Lyon, France, 38p

Évaluation par simulation des solutions d'un modèle à vitesse fixée pour l'optimisation du trafic ferroviaire

ROADEF'2011, 12ème congrès de la société française de Recherche Opérationnelle et d'Aide à la Décision, mars 2011, St-Etienne, France, 2p

Study on train speed profile adjustments of two fixed-speed models for the real-time railway traffic optimization problem

MT-ITS 2011, 2nd International Conference on Models and Technologies for Intelligent Transportation Systems, 22-24 june 2011, Leuven, Belgium, 4p

http://www.mech.kuleuven.be/MT-ITS2011/download/proceedings.html

Simulation of solutions of a fixed-speed model for the real-time railway traffic optimization problem

RailRome 2011, 4th International Seminar on Railway Operations Modelling and Analysis, 16-18 february 2011, Roma, Italy, 17p

Patterns-Based Assistance for Temporal Requirement Specification

WORLDCOMP 2011, SERP'11, International Conference on Software Engineering Research and Practice, july 18-21 2011, Las Vegas, Nevada, USA, 7p

Reflections on the development of a common incidents/accidents model for urban guided transport in Europe

APM, Automated People Movers and Transit Systems,May 22 - 26, 2011, Paris, France, 10p

The renovation requirements for the VAL manless system in Lille

APM, Automated People Movers and Transit Systems,May 22 - 26, 2011, Paris, France, 8p

Saving Energy in Railway Management with an Evolutionary Multiobjective Algorithm: Application and Case Study

WCRR 2011, 9th World Congress on Railway Research, may 22-26 2011, Lille, France, 19p

Requirement Refinement to Test Case Generation for Railway Control Systems

EURO - ZEL 2011, 19th International Symposium 8th - 9th, June 2011, ©ilina, Slovak Republic, 8p

www.zu-zel.sk/file/down/2011/Yang.pps

Contribution de la chronobiologie de la vigilance a la sécurité des transports

SETIT, 6th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, 26-29 octobre 2011, Sousse, Tunisie, 7p

Towards an Ontology of Help to the Modeling of Accident Scenarii Application on Railroad Transport

SETIT, 6th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, 26-29 octobre 2011, Sousse, Tunisie, 7p

Construction d'une ontologie d'aide au renforcement de la sécurité des systèmes de transport automatisés

EGC 2011, 11ème Conférence internationale francophone sur l'extraction et la gestion des connaissances, 25 au 28 janvier 2011, Brest, France, 15p

The Contribution of Machine Learning to Analyze and Evaluate the Safety of Automated Transport Systems.

CCCA'11, IEEE 2011 International Conference on Communications, Computing and Control Applications, March 3-5 2011 Hamammet, Tunisia, 6p

Localisation tri-dimensionnelle robuste d'objets par propagation de croyance hiérarchique

TELECOM2011 & 7ème JFMMA 16-18 mars 2011, Tanger, Maroc, 6p

Multi-objective Evolutionary Algorithm for Speed Tuning Optimization with Energy Saving in Railway: Application and Case Study

RAILROM 2011, 4th International Seminar in Railway Operations Research,february 2011, Roma, Italy, 19p

Cyclistes urbains : qui etes-vous ?

Congrès international ATEC ITS, février 2011, Versailles, France, 5p

Analyse d'un modèle AADL à l'aide de Pola

AFADL 2010, 10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels, 9-11 Juin 2010, Poitiers, France, 4p

Modélisation de la fonction de localisation des trains à grande vitesse

Journée des doctorants SPI et STIC de l'INRETS, mai 2010, Villeneuve d'Ascq, France, 7p

A constraint-based scheduling model for optimal train dispatching

2010 Joint Rail Conference, april 27-29 2010, Urbana, Illinois, USA, 8p

A future driver assistance system for train control realization in case of signaling system ERTMS dysfunction

ITST 2010 10th International Conference on Intelligent Transport Systems Telecommunications, , november 9-11, 2010, Kyoto, Japan, 6p

Disturbances modelling for improving the traffic operation for the public transport networks

IFAC LSS Symposium, Large Scale Systems: Theory and Applications, juillet 2010, Villeneuve d'Ascq, France, 7p

Modeling of interface dialog between train and balise localization by signaling system ERTMS in dysfunction cases

12th IFAC-LSS'2010 symposium Large Scale Systems : Theory and Applications, juillet 2010, Villeneuve d'Ascq, France, 9p

Prise en compte du risque humain dans le secteur maritime. Application au projet des autoroutes de la mer

Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 5-7 octobre 2010, La Rochelle, France, 10p

Elaboration d'un référentiel réglementaire en matière de sécurité ferroviaire

Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 5-7 octobre 2010, La Rochelle, France, 9p

PANsafer Project: Towards a safer level crossing

11th Global Level Crossing Symposium, october 2010, Tokyo, Japan, 

Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems

SERP2010 - WorldComp'2010, 9th International Conference on Software Engineering Research & Practice, july 2010, Las Vegas, Nevada, USA, 7p

Methodology for assessing safety systems Application for a railway hot box protection system

FORMS/FORMAT 2010, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, december 2010, Braunschweig, Germany, 8p

On Optimizing a Demand Responsive Transport with an Evolutionary Multiobjective Approach

ITSC 2010, 13th IEEE Intelligent Transport Systems Conference, 19-22 september 2010, Madeira Island, Portugal, 

An Evolutionary Multiobjective Approach for Speed Tuning Optimization with Energy Saving in Railway Management

ITSC 2010, 13th IEEE Intelligent Transport Systems Conference, 19-22 september 2010, Madeira Island, Portugal, p279-284

Evolutionary Multi-objective Optimization of Speed Tuning in Railway Management: A Case Study

META'2010, International Conference on Metaheuristics and Nature Inspired Computing, october 2010, Djerba, Tunisia, 2p

Patterns de Spécification des Exigences Temporelles

Journée des doctorants SPI et STIC de l'INRETS, mai 2010, Villeneuve d'Ascq, France, 7p

BRILLANT: an open source platform for B

Workshop on Tool Building in Formal Methods, february 2010, Orford, Quebec, Canada, 5p

http://hal.archives-ouvertes.fr/inria-00480709/fr/

Toward the Human Stability in Transportation Systems: Concept and Objectives

11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, August 31 - September 3, 2010, Valenciennes, France, 6p

Vers le concept de stabilité humaine pour l'amélioration de la sécurité des transports

Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 5-7 octobre 2010, La Rochelle, France, 7p

Towards the Human Stability concept in order to improve safety in transport systems

ESREL 2010, 5 au 9 September 2010, Rhodes, Greece, 8p

Functioning mode Management and formal assessment of safety

IFAC LSS Symposium, Large Scale Systems: Theory and Applications, juillet 2010, Villeneuve d'Ascq, France, 6p

Design of dependable system architectures for a railroad smart wagon using shared functions

ITSC 2010, 13th IEEE Intelligent Transport Systems Conference, 19-22 september 2010, Madeira Island, Portugal, 6p

The concept of a smart wagon for improving the safety of a railroad transportation system

IFAC LSS Symposium, Large Scale Systems: Theory and Applications, juillet 2010, Villeneuve d'Ascq, France, 6p

Capitalisation et exploitation des connaissances de sécurité

Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 5-7 octobre 2010, La Rochelle, France, 9p

Vers une ontologie pour le domaine de l'analyse de sécurité des systèmes de transport automatisés

Conférence TOTh 2010, Terminologie & Ontologie, Théories et applications, 3-4 juin 2010, Annecy, France, 17p

Methodological Approach of Management of the Risks in the Industrial Sector: Application to the Oil Sector

EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 8p

Towards an Ontology of Risks Analysis

EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 10p

Taking into Account of Safety in Models of Railroad Traffic Management and Optimization

EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 9p

Taking into Account of Human Risk in Maritime Sector. Application on Sea Motorways Project

EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 11p

System Based Knowledge for the Help in Exploitation of Field Data Feedback in Railroad Transport

EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 6p

Supporting Tool of Regulation Capitalization and Exploitation in Railroad Safety

EVER'2010, 5th International Conference and Exhibition on Ecological Vehicles and Renewable Energies, March 2010, Monaco, 9p

Contribution of case based reasoning (CBR) in the exploitation of return of experience. Application to accident scenarii in rail transport

SIIE'2010, 3rd International Conference on Information Systems and Economic Intelligence, 18-20 february 2010, Sousse, Tunisia, 8p

Contribution of the return of experience to Security

SIIE'2010, 3rd International Conference on Information Systems and Economic Intelligence, 18-20 february 2010, Sousse, Tunisia, 4p

Analysis and maritime Risk management

SIIE'2010, 3rd International Conference on Information Systems and Economic Intelligence, 18-20 february 2010, Sousse, Tunisia, 6p

Introduction à la sécurité et à l'analyse des risques technologiques et humains

Symposium International sur la Maintenance et la Maîtrise des Risques, avril 2010, Rabat, Maroc, 16p

Dense Stereo Matching by Hierarchical Belief Propagation based on Fuzzy Confidence Approach

14th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, September 8,9 & 10 Cardiff, Wales, UK, 10p

Background Subtraction and 3D Localization of Moving and Stationary Obstacles at Level Crossings

IPTA 2010, IEEE International Conference on Image Processing, Theory, Tools and Applications, 7-10 july 2010, Paris, France, 6p

Robust 3D Objects Localization using Hierarchical Belief Propagation in Real World Environment

14th International Conference on Image Processing, Computer Vision, and Pattern Recognition, 12-15 July 2010, Las Vegas, Nevada, USA, 6p

Railway traffic flow modelling using bond graphs

MOSIM'10, 8th International Conference of Modeling and Simulation, Evaluation and optimization of innovative production systems of goods and services, 10-12 may 2010, Hammamet, Tunisia, 4p

Patterns For Temporal Requirements Engineering. A level crossing case study

ICINCO 2010, 7th International Conference on Informatics in Control, Automation and Robotics, juin 2010, Madeira, Portugal, 8p

Time-constrained systems validation using MDA model transformation. A railway case study

MOSIM'10, 8th International Conference of Modeling and Simulation, Evaluation and optimization of innovative production systems of goods and services, 10-12 may 2010, Hammamet, Tunisia, 9p

Ecran autonome interactif embarqué. Pour une information personnalisée dans le véhicule

Congrès ATEC ITS France Mobilité et Avenir des Territoires : l'accès aux services, 3-4 février 2010, Paris, France, 8p

Du concept de recherche au prototype industriel : l'exemple de Viatic

Congrès ATEC-ITS mobilité et avenir des territoires, 3-4 février 2010, Versailles, France, 11p

Comment l'intelligence ambiante peut-elle contribuer aux transports intelligents ?

Congrès ATEC ITS France Mobilité et Avenir des Territoires : l'accès aux services, 3-4 février 2010, Paris, France, 11p

Modèle du wagon intelligent de ferroutage

15ème séminaire CNRIUT'09, Colloque National de la Recherche en IUT, 09 juin 2009, Villeneuve d'Ascq, France, 1p

Risks and Governance, which approach?

4ème Colloque International l'ISG de Gabès, décembre 2009, Tataouine, Tunisie, 6p

Analyse des risques des systèmes de transport intelligents

Workshop Rôle des nouvelles technologies et des infrastructures dans la sûreté et la sécurité des systèmes de transport, octobre 2009, Rabat, Maroc, 5p

User modelling: the consideration of the experience of time during journeys in public transportation

ACM Mobility conference, 6th International Conference on Mobile Technology, Applications and Systems, 2-4 september 2009, Nice, France, 4p

The Viatic Concept Information Technology for Intelligent Travellers

ITST 2009, 9th International Conference on ITS Telecommunications, october 2009, Lille, France, 5p

Évaluation des exigences temporelles des systèmes complexes ; Aperçu de l'existant et introduction d'une nouvelle approche générique

Journée des Doctorants de l'INRETS 2009, avril 2009, Villeneuve d'Ascq, France, 17p

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

KES 2009, 13th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, CHILI, p185-192

http://www.springer.com/computer/artificial/book/978-3-642-04594-3

Mise en correspondance stéréoscopique d'images couleur pour la détection d'objets obstruant la voie aux passages à niveau

7ème Télécom' 2009 et 6ème JFMMA, Journées Franco-Maghrébines des Micro-ondes et leurs Applications, mars 2009, Agadir, Maroc, p207-210

Détection de régions en mouvement et suivi 3D d'obstacles aux passages à niveau

Journée des doctorants SPI et STIC de l'INRETS, Avril 2009, Villeneuve d'Ascq, France, 14p

Proposition d'une modélisation d'un Système Homme-Machine par l'approche Système Dynamique Hybride

Journée des doctorants SPI et STIC de l'INRETS, Avril 2009, Villeneuve d'Ascq, France, 11p

A behavioural model for the level crossing collision risk assessment

Safety and Security Engineering III Procedings of Safe 2009, 3rd International Conference on Safety and Security Engineering, july 2009, Roma, Italy. GUARASCIO,M ; BREBBIA,CA (Eds), p637-646

La fluidification des circulations dans les noeuds ferroviaires

Conférence i-Trans SIFER, Économies d'énergie dans l'exploitation de l'infrastructure et du matériel roulant, mai 2009, Lille, France, 30p

Managing the railway safety performance

First National Conference on Railway safety and operation research : present development and future perspectives, march 2009, Roma, Italy, 23p

La fluidification des noeuds sensibles dans la gestion du réseau

Journée Technique SEE,Le futur des transports ferroviaires et guidés, mars 2009, Lille, France, 21p

An incremental heuristic for the train routing and scheduling problem

ITS 2009, International Conference on Models and Technology for Intelligent Transportation Systems, June 2009, Roma, Italy, 8p

A study of an incremental texture-based heuristic for the train routing and scheduling problem

3rd International Seminar on Railway Operations Modelling and Analysis, february 2009, Zurich, Switzerland, 14p

A generation method of test scenarios based on models

Safety and Security Engineering III Procedings of Safe 2009, 3rd International Conference on Safety and Security Engineering, july 2009, Roma, Italy. GUARASCIO,M ; BREBBIA,CA (Eds), 9p

Modelling of the European Rail Traffic Management System (ERTMS) for checking objectives

CTS'09, 12th IFAC Symposium on Control in Transportation Systems, September 2009, California, USA, 6p

Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers

VECOS2009, Verification and Evaluation of Computer and Communication Systems, juillet 2009, Rabat, Maroc, 12p

« ALoCSyS », un outil logiciel d'aide à la conception de systèmes d'automatisation sûrs de fonctionnement

3SGS'09, 2nd Workshop Surveillance, Sûreté et Sécurité des Grands Systèmes, juin 2009, Nancy, France, 9p

Amélioration de la sûreté de fonctionnement du ferroutage par le concept du wagon intelligent

CNRIUT 2009, 15ème Colloque National de la Recherche en IUT, juin 2009, Lille, France, 9p

Etude de la conception d'un système d'aide à la conduite de trains lors du dysfonctionnement du système de signalisation ERTMS

3SGS'09, 2nd Workshop Surveillance, Sûreté et Sécurité des Grands Systèmes, juin 2009, Nancy, France, 9p

Design of the driver assistance system for train's control in case of signaling system ERTMS dysfunction

ITS 2009, International Conference on Models and Technology for Intelligent Transportation Systems, June 2009, Roma, Italy, 8p

The Cost Benefit Analysis of level crossing safety measure

Safe 2009, 3rd International Conference on Safety and Security Engineering, july 2009, Roma, Italy, 11p

Monitoring of Temporal Requirements with Stocharts Observation Patterns, Application to a Level Crossing Control System

DCDS09, 2nd IFAC Workshop on Dependable Control of Discrete Systems, june 2009, Bari, Italy, p71-76

Verification of Temporal Requirements of Complex Systems Using UML Patterns, Application to a Railway Control Example

4th IEEE International Conference on System of Systems Engineering, May 31st -June 3rd 2009, Albuquerque, New Mexico, USA, 6p

Intégration de la Sécurité dans les Systèmes Technologiques de l'Information et de la Communication

SETIT, 5th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, mars 2009, Hammamet, Tunisie, 5p

Intégration de la Sécurité dans les Autoroutes de la mer

SETIT, 5th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, mars 2009, Hammamet, Tunisie, 11p

Contribution du Raisonnement à Partir de cas à l'Evaluation des Logiciels de Sécurité

SETIT, 5th International Conference, Sciences of Electronic, Technologies of Information and Telecommunications, mars 2009, Hammamet, Tunisie, 7p

Evaluation of Personalized Information Systems: Application in Intelligent Transport System

SEKE2008, 20th International Conference on Software Engineering and Knowledge Engineering, July 1-3 2008, San Francisco, USA, p877-880

Human stability toward a risk indicator in guided transport

27th European Annual Conference on Human Decision-Making and Manual Control, PAYS-BAS, 8p

Etude d'un système multicapteurs pour la reconnaissance de situations potentiellement dangereuses aux passages à niveau

Communiquer, Naviguer, Surveiller. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN de l'INRETS du 3 avril 2008, WAHL,M (ED) ; BERBINEAU,M (ED), 10p

Modelling of the ERTMS specifications for checking and tests generation objectives

FORMS 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, october 2008, Budapest, Hungary, 7p

Apport de l'intelligence artificielle à la sécurité des transports ferroviaires

FIRTL 2008, Forum Inter universitaire de Recherche En Transport et Logistique, avrill 2008, Sousse, Tunisie, 12p

Méthode originale d'analyse des risques technologiques

Symposium maintenance et maîtrise des risques, mai 2008, Oran, Algérie, 12p

Complementarity of Preliminary Hazard Analysis and Field Data Feedback to improve security - Application to rail transport

STA 2008, 9th International conference on Sciences and Techniques of Automatic control & computer engineering, december 2008, Sousse, Tunisia, 9p

Apport du retour d'expérience à l'analyse des risques

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 6p

Intégration des facteurs humains dans le retour d'expérience

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 6p

Analyse préliminaire de risques et Retour d'expérience : deux approches complémentaires pour améliorer la sécurité des transports ferroviaires

CIFA 2008, Conférence Internationale Francophone d'Automatique, septembre 2008, Bucarest, Roumanie, 5p

How can risk aversion factor characterise choices of economic agents under uncertainty in rail transport?

FORMS 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, october 2008, Budapest, Hungary, 9p

Plateforme de simulation ERTMS

Approche orientée modèles pour une conception UML certifiée des systèmes logiciels critiques

CIFA 2008, Conférence Internationale Francophone d'Automatique, septembre 2008, Bucarest, Roumanie, 7p

Temporal requirements checking in a safety analysis of railway systems

FORMS/FORMAT 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, october 2008, Budapest, Hungary. Schnieder,E and Géza Tarnai,G (Eds), 8p

Systems engineering approach for the railway worksites' safety modelling

WOS 2008,4th Working on Safety Conference, Working On Safety Network, september-october 2008, Crete, Greece, 8p

Risk Apportionment for Railway Safety

WOS 2008,4th Working on Safety Conference, Working On Safety Network, september-october 2008, Crete, Greece, 10p

Stochastic Petri Nets for Risk Assessment

FORMS 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, october 2008, Budapest, Hungary, 8p

Gestion des risques dans le contexte d'un réseau ferroviaire européen ouvert et unifié

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 5p

A Risk Assessment framework for Road-Rail Level Crossings: Application to Moroccan Level Crossings

Level crossing 2008, 10th International Level Crossing Safety and Trespass Prevention Symposium, juin, Paris, France, 10p

Management Préliminaire des Risques (MPR). Proposition d'une méthode systémique et organisationnelle basée sur une ontologie générique

3SGS, workshop surveillance, sûreté et sécurité des grands systèmes, juin 2008, Troyes, France, 10p

A behavioural model for the Level Crossing Collision Risk Assessment

COMPRAIL 2008, 11th International Conference on Computer System Design and Operation in the Railway and Other Transit Systems 15-17 Septembre, Tolède, Espagne, 10p

Approche d'évaluation quantitative du risque de collision sur les passages à niveau

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 6p

Synthèse de contrôle de systèmes à événements discrets temporisés : application au passage à niveau

CIFA 2008, Conférence Internationale Francophone d'Automatique, septembre 2008, Bucarest, Roumanie., 7p

Programmation par contraintes pour l'allocation des objectifs de sécurité. Application au transport ferroviaire

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 5p

Taking advantage of some complementary modelling methods to meet critical system requirement specification

COMPRAIL 2008, 11th International Conference on Computer System Design and Operation in the Railway and Other Transit Systems 15-17 Septembre, Tolède, Espagne. J. ALLEN, C.A. BREBBIA, A.F. RUMSEY, G. SCIUTTO, S. SONE, C.J. GOODMAN (Eds), p153-161

Vers une intégration des facteurs humains dans le formalisme SAFE-SADT : application au freinage ferroviaire

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 7p

An Incremental Decision Algorithm for Railway Traffic Optimisation in a Complex Station

COMPRAIL 2008, 11th International Conference on Computer System Design and Operation in the Railway and Other Transit Systems 15-17 Septembre, Tolède, Espagne. J. ALLEN, C.A. BREBBIA, A.F. RUMSEY, G. SCIUTTO, S. SONE, C.J. GOODMAN (EDS), p495-504

Méthodologie de conception de systèmes sûrs et économiques basée sur des scenarios et des arbres de défaillances multiples

16ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, octobre 2008, Avignon, France, 9p

Optimal design of control systems using a dependability criteria and temporal sequences evaluation. Application to a railroad transportation system

ESREL 2008, Conference on Safety and Reliability, september 2008, Valencia, Spain. Safety, Reliability and Risk Analysis: Theory, Methods and Applications, Martorell,S, Guedes Soares,C, Barnett,J (Eds), p3199-3209

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

3SGS, workshop surveillance, sûreté et sécurité des grands systèmes, juin 2008, Troyes, France, 11p

SELCAT. Its contribution to european level crossing safety

EURNEX - ZEL 2008, 16th international symposium, Railroads at the treshold of the third milenium, Towards sustainable and competitive European rail system, june 2008, Zilina, Slovak Republic, 10p

Viatic Project : Innovative Street Furniture for Sustainable Mobility

15th World Congress on Intelligent Transport Systems, november 2008, New York, USA, 3p

Risk Apportionment for Railway System using Constraint Programming

Risk analysis 2008, Sixth International Conference in Computer Simulation Risk Analysis and Hazard Mitigation, May, 2008, Cephalonia, Greece, 10p

Application of the SAFE-SADT method on a railway braking system

WCRR 2008, 8th World Congress on Railway Research, may 2008, Seoul, Korea, 13p

Deployment method of tests scenarios for critical systems- Application to the ERTMS/ETCS system

WCRR 2008, 8th World Congress on Railway Research, may 2008, Seoul, Korea, 10p

SELCAT. Safer European Level Crossing Appraisal and Technology

WCRR 2008, 8th World Congress on Railway Research, may 2008, Seoul, Korea, 13p

Etude des scénarios de tests de systèmes critiques

Communiquer, Naviguer, Surveiller. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN de l'INRETS du 3 avril 2008, WAHL,M (ED) ; BERBINEAU,M (ED), 13p

Conception d'un wagon de ferroutage intelligent

Zoom ITS-CIEL, L'électronique embarquée et sécurisée des ITS, 28 juin 2007, Villeneuve d'Ascq, France, 1p

A generic process and its tool support towards combining UML and B for safety critical systems

ISCA, 20th International Conference on Computer Applications in Industry and Engineering, Gongzhu Hu (ED), November 2007, San Francisco, California, USA, p185-192

Méthode originale d'analyse des risques des systèmes de transports ferroviaires

CRiSIS : Conférence internationale sur des Risques et la Sécurité de l'Internet et des Systèmes, juillet 2007, Marrakech, Maroc, 5p

Présentation d'un projet de recherche « Avis » pour l'aide à l'analyse de la sécurité des transports ferroviaires

QUALITA : congrès international pluridisciplinaire, Tanger, Maroc, mars 2007., p 545-551

Analyse de la sécurité et Facteurs Humains dans les transports ferroviaires

42e congrès AQTR (Association Québécoise du Transport et des Routes), Québec, Canada, avril 2007, 14p

ACASYA et SAUTREL : Deux mécanismes d'apprentissage d'aide au retour d'expérience

4rth International Conference: Sciences of Electronic Technologies of Information and Telecommunications, Tunisia, March 2007, 7p

Modélisation générique des scénarios d'accident dans le but d'harmoniser les APRs

Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN du 12 avril 2007, MARAIS,J (ED) ; BERBINEAU,M (ED), 10p

Selcat Project : Level Crossing technology

1st SELCAT Workshop, Level Crossing appraisal, Lille, France, mai 2007, 19p

Vers une démarche Européenne de certification de la sécurité des transports guidés urbains

7ème Congrès international pluridisciplinaire Qualité et Sûreté de Fonctionnement, Tanger, Maroc, mars 2007, p377-384

Design of public transport platforms using hybrid Petri nets

7eme édition de QUALITA, Tanger, Maroc, mars 2007, p590-599

An intelligent level crossing: technical solutions for improved safety and security

XVIIth Scientific Conference with International Participation Transport 2007, Sofia, Bulgaria, 16th - 17th November 2007, p13-18

Contribution à l'étude de la couverture des scénarios de tests de systèmes critiques - Application au système de signalisation ferroviaire ERTMS/ETCS

Workshop international A Technically IEEE/SMC Co-Sponsorised Workshop Logistique & Transport 2007, 18-20 novembre 2007, Sousse, Tunisie, p109-114

Towards an european certification process for the safety of urban guided transport systems

Zel 2007, 15th Symposium EURNEX, may 2007, Zilina, Slovak Republic, 10p

Prise en compte des facteurs humains dans la sécurité ferroviaire

Tunisie, novembre 2007, 15p

Proposal of a generic methodology to harmonize Preliminary Hazard Analyses for guided transport

IEEE SMC, SoSE 2007 (International Conference on System of Systems Engineering), Avril 2007, Etats-Unis, 6p

A PHA base on a Systemic and Generic Ontology

IEEE/INFORMS International Conference on Service Operations and Logistics, and Informatics (SOLI'2007), Etats-Unis, august 2007, 6p

Contribution à l'étude des scénarios de tests de systèmes critiques. Application au système de signalisation ferroviaire ERTMS/ETCS

Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN du 12 avril 2007, MARAIS,J (ED) ; BERBINEAU,M (ED), 12

Modelling of the European railway system for automatic chekings

EURNEX - ZEL 2007, 15th International symposium, Zilèna, Slovaquie, 8

Radiographie du voyageur : de l'(in)activité aux services à la mobilité

Congrès international ATEC-ITS, 30 et 31 janvier 2007, Issy les Moulineaux, France, 7p

Analyzing, controlling and modelling the human error

Transport-2007, Sofia 16th, 17th November 2007, 6p

Modélisation discrète et formelle pour l'évaluation et la validation de la sécurité au passage à niveau

Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN du 12 avril 2007, MARAIS,J (ED) ; BERBINEAU,M (ED), 13p

A Time Based Approach for the Monitoring of DES under Partial Observability - Application to a Railway Circuit

Qualita, 7ème Congrès international pluridisciplinaire Qualité et Sûreté de Fonctionnement, Tanger, Maroc, mars 2007, 10p

Contribution à la conception de système sûrs de fonctionnement appliqués aux wagons de ferroutage

Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN du 12 avril 2007, MARAIS,J (ED) ; BERBINEAU,M (ED), 12p

Rolling Stock and GSM-R assessment approach of rail systems for Interoperability

Workshop international Logistique & Transport LT' 2007, a technically IEEE/SMC co-sponsored workshop, 18-20 novembre 2007, Sousse, Tunisie, 6p

A key challenge for cross acceptance and harmonisation procedures in the field of Rolling Stock and GSM-R/ERTMS

workshop international ITELMS'2007 -Intelligent Technologies in Logistics and Mechatronics Systems Source 28-29 September 2007, Jurmala-Riga, Latvia - Lettonie, 2007, 4p

Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design

SoSE International Conference on System of Systems Engineering in service of Energy and Security, April 16-18th, 2007, San Antonio, Texas, 6p

Model for the worksites' safety management

2nd International Seminar on Safety and Security of Railway Operations, Rabat, Maroc, 29p

A study of the use of state resources in a constraint-based model for routing and scheduling trains

2nd International Seminar on Railway Operations Modelling and Analysis - Hannover, Germany, 14p

Une Démarche Harmonisée pour l'Allocation des Objectifs de Sécurité Basée sur une Approche Fonctionnelle

Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs. Rencontre des doctorants des laboratoires ESTAS, LEOST, LIVIC, LTN du 12 avril 2007, MARAIS,J (ED) ; BERBINEAU,M (ED), 13p

Managing the Safety Performance of an Open Rail System

EURNEX - ZEL 2007, 15th International symposium, Zilèna, Slovaquie, 8p

Safety system conception by using a semi quantitative reliability evaluation application to rail-road system

International conference on industrial engineering and systems Management: IESM2007, May 30,June 2, 2007, Beijing, China., 6p

Description Logics in the Calculus of Structures

20th International workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, 8-10 june 2007, 8p

Operating rules description using Petri nets

FORMS/FORMAT 2007,Eckehard Schnieder and Géza Tarnai (Eds), 25th and 26th january 2007, Braunschweig, Germany, p139-146

Formal methods and temporal safety requirements: A level crossing application

FORMS/FORMAT 2007, Eckehard Schnieder and Géza Tarnai (Eds) ; 25th and 26th january 2007, Braunschweig, Germany, p220-230

Functional Hazard Analysis for Railway Safety

Symposium FORMS/FORMAT 2007, Eckehard Schneider, Géza Tarnai (Eds.), 25th and 26th January 2007, Braunschweig, Germany, p164-73

Concepts et terminologie de base pour l'Analyse Préliminaire des Risques dans le Transport Ferroviaire

Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs. Rencontre avec les doctorants des laboratoires LEOST, ESTAS, LIVIC, LTN. Actes inrets n°109, 6 avril - 6 octobre 2006, France, 10p

Conception de systèmes intelligents sûrs de fonctionnement Application au ferroutage

Journée des doctorants de l'INRETS 2006, Actes INRETS, p153-164

Modélisation du comportement humain dans les scénarios d'accidents ferroviaires

STA'2006, Septième conférence internationale des Sciences et Techniques de l'Automatique, 17-19 décembre 2006, Hammamet, Tunisie, 17p

Méthode d'analyse préliminaire des risques dans les transports ferroviaires

Lambda Mu 15, Maîtrise des Risques et sûreté de fonctionnement, Risques et Performances, Lille, octobre 2006, p434-437

Réglementation en matière de retour d'expérience dans les transports ferroviaires

Workshop International : Logistique & Transport, Hammamet, Tunisie,mai 2006, 5p

SELCAT - a New European Project for Safer Level Crossings

9th International Level Crossing Safety and Trespass Prevention Symposium 2006 September 10-14, 2006, 7p

Common approach for supervising the railway safety performance

COMPRAIL 2006, 10-12 July 2006, Prague, Czech Republic, 10p

Assessment of the Safety management system in railway sectors

WCRR 2006, 4 au 8 Juin 2006, Montréal CANADA, 10p

Développement et harmonisation de la sécurité ferroviaire

Workshop International : Logistique & Transport 2006, 28 Avril au 2 Mai, Hammamet, Tunisie, 6p

The contribution of state resources in a constraint-based scheduling model for conflict solving at railway junctions

Computers in Railways X: Computer System Design and Operation in the Railway and Other Transit Systems (COMPRAIL 2006) WIT Transactions on The Built Environment,, p591-600

Formalisme pour la validation de règlements de sécurité

Communiquer, naviguer, surveiller. Innovations pour des transports plus sûrs, plus efficaces et plus attractifs, actes Inrets N°109, Berbineau,M, Marais,J (ED), 9p

Selecting efficient solutions for the stability evaluation problem of a railway timetable

MOPGP'06: 7th Int. Conf. on Multi-Objective Programming and Goal Programming, June 12-14, 2006 Tours, France, 4p

Stability evaluation of a railway timetable

INCOM 2006, 12th IFAC Symposium on Information Control Problems in Manufacturing, Vol III, Operational Research, may 2006, Saint-Etienne, France, p379-384

Modèle d'ordonnancement à base de contraintes pour la gestion du trafic ferroviaire

Séminaire PFI-TISIC N° 6 Optimisation discrète, 19 septembre 2006, France, 59p

Using dataflow traceability between functions in the safety evaluation process

IMACS 2006, Multiconference on Computational Engineering in Systems Applications, octobre 2006, Beijing, China, Fuchun Sun and Huaping Liu (Eds), p1095-1101

Comparison of rail safety framework in Europe, North America and Japan

7th World Congress on Railway Research (WCRR'2007), 8p

Régulation du trafic des réseaux de transport collectif : Approche Évolutionniste-Logique floue

META'06 : Métaheuristiques, 2-4 Novembre 2006, Hammamet, Tunisie, 13p

Cross acceptance under the interoperability and safety directives

EURNEX-ZEL 2006, 14th international symposium Toward the competitive rail systems in europe, 30-31 mai 2006, Zilina, République Slovaque, p191-199

Evaluation des règles d'exploitation pour l'interopérabilité et la sécurité dans les transports ferroviaires

MOSIM'06, Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités, 6e Conférence Francophone de MOdélisation et SIMulation, 3-5 avril 2006 - Rabat- Maroc, 7p

Formalisation and simulation of operating rules using coloured Petri nets

Computer in Railways X, J. Allen, C.A. Brebbia, A.F. Rumsey, G. Sciutto, S. Sone and C.J. Goodman (Eds), p341-349

From UML to B - a level crossing case study

Computer in Railways X, J. Allen, C.A. Brebbia, A.F. Rumsey, G. Sciutto, S. Sone and C.J. Goodman (Eds), p351-359

Safety requirements and p-time Petri nets: A Level Crossing case study

2006 IMACS Multiconference on Computational Engineering in Systems Applications (CESA' 2006), p1118-1123

Safety intelligent system conception for piggyback service

IEEE International Conference on Industrial Technology : ICIT2006, 15-17 December 2006, Mumbai., p1659-1664

Sécurité d'un système de changement de mode de conduite Automatique/ Manuel

Workshop International : Logistique & Transport, Hammamet, Tunisie,mai 2006, p40-47

Risk Apportionment Methodology Based On Functional Analysis

IMACS 2006, Multiconference on Computational Engineering in Systems Applications, octobre 2006, Beijing, China, Fuchun Sun and Huaping Liu (Eds), p1103-9

BRILLANT : An Open Source and XML-based platform for Rigourous Software Development

SEFM 2005, 3rd IEEE International Conference on Software Engineering and Formal Methods, september 2005, Koblenz, Germany, p373-382

Is a Europe-wide harmonized process of formal acceptance relevant within the urban transport world ?

Urban Transport 2005, 11th International Conference on Urban Transport and the Environment in the 21st Century, avril 2005, Portugal, 14p

Analyse des risques d'accident dans le domaine ferroviaire

40e Congrès annuel de l'Association québécoise du transport et des routes (AQTR), 10 au 12 avril 2005, Laval, Canada, 9p

Méthode et formalisme de base pour l'analyse préliminaire des risques

STA 2005, 6th International Conference on Sciences and Techniques of Automatic control, STA'2005, Sousse, 19-21 December 2005, 6p

The VAL of TORINO, first Italian driverless automatic metro

Automated People Movers 2005, may 2005, Orlando, Florida, USA, 12p

Scientific strategies to further enhance the railway safety

Zel 2005, Railways on the Edge of the 3rd Millennium, Zilina, Slovak Republic, 8p

A CSP model and LNS approach for the railway saturation problem

EU/ME Working Group worshop Combination of metaheuristic and local search with Constraint Programming techniques November 28-29, 2005, Nantes, France, 7p

Optimisation du problème de capacité d'infrastructures ferroviaires

Journée de synthèse TAT-MOST, 06 Juin 2005, Béthune, France, 30p

Action Spécifique RECIFE : Analyse de la capacité ferroviaire

Journée de synthèse TAT-MOST, 06 Juin 2005, Béthune, 29p

An ant colony optimization inspired algorithm for the Set Packing Problem with application to railway infrastructure

6th Metaheuristics International Conference, MIC2005 August 22-26, 2005. Vienna, Austria, 6p

Exploitation des systèmes ferroviaires : gestion en temps réel des circulations et analyse des capacités

Séminaire PFI-Innovation dans les transports guidés urbains et régionaux : «Problématiques et Incidences», Arcueil, 14 Décembre 2004, 24p

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

RailDelft2005, 1st International Seminar on Railway Operations Modelling and Analysis, June 8-10, 2005, Delft, The Netherlands, 16p

http://www.jror.nl/seminars/raildelft2005/

Evaluation of Depth-bounded Discrepancy on a CSP model of the railway saturation problem

17th IMACS, World congress, Scientific Computation, Applied Mathematics and Simulation, 11-15 July 2005, Paris, France, 7p

Formal design of public transport stations Formal design of public transport stations

Congrès international IEEE-ITSC, du 13 au 16 Septembre 2005 à Viennes-Autriche, p61-65

CHV's brake discs temperature estimation: results in open road tests

IEEE-ITSC, Intelligent Transportation Systems Conference, september 2005, Vienna, Austria, p204-209

Contribution des techniques d'intelligence artificielle à l'analyse de la sécurité des transports ferroviaires

6e Conférence Internationale des Science et des Techniques de l'Automatique - STA'2005 19 au 21 décembre 2005 - Sousse - Tunisie, 6p

Duration calculus :A real-time semantic for B. In Liu, Zhiming, Araki, Keijiro (Eds.), Theoretical Aspects of Computing

CTCA 2004, International Colloquium on theoretical aspects of computing, CHINE, p431-446

http://www.springer.com/series/558

A Formal Framework for UML Modelling with Timed Constraints: Application to Railway Control Systems

SVERTS, Specification and Validation of UML models for Real Time and Embedded Systems, october 2004, Lisbon, Portugal, 20p

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.5745

Évaluation de l'extensibilité de PhoX:: B/PhoX un assistant de preuves pour B

JFLA 2004, Journées Francophones des Langages Applicatifs, janvier 2004, Sainte-Marie-de-Ré, France, p37-54

http://jfla.inria.fr/2004/actes/index.html

Evaluation des performances d'un modèle CSP pour le problème

6eme congrès de la société française de recherche opérationnelle et d'aide à la décision ROADEF, 4-15 février 2004, Tours, France, 15p

Rôles et obligations des acteurs impliqués dans la sécurité des transports ferroviaires

LM 14, maitrise des risques et sureté de fonctionnement, 12-14 octobre 2004, Bourges, France, 8p

B-RAIL - Passage d'une modélisation semi-formelle à une modélisation formelle

Maîtrise des risques et sûreté de fonctionnement, Lambda-Mu 14, octobre 2004, Bourges, France, 8P

UML-based design and formal analysis of railway traffic control systems

FORMS'2004, 2-3 December 2004, Braunschweig, Deutschland, 14p

Towards an interactive and effective regulation for the urban transport networks

SMC 2004, international conference on systems, man and cybernetics, 10-13 October 2004, La Hague, Pays Bas, 6p

A natural extension of b substitutions: Postconditions

FSTTCS 2004, foundations of software technology and theoretical computer science, December 16-18, 2004, Chennai, India, 12p

Duration calculus: A real-time semantic for B

FDL'04 forum on specifications and design languages, 13 septembre2004, Lille, France, 14p

Etude de sécurité d'un poids lourd en conduite automatique et système prédictif de pannes de capteurs

IEEE-CIFA'2004, conférence internationale francophone d'automatique, 22-24 novembre 2004, Douz, Tunisie, 6p

CHV's brake discs temperature estimation: Tests and results of an energetic approach

IEEE-ITSC'04, intelligent transportation systems, October 3-6, 2004, Washington, dc, USA, 7p

Retour d'expérience dans les transports ferroviaires

IEEE-CIFA'2004, conférence internationale francophone d'automatique, 22-24 novembre 2004, Douz, Tunisie, 6p

From UML to B: A level crossing case study

8th international level crossing symposium, 13-15 April 2004, Sheffield, UK, 9p

Brail - requirement analysis

FORMS'2004, 2-3 December 2004, Braunschweig, Deutschland, 9p

Outils pour la gestion opérationnelle du trafic ferroviaire

INRETS;GRRTTILT 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, 2-4 décembre 2003, Lille, France, 10p

Le tram-train : une problématique de sécurité nouvelle

INRETS;GRRTTILT 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, 2-4 décembre 2003, Lille, France, 9P

Gestion de la sécurité ferroviaire réseau thématique : SAMNET

INRETS;GRRTTILT 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, 2-4 décembre 2003, Lille, France, 8p

A brake disc's temperature estimation module

SCSC'03, summer computer simulation conference, 20-24 July 2003, Montréal, Canada, 6p

AGENPERSO : IHM à base d'agents logiciels personnels d'information aux usagers des transports collectifs

ACM PressIHM 03, 15e conférence francophone sur l'interaction homme-machine, 24-28 novembre 2003, Caen, France, p260-3

L'apport de la localisation dans l'information aux voyageurs

ATECATEC, 22 et 26 janvier 2003, Paris, France, 8p

Vers une personnalisation de l'information dans les transports

GRRTInnovation technologique pour les transports terrestres, colloque international organisé par le GRRT, le 2-4 décembre 2003, Lille, France, p671-8

A new satellite-based fail-safe train control and command for low density railway lines

Colloque TILT, 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, 2-4 décembre 2003, Lille, France, P227-236

Mobile objects and ground transportation

Colloque TILT, 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, 2-4 décembre 2003, Lille, France, p245-252

Multiagent traffic model of an automated highway system

ISCE 2003, sixteenth international conference on systems engineering system, 9-11 September. 2003, UK, 5p

Résolution d'un problème d'évaluation de capacité d'infrastructure ferroviaire

Colloque TILT, 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, 2-4 décembre 2003, Lille, France, 8p

Semi formal modelling and formal specification: UML & b in simple railway application

ICSSEA, 10p

Thoughts about the implementation of the duration calculus with Coq

LPAR, Logic for programming artificial intelligence and reasoning, September 22-27, 2003, Almaty, Kazakhstan, 11p

The safety management in an interoperability project LIKE ERTMS. The French application

WCRR 2003, world congress on railway research, 28 September 01 October2003, Edinburgh, UK, 11p

CENELEC standards EN 50126 et 59129 : Theory and practice

WCRR 2003, world congress on railway research, 28 September-01 October 2003, Edinburgh, UK, 3p

Nouvelles interfaces pour les calculateurs de sécurité

Colloque TILT, 1983-2003 : 20 ans, innovation technologique pour les transports terrestres, technological innovation for land transportation, FRANCE, 8p

Modélisation du routage des trains dans un noeud complexe et étude de capacité

2p

Towards to fuzzy aid decision-making system of the Valenciennes transport network connections

IEEE-IRI'03, October 2003, Las Vegas, USA, 5p

Multiagent model using coloured Petri nets for the regulation traffic of automated highway

ITCS'03, IEEE 6th international conference on intelligent transportation systems, 12-15 October 2003, Shanghai, China, 6p

A traffic regulation system for the future automated highway

SMC'02, IEEE system, man and cybernetics, 6-9 October 2002, Hammamet, Tunisie, 6p

The YATE fail-safe interface: The user's point of view

8th IEEE international on-line testing workshop 2002, 8-10 juillet 2002, Bandol, France, 5p

La sécurité probabiliste et ses limites

ESREL 2002- Lambda-Mu 13, colloque européen, 19-21 mars 2002, Lyon, France, 5p

Apport de la chronobiologie de la vigilance au domaine de la sécurité ferroviaire

INRETSJournée spécialisée de l'INRETS : facteurs de dégradation de la vigilance et insécurité dans les transports, 25 octobre 2002, Paris, France, 11p

Contribution des techniques d'intelligence artificielle à la capitalisation des analyses de sécurité des systèmes de transports ferroviaires guidés

Veille stratégique - La veille dans le secteur public, 21 mars 2002, Villeneuve d'Ascq, France, 7p

Constraint programming for real-time train circulation management in railway nodes

3rd research seminar on railway optimization problems, research training network amore algorithmic methods for optimizing the railways in Europe, 01-04 October 2002, Oegstgeest, Pays Bas, 46p

Railway infrastructure saturation using constraint programming approach

Witpress EdCOMPRAIL 02, Computers in railways VIII, 12-14 juin 2002, Lemnos, Grece, 10p

Programmation par contraintes pour la gestion du trafic ferroviaire

INRETS-CNAM/CMSL, forum systèmes et logiciels pour les NTIC dans le transport - outils de planification dans les transports -, 30 mai 2002, Paris, France, 45p

An inexorable evolution in automated train control

ICTTS 2002, international congress on traffic and transportation studies, 23-25 July 2002, Guilin, China, p234-41

Functional analysis of the sub-system of energy and infrastructure of conventional rail

SMC'02, IEEE system, man & cybernetics 6-9 October 2002, Hammamet, Tunisie, 6p

Qualitative and quantitative safety assessment of ERTMS operating rules

COMPRAIL, June 2002, Grece, 10p

Assessment and certification of safety critical software

WAC'2002, world automation congress, 9-13, June 2002, Orlando, USA, 6p

Safety assessment method in the railway sector

5p

Evaluation method of service quality parameters in transport networks

WAC'2002, IEEE world automation congress, 9-13, June 2002, Orlando, USA, 

Safety analysis of a frontal collision warning system

IV'2002, IEEE intelligent vehicle symposium, 18-20 mai 2002, Versailles, France, 6p

Maintening safety in automated transit, the Val experience

ASCEAPM 2001, 8th San Francisco USA, 7p

A methodology based on multiple views for multi-agent systems in simulation, application to the transportation domain

ESS 01, 13th European simulation symposium, 18-20 octobre 2001, Marseille, France, p898-902

An efficient algorithm for the design of fault tolerant multi-sensor system

Daniel W. Repperger, Publications ChairCDC?2001, IEEE 40th conference on decision and control, December 4-7, 2001, Orlando, Florida, USA, 2p

Représentation des contraintes sous forme de règles : application aux CSP dynamiques

LIFO Université d'OrléansAFPLC, journée contraintes et règles de l'association française pour la programmation logique et la programmation par contrainte, 18 janvier 2001, Orléans, France, 31p

Diagnostic de circuits électroniques à l'aide de réseaux Bayesian

JNMR'01, journées nationales sur les modèles de raisonnement, 3-4 mai 2001, Arras, France, p51-66

Safety assessment of European rail rules for operating ERTMS

ASCEAutomated people movers 2001, 7-11 July 2001, San Francisco USA, 10p

Safety technologies for computerised train control protection systems in France

Nordic Rail 2001, 2001-10-03/05, Elmia, Jönköping, Sweden, 3p

Conception sure de circuit basée sur la notion de propriété

ICSSEA 2001, CNAM, 5 décembre 2001, Paris, France, 12p

Application de la chronobiologie de la vigilance au domaine de la sécurité des transports ferroviaires

Colloque vigilance des conducteurs, pilotes et opérateurs, 15-16 novembre 2001, Toulouse, France, 11p

Functional analysis of a frontal collision avoidance system

ITS, 8th world congress on intelligent transport systems, 30 september-4-October 2001, Sydney, Australia, 8p

Application de la metaheuristique GRASP a la résolution d'un problème de capacité d'infrastructure ferroviaire

Société canadienne de recherche opérationnelleFRANCORO III, 3emes journées francophones de recherche opérationnelle, 9-12 mai 2001, Québec, Canada, 1p

GRASP for set packing problems

EURO the Association of European Operational Research SocietiesORP3 2001, Operational Research Peripatetic Post-graduate Programme, September 26-28 2001, Paris, France, 9p

Heuristics for railway infrastructure saturation

ElsevierICALP 2001, 28th international colloquium on automata, languages, and programming, Hersonissos, Crete, Greece, p41-55

Information multimodale voyageurs aspects institutionnels et juridiques

Predit 1996-2000Carrefour du Predit, transports et société, 12-14 juin 2001.Livre des projets, PM

Personnalisation de l'information : du bon usage des agents intelligents

Predit 1996-2000 : les nouveaux services aux usagers, journée de valorisation du 27 février 2001, 5p

Aspects institutionnels et juridiques de l'information multimodale

Predit 1996-2000 : les nouveaux services aux usagers, journée de valorisation du 27 février 2001, 4p

Public transport information: Towards the information society

WIT PressSeventh international conference on urban transport and the environment for the 21st century, urban transport VII, p317-26

Pourquoi l'information multimodale ne se développe-t-elle pas en France ?

Presses des Ponts et ChausséesATEC, congrès international francophone : mise en ?uvre des plans de déplacements et systèmes de transport intelligents, 24-25 janvier 2001, Paris, France, p291-303

Advanced technologies in french train protection systems

6th International Conference on Application of Advanced Technologies in Transportation Engineering AATT 2000, Singapore, June 28-30, 2000, 8P

Assessment and certification process for safety computers in the railway sectors

4th World Multiconference on Systemics and Informatics (SCI'2000) July 23 to 26, Orlando, Florida, USA, 5P

Constraint compiling into rules formalism for dynamic CSPS computing

CL2000, first international conference on computational logic, 8 juillet 2000, Londres, Grande-Bretagne, 14p

La sureté de fonctionnement dans les transports guidés

Journée sureté de fonctionnement dans les transports guides, 10 novembre 2000, Belfort, France, 6p

Méthodes, techniques et outils d'apprentissage automatique

Laboratoire de biophysique;Faculté de médecine de MonastirAMINA 2000, premier workshop sur les applications médicales de l'intelligence neuro-artificielle, 9-11 novembre 2000, Monastir, Tunisie, p1-13

Preliminary safety analysis of frontal collision avoidance systems

ITS 2000, IEEE intelligent transportation systems, 1-3 October 2000, Dearborn, Michigan, USA, p410-5

A prediction system based on vehicle sensor data in automated highway

IEEEITSC'2000, IEEE Intelligent Transportation Systems Congress, 1-3 october 2000, Dearborn (MI), USA, 6P

Référentiel de sécurité pour les automatismes dans les transports guidés

IUCISCIFA'2000, IEEE première conférence internationale francophone d'automatique, 5-8 juillet 2000, Lille, France, p894-9

ISIS: A fail-safe interface realised in smart-power technology

IEEE Computer Society TTTCIOLTW'00, 6th IEEE international on-line testing workshop, 3-5 July 2000 Palma de Mallorca, Spain, p191-197

Assessment and certification of vital computer DIGISAFE

TSI PressWorld Automation Congress - WAC 2000, Third International Symposium on Intelligent Automation and Control, June 11-16, 2000, Maui, Hawaii, USA, 6P

A prediction system for reliability improvement of the vehicle-follower control on the automated highwayY

4th IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes, SAFPROCESS'2000, 14-16 June 2000, Budapest, Hungry, 6P

Visual tracking specifications for trucks platooning

TSI PressWAC'2000, world automation congress, 11-16 June 2000, Maui, USA;Cd rom series on intelligent automation and soft computing, 5p

Comment conserver le niveau de sécurité antérieur d'une ligne de métro automatique lors de son extension

11P

Sécurité des logiciels critiques développés par la méthode B

GRRT;INRETSJournée RT3, thème sécurité : sécurité des automatismes dans les transports guidés, 19 MAI 2000, Villeneuve d'Ascq, France, 13p

Le concept de scénario. Application à l'analyse de sécurité des systèmes de transport guidés

Journée thématique : sécurité, réseau inter-regional de recherche technologique dans les transports terrestres, FRANCE, p1-13

Diagnostic à base de modèles - Application à signalisation des lignes à grande vitesse

DTT;MENRTJournée PREDIT-ASCOT, MENRT, 14 mars 2000, Paris, France, 5p

Contribution of case-based reasoning to the software error effect analysis

International conference on Artificial and Computational Intelligence for Decision. Control and automation in engineering and industrial applications, Tunisia, 22-24 march 2000ACIDCA'2000, International conference on artificial and computational intelligence for decision, control and automation in engineering and industrial applications, 22-24 March 2000, Monastir, Tunisia, p83-89

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

PREDIT-DTT/MENRTJournée PREDIT-ASCOT, MENRT, 14 mars 2000, Paris, France, p1-14

Recherche d'informations personnalisées

Nîmes TIC 2000, conférence internationale d'ingénierie de système et NTIC, 11-13 septembre 2000, Nîmes, France, 7p

Etat des réflexions sur le développement de l'information multimodale en France

UITP, 21-23 Juin 2000, Hanovre, Allemagne, 10p

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

AFADEL'2000, approches formelles dans l'assistance au développement de logiciel, 26-28 janvier 2000, Grenoble, France, p158-172

Fuzzy decision-making in the traffic regulation of the bus networks

WAC'2000, World Automation Congress, 11-16 June 2000, Maui, USA. CD Rom Series on Intelligent Automation and Soft Computing, 7p