FORMS/FORMAT 2010
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642142604, 9783642142611

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

“Open Proof” for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security

FORMS/FORMAT 2010 ◽

10.1007/978-3-642-14261-1_2 ◽

2011 ◽

pp. 5-38 ◽

Cited By ~ 3

Author(s):

Klaus-Rüdiger Hase

Keyword(s):

Software Security ◽

Railway Safety ◽

Lock In

Download Full-text

Safety and Security in Transportation Process - Not Just Technical Issue

FORMS/FORMAT 2010 ◽

10.1007/978-3-642-14261-1_5 ◽

2011 ◽

pp. 45-53

Author(s):

Margarita Peltekova

Keyword(s):

Technical Issue ◽

Transportation Process

Download Full-text

Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment

FORMS/FORMAT 2010 ◽

10.1007/978-3-642-14261-1_17 ◽

2011 ◽

pp. 167-174

Author(s):

Maria Antova ◽

Dragan Jovicic ◽

Thierry Breyne

Keyword(s):

Risk Evaluation ◽

Commission Regulation ◽

Evaluation And Assessment

Download Full-text

Modeling Computer based, microscopic Dispatching Systems

FORMS/FORMAT 2010 ◽

10.1007/978-3-642-14261-1_9 ◽

2011 ◽

pp. 87-95

Author(s):

Alexander Kuckelberg ◽

Ekkehard Wendler

Keyword(s):

Computer Based

Download Full-text

Model Checking Interlocking Control Tables

FORMS/FORMAT 2010 ◽

10.1007/978-3-642-14261-1_11 ◽

2011 ◽

pp. 107-115 ◽

Cited By ~ 31

Author(s):

Alessio Ferrari ◽

Gianluca Magnani ◽

Daniele Grasso ◽

Alessandro Fantechi

Keyword(s):

Model Checking

Download Full-text

The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation

FORMS/FORMAT 2010 ◽

10.1007/978-3-642-14261-1_6 ◽

2011 ◽

pp. 55-63 ◽

Cited By ~ 2

Author(s):

Kazue Yasuoka ◽

Atsushi Watabe ◽

Tetsunori Hattori ◽

Masayuki Matsumoto

Keyword(s):

Railway Signalling ◽

Signalling Systems

Download Full-text

On the Justification of a Risk Matrix for Technical Systems in European Railways

FORMS/FORMAT 2010 ◽

10.1007/978-3-642-14261-1_19 ◽

2011 ◽

pp. 185-193 ◽

Cited By ~ 3

Author(s):

Jens Braband

Keyword(s):

Risk Matrix ◽

Technical Systems

Download Full-text

Automatic Fault Localization for Programmable Logic Controllers ★

FORMS/FORMAT 2010 ◽

10.1007/978-3-642-14261-1_25 ◽

2011 ◽

pp. 247-256 ◽

Cited By ~ 8

Author(s):

André Sülflow ◽

Rolf Drechsler

Keyword(s):

Fault Localization ◽

Programmable Logic ◽

Programmable Logic Controllers ◽

Logic Controllers

Download Full-text

Achieving Europe-wide safety through technical harmonization

FORMS/FORMAT 2010 ◽

10.1007/978-3-642-14261-1_1 ◽

2011 ◽

pp. 3-4

Author(s):

Ralf Schweinsberg

Download Full-text

Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles

FORMS/FORMAT 2010 ◽

10.1007/978-3-642-14261-1_16 ◽

2011 ◽

pp. 155-164 ◽

Cited By ~ 2

Author(s):

Maik Leska ◽

Robert Prabel ◽

Andreas Rauh ◽

Harald Aschemann

Keyword(s):

Longitudinal Dynamics ◽

Railway Vehicles ◽

Simulation And Optimization ◽

Parallel Hybrid

Download Full-text