Eckehard Schnieder

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