default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEckehard Schnieder
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2019
[j17]Haifeng Song
, Eckehard Schnieder:
Development and Validation of a Distance Measurement System in Metro Lines. IEEE Trans. Intell. Transp. Syst. 20(2): 441-456 (2019)- [j16]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): 2328-2338 (2019) - [j15]Haifeng Song, Eckehard Schnieder:
Availability and Performance Analysis of Train-to-Train Data Communication System. IEEE Trans. Intell. Transp. Syst. 20(7): 2786-2795 (2019) - [j14]Haifeng Song, Eckehard Schnieder:
Development and Evaluation Procedure of the Train-Centric Communication-Based System. IEEE Trans. Veh. Technol. 68(3): 2035-2043 (2019) - 2018
- [j13]Daohua Wu, Eckehard Schnieder:
Scenario-based system design with colored Petri nets: an application to train control systems. Softw. Syst. Model. 17(1): 295-317 (2018) - 2017
- [j12]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: 10-23 (2017) - 2016
- [j11]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): 3045-3061 (2016) - 2015
- [j10]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): 74-86 (2015) - [j9]Patrick Diekhake, Eckehard Schnieder:
Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme. Autom. 63(2): 129-142 (2015) - [j8]Debiao Lu, Eckehard Schnieder:
Performance Evaluation of GNSS for Train Localization. IEEE Trans. Intell. Transp. Syst. 16(2): 1054-1059 (2015) - 2014
- [j7]Lisandro Quiroga, Uwe Becker, Eckehard Schnieder:
Das Petrinetz Modellierungs- und -analysetool Π-Tool. Autom. 62(6): 436-445 (2014) - [j6]Eckehard Schnieder:
(Verkehrs)sicherheit als regelungstechnische Aufgabe. Autom. 62(12): 829-841 (2014) - 2012
- [j5]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: 8-18 (2012) - [j4]Marco Wegener, Eckehard Schnieder:
A Measurement Standard for Vehicle Localization and Its ISO-Compliant Measurement Uncertainty Evaluation. IEEE Trans. Instrum. Meas. 61(11): 3003-3013 (2012) - 2009
- [j3]Eckehard Schnieder, Lars Schnieder, Christian Stein:
"Open Sesame" - towards a Next Generation Terminology Management System. Trans. SDPS 13(3): 1-16 (2009) - 2005
- [j2]Eckehard Schnieder:
LiLoLe-Verlagsprogramm zur Technischen Zuverlässigkeit. Autom. 53(12): 627- (2005) - 2001
- [j1]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): 3-21 (2001)
Conference and Workshop Papers
- 2020
- [c25]Eckehard Schnieder:
Need and Approaches for Norm-Compliant Qualification for Satellite Based Train Localization Evaluation - Assessment- Certification - Approval. ENC 2020: 1-11 - 2014
- [c24]Tamás Kurczveil, Pablo Álvarez López, Eckehard Schnieder:
Implementation of an Energy Model and a Charging Infrastructure in SUMO. SUMO 2014: 33-43 - 2013
- [c23]Jieyu Liu, Eckehard Schnieder, Zuoyu Miao:
Message Collision and CSMA/CA Modeling and Simulation by Means of Petri Net. CyberC 2013: 413-420 - [c22]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: 3651-3655 - 2011
- [c21]Lisandro Quiroga, Eckehard Schnieder:
Heuristic Forecasting of Geometry Deterioration of High Speed Railway Tracks. EUROCAST (2) 2011: 609-616 - 2009
- [c20]Matthias Hübner, Tobias Lück, Eckehard Schnieder:
Traffic Flow Organization by means of a Vehicle-Sided Rule-Bases. VTC Fall 2009 - [c19]Matthias Hübner, Jan Poliak, Daniel Beisel, Uwe Becker, Eckehard Schnieder:
Reference Measurement Platforms for Satellite Based Localisation in Ground Transportation. VTC Fall 2009 - 2007
- [c18]Sebastian Schreiber, Till Schmidberger, Alexander Fay, Jörg May, Jörn Drewes, Eckehard Schnieder:
UML-based safety analysis of distributed automation systems. ETFA 2007: 1069-1075 - [c17]Uwe Becker, Jörn Drewes, Eckehard Schnieder:
Accident based requirements analysis for advanced driver assistance systems. IFAC HMS 2007: 275-280 - [c16]Jörg R. Müller, Eckehard Schnieder:
Duality in high level petri-nets: a basis to do diagnoses. WSC 2007: 629-636 - 2005
- [c15]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: 402-411 - [c14]Bernd Werther, Eckehard Schnieder:
Formal Cognitive Resource Model: Modeling of human behavior in complex work environments. CIMCA/IAWTIC 2005: 606-611 - 2004
- [c13]Eckehard Schnieder:
Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems. SoftSpez Final Report 2004: 89-95 - [c12]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: 96-118 - 2003
- [c11]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: 352-362 - 2002
- [c10]Eckehard Schnieder:
Integation heterogener Modellwelten der Automatisierungstechnik. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen 2002: 23-42 - [c9]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: 381-382 - 2001
- [c8]Eckehard Schnieder:
Modellkonzepte in der Automatisierungstechnik. Modellierung 2001: 7-17 - 2000
- [c7]Penglin Zhu, Eckehard Schnieder:
Holistic modeling of complex systems with Petri nets. SMC 2000: 3075-3080 - [c6]Michael Meyer zu Hörste, Eckehard Schnieder:
Modeling train control systems with Petri nets-a functional reference-architecture. SMC 2000: 3081-3086 - [c5]Stefan Einer, Roman Slovák, Eckehard Schnieder:
Modeling train control systems with Petrinets-an operational specification. SMC 2000: 3207-3211 - 1999
- [c4]A. Arenz, Eckehard Schnieder:
Modelling and control of large flexible structures using combined simulation tools. ECC 1999: 586-591 - [c3]Michael Meyer zu Hörste, Eckehard Schnieder:
Formal Modelling and Simulation of Train Control Systems Using Petri Nets. World Congress on Formal Methods 1999: 1867 - 1992
- [c2]Karsten Lemmer, Eckehard Schnieder:
Modelling and Control of Complex Logistic Systems for Manufacturing. Application and Theory of Petri Nets 1992: 373-378 - 1984
- [c1]Eckehard Schnieder:
Organisationsstruktur der Fahrzeugsteuerung von Magnetschnellbahnen. Fachtagung Prozessrechner 1984: 507-516
Editorship
- 2011
- [e2]Eckehard Schnieder, Géza Tarnai:
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. Springer 2011, ISBN 978-3-642-14260-4 [contents] - 2004
- [e1]Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper:
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Lecture Notes in Computer Science 3147, Springer 2004, ISBN 3-540-23135-8 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
