• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 26 matches

• 2011
• 
  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 [contents]
• 2010
• 
  Marc Antoni:
  Complementarity between Axle Counters and Tracks Circuits. FORMS/FORMAT 2010: 65-76
• 
  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. FORMS/FORMAT 2010: 167-174
• 
  Sonja-Lara Bepperling, Andreas Schöbel:
  Estimation of Safety Requirements for Wayside Hot Box Detection Systems. FORMS/FORMAT 2010: 135-143
• 
  Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich:
  Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT 2010: 237-245
• 
  Jens Braband:
  On the Justification of a Risk Matrix for Technical Systems in European Railways. FORMS/FORMAT 2010: 185-193
• 
  Joffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi:
  Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System. FORMS/FORMAT 2010: 125-133
• 
  Stefan Detering, Lars Schnieder:
  Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems. FORMS/FORMAT 2010: 217-225
• 
  Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi:
  Model Checking Interlocking Control Tables. FORMS/FORMAT 2010: 107-115
• 
  Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter:
  Using Guided Simulation to Assess Driver Assistance Systems. FORMS/FORMAT 2010: 195-205
• 
  Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle:
  The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. FORMS/FORMAT 2010: 207-215
• 
  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. FORMS/FORMAT 2010: 145-153
• 
  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. FORMS/FORMAT 2010: 5-38
• 
  Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe:
  A Method of Evaluating Railway Signalling System Based on RAMS Concept. FORMS/FORMAT 2010: 97-105
• 
  Alexander Kuckelberg, Ekkehard Wendler:
  Modeling Computer based, microscopic Dispatching Systems. FORMS/FORMAT 2010: 87-95
• 
  Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto:
  Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller. FORMS/FORMAT 2010: 117-124
• 
  Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann:
  Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles. FORMS/FORMAT 2010: 155-164
• 
  Birgit Milius:
  Designing a semi-quantitative risk graph. FORMS/FORMAT 2010: 175-183
• 
  András Pataricza:
  Towards Open Modular Critical Systems. FORMS/FORMAT 2010: 41-42
• 
  Margarita Peltekova:
  Safety and Security in Transportation Process - Not Just Technical Issue. FORMS/FORMAT 2010: 45-53
• 
  Balázs Polgár, István Ráth, István Majzik:
  Model-based Integration Framework for Development and Testing Tool-chains. FORMS/FORMAT 2010: 227-235
• 
  Karol Rástocný, Juraj Ilavský:
  Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System. FORMS/FORMAT 2010: 77-85
• 
  Ralf Schweinsberg:
  Achieving Europe-wide safety through technical harmonization. FORMS/FORMAT 2010: 3-4
• 
  André Sülflow, Rolf Drechsler:
  Automatic Fault Localization for Programmable Logic Controllers. FORMS/FORMAT 2010: 247-256
• 
  Tao Tang:
  Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway. FORMS/FORMAT 2010: 39
• 
  Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto:
  The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation. FORMS/FORMAT 2010: 55-63