31 Veröffentlichungen mit Beteiligung.
Um Ihnen das Referenzieren zu vereinfachen, können Sie eine .
| (1239) |
Meyer zu Hörste, M.; Schnider, E.: Modelling Functionality of Train Control Systems using Petri Nets. ''9 2013. |
| (1070) |
Schnieder, E.; Meyer zu Hörste, M.; Hungar, H.: Modelling Functionality of Train Control Systems using Petri Nets. Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013, Madrid, Spain, September 2013. ( Kurzfassung ) |
| (946) |
Meyer zu Hörste, M.; Grimm, M.; Endrich, M.; Manz, H.: GAUSS – An approach for harmonised certifications for safety-critical GNSS applications. ENC-GNSS 2010 - The European Navigation Conference on Global Navigation Satellite Systems , Braunschweig, Oktober 2010. ( Kurzfassung ) |
| (758) |
Meyer zu Hörste, M.: Methodische Analyse und generische Modellierung von Eisenbahnleit- und Sicherungssystemen. Dissertation, Technische Universität Braunschweig, VDI-Verlag, 2004. |
| (464) |
Lemmer, K.; Meyer zu Hörste, M.; Schnieder, E.: Migrations- und Einsatzstrategien für Systeme der Eisenbahnleittechnik. ZEVrail - Glasers Annalen 1. , 2003. |
| (500) |
Schnieder, E.; Chouikha, M.; Einer, S.; Meyer zu Hörste, M.: BASYNET - An Integrated Approach for Automated Control System Developement. In Ehrig, H.; Reisig, W.; Rozenberg, G.; Weber, H., Hrsg.: Petri Net Technology for Communication-Based System. Springer Verlag, S. 352-362, 2003. ( Kurzfassung ) |
| (438) |
Becker, U.; Meyer zu Hörste, M.: IFAC Symposium Control in Transportation Systems. at - Automatisierungstechnik. 49(3), S. 147-148, März 2001. |
| (224) |
Einer, S.; Meyer zu Hörste, M.; Schnieder, E.: Potenziale "Formaler Methoden" für die Eisenbahnsicherung. Tagungsband des 8. Internationalen Symposiums Zel 2001, S. 145-156, Zilina, Mai 2001. Zilina/Slowakei 27.-29.05.2001. ( Kurzfassung ) |
| (407) |
Meyer zu Hörste, M.: Entwicklung einer Wissensbasierten Dispositionsunterstützung für die betreibliche Disposition (WISDOM) auf der Basis von Fuzzy-Petrinetzen im Rahmen des Projektes ZDIS. Technischer Bericht Institut für Regelungs- und Automatisierungstechnik, April 2001. |
| (353) |
Meyer zu Hörste, M.; Lemmer, K.; Bikker, G.; Schnieder, E.: A general approach for the development and architecture of satellite-based train control systems. Tagungsband zur NavSat, S. 1, November 2001. NavSat/Nizza, 13.-15.11.2001. |
| (339) |
Meyer zu Hörste, M.; Schnieder, E.: A development Concept for a Cost-effective Train Control System. Proceedings of the 4th World Congress on Railway Research WCRR, S. 3, Köln, November 2001. 4th World Congress on Railway Research/Köln, 25.-29.11.2001. |
| (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. |
| (358) |
Schnieder, E.; Bikker, G.; Chouikha, M.; Einer, S.; Meyer zu Hörste, M.: BASYSNET - An integrated Approach for automated Control System Design. In: Weber, H.; Ehrig, H.; Reisig, W., Hrsg.: 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, S. 163-170, Berlin, ''5 2001. Berlin, 14.-15.09.2001. ( Kurzfassung ) |
| (299) |
Bikker, G.; Däubler, L.; Meyer zu Hörste, M.; Schnieder, E.: Specification of Train Control Systems with STEP. In: Schnieder, E.; Becker, U., Hrsg.: 9 th IFAC Symposium Control in Transportation Systems 2000, 13.-15. Juni, S. 238-243, Braunschweig, ''6 2000. Braunschweig. |
| (309) |
Bikker, G.; König, S.; Meyer zu Hörste, M.; Schnieder, E.: Verteilte Simulation des Eisenbahnbetriebes auf Basis wiederverwendbarer Modellbibliotheken. Tagungsband des 7. Internationalen Symposiums Zel 2000: Eisenbahn an der Schwelle zum Dritten Jahrtausend, S. 37-48, Zilina, ''7 2000. Zilina/Slowakei. ( Kurzfassung ) |
| (417) |
Chouikha, M.; Einer, S.; Meyer zu Hörste, M.; Schnieder, E.: Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen. In: Schnieder, E., Hrsg.: Forms 2000 - Formale Techniken für die Eisenbahnsicherung; VDI-Fortschrittbericht, Reihe 12, Nr. 441, S. 57-84, Düsseldorf, November 2000. Forms 2000/Braunschweig, 03.11.2000, VDI-Verlag. ( Kurzfassung ) |
| (295) |
Janhsen, A.; Meyer zu Hörste, M.; Schnieder, E.: Functional vs. technical modularization of train control systems. In: Schnieder, E.; Becker, U., Hrsg.: 9 th IFAC Symposium Control in Transportation Systems 2000, 13.-15. Juni, S. 489-494, Braunschweig, ''6 2000. Braunschweig. |
| (294) |
Meyer zu Hörste, M.; Parthasarathy, S.; Schnieder, E.: Notation, Method, Tool: A Conceptual Framework for the Application of Formal Methods. In: Schnieder, E.; Becker, U., Hrsg.: 9 th IFAC Symposium Control in Transportation Systems 2000, 13.-15. Juni, S. 141-146, Braunschweig, ''6 2000. Braunschweig. |
| (308) |
Meyer zu Hörste, M.; Ptok, B.; Schnieder, E.; Schrom, H.: A Case Study for the Automated System Development: The Satellite-based Train Control System. Control Systems Design CSD 2000, 18.-20. Juni, S. 329-334, Bratislava, Juni 2000. Bratislava. |
| (303) |
Meyer zu Hörste, M.; Schnieder, E.; Schulz, H.-M.: Test case generation from formal specifications on the example of train control systems. Computers in Railways VII, S. 117-126, September 2000. Comprail 2000, 11.-13.Sept, Bologna, Italien, WITPRESS. |
| (406) |
Schrom, H.; Illgen, I.; Meyer zu Hörste, M.; Schnieder, E.; Schrom, H.; Weber, I.: Distributed multi-train simulation using real components. Proceedings of "Computers in Railways VII" 2000, S. 1291-1300, 2000. COMPRAIL 2000, Bologna, WITPRESS. |
| (322) |
Chouikha, M.; Decknatel, G.; Erdmann, B.; Meyer zu Hörste, M.: Entwicklung und Betrieb komplexer Automatisierungssysteme EKA'99. atp - Automatisierungstechnische Praxis. 41(10), S. 58, ''7 1999. |
| (271) |
Chouikha, M.; Decknatel, G.; Erdmann, B.; Meyer zu Hörste, M.: Fachtagung Entwicklung und Betrieb komplexer Automatisierungsysteme EKA '99. at - Automatisierungstechnik. 47(10), S. 509-511, November 1999. |
| (268) |
Meyer zu Hörste, M.: Modelling and Simulation of Train Control Systems using Petri Nets. In: Peter Gorm Larsen, Jan Peter Storbank, Hrsg.: FMERail, S. 16, St. Pötlen, ''9 1999. St. Pölten, Österreich. |
| (277) |
Meyer zu Hörste, M.: Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung. FORMS 99 Formale Techniken für Eisenbahnsicherungssysteme, ''7 1999. Braunschweig, 01.-02.12.99. |
| (273) |
Meyer zu Hörste, M.; Schnieder, E.: Formal Modelling and Simulation of Train Control Systems using Petri Nets. In: Wing, J.; Woodcock, Jim Davies, Hrsg.: World Congress on Formal Methods in the Development of Computing Systems. Lecture Notes in Computer Science, S. 1867, Berlin, ''7 1999. Toulouse, Springer Verlag. |
| (19) |
Fay, A.; Meyer zu Hörste, M.; Schulz, H.-M.: Formale Spezifikation von Eisenbahnleitsystemen in Europa. ETR - Eisenbahntechnische Rundschau. 47(8-9), S. 554-555, ''7 1998. |
| (327) |
Jansen, L.; Meyer zu Hörste, M.; Schnieder, E.: Technical Issues in Modelling the European Train Control System. In: Jensen, K., Hrsg.: Proceedings of the workshop on practical use of coloured Petri Nets and Design /CPN, S. 103-115, Aarhus, ''9 1998. Aarhus. |
| (284) |
Meyer zu Hörste, M.: Die formale Modellierung und Simulation von ERTMS/ETCS auf der Basis von Petrinetzen. ''7 1998. |
| (252) |
Meyer zu Hörste, M.; Ptok, B.; Schnieder, E.; Schulz, H.-M.: Modelling and Simulation of the European Train Control System for test case generation. In: Mellitt, B; Hill, R. J.; Allan, J.; Sciutto, G.; Brebbia, C. A., Hrsg.: Proceedings COMPRAIL '98: Computers in Railways VI, Lissabon, S. 649-658, Southampton, Boston, ''7 1998. Sixth international conference on computer aided design, manufacture and operation in the railway and other advanced mass transit systems / Lissabon, WIT Press. |
| (245) |
Janhsen, A.; Lemmer, K.; Meyer zu Hörste, M.; Schnieder, E.: Migration Strategy for Different Levels of the European Train Control System to existing railway environment. WCRR '97: World Congress on Railway Research, S. 335-341, Florenz, ''6 1997. Florenz, METROTIPO S.p.A.. ( Kurzfassung ) |