Eckehard Schnieder

According to our database, Eckehard Schnieder authored at least 42 papers between 1984 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Need and Approaches for Norm-Compliant Qualification for Satellite Based Train Localization Evaluation - Assessment- Certification - Approval.

Eckehard Schnieder

Proceedings of the European Navigation Conference, 2020

2019

Development and Evaluation Procedure of the Train-Centric Communication-Based System.

Haifeng Song, Eckehard Schnieder

IEEE Trans. Veh. Technol., 2019

Availability and Performance Analysis of Train-to-Train Data Communication System.

Haifeng Song, Eckehard Schnieder

IEEE Trans. Intell. Transp. Syst., 2019

Development and Validation of a Distance Measurement System in Metro Lines.

Haifeng Song, Eckehard Schnieder

IEEE Trans. Intell. Transp. Syst., 2019

A Train-Centric Communication-Based New Movement Authority Proposal for ETCS-2.

Haifeng Song, Hongjie Liu, Eckehard Schnieder

IEEE Trans. Intell. Transp. Syst., 2019

2018

Scenario-based system design with colored Petri nets: an application to train control systems.

Daohua Wu, Eckehard Schnieder

Softw. Syst. Model., 2018

2017

Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets.

Haifeng Song, Jieyu Liu, Eckehard Schnieder

Reliab. Eng. Syst. Saf., 2017

2016

Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets.

Daohua Wu, Eckehard Schnieder

IEEE Trans. Intell. Transp. Syst., 2016

2015

Performance Evaluation of GNSS for Train Localization.

Debiao Lu, Eckehard Schnieder

IEEE Trans. Intell. Transp. Syst., 2015

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

Stephan Höme, Jens Grützner, Thomas Hadlich, Christian Diedrich, Dieter Schnäpp, Susanne Arndt, Eckehard Schnieder

Autom., 2015

Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme.

Patrick Diekhake, Eckehard Schnieder

Autom., 2015

2014

(Verkehrs)sicherheit als regelungstechnische Aufgabe.

Eckehard Schnieder

Autom., 2014

Das Petrinetz Modellierungs- und -analysetool Π-Tool.

Lisandro Quiroga, Uwe Becker, Eckehard Schnieder

Autom., 2014

Implementation of an Energy Model and a Charging Infrastructure in SUMO.

Tamás Kurczveil, Pablo Álvarez López, Eckehard Schnieder

Proceedings of the Simulation of Urban Mobility - First International Conference, 2014

2013

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

Patrick Diekhake, Eckehard Schnieder

Proceedings of the IECON 2013, 2013

Message Collision and CSMA/CA Modeling and Simulation by Means of Petri Net.

Jieyu Liu, Eckehard Schnieder, Zuoyu Miao

Proceedings of the 2013 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2013

2012

A Measurement Standard for Vehicle Localization and Its ISO-Compliant Measurement Uncertainty Evaluation.

Marco Wegener, Eckehard Schnieder

IEEE Trans. Instrum. Meas., 2012

Verification of the safety communication protocol in train control system using colored Petri net.

Lijie Chen, Tao Tang, Xianqiong Zhao, Eckehard Schnieder

Reliab. Eng. Syst. Saf., 2012

2011

Heuristic Forecasting of Geometry Deterioration of High Speed Railway Tracks.

Lisandro Quiroga, Eckehard Schnieder

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2009

"Open Sesame" - towards a Next Generation Terminology Management System.

Eckehard Schnieder, Lars Schnieder, Christian Stein

Trans. SDPS, 2009

Reference Measurement Platforms for Satellite Based Localisation in Ground Transportation.

Matthias Hübner, Jan Poliak, Daniel Beisel, Uwe Becker, Eckehard Schnieder

Proceedings of the 70th IEEE Vehicular Technology Conference, 2009

Traffic Flow Organization by means of a Vehicle-Sided Rule-Bases.

Matthias Hübner, Tobias Lück, Eckehard Schnieder

Proceedings of the 70th IEEE Vehicular Technology Conference, 2009

2007

Duality in high level petri-nets: a basis to do diagnoses.

Jörg R. Müller, Eckehard Schnieder

Proceedings of the Winter Simulation Conference, 2007

Accident based requirements analysis for advanced driver assistance systems.

Uwe Becker, Jörn Drewes, Eckehard Schnieder

Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2007

UML-based safety analysis of distributed automation systems.

Sebastian Schreiber, Till Schmidberger, Alexander Fay, Jörg May, Jörn Drewes, Eckehard Schnieder

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2005

LiLoLe-Verlagsprogramm zur Technischen Zuverlässigkeit.

Eckehard Schnieder

Autom., 2005

Formal Cognitive Resource Model: Modeling of human behavior in complex work environments.

Bernd Werther, Eckehard Schnieder

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.

Eckehard Schnieder, Jörg R. Müller

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems.

Eckehard Schnieder

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.

Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

BASYSNET - An Integrated Approach for Automated Control System Development.

Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

2002

Integation heterogener Modellwelten der Automatisierungstechnik.

Eckehard Schnieder

Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002

Modellintegration durch Werkzeugkopplung auf Basis des ITC-Frameworks.

S. König, M. Horstmann, Eckehard Schnieder

Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002

2001

Cooperability in Train Control Systems: Specification of Scenarios using Open Nets.

Julia Padberg, L. Jansen, Hartmut Ehrig, Eckehard Schnieder, Reiko Heckel

Trans. SDPS, 2001

Modellkonzepte in der Automatisierungstechnik.

Eckehard Schnieder

Proceedings of the Modellierung 2001, 2001

2000

Holistic modeling of complex systems with Petri nets.

Penglin Zhu, Eckehard Schnieder

Proceedings of the IEEE International Conference on Systems, 2000

Modeling train control systems with Petri nets-a functional reference-architecture.

Michael Meyer zu Hörste, Eckehard Schnieder

Proceedings of the IEEE International Conference on Systems, 2000

Modeling train control systems with Petrinets-an operational specification.

Stefan Einer, Roman Slovák, Eckehard Schnieder

Proceedings of the IEEE International Conference on Systems, 2000

1999

Formal Modelling and Simulation of Train Control Systems Using Petri Nets.

Michael Meyer zu Hörste, Eckehard Schnieder

Proceedings of the FM'99 - Formal Methods, 1999

Modelling and control of large flexible structures using combined simulation tools.

A. Arenz, Eckehard Schnieder

Proceedings of the 5th European Control Conference, 1999

1992

Modelling and Control of Complex Logistic Systems for Manufacturing.

Karsten Lemmer, Eckehard Schnieder

Proceedings of the Application and Theory of Petri Nets 1992, 1992

1984

Organisationsstruktur der Fahrzeugsteuerung von Magnetschnellbahnen.

Eckehard Schnieder

Proceedings of the Prozeßrechner 1984, 1984