67 Veröffentlichungen mit Beteiligung.
Um Ihnen das Referenzieren zu vereinfachen, können Sie eine .
| (1074) |
von Buxhoeveden, G.; Schnieder, E.; Becker, U.; Slovák, R.; Meuli, H.: Advanced approaches for common safety targets and indicators for railway operators and infrastructure managers. WCRR 2013 - World Congress on Railway Research, Sydney, Australien, November 2013. ( Kurzfassung ) |
| (1013) |
von Buxhoeveden, G.; Schnieder, E.; Slovák, R.: Comparison and ranking of Swiss railway incident data from 2000 - 2009. COMPRAIL 2012 - 13th International Conference on Design and Operation in Railway Engineering, September 2012. ( Kurzfassung ) |
| (1004) |
von Buxhoeveden, G.; Schnieder, E.; Slovák, R.; Meuli, H.: METHOD FOR DEFINITION AND EVALUATION OF SWISS SAFETY TARGETS FOR RAILWAYS. EURO – ZEL 2012 - 20th International Symposium, Žilina, Slowakei, Juni 2012. ( Kurzfassung ) |
| (889) |
Manz, H.; Schnieder, E.; Slovák, R.: Benefits of the Level Crossing Knowledge Management System for European Level Crossing Safety. European Commission Workshop on Level Crossing Safety, April 2010. ( Kurzfassung ) |
| (828) |
Quiroga, L. M.; Slovák, R.; Wegele, S.; Antoni, M.: Petri net based simulation and optimization of railway maintenance processes. In: Schnieder, E.; Tarnai, G., Hrsg.: Proceedings of Symposium FORMS/FORMAT - Formal Methods for Automation and Safety in Railway and Automotive Systems, S. 173-184, Budapest, Hungary, October 2008. |
| (813) |
Schnieder, E.; Slovák, R.: SELCAT - Safer European Level Crossing Appraisal and Technology. In: Korea Railroad Corporation, Korea Rail Network Authority, Korea Railroad Research Institute, Hrsg.: Proceedings of the 8th World Congress on Railway Research - WCRR 2008, S. CD-ROM, Seoul, Korea, May 2008. |
| (820) |
Slovák, R.; El Koursi, E. M.; Tordai, L.; Woods, M.; Schnieder, E. : SELCAT - A European Contribution to Level Crossing Safety.. EURAILmag. (18), S. 222-228, September 2008. ( vollständige Publikation ) |
| (797) |
Slovák, R.; El Koursi, E. M.; Tordai, L.; Woods, M.; Schnieder, E. : SELCAT: Its contribution to European level crossing safety. Proceedings of the 16th International Symposium Eurnex-Zel "Towards sustainable and competitive European rail system", Zilina, Slovakia, June 2008. |
| (821) |
Slovák, R.; El Koursi, E. M.; Tordai, L.; Woods, M.; Schnieder, E.: SELCAT: Its contribution to European level crossing safety. In: University of Stuttgart, Hrsg.: Proceedings of the 4th International Symposium FOVUS - Networks for Mobility 2008, Stuttgart, September 2008. ( Kurzfassung ) |
| (790) |
Slovák, R.; Schielke, A. G.; Schnieder, E.: Level Crossing Safety Performance Monitoring by Web based Knowledge Management System. Level Crossing 2008 , June 2008. |
| (818) |
Wegele, S.; Slovák, R.; Schnieder, E.: Realtime Optimal Control of Railway Traffic. In: Monash University, Institute of Transport Studies, Hrsg.: Symposium Proceedings, Queensland, Australia, August 2008. Third International Symposium on Transport Simulation 2008 (ISTS). |
| (817) |
Zheng, W.; Müller, J. R.; Slovák, R.; Schnieder, E.: Estimation of Traffic Risk of Passive Level Crossing Based on Stochastic Petri Net Models and Social Economic Data. In: Monash University, Institute of Transport Studies, Hrsg.: Symposium Proceedings, Queensland, Australia, August 2008. Third International Symposium on Transport Simulation 2008 (ISTS). |
| (714) |
Drewes, J.; Slovák, R.; Tordai, L.; Schnieder, E.: Formal Structuring for Development of Level Crossing Ontology. In: Schnieder, E.; Tarnai, G., Hrsg.: Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, January 2007. |
| (756) |
Nicolae, R.; Moldoveanu, F.; Cernat, M.; Slovák, R.; Schnieder, E.: Analysis of the Safety and the Performance of Railway Operation via Stochastic Petri Nets. Proceedings of the 9th International Conference on Optimization of Electrical and Electronic Equipments - INSTR, S. 201 - 208, 2007. |
| (717) |
Schnieder, E., Hrsg.: Verkehrsleittechnik - Automatisierung des Straßen- und Schienenverkehrs. Springer Verlag, Berlin u.a., 2007. ( Kurzfassung ) |
| (715) |
Schnieder, E.; Slovak, R.: PROFUND: Ein integrativer Ansatz zum Entwurf verllässlicher Automatisierungssysteme. In: VDI Wissensforum IWB GmbH, Hrsg.: GMA-Kongress 2007 - Automation im gesamten Lebenszyklus, S. 227 - 236, 2007. |
| (736) |
Schnieder, E.; Slovak, R.: Profund: Ein integrativer Ansatz zum Entwurf verlässlicher Automatisierungssysteme. atp - Automatisierungstechnische Praxis. (7), S. 40-44, Juli 2007. |
| (700) |
Slovák, R.: Methodische Modellierung und Analyse von Sicherungssystemen des Eisenbahnverkehrs. Dissertation, Technische Universität Braunschweig, 2007. |
| (689) |
Slovak, R.: SELCAT - A new European project for level crossings. Proceedings of the 6th International Exhibition & Seminars on Rail Technology, März 2007. |
| (784) |
Slovak, R.: Technische Sicherung von Bahnübergängen. In Schnieder, E., Hrsg.: Verkehrsleittechnik - Automatisierung des Straßen- und Schienenverkehrs. Springer Verlag, S. 315-344, Berlin u.a., Juli 2007. |
| (726) |
Slovák, R.; Kassev, K.; Stoytcheva, N.; Ivanov, E.; Schnieder, E.: General Stochastic Modelling for Quantitative Safety Analysis Using Markov Chains and Petri Nets. Information Technologies and Control. (2), S. 17-30, 47, 2007. |
| (769) |
Slovák, R.; Poliak, J.; Tordai, L.; Schnieder, E.: Concept of Level Crossing Safety Performance Monitoring. In: Todor Kableshkov Higher School of Transport, Hrsg.: Proceedings of Transport 2007, S. XII-4 - XII-12, Sofia, Bulgaria, November 2007. |
| (654) |
Slovak, R.; Schnieder, E.: Methodische Modellierung und Analyse von Sicherungssystemen des Eisenbahnverkehrs. Tagungsband der 23. Tagung Technische Zuverlässigkeit: Entwicklung und Betrieb zuverlässiger Produkte, Düsseldorf, März 2007. CDI-Verlag. |
| (766) |
Slovak, R.; Schnieder, E.; Tordai, L.: SELCAT Concept of Level Crossing Safety Performance Monitoring. Preprints of the International Railway Safety Conference, Goa, October 2007. |
| (677) |
Slovák, R.; Wegele, S.; Schnieder, E.: Holistic Modelling And Safety Analysis Of Railway Systems By Example Of A Level Crossing Protection. Proceedings of the 15th International Symposium Eurnex - Zel 2007 "Towards more competitive European rail system", Zilina/Slovak Republic, 2007. |
| (688) |
Wegele, S.; Slovák, R.; Schnieder, E.: Decision support system for optimal real-time dispatching of train operation. Proceedings of the 2nd International Seminar on Railway Operations Modelling and Analysis, Hannover, März 2007. ( Kurzfassung ) |
| (760) |
Wegele, S.; Slovák, R.; Schnieder, E.: Improving reliability of railway operations by robust timetabling. Proceedings of the 3rd International Symposium on Transportation Network Reliability - INSTR, The Hague/Netherlands, July 2007. |
| (630) |
Kassev, K.; Slovak, R.; Ivanov, E.; Stoytcheva, N.; Schnieder, E.: An Application of Phase-Type Distributions for Modeling of railway safety-critical systems. Proceedings of the 14th International Symposium Eurnex - Zel 2006 "Towards the Competitve Rail Systems in Europe", S. 148-159, Zilina/Slovak Republic, May 2006. |
| (681) |
Ourednicek, J.; Slovak, R.; Schnieder, E.: Functional Behaviour Modeling of the Interlocking - RBC Interface Signalling System by Means of Colored Petri Nets. In: Gábrišová,L, Hrsg.: Combinatorial of the Methods Buses on Lagrangean Relaxation of the Capacity Constraints in the Facility Location Problem, Proceedings of the Fourth International Scientific Conference "Challenges in Transport and Communication", Pardubice, 2006. |
| (680) |
Philippi, S.; Pinl, A.; Müller, J. R.; Slovak, R.: Towards tool support for the formally based analysis of safety-critical systems with Petri-Nets. Bericht 267, Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petri-Netze, AWPN 2006, S. 69-74, 2006. |
| (626) |
Slovak, R.; El Koursi, E. M.; Tordai, L.; Woods, M.; Schnieder, E.: SELCAT – a New European Project for Safer Level Crossings. Proceedings of the 9th International Level Crossing Safety and Trespass Prevention Symposium, Montréal/Canada, 10.-14.09.2006 2006. ( Kurzfassung ) |
| (614) |
Wegele, S.; Slovak, R.; Schnieder, E.: Echtzeitoptimierung für die Disposition im Schienenverkehr. Signal + Draht. 98(6), S. 6-10, Juni 2006. ( Kurzfassung ) |
| (646) |
Wegele, S.; Slovak, R.; Schnieder, E.: Real-Time Optimisation for Dispatching in Rail Transport. Proceedings of the 14th International Symposium "Towards the Competitive Rail Systems in Europe" Eurnex - Zel 2006, S. 80-89, Zilina/Slovak Republic, May 2006. ( Kurzfassung ) |
| (588) |
Hänsel, F.; Poliak, J.; Slovak, R.; Schnieder, E.: A Demonstrator for Validation and Visualisation of Processes in Guided Transportation. In: Universität Zilina, Hrsg.: Tagungsband des 12. Internationalen Symposium Zel 2005/ 24.-25.05.2005, Zilina, Slovakei, S. 58 - 66, Bd. I, Zilina, Slovakei, 2005. ( Kurzfassung ) |
| (592) |
Schnieder, E.; Slovak, R.; Wegele, S.: New and Conventional Measures for Quantifying Risk in Rail Transport. Journal of System Safety. 41(1), Januar/Februar 2005. ( Kurzfassung ) |
| (584) |
Slovak, R.; Wegele, S.; Schnieder, E.: Ein Auswertungsverfahren für Verlässlichkeitsanalysen in der Bahntechnik. Tagungsband 22. Tagung Technische Zuverlässigkeit, S. 213-228, Düsseldorf, 2005. TTZ - 22. Tagung Technische Zuverlässigkeit/07.-08.04.2005, Stuttgart, VDI Verlag. ( Kurzfassung ) |
| (587) |
Stoytcheva, N.; Kassev, K.; Slovak, R.; Schnieder, E.: Quantitative RAMS Modelling and Analysis with Markov Chains and Stochastic Petri Nets. In: Universität Zilina, Hrsg.: Tagungsband des 12. Internationalen Symposium Zel 2005/ 24.-25.05.2005, Zilina, Slovakei, S. 219 - 229, Bd. II, Zilina, Slovakei, 2005. ( Kurzfassung ) |
| (573) |
Hänsel, F.; Poliak, J.; Slovak, R.; Schnieder, E.: Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. In Ehrig, H. et al., Hrsg.: Integration of Software Specification Techniques for Applications in Engineering. Bandnummer 3147 von Serie LNCS-Band. Springer Verlag GmbH, S. 96-119, 2004. ( Kurzfassung ) |
| (754) |
Nicolae, R.; Moldoveanu, F.; Cernat, M.; Slovak, R.; Schnieder, E.: Modeling of the Safety and the Performance of Railway Operation via Stochastic Petri Nets. Proceedings of the 9th International Conference on Optimization of Electrical and Electronic Equipments, S. S. 193 - 200, 2004. |
| (532) |
Schnieder, E.; Slovak, R.; Wegele, S.: Neue und herkömmliche Maße zur Quantifizierung des Risikos im Eisenbahnverkehr. In: Universität Zilina, Hrsg.: Tagungsband der Zel 2004: Auf dem Weg zur "Europäischen" Eisenbahn - Harmonisierung und ITS Band I, S. 160-171, Mai 2004. 11th International Symposium Zel 2004: Auf dem Weg zur "Europäischen" Eisenbahn - Harmonisierung und ITS/Zilina, Slovakei; 27.-28.05.2004. |
| (542) |
Slovak, R.; Drewes, J.; Schnieder, E.: Safety Requirements Parameter Derivation for Level Crossing Control Systems in Consideration of Traffic Dynamics using Stochastic Petri Nets. Proceedings of the 8th International Level Crossing Symposium - CD-ROM, April 2004. 8th International Level Crossing Symposium/Sheffield, 14. - 15.04.2004. ( Kurzfassung ) |
| (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 ) |
| (490) |
Slovak, R.; Wegele, S.; Schnieder, E.: Process-based safety requirements parameter derivation for a transportation system using stochastic petri nets modelling. Proceedings of the 8th International Level Crossing Symposium - CD-ROM, Sheffield, April 2004. 8th International Level Crossing Symposium/ Sheffield 14. - 15.04.2004. ( Kurzfassung ) |
| (363) |
Hänsel, F.; König, S.; Slovak, R.; Schnieder, E.: A Railway Demonstrator Model for Experimental Validation of Integrated Specification Techniques. In: Schnieder, E., Hrsg.: Workshop on Software specification of safety relevant transportation control tasks, S. 23-34, 2003. ( 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". |
| (484) |
Schnieder, E.; Slovak, R.: Description of railway dependability characteristics according to cenelec standards by availability/safety diagrams. Science, Education and Society, S. 137-140, September 2003. 11th International Scientific Conference/Zilina, 17.-19.09.2003. |
| (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 ) |
| (1232) |
Slovak, R.; Schnieder, E.: RAMS Modelling and Analysis of Transportation Systems by Stochastic Petri Nets. TRANSPORT, 2003. |
| (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 ) |
| (492) |
Slovak, R.; Wegele, S.; Schnieder, E.: Process-based safety requirements parameter derivation for a transportation system using stochastic petri nets modelling. In: Kableschkow, T., Hrsg.: Tagungsband Scientific Conference Transport 2003, S. 463-470, Sofia, Bulgarien, November 2003. Scientific Conference Transport 2003/ Sofia, Bulgarien, 13.-14.11.2003. ( Kurzfassung ) |
| (457) |
Wegele, S.; Slovak, R.; Drewes, J.; Schnieder, E.; Baselt, K.: Optimale Zugtrassenplanung mittels genetischer Algorithmen. Proceedings of the 10th International Symposium Zel 2003, S. 114-123, Teil 1, Zilina, 2003. 10th International Symposium Zel 2003, 27.-28.05.2003, Zilinský vzdelávaci servis. ( Kurzfassung ) |
| (465) |
Wegele, S.; Slovak, R.; Schnieder, E.: Automated train operation planning using genetic algorithms. In: Tsugawa, Sadayuki; Aoki, Masayoshi, Hrsg.: CTS 2003 - Preprints, S. 361-367, Tokyo, Japan, August 2003. 10th IFAC Symposium on Control in Transportation System/Tokyo, Japan. ( Kurzfassung ) |
| (434) |
Decknatel, G.; Slovak, R.; Schnieder, E.: Definition of a Type of Continuous-Discrete High-Level Petri Nets and Its Application to the Performance Analysis of Train Protection Systems. In Engell, S., Frehse, G., Schnieder, E., Hrsg., Modelling, Analysis, and Design of Hybrid Systems, S. 355-367, Springer, Berlin, 2002. |
| (385) |
Einer, S.; Schrom, H.; Slovak, R.; Schnieder, E.: A Railway Demonstrator Model for Experimental Investigation of Integrated Specification Techniques. In: Ehrig, H.; Grosse-Rhode, M., Hrsg.: ETAPS 2002 - Integration of Software Specification Techniques, S. 84-93, Berlin, April 2002. TU Berlin, DFG. ( Kurzfassung ) |
| (1231) |
Einer, S.; Schrom, H.; Slovak, R.; Schnieder, E.: A Railway demonstrator model for experimental investigation of intergrated specification techniques. ETAPS, 2002. |
| (413) |
Einer, S.; Schrom, H.; Slovak, R.; Schnieder, E.: Experimental validation of train control systems by using a railway model. In: Allan, J.; Hill, R. J.; Brebbia, C. A.; Sciutto, G.; Sone, S., Hrsg.: Computers in Railways VIII, S. 925-934, Ashurst Lodge, Ashurst, Southampton, SO40 7AA, UK, 2002. 8th International Conference on Computer Aided Design, Manufacture and Operation in the Railway and Other Advanced Mass Transit Systems (COMPRAIL 2002), Lemnos, Greece, WITPRESS. ( Kurzfassung ) |
| (424) |
Slovak, R.; Einer, S.; Tomasov, P.: A Petri Net Based Method for Proof of Safety of Railway Operation Control System. Integrated Design and Process Technology, Juni 2002. IDPT-2002, USA, Society for Design and Process Science. ( 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 ) |
| (400) |
Wegele, S.; Slovak, R.; Schnieder, E.; Pomp, R.; Baselt, K.; Peiser, U.: Lösung von Konflikten bei der Fahrplanerarbeitung mit genetischen Algorithmen. Tagungsband des 9. Internationalen Symposium, Zel 2002, S. 169-179, Zilina, Mai 2002. Zilina/Slovakei. ( Kurzfassung ) |
| (328) |
Meyer zu Hörste, M.; Slovak, R.; Schnieder, E.: Modellierung und Simulation von Eisenbahnleit- und -sicherungssystemen auf Basis generischer Funktionen. Tagungsband des 8. Internationalen Symposiums Zel 2001, S. 157-165, Zilina, Mai 2001. Zilina/Slowakei 29.-30.05.01. |
| (338) |
Schnieder, E.; Slovak, R.; Decknatel, G.: Performance analysis of moving and fixed block systems using hybrid petri nets simulation. Tagungsband des 8. Internationalen Symposiums Zel 2001: Eisenbahn an der Schwelle zum Dritten Jahrtausend, S. 27-40, Zilina, Mai 2001. Zilina/Slowakei 27.-29.05.01. ( Kurzfassung ) |
| (414) |
Slovak, R.; Schnieder, E.: Konzeption von Sicherheitsanalysen auf der Basis allgemeiner stochastischer Petrinetze am Beispiel eines Bahnübergangssicherungssystems. Proceedings of the Workshop Radio-Based Operation on Branch Lines, S. 45-56, 2001. University of Zilina. ( Kurzfassung ) |
| (418) |
Einer, S.; Slovak, R.; Schnieder, E.: Modeling train control systems with Petrinets - an operational specification. In: IEEE, Hrsg.: Proceedings of the 2000 IEEE International Conference on Systems, Man & Cybernetics, S. 3207-3211, Nashville, USA, Oktober 2000. 2000 IEEE International Conference on Systems, Man & Cybernetics/ 08.-11.10.2000, Nashville, Omnipress. ( Kurzfassung ) |
| (307) |
Einer, S.; Slovak, R.; Schnieder, E.: Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme. In: VDI, Hrsg.: Sicherheit komplexer Verkehrssysteme 25.-26.05.00, S. 179-195, ''7 2000. Bonn. ( Kurzfassung ) |
| (373) |
Einer, S.; Slovak, R.; Schnieder, E.: Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnsysteme. Der Eisenbahningenieur. 51(10), S. 40-46, Oktober 2000. |
| (311) |
Einer, S.; Slovak, R.; Tomasov, P.; Schnieder, E.: Funktionale Entwurfspezifikation eines Eisenbahnsicherungssystems mit zeitbewerteten Petrinetzen (EDSPN). Tagungsband des 7. Internationalen Symposiums Zel 2000, S. 186-193, Zilina, ''7 2000. Zilina/Slovakei. ( Kurzfassung ) |