Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

FORMS/FORMAT 2010: Braunschweig, Germany

> Home > Conferences and Workshops > FORMS/FORMAT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/forms/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/2010
Eckehard Schnieder, Géza Tarnai:
FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010. Springer 2011, ISBN 978-3-642-14260-4

Part 1 / Invited Lectures

- view
  authority control:
- export record
  dblp key:
  - conf/forms/Schweinsberg10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/Schweinsberg10
Ralf Schweinsberg:
Achieving Europe-wide safety through technical harmonization. 3-4
- view
  authority control:
- export record
  dblp key:
  - conf/forms/Hase10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/Hase10
Klaus-Rüdiger Hase:
"Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security. 5-38
- view
  authority control:
- export record
  dblp key:
  - conf/forms/Tang10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/Tang10
Tao Tang:
Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway. 39
- view
  authority control:
- export record
  dblp key:
  - conf/forms/Pataricza10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/Pataricza10
András Pataricza:
Towards Open Modular Critical Systems. 41-42

Part 2 / 1st Day Sessions

- view
  authority control:
- export record
  dblp key:
  - conf/forms/Peltekova10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/Peltekova10
Margarita Peltekova:
Safety and Security in Transportation Process - Not Just Technical Issue. 45-53
- view
  authority control:
- export record
  dblp key:
  - conf/forms/YasuokaWHM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/YasuokaWHM10
Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto:
The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation. 55-63
- view
  authority control:
- export record
  dblp key:
  - conf/forms/Antoni10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/Antoni10
Marc Antoni:
Complementarity between Axle Counters and Tracks Circuits. 65-76
- view
  authority control:
- export record
  dblp key:
  - conf/forms/RastocnyI10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/RastocnyI10
Karol Rástocný, Juraj Ilavský:
Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System. 77-85
- view
  authority control:
- export record
  dblp key:
  - conf/forms/KuckelbergW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/KuckelbergW10
Alexander Kuckelberg, Ekkehard Wendler:
Modeling Computer based, microscopic Dispatching Systems. 87-95
- view
  authority control:
- export record
  dblp key:
  - conf/forms/HiraguriIW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/HiraguriIW10
Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe:
A Method of Evaluating Railway Signalling System Based on RAMS Concept. 97-105
- view
  authority control:
- export record
  dblp key:
  - conf/forms/FerrariMGF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/FerrariMGF10
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi:
Model Checking Interlocking Control Tables. 107-115
- view
  authority control:
- export record
  dblp key:
  - conf/forms/KunifujiSMM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/KunifujiSMM10
Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto:
Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller. 117-124
- view
  authority control:
- export record
  dblp key:
  - conf/forms/ClarhautLE10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/ClarhautLE10
Joffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi:
Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System. 125-133
- view
  authority control:
- export record
  dblp key:
  - conf/forms/BepperlingS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/BepperlingS10
Sonja-Lara Bepperling, Andreas Schöbel:
Estimation of Safety Requirements for Wayside Hot Box Detection Systems. 135-143
- view
  authority control:
- export record
  dblp key:
  - conf/forms/HartigGSB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/HartigGSB10
Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse:
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. 145-153
- view
  authority control:
- export record
  dblp key:
  - conf/forms/LeskaPRA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/LeskaPRA10
Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann:
Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles. 155-164

Part 3 / 2nd Day Sessions

- view
  authority control:
- export record
  dblp key:
  - conf/forms/AntovaJB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/AntovaJB10
Maria Antova, Dragan Jovicic, Thierry Breyne:
Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment. 167-174
- view
  authority control:
- export record
  dblp key:
  - conf/forms/Milius10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/Milius10
Birgit Milius:
Designing a semi-quantitative risk graph. 175-183
- view
  authority control:
- export record
  dblp key:
  - conf/forms/Braband10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/Braband10
Jens Braband:
On the Justification of a Risk Matrix for Technical Systems in European Railways. 185-193
- view
  authority control:
- export record
  dblp key:
  - conf/forms/FranzleGHPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/FranzleGHPS10
Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter:
Using Guided Simulation to Assess Driver Assistance Systems. 195-205
- view
  authority control:
- export record
  dblp key:
  - conf/forms/GacnikJKF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/GacnikJKF10
Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle:
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. 207-215
- view
  authority control:
- export record
  dblp key:
  - conf/forms/DeteringS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/DeteringS10
Stefan Detering, Lars Schnieder:
Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems. 217-225
- view
  authority control:
- export record
  dblp key:
  - conf/forms/PolgarRM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/PolgarRM10
Balázs Polgár, István Ráth, István Majzik:
Model-based Integration Framework for Development and Testing Tool-chains. 227-235
- view
  authority control:
- export record
  dblp key:
  - conf/forms/BiallasBKS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/BiallasBKS10
Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich:
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. 237-245
- view
  authority control:
- export record
  dblp key:
  - conf/forms/SulflowD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/SulflowD10
André Sülflow, Rolf Drechsler:
Automatic Fault Localization for Programmable Logic Controllers. 247-256

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.