Eckehard Schnieder
Orcid: 0000-0002-2961-823X
According to our database1,
Eckehard Schnieder
authored at least 42 papers
between 1984 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
4
1
1
1
3
2
2
1
1
1
1
1
2
1
2
3
2
2
1
2
1
3
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2020
Need and Approaches for Norm-Compliant Qualification for Satellite Based Train Localization Evaluation - Assessment- Certification - Approval.
Proceedings of the European Navigation Conference, 2020
2019
Development and Evaluation Procedure of the Train-Centric Communication-Based System.
IEEE Trans. Veh. Technol., 2019
IEEE Trans. Intell. Transp. Syst., 2019
IEEE Trans. Intell. Transp. Syst., 2019
IEEE Trans. Intell. Transp. Syst., 2019
2018
Scenario-based system design with colored Petri nets: an application to train control systems.
Softw. Syst. Model., 2018
2017
Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets.
Reliab. Eng. Syst. Saf., 2017
2016
Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets.
IEEE Trans. Intell. Transp. Syst., 2016
2015
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
2014
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.
Proceedings of the IECON 2013, 2013
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.
IEEE Trans. Instrum. Meas., 2012
Verification of the safety communication protocol in train control system using colored Petri net.
Reliab. Eng. Syst. Saf., 2012
2011
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011
2009
Trans. SDPS, 2009
Reference Measurement Platforms for Satellite Based Localisation in Ground Transportation.
Proceedings of the 70th IEEE Vehicular Technology Conference, 2009
Proceedings of the 70th IEEE Vehicular Technology Conference, 2009
2007
Proceedings of the Winter Simulation Conference, 2007
Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2007
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007
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
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.
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
2003
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003
2002
Integation heterogener Modellwelten der Automatisierungstechnik.
Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002
Modellintegration durch Werkzeugkopplung auf Basis des ITC-Frameworks.
Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002
2001
Trans. SDPS, 2001
Proceedings of the Modellierung 2001, 2001
2000
Proceedings of the IEEE International Conference on Systems, 2000
Proceedings of the IEEE International Conference on Systems, 2000
Proceedings of the IEEE International Conference on Systems, 2000
1999
Proceedings of the FM'99 - Formal Methods, 1999
Proceedings of the 5th European Control Conference, 1999
1992
Proceedings of the Application and Theory of Petri Nets 1992, 1992
1984
Proceedings of the Prozeßrechner 1984, 1984