467.600 PEOPLE
| People | Locations | Statistics |
|---|---|---|
| Serhiienko, Serhii |
| |
| Schmalz, Ulrike |
| |
| Oliveira, Marisa |
| |
| Ribeiro Pereira, Maria Teresa |
| |
| Bellér, Gábor |
| |
| Araujo, M. |
| |
| Frey, Michael | Karlsruhe |
|
| Coutinho-Rodrigues, João | Coimbra |
|
| Wouters, Christian Guillaume Louise | Aachen |
|
| Kessel, Paul J. Van Van |
| |
| Árpád, István |
| |
| Fontul, Simona |
| |
| Kocsis, Dénes |
| |
| Cigada, Alfredo | Milan |
|
| Oort, Neils Van | Delft |
|
| Agárdi, Anita | Miskolc |
|
| Andrews, Gordon E. |
| |
| Sousa, Nuno |
| |
| Witlox, Frank Jacomina Albert | Ghent |
|
| Dobruszkes, Frederic |
| |
| Kiss, Judit T. |
| |
| Hadachi, Amnir | Saint-Étienne-du-Rouvray |
|
| Hamilton, Carl J. | Kunovice |
|
| Misiura, Serhii |
| |
| Schimpf, Marina |
|
Collart-Dutilleul, Simon
in Cooperation with on an Cooperation-Score of 37%
Topics
- modeling
- railway train
- safety
- infrastructure
- software
- single track
- control system
- travel
- constraint
- bottleneck
- graph
- automation
- railway network
- modernization
- commodity
- assessment
- civil engineering
- passenger
- vehicle occupant
- validation
- traffic safety
- railway traffic
- signalling
- layout
- interoperability
- rolling stock
- Petri net
- interlocking system
- specification
- transient
- rural area
- operating rule
- beltway
- reliability
- driving
- operations research
- computer science
- train consist
- taxicab
- design
- automatic controller
- automatic control
- engineering
- risk assessment
- cab
- anger
- railway safety
- data
- case study
- implementation
- submarine
- region
- system design
- corporation
- information system
- invariant
- design engineering
- system analysis
- autonomous train
- European Train Control System
- freight train
- traffic mode
- airport
- security
- hub
- flight path
- air route
- state of the art
- crisis management
- behavior
- decomposition
- theory
- joint use
- language
- railway signaling
- algorithm
- chemical element
- crash
- system engineering
- design model
- access control
- design team
- definition
- positioning
- safety management
- taxonomy
- alignment
- human being
- environmental impact
- conceptual model
- inspection
- standardisation
- cable
- crowd
- public transport
- weight
- picture
- video
- gas
- surveillance
- prevention
- sensor
- traffic flow
- building entrance
- railway station
- passenger volume
- high speed train
- employee
- resilience
- defense
- protection
- research project
- closed circuit television
- quay
- regulation
- survey
- stakeholder
- workshop
- face
- supervision
- recommendation
- handbook
- perception
- telecommunication
- estimate
- simulation
- experiment
- highway traffic control
- valuation
- human error
- information technology
- tree
- architecture
- risk analysis
- designer
- system architecture
- safety engineering
- fault tree analysis
- railway engineering
- machinery
- restructuring
- industry
- optimisation
- maintenance
- database
- intelligence
- artificial intelligence
- valve
- seaport
- pipeline
- pipeline transportation
- pipe
- cladding
- abstract
- attention
- design method
- safety analysis
- signalisation
- industrial railway
- estimating
- conduit
- diagnosis
- drowsiness
- property
- near crash
- trace analysis
- ship
- warehousing
- container
- container terminal
- downtime
- loading and unloading
- robot
- transformer
- personnel
- locomotive engineer
- bridge
- joint development
- railway engineer
- coding system
- supervisor
- supporting
- heart
- distributed control
- concrete
- profit
- railway crash
- scheduling
- mixed integer programming
- occupation
- time window
- shopping facility
- physics
- compliance
- system safety
- exploration
- radio equipment
- beach
- train control system
- intelligent transportation system
- transit safety
- routing
- genetic algorithm
- heuristic method
- uncertainty
- fuzzy set
- market
- air traffic
- air traffic control
- agent-based modeling
- decision making
- real time control
- multi-agent system
- traffic control system
- complex system
- productivity
- law
- embedded system
- qualification
- driver
- position fixing
- airplane
- cutting
- control device
- gate
- aircraft gate
- road
- map
- hazard
- production
- health
- fatality
- medical treatment
- food
- alarm system
- time interval
- planning
- performance test
- nuclear reactor
- refining
- automatic train protection
- employed
- evolution
- statistical analysis
- railway grade crossing
- dispatching
- grade crossing protection system
- show 217 more
Publications
- 2022Identifying Alterability States of a Single Track Railway Line Control System
- 2021Formal Validation of Interlocking Under Signaling Rules
- 2021Designing Operating Rules for ERTMS Transnational Lines
- 2021Towards a Specified Operational Design Domain for a Safe Remote Driving of Trains
- 2020A Modular Design Framework to Assess Intelligent Trainscitations
- 2020Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défis
- 2020Security and safety integrated approach for multimodal-hubs crisis management: a railway and airway proposition
- 2019Event-B Decomposition Analysis for Systems Behavior Modelingcitations
- 2019Analysis and Formal Modeling of Systems Behavior Using UML/Event-B
- 2019Formal Approach to Dynamic SoS Design
- 2019A model-based system engineering approach to manage railway safety-related decisions
- 2019Conceptual Modelling of the Dynamic Goal-Oriented Safety Management for Safety Critical Systems
- 2019Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model
- 2019A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specificationcitations
- 2019Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontologycitations
- 2018A passenger flow oriented security and safety approach in international railway stations
- 2018Proposition of a formal model for crisis management in the context of high-speed train networks in border areas
- 2018Cas d'étude de mission ferroviaire télé-opérée
- 2018An Automated Method for the Study of Human Reliability in Railway Supervision Systems
- 2018Towards Semantic Interpretation of Goal-Oriented Safety Decision based on Foundational Ontology
- 2018Improving Safety By Integrating Dysfunctional Analysis Into The Design Of Railway Systems
- 2018An MDA Approach for the Specification of Relay-Based Diagramscitations
- 2017Multi-objective optimization for path searching in a flow network with maintenance tasks
- 2017A CPN/B method transformation framework for railway safety rules formal validationcitations
- 2016Implementation of ERTMS: a methodology based on formal methods and simulation with respect to French national rules
- 2016Trace analysis from ERTMS engineering
- 2016A Hybrid Method for Assigning Containers to AGVs in the Dynamic Environment of Container Terminals
- 2015Parallel verification of temporal properties using dynamic analysis
- 2015Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires
- 2015Integrated approach using formal models and simulation environment
- 2015Colored Petri Nets formal transformation to B machines for safety critical software development
- 2015A Joint Development of Coloured Petri Nets and the B Method in Critical Systems
- 2015Model transformation from coloured Petri nets with prioritized transitions to B machines
- 2015An Hcpn Pattern for Railway Safety Critical Scenarios Formal Modeling
- 2015Vérification parallélisée de propriétés temporelles sur des traces d'exécution, par analyse dynamique formelle
- 2015Industrial needs concerning the safety analysis of a French implementation of ERTMS
- 2015Cyclic Scheduling of Flexible Job-shop with Time Window Constraints and Resource Capacity Constraints
- 2015HCPN modeling for ERTMS requirements specification
- 2015A Model Pattern of Railway Interlocking System by Petri Netscitations
- 2015A Hybrid Method for Assigning Containers to AGVs in Containers Terminal
- 2014Estimation of failure probability of milk manufacturing unit by fuzzy fault tree analysis
- 2014Modélisation et validation formelle des règles d'exploitation ferroviaires
- 2014B Formal Validation of ERTMS/ETCS Railway Operating Rules
- 2014Study of the implementation of ERTMS with respect to French national "non on board rules" using a collaborative methodology based on formal methods and simulation
- 2014From Goal Modeling of Real-time Control System to RT-DEVS Safety Properties Analysis
- 2014Study of the implementation of ERTMS with respect to French national ― "non on board rules" using a collaborative methodology based on formal methods and simulation
- 2014Intelligent Framework for Safety Properties Checking of Complex Systems
- 2014Formal modelling methodology of French railway interlocking system via HCPN
- 2014Architecture Description Language for Cyber Physical Systems Analysis: A Railway Control System Case Study
- 2014Requirements Modeling Methodology Based On Knowledge Engineering: A Case Study of Railway Control System
- 2014Modelling and verification methodology for control systems
- 2014Complex systems renewal: positioning, concepts and architectural issues
- 2014Checking the European Railways Traffic Management System (ERTMS) operating rules using UML and B method
- 2014Safety critical software construction using CPN modeling and B method's proof
- 2014High level Petri net modeling For railway safety critical scenarios
- 2014A formal modeling methodology of the French railway interlocking system via HCPNcitations
- 2013Computation of Passive Robustness Bound for Assembly/Disassembly Processes
- 2013Active Robustness of a Milk Manufacturing Workshop with Time Constraints
- 2013From a Solution Model to a B Model for Verification of Safety Properties
- 2013Tropos For Embedded Real-time Control System Modeling and Simulation
- 2013Dependency Graph for Requirements Structuring based on Guidance Ontology
- 2013Study of implementation of ERTMS with respect to French national rules using a B centered methodology.
- 2012Adding Technological Solutions for Safety Improvement at Level Crossings: a Functional Specification
Places of action
