Eckehard Schnieder

According to our database1, Eckehard Schnieder authored at least 40 papers between 1984 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



Need and Approaches for Norm-Compliant Qualification for Satellite Based Train Localization Evaluation - Assessment- Certification - Approval.
Proceedings of the European Navigation Conference, 2020

Development and Evaluation Procedure of the Train-Centric Communication-Based System.
IEEE Trans. Veh. Technol., 2019

Availability and Performance Analysis of Train-to-Train Data Communication System.
IEEE Trans. Intell. Transp. Syst., 2019

Development and Validation of a Distance Measurement System in Metro Lines.
IEEE Trans. Intell. Transp. Syst., 2019

A Train-Centric Communication-Based New Movement Authority Proposal for ETCS-2.
IEEE Trans. Intell. Transp. Syst., 2019

Scenario-based system design with colored Petri nets: an application to train control systems.
Softw. Syst. Model., 2018

Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets.
Reliab. Eng. Syst. Saf., 2017

Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets.
IEEE Trans. Intell. Transp. Syst., 2016

Performance Evaluation of GNSS for Train Localization.
IEEE Trans. Intell. Transp. Syst., 2015

Semantic Industry: Herausforderungen auf dem Weg zur rechnergestützten Informationsverarbeitung der Industrie 4.0.
Autom., 2015

Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme.
Autom., 2015

(Verkehrs)sicherheit als regelungstechnische Aufgabe.
Autom., 2014

Das Petrinetz Modellierungs- und -analysetool Π-Tool.
Autom., 2014

Implementation of an Energy Model and a Charging Infrastructure in SUMO.
Proceedings of the Simulation of Urban Mobility - First International Conference, 2014

Online monitoring of a distributed building automation system to verify large sequences of bus messages by causal Petri net models.
Proceedings of the IECON 2013, 2013

Message Collision and CSMA/CA Modeling and Simulation by Means of Petri Net.
Proceedings of the 2013 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2013

A Measurement Standard for Vehicle Localization and Its ISO-Compliant Measurement Uncertainty Evaluation.
IEEE Trans. Instrum. Meas., 2012

Verification of the safety communication protocol in train control system using colored Petri net.
Reliab. Eng. Syst. Saf., 2012

Heuristic Forecasting of Geometry Deterioration of High Speed Railway Tracks.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

"Open Sesame" - towards a Next Generation Terminology Management System.
Trans. SDPS, 2009

Reference Measurement Platforms for Satellite Based Localisation in Ground Transportation.
Proceedings of the 70th IEEE Vehicular Technology Conference, 2009

Traffic Flow Organization by means of a Vehicle-Sided Rule-Bases.
Proceedings of the 70th IEEE Vehicular Technology Conference, 2009

Duality in high level petri-nets: a basis to do diagnoses.
Proceedings of the Winter Simulation Conference, WSC 2007, 2007

Accident based requirements analysis for advanced driver assistance systems.
Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2007

UML-based safety analysis of distributed automation systems.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

LiLoLe-Verlagsprogramm zur Technischen Zuverlässigkeit.
Autom., 2005

Formal Cognitive Resource Model: Modeling of human behavior in complex work environments.
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

A Formal Description of the Basic Concepts of System Theory for Transportation.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

BASYSNET - An Integrated Approach for Automated Control System Development.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Cooperability in Train Control Systems: Specification of Scenarios using Open Nets.
Trans. SDPS, 2001

Modellkonzepte in der Automatisierungstechnik.
Proceedings of the Modellierung 2001, 2001

Holistic modeling of complex systems with Petri nets.
Proceedings of the IEEE International Conference on Systems, 2000

Modeling train control systems with Petri nets-a functional reference-architecture.
Proceedings of the IEEE International Conference on Systems, 2000

Modeling train control systems with Petrinets-an operational specification.
Proceedings of the IEEE International Conference on Systems, 2000

Formal Modelling and Simulation of Train Control Systems Using Petri Nets.
Proceedings of the FM'99 - Formal Methods, 1999

Modelling and control of large flexible structures using combined simulation tools.
Proceedings of the 5th European Control Conference, 1999

Modelling and Control of Complex Logistic Systems for Manufacturing.
Proceedings of the Application and Theory of Petri Nets 1992, 1992

Organisationsstruktur der Fahrzeugsteuerung von Magnetschnellbahnen.
Proceedings of the Prozeßrechner 1984, 1984