30 Veröffentlichungen mit Beteiligung.
Um Ihnen das Referenzieren zu vereinfachen, können Sie eine .
| (1255) |
Schnieder, E.; May, J.; Suter, J.; Pecher, F.; Dodinoiu, A.: Sicherheitsanforderungen an eine Zugintegritätsprüfung - der Mythos von SIL 4. safe.tech 2020, Juli 2020. safe.tech 2020. ( Kurzfassung ) |
| (940) |
May, J.: Sicherheitsuntersuchung für einen innovativen Schienenverkehr am Beispiel fahrzeugautarker Ortung. Dissertation, Technische Universität Braunschweig, Institut für Verkehrssicherheit und Automatisierungstechnik, Oktober 2010. |
| (938) |
Müller, J. R.; Drewes, J.; May, J.; Trog, C.: The Formal Representation of the Safety Case Processes described in the EN 5012x norms. International Railway Safety Conference (IRSC), Baastad, Sweden, September 2009. |
| (800) |
Poliak, J.; Beisel, D.; Becker, U.; Hänsel, F.; May, J.; Schnieder, E.: Vehicle Localisation on Secondary Railway Lines Utilising Satellite Based Technologies. In: Company PSKD - Operation and Structures of Rail Transport, Hrsg.: Preprints of the Forum of Rail Transportation (CD-ROM), S. bzw. PDF Nr. 11, Bratislava, Slovakia, March 2008. |
| (767) |
Beisel, D.; Hänsel, F.; Poliak, J.; May, J.; Becker, U.; Schnieder, E.: DemoOrt - Satellitenbasierte fahrzeugautarke Ortung im Schienenverkehr. In: Gesamtzentrum für Verkehr Braunschweig e. V., Hrsg.: Tagungsband der POSITIONs 2007, Oktober 2007. |
| (560) |
Drewes, J.; May, J.: Entwicklung strukturierter Gefahrenlisten am Beispielsystem "Stellwerk". Signal + Draht. 99(1+2), S. 17-21, Januar/Februar 2007. ( Kurzfassung ) |
| (676) |
Hänsel, F.; May, J.; Poliak, J.; Becker, U.; Schnieder, E.: Satellite Based Low Cost Train Protection System for Secondary Railways Lines. Proceedings of the International Symposium on Certification of GNSS Systems & Services - Cergal 2007, April 2007. ( Kurzfassung ) |
| (772) |
May, J.: Methode zur Entwicklung strukturierter Gefahrenlisten am Beispielsystem "Stellwerk". Aussprachetag Automatisierung für Schienenverkehrssysteme, Dortmund, November 2007. |
| (780) |
May, J.: Sicherung und Stuerung von Zugbewegungen (Zugbeeinflussung). In Schnieder, E., Hrsg.: Verkehrsleittechnik - Automatisierung des Straßen- und Schienenverkehrs. Springer Verlag, S. 195-224, Berlin u.a., Juli 2007. |
| (789) |
Poliak, J.; Beisel, D.; Becker, U.; Hänsel, F.; May, J.; Schnieder, E.: Satellite Based Localisation System for Secondary Railways Lines. In: Todor Kableshkov Higher School of Transport, Hrsg.: Tagungsband der Transport 2007, S. VIII-11 - VIII-16, Sofia, November 2007. ( Kurzfassung ) |
| (722) |
Schreiber, S.; Schmidberger, T.; Fay, A.; Drewes, J.; May, J.; Schnieder, E.: UML-based safety analysis of distributed automation systems. In: Institute of Electrical and Electronics Engineering (IEEE), Hrsg.: Proceedings of the EFTA 2007, September 2007. Conference on Emerging Technologies and Factory Automation. ( Kurzfassung ) |
| (636) |
Becker, U.; Hänsel, F.; Lux, M.; May, J.; Poliak, J.; Schnieder, E.: Reference Measurements Platforms for Satellite Based Positioning Systems in Safety Related Transport Applications for Ground Transportation. Proceedings of the International Symposium on Certification of GNSS Systems & Services - CERGAL 2006 , Braunschweig, ''4.-05.04 2006. ( Kurzfassung ) |
| (629) |
Becker, U.; Hänsel, F.; May, J.; Poliak, J.; Schnieder, E.: Safe Vehicle Autonomous Localisation for Railway Applications. Proceedings of the 14th International Symposium Eurnex - Zel 2006 "Towards the Competitve Rail Systems in Europe", S. 198-207, Zilina/Slovak Republic, May 2006. ( Kurzfassung ) |
| (638) |
Becker, U.; Hänsel, F.; May, J.; Poliak, J.; Schnieder, E.: Safe Vehicle Autonomous Localisation for Railway Applications. Proceedings of the 6th International Conference on ITS Telecommunications Proceedings, Chengdu/China, ''6 2006. ( Kurzfassung ) |
| (635) |
Becker, U.; Hänsel, F.; May, J.; Poliak, J.; Schnieder, E.: Vehicle Autonomous Localisation for Safe Railway Applications. In: van Zuylen, H.; Middelham, F., Hrsg.: Proceedings of the 11th IFAC Symposium on Control in Transportation Systems - CTS 2006, S. 349-351, Delft/Niederlande, ''8 2006. ( Kurzfassung ) |
| (657) |
Becker, U.; Hänsel, F.; May, J.; Poliak, J.; Schnieder, E.: Vehicle Autonomous Localisation on Secondary Railway Lines for Safe Applications. Transport Systems Telematics - 6th International Conference, S. 207-216, Oktober 2006. Kattowitz. ( Kurzfassung ) |
| (631) |
Becker, U.; Hänsel, F.; May, J.; Poliak, J.; Schnieder, E.: Vehicle Autonomous Positioning as a Basis for a Low cost Train Protection System. Proceedings of the ITS World Congress 2006, London, Oktober 2006. ( Kurzfassung ) |
| (644) |
Hänsel, F.; Lux, M.; May, J.; Poliak, J.; Becker, U.; Schnieder, E.: Reference Measurement Platforms for Satellite Based Safety Applications. Proceedings on the International Symposium on Operational Space Applications, Toulouse, ''5.-07.12.2006 2006. ( Kurzfassung ) |
| (705) |
Pope, M.; Drewes, J.; May, J.: Generic Hazard List for Railway Systems. WCRR 2006, 2006. |
| (608) |
Schnieder, E.; Becker, U.; May, J.; Hänsel, F.; Poliak, J.: Vehicle Autarkic Positioning as a Basis for a Low Cost Train Protection System on Secondary Lines . Abstracts of the 7th World Congress on Railway Research - WCRR , S. 86, Montréal/Canada, ''6 2006. ( Kurzfassung ) |
| (557) |
Drewes, J.; May, J.: Structured approach of a generic (signalling) hazard list for railway (interlocking) systems. Proceedings of the 5th European Congress and Exhibition on Intelligent Transport Systems and Services - HITS 2005/ 01.-03.06.2005, Hannover, 2005. ( Kurzfassung ) |
| (558) |
Drewes, J.; May, J.: Structured approach of a generic signalling hazard list for railway (interlocking) systems. In: Universität Zilina, Hrsg.: Tagungsband des 12. Internationalen Symposium Zel 2005/ 24.-25.05.2005, Zilina, Slovakei, S. 49 - 57, Bd. I, Zilina, Slovakei, 2005. 12th International Symposium Zel 2005/ 24.-25.05.2005, Zilina, Slovakei. ( Kurzfassung ) |
| (530) |
Drewes, J.; May, J.; Schnieder, E.: Szenarienbasierte Methode für einen quantitativen Sicherheitsnachweis nach Cenelec am Beispiel eines realen ETCS-Betriebsprozesses. In: Universität Zilina, Hrsg.: Tagungsband der Zel 2004: Auf dem Weg zur "Europäischen" Eisenbahn - Harmonisierung und ITS, Band I, S. 172-182, Mai 2004. 11th International Symposium Zel 2004: Auf dem Weg zur "Europäischen" Eisenbahn - Harmonisierung und ITS/Zilina, Slovakei; 27.-28.05.2004. |
| (553) |
König, N.; Drewes, J.; May, J.: Structured approach for a generic signalling hazard list for railway (interlocking) systems using formal methods. In: Schnieder, E.; Tarnai, G., Hrsg.: Tagungsband der FORMS / FORMAT 2004, S. 61-67, 2004. FORMS / FORMAT 2004; 2.-3.12.2004; Braunschweig. |
| (543) |
Slovak, R.; Wegele, S.; May, J.; Schnieder, E.: Security analysis of human behaviour on level crossings by Stochastic Petri Nets model steady state evaluation. Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004. 2nd International Workshop on Security Issues with Petri Nets and other Computational Models; Bologna, 26.06.2004. ( Kurzfassung ) |
| (524) |
May, J.; Drewes, J.; Slovak, R.: Petrinetzbasierte Unfallanalyse am Beispiel des Zugunglücks von Brühl. Bieleschweig Workshop, Juli 2003. 2. "Bieleschweig Workshop". |
| (458) |
Slovak, R.; May, J.; Schnieder, E.: Profund Modelling for Holistic Risk and availability Analysis by means of stochastic Petri nets applied to a Level Crossing Control System. In: Tarnai, G.; Schnieder, E., Hrsg.: Formal Methods for Railway Operation and Control Systems, S. 221-232, Budapest, 2003. Symposium FORMS 2003, L'Harmattan. ( Kurzfassung ) |
| (481) |
Slovak, R.; Wegele, S.; May, J.; Schnieder, E.: Safety Analysis by Stochastic Petri Nets Model Steady State Evaluation. In: Fachbereich Informatik der Universität Dortmund, Hrsg.: Forschungsberichte - Workshop on Stochastic Petri Nets and Related Formalisms; Eindhoven, 28.-29.06.2003, S. 1-12, 2003. Satellite Workshop of ICALP 2003. ( Kurzfassung ) |
| (1233) |
Slovak, R.; May, J.; Schnieder, E.: Profund Modelling for Holistic Risk and vability analysis by means of Stochastic Petri Nets applied to a Level Crossing Control System. Tagungband FORMS 2002, 2002. FORMS. |
| (430) |
Slovak, R.; May, J.; Tomasov, P.; Schnieder, E.: Approach to the Quantitative Risk Analysis of a Level Crossing Traffic Process by Means of Stochastic Petri Nets. Tagungsband der "Transport" 2002, Sofia, Bulgarien, November 2002. Transport 2002/ Sofia, Bulgarien, 14.-15.11.2002. ( Kurzfassung ) |