Eckehard Schnieder

Publication Activity (10 Years)

Years Active: 1984-2020
Publications (10 Years): 8

Top Topics

Semantically Meaningful

Object Localization

Top Venues

IEEE Trans. Intell. Transp. Syst.

Reliab. Eng. Syst. Saf.

Publications

Eckehard Schnieder
Need and Approaches for Norm-Compliant Qualification for Satellite Based Train Localization Evaluation - Assessment- Certification - Approval. ENC (2020)
Haifeng Song, Eckehard Schnieder
Development and Evaluation Procedure of the Train-Centric Communication-Based System. IEEE Trans. Veh. Technol. 68 (3) (2019)
Haifeng Song, Hongjie Liu, Eckehard Schnieder
A Train-Centric Communication-Based New Movement Authority Proposal for ETCS-2. IEEE Trans. Intell. Transp. Syst. 20 (6) (2019)
Haifeng Song, Eckehard Schnieder
Development and Validation of a Distance Measurement System in Metro Lines. IEEE Trans. Intell. Transp. Syst. 20 (2) (2019)
Haifeng Song, Eckehard Schnieder
Availability and Performance Analysis of Train-to-Train Data Communication System. IEEE Trans. Intell. Transp. Syst. 20 (7) (2019)
Daohua Wu, Eckehard Schnieder
Scenario-based system design with colored Petri nets: an application to train control systems. Softw. Syst. Model. 17 (1) (2018)
Haifeng Song, Jieyu Liu, Eckehard Schnieder
Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets. Reliab. Eng. Syst. Saf. 164 (2017)
Daohua Wu, Eckehard Schnieder
Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets. IEEE Trans. Intell. Transp. Syst. 17 (11) (2016)
Debiao Lu, Eckehard Schnieder
Performance Evaluation of GNSS for Train Localization. IEEE Trans. Intell. Transp. Syst. 16 (2) (2015)
Patrick Diekhake, Eckehard Schnieder
Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme. Autom. 63 (2) (2015)
Stephan Höme, Jens Grützner, Thomas Hadlich, Christian Diedrich, Dieter Schnäpp, Susanne Arndt, Eckehard Schnieder
Semantic Industry: Herausforderungen auf dem Weg zur rechnergestützten Informationsverarbeitung der Industrie 4.0. Autom. 63 (2) (2015)
Tamás Kurczveil, Pablo Álvarez López, Eckehard Schnieder
Implementation of an Energy Model and a Charging Infrastructure in SUMO. SUMO (2014)
Lisandro Quiroga, Uwe Becker, Eckehard Schnieder
Das Petrinetz Modellierungs- und -analysetool Π-Tool. Autom. 62 (6) (2014)
Eckehard Schnieder
(Verkehrs)sicherheit als regelungstechnische Aufgabe. Autom. 62 (12) (2014)
Patrick Diekhake, Eckehard Schnieder
Online monitoring of a distributed building automation system to verify large sequences of bus messages by causal Petri net models. IECON (2013)
Jieyu Liu, Eckehard Schnieder, Zuoyu Miao
Message Collision and CSMA/CA Modeling and Simulation by Means of Petri Net. CyberC (2013)
Lijie Chen, Tao Tang, Xianqiong Zhao, Eckehard Schnieder
Verification of the safety communication protocol in train control system using colored Petri net. Reliab. Eng. Syst. Saf. 100 (2012)
Marco Wegener, Eckehard Schnieder
A Measurement Standard for Vehicle Localization and Its ISO-Compliant Measurement Uncertainty Evaluation. IEEE Trans. Instrum. Meas. 61 (11) (2012)
Lisandro Quiroga, Eckehard Schnieder
Heuristic Forecasting of Geometry Deterioration of High Speed Railway Tracks. EUROCAST (2) (2011)
Matthias Hübner, Jan Poliak, Daniel Beisel, Uwe Becker, Eckehard Schnieder
Reference Measurement Platforms for Satellite Based Localisation in Ground Transportation. VTC Fall (2009)
Eckehard Schnieder, Lars Schnieder, Christian Stein
"Open Sesame" - towards a Next Generation Terminology Management System. Trans. SDPS 13 (3) (2009)
Matthias Hübner, Tobias Lück, Eckehard Schnieder
Traffic Flow Organization by means of a Vehicle-Sided Rule-Bases. VTC Fall (2009)
Uwe Becker, Jörn Drewes, Eckehard Schnieder
Accident based requirements analysis for advanced driver assistance systems. IFAC HMS (2007)
Sebastian Schreiber, Till Schmidberger, Alexander Fay, Jörg May, Jörn Drewes, Eckehard Schnieder
UML-based safety analysis of distributed automation systems. ETFA (2007)
Jörg R. Müller, Eckehard Schnieder
Duality in high level petri-nets: a basis to do diagnoses. WSC (2007)
Bernd Werther, Eckehard Schnieder
Formal Cognitive Resource Model: Modeling of human behavior in complex work environments. CIMCA/IAWTIC (2005)
Eckehard Schnieder, Jörg R. Müller
A Formal Description of the Basic Concepts of System Theory for Transportation. Formal Methods in Software and Systems Modeling (2005)
Eckehard Schnieder
LiLoLe-Verlagsprogramm zur Technischen Zuverlässigkeit. Autom. 53 (12) (2005)
Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder
Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. SoftSpez Final Report (2004)
Eckehard Schnieder
Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems. SoftSpez Final Report (2004)
Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste
BASYSNET - An Integrated Approach for Automated Control System Development. Petri Net Technology for Communication-Based Systems (2003)
S. König, M. Horstmann, Eckehard Schnieder
Modellintegration durch Werkzeugkopplung auf Basis des ITC-Frameworks. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen (2002)
Eckehard Schnieder
Integation heterogener Modellwelten der Automatisierungstechnik. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen (2002)
Eckehard Schnieder
Modellkonzepte in der Automatisierungstechnik. Modellierung (2001)
Julia Padberg, L. Jansen, Hartmut Ehrig, Eckehard Schnieder, Reiko Heckel
Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. Trans. SDPS 5 (1) (2001)
Stefan Einer, Roman Slovák, Eckehard Schnieder
Modeling train control systems with Petrinets-an operational specification. SMC (2000)
Michael Meyer zu Hörste, Eckehard Schnieder
Modeling train control systems with Petri nets-a functional reference-architecture. SMC (2000)
Penglin Zhu, Eckehard Schnieder
Holistic modeling of complex systems with Petri nets. SMC (2000)
A. Arenz, Eckehard Schnieder
Modelling and control of large flexible structures using combined simulation tools. ECC (1999)
Michael Meyer zu Hörste, Eckehard Schnieder
Formal Modelling and Simulation of Train Control Systems Using Petri Nets. World Congress on Formal Methods (1999)
K. Lemmer, Eckehard Schnieder
Modelling and Control of Complex Logistic Systems for Manufacturing. Application and Theory of Petri Nets (1992)
Eckehard Schnieder
Organisationsstruktur der Fahrzeugsteuerung von Magnetschnellbahnen. Fachtagung Prozessrechner (1984)