|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Eckehard Schnieder, Géza Tarnai (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![Springer, 978-3-642-14260-4 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Karol Rástocný, Juraj Ilavský |
Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 77-85, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jens Braband |
On the Justification of a Risk Matrix for Technical Systems in European Railways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 185-193, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marc Antoni |
Complementarity between Axle Counters and Tracks Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 65-76, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kerstin Hartig, Jens Gerlach, Juan Soto 0001, Jürgen Busse |
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 145-153, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sonja-Lara Bepperling, Andreas Schöbel |
Estimation of Safety Requirements for Wayside Hot Box Detection Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 135-143, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle |
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 207-215, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kuckelberg, Ekkehard Wendler |
Modeling Computer based, microscopic Dispatching Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 87-95, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto |
Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 117-124, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto |
The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 55-63, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter |
Using Guided Simulation to Assess Driver Assistance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 195-205, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Joffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi |
Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 125-133, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Birgit Milius |
Designing a semi-quantitative risk graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 175-183, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 5-38, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tao Tang |
Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 39, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich |
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 237-245, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Detering, Lars Schnieder |
Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 217-225, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | André Sülflow, Rolf Drechsler |
Automatic Fault Localization for Programmable Logic Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 247-256, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 167-174, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann |
Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 155-164, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe |
A Method of Evaluating Railway Signalling System Based on RAMS Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 97-105, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Schweinsberg |
Achieving Europe-wide safety through technical harmonization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 3-4, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | András Pataricza |
Towards Open Modular Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 41-42, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Balázs Polgár, István Ráth, István Majzik |
Model-based Integration Framework for Development and Testing Tool-chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 227-235, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Ferrari 0001, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi |
Model Checking Interlocking Control Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 107-115, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Margarita Peltekova |
Safety and Security in Transportation Process - Not Just Technical Issue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: 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, pp. 45-53, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|