FORMS/FORMAT - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2011

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, 2010Eckehard Schnieder, Géza Tarnai, editors, Springer, 2011. [doi]

2010

Complementarity between Axle Counters and Tracks CircuitsMarc Antoni. forms 2011: 65-76 [doi]

Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and AssessmentMaria Antova, Dragan Jovicic, Thierry Breyne. forms 2011: 167-174 [doi]

Estimation of Safety Requirements for Wayside Hot Box Detection SystemsSonja-Lara Bepperling, Andreas Schöbel. forms 2011: 135-143 [doi]

Automatically Deriving Symbolic Invariants for PLC Programs Written in ILSebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich. forms 2011: 237-245 [doi]

On the Justification of a Risk Matrix for Technical Systems in European RailwaysJens Braband. forms 2011: 185-193 [doi]

Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection SystemJoffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi. forms 2011: 125-133 [doi]

Calibration and Validation of Simulation Models for Investigation of Traffic Assistance SystemsStefan Detering, Lars Schnieder. forms 2011: 217-225 [doi]

Model Checking Interlocking Control TablesAlessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi. forms 2011: 107-115 [doi]

Using Guided Simulation to Assess Driver Assistance SystemsMartin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter. forms 2011: 195-205 [doi]

The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain KnowledgeJan Gacnik, Henning Jost, Frank Köster, Martin Fränzle. forms 2011: 207-215 [doi]

Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/JessieKerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse. forms 2011: 145-153 [doi]

"Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software SecurityKlaus-Rüdiger Hase. forms 2011: 5-38 [doi]

A Method of Evaluating Railway Signalling System Based on RAMS ConceptShigeto Hiraguri, Koji Iwata, Ikuo Watanabe. forms 2011: 97-105 [doi]

Modeling Computer based, microscopic Dispatching SystemsAlexander Kuckelberg, Ekkehard Wendler. forms 2011: 87-95 [doi]

Reliability of the IP Network-based Signal Control System and the Integrated Logical ControllerTakashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto. forms 2011: 117-124 [doi]

Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway VehiclesMaik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann. forms 2011: 155-164 [doi]

Designing a semi-quantitative risk graphBirgit Milius. forms 2011: 175-183 [doi]

Towards Open Modular Critical SystemsAndrás Pataricza. forms 2011: 41-42 [doi]

Safety and Security in Transportation Process - Not Just Technical IssueMargarita Peltekova. forms 2011: 45-53 [doi]

Model-based Integration Framework for Development and Testing Tool-chainsBalázs Polgár, István Ráth, István Majzik. forms 2011: 227-235 [doi]

Effects of a Periodic Maintenance on the Safety Integrity Level of a Control SystemKarol Rástocný, Juraj Ilavský. forms 2011: 77-85 [doi]

Achieving Europe-wide safety through technical harmonizationRalf Schweinsberg. forms 2011: 3-4 [doi]

Automatic Fault Localization for Programmable Logic ControllersAndré Sülflow, Rolf Drechsler. forms 2011: 247-256 [doi]

Formal Method and its Application on Train Operation Control System of Chinese high-speed RailwayTao Tang. forms 2011: 39 [doi]

The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable TransportationKazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto. forms 2011: 55-63 [doi]

Sign in or sign up to see more results.

runs on WebDSL