33 papers:
CBSE-2015-MouelhiACM #behaviour #component #contract #design #object-oriented #using- Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems (SM, KA, SC, HM), pp. 49–58.
HCI-DE-2015-SchutzSO #using- Using Diary Studies to Evaluate Railway Dispatching Software (IS, AS, AO), pp. 248–258.
SEKE-2015-QinMDJ #case study #modelling #safety- Study on the Accident-causing Model Based on Safety Region and Applications in China Railway Transportation System (YQ, HM, MD, LJ), pp. 528–535.
- HCI-AS-2014-StelzerSO #novel #safety #user interface
- Evaluating Novel User Interfaces in (Safety Critical) Railway Environments (AS, IS, AO), pp. 502–512.
AdaEurope-2014-IliasovLR #approach #formal method- Practical Formal Methods in Railways — The SafeCap Approach (AI, IL, AR), pp. 177–192.
MLDM-2014-MalenichevSKMM #automation- An Automatic Matching Procedure of Ultrasonic Railway Defectograms (AM, VS, OK, VM, AM), pp. 315–327.
CASE-2013-DotoliEFPST #network #realtime- A real time traffic management model for regional railway networks under disturbances (MD, NE, MF, AP, FS, BT), pp. 892–897.
- HIMI-LCCB-2013-NarumiKHATH #approach
- Digital Railway Museum: An Approach to Introduction of Digital Exhibition Systems at the Railway Museum (TN, TK, TH, KA, TT, MH), pp. 238–247.
ISSTA-2013-Bonacchi #case study #proving #safety- Formal safety proof: a real case study in a railway interlocking system (AB0), pp. 378–381.
- CASE-2012-SugiyamaNITU #approach #composition #problem
- A bilevel decomposition approach to railway crew rostering problems for fair labor condition (TS, TN, MI, ST, KU), pp. 383–389.
IFM-2012-IsobeMNR #approach #capacity #csp #safety- Safety and Line Capacity in Railways — An Approach in Timed CSP (YI, FM, HNN, MR), pp. 54–68.
CAV-2012-CimattiCLNRRST #industrial #validation #verification- Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System (AC, RC, AL, IN, TR, MR, AS, AT), pp. 378–393.
- CASE-2011-SaddemTT #embedded
- Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems (RS, AT, MT), pp. 163–168.
ICEIS-v2-2011-FanLL #performance #set- Influencing Factors of High-speed Railway Passengers’ Travel Choice based on Rough Set (YF, JL, CL), pp. 213–217.
- ICEIS-v2-2011-LongLG #algorithm #performance #predict #search-based
- High-speed Railway based on Genetic Algorithm for Prediction of Travel Choice (CL, JL, YG), pp. 26–31.
- ICEIS-v2-2011-Yi #diagrams
- Passenger-oriented Ergonomic Ergonomic Drawing of Diagram Map for Chinese Railway Passengers’ Lines (JY), pp. 389–393.
- ICEIS-v4-2011-FengLL #evaluation #set
- Comprehensive Evaluation of the Railway Passenger’s Satisfaction based on Rough Set and Entropy (YqF, XwL, XmL), pp. 629–635.
- ICEIS-v4-2011-ZhangZ11a #algorithm #contest #game studies #performance
- Model and Algorithm of Competition Between High-speed Railway and Air Transport — Game Theory Based (JZ, PZ), pp. 563–568.
KEOD-2011-TutcherRE #development #maintenance #monitoring #multi #semantics- Integrating Railway Maintenance Data — Development of a Semantic Data Model to Support Condition Monitoring Data from Multiple Sources (JT, CR, JME), pp. 442–444.
- KEOD-2010-EastonDR #industrial #modelling #ontology
- Railway Modelling — The Case for Ontologies in the Rail Industry (JME, JRD, CR), pp. 257–262.
KMIS-2010-LodemannL #framework #ontology #verification- Ontology-based Railway Infrastructure Verification — Planning Benefits (ML, NL), pp. 176–181.
- KMIS-2010-PenciucAA #development #information management #modelling #requirements
- Requirements and Modelling of a Workspace for Tacit Knowledge Management in Railway Product Development (DP, MHA, DVDA), pp. 61–70.
ICST-2010-GrassoFFBB #abstract interpretation #modelling #testing- Model Based Testing and Abstract Interpretation in the Railway Signaling Context (DG, AF, AF, CB, SB), pp. 103–106.
FM-2006-BacheriniFTZ #formal method- A Story About Formal Methods Adoption by a Railway Signaling Manufacturer (SB, AF, MT, NZ), pp. 179–189.
FATES-2005-BlomIPRS #testing- Simulated Time for Testing Railway Interlockings with TTCN-3 (SB, NI, JvdP, AR, NS), pp. 1–15.
- ICEIS-v3-2004-ZoukarS #approach #enterprise #requirements #similarity
- Matching ERP Functionalities with the Logistic Requirements of French Railways: A Similarity Approach (IZ, CS), pp. 444–450.
- FME-2002-HuberK #model checking #towards
- Towards an Integrated Model Checker for Railway Signalling Data (MH, SK), pp. 204–223.
- FM-v2-1999-ButhS #architecture #communication #design #model checking
- Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems (BB, MS), p. 1869.
- FM-v2-1999-HaxthausenP #development #distributed #verification
- Formal Development and Verification of a Distributed Railway Control System (AEH, JP), pp. 1546–1563.
- AdaEurope-1999-BreguetZ
- Railway Scale Model Simulator (PB, LZ), pp. 170–180.
- FME-1994-DehboneiM #formal method #industrial
- Formal Methods in the Railways Signalling Industry (BD, FM), pp. 26–34.
- FME-1994-Hansen #validation
- Validation of a Railway Interlocking Model (KMH), pp. 582–601.
VLDB-1986-Seki #database #distributed #network #performance- New Seat Reservation System for Japanese National Railways — Distributed Processing Network and High Efficiency Databases (ES), pp. 502–510.
