Detail page

Knowledge Web

Person

Eckehard Schnieder (1949-)

Elektrotechniker

Name	Eckehard Schnieder
Time	1949- (Date of birth and death)
Gender	männlich
Academic degree	Prof., Dr.-Ing., Dr.h.c.
Profession	Elektrotechniker (characteristic profession)
Variant	E. Schnieder
Further information	studierte Elektrotechnik an der TU Braunschweig, promovierte im Bereich Antriebstechnik. Von 1979-1989 in der Industrie verantwortlich für automatische Bahnsysteme. Seit 1989 lehrt und forscht er an der TU Braunschweig in dem Bereich Regelungs- und Automatisierungstechnik sowie Verkehrssicherheit
Record type	Person
GND-Identifier	133634728
Record ID	133634728
Involved in show all Modellbasierte Prognose der Straßenverkehrssicherheit Modellierung von Steuerungssystemen mit Signal-Petrinetzen - eine Fallstudie aus der Automobilindustrie Software Engineering in der Industrierobotik: der SoftRobot-Ansatz Development and analysis of a Train-centric Distance Measurement System by means of Colored Petri Nets Qualifizierung sicherheitsrelevanter satellitenbasierter Ortungssysteme für den Bodenverkehr Optimierung einer induktiven Energieversorgungsinfrastruktur für den urbanen Straßenverkehr Performability Analysis and Validation of a Large Scale Fieldbus System by Formal Methods Zur Sicherheitsnachweisführung einer bordautonomen satellitenbasierten Ortungseinheit für den Schienenverkehr Systematische Modellierung und Analyse verteilter Automatisierungssysteme Semantic Industry: Herausforderungen auf dem Weg zur rechnergestützten Informationsverarbeitung der Industrie 4.0 FORMS, FORMAT 2014 FORMS/FORMAT 2010 : Formal Methods for Automation and Safety in Railway and Automotive Systems Verkehrssicherheit : Maße und Modelle, Methoden und Maßnahmen für den Straßen- und Schienenverkehr Verkehrssicherheit : Maße und Modelle, Methoden und Maßnahmen für den Straßen- und Schienenverkehr Entwurf komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen ; 12. Fachtagung mit Tutorium und Toolausstellung, 09. bis 10. Mai 2012 in Magdeburg, Denkfabrik im Wissenschaftshafen FORMS, FORMAT 2012 Modeling, Simulation, and Realization of Cognitive Technical Systems Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems FORMS/FORMAT 2010 : Formal Methods for Automation and Safety in Railway and Automotive Systems Wird der Verkehr automatisch sicherer? : Beschreibungsmittel, Methoden und Werkzeuge des integierten Systementwurfs zur Fahrzeug- und Verkehrsautomatisierung Formal methods for automation and safety in railway and automotive systems : proceedings of Symposium FORMS/FORMAT 2007, Braunschweig, Germany, 25th and 26th January, 2007 Verkehrsleittechnik : Automatisierung des Straßen- und Schienenverkehrs ; mit 45 Tabellen Entwurf komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden und Werkzeuge für Entwurf und Zuverlässigkeit von Anwendungen in Automatisierung und Verkehr ; 9. Fachtagung, 29. bis 31. Mai 2006 in Braunschweig A guide to modelling and control with modules of signal nets Combining formal methods and safety analysis - the ForMoSA approach FORMS /FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems : Proceedings of Symposium FORMS /FORMAT 2004 Braunschweig, Germany, December 2nd and 3rd 2004 Interactive verification of statecharts Entwurf komplexer Automatisierungssysteme : Entwurfsmethodik, Modellbildung, Werkzeuge und Anwendungen. 8. Fachtagung International Workshop on Software Specification of Safety Relevant Transportation Control Tasks : 23 - 24 April 2002, Braunschweig Engineering komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden, Tools und Anwendungen ; 7. Fachtagung ; 25. bis 27. April 2001 in Braunschweig Forms '99 - formale Techniken für die Eisenbahnsicherung Forms 2000 - formale Techniken für die Eisenbahnsicherung Entwicklung und Betrieb komplexer Automatisierungssysteme : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 6. Fachtagung, 26. bis 28. Mai 1999 in Braunschweig Bd. 2 Methoden der Automatisierung : Beschreibungsmittel, Modellkonzepte und Werkzeuge für Automatisierungssysteme ; mit 56 Tabellen Entwurf komplexer Automatisierungssysteme : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 5. Fachtagung mit Tutorium, 21. bis 23. Mai 1997 Bd. 1 Entwurf komplexer Automatisierungssysteme : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 5. Fachtagung mit Tutorium, 21. bis 23. Mai 1997 Bd. 2 Entwurf komplexer Automatisierungssysteme : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 4. Fachtagung, Braunschweig ; [7. bis 9. Juni 1995 in Braunschweig] Prozessinformatik : Automatisierung mit Rechensystemen ; Einführung mit Petrinetzen ; für Elektrotechniker und Informatiker, Maschinenbauer und Physiker nach dem Grundstudium ; mit 28 Tabellen Petrinetze in der Automatisierungstechnik : mit 18 Tabellen Aufgabensammlung zur Regelungstechnik : lineare u. nichtlineare Regelvorgänge ; für Elektrotechniker, Physiker u. Maschinenbauer ab 5. Sem. Prozessinformatik : Einf. mit Petrinetzen ; für Elektrotechniker u. Informatiker, Maschinenbauer u. Physiker nach d. Grundstudium Aufgabensammlung zur Regelungstechnik : lineare u. nichtlineare Regelvorgänge ; für Elektrotechniker, Physiker u. Maschinenbauer ab 5. Sem. Digitale Nachbildung stromrichtergespeister Maschinen unter besonderer Berücksichtigung der wechselrichtergespeisten reihenschlusserregten Reluktanzmaschine Entwicklung und Betrieb komplexer Automatisierungssysteme : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 6. Fachtagung, 26. bis 28. Mai 1999 in Braunschweig Entwurf komplexer Automatisierungssysteme : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 5. Fachtagung mit Tutorium, 21. bis 23. Mai 1997

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Eckehard Schnieder (1949-)

Modellbasierte Prognose der Straßenverkehrssicherheit

Modellierung von Steuerungssystemen mit Signal-Petrinetzen - eine Fallstudie aus der Automobilindustrie

Software Engineering in der Industrierobotik: der SoftRobot-Ansatz

Development and analysis of a Train-centric Distance Measurement System by means of Colored Petri Nets

Qualifizierung sicherheitsrelevanter satellitenbasierter Ortungssysteme für den Bodenverkehr

Optimierung einer induktiven Energieversorgungsinfrastruktur für den urbanen Straßenverkehr

Performability Analysis and Validation of a Large Scale Fieldbus System by Formal Methods

Zur Sicherheitsnachweisführung einer bordautonomen satellitenbasierten Ortungseinheit für den Schienenverkehr

Systematische Modellierung und Analyse verteilter Automatisierungssysteme

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

FORMS, FORMAT 2014

FORMS/FORMAT 2010 : Formal Methods for Automation and Safety in Railway and Automotive Systems

Verkehrssicherheit : Maße und Modelle, Methoden und Maßnahmen für den Straßen- und Schienenverkehr

Verkehrssicherheit : Maße und Modelle, Methoden und Maßnahmen für den Straßen- und Schienenverkehr

Entwurf komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen ; 12. Fachtagung mit Tutorium und Toolausstellung, 09. bis 10. Mai 2012 in Magdeburg, Denkfabrik im Wissenschaftshafen

FORMS, FORMAT 2012

Modeling, Simulation, and Realization of Cognitive Technical Systems

Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems

FORMS/FORMAT 2010 : Formal Methods for Automation and Safety in Railway and Automotive Systems

Wird der Verkehr automatisch sicherer? : Beschreibungsmittel, Methoden und Werkzeuge des integierten Systementwurfs zur Fahrzeug- und Verkehrsautomatisierung

Formal methods for automation and safety in railway and automotive systems : proceedings of Symposium FORMS/FORMAT 2007, Braunschweig, Germany, 25th and 26th January, 2007

Verkehrsleittechnik : Automatisierung des Straßen- und Schienenverkehrs ; mit 45 Tabellen

Entwurf komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden und Werkzeuge für Entwurf und Zuverlässigkeit von Anwendungen in Automatisierung und Verkehr ; 9. Fachtagung, 29. bis 31. Mai 2006 in Braunschweig

A guide to modelling and control with modules of signal nets

Combining formal methods and safety analysis - the ForMoSA approach

FORMS /FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems : Proceedings of Symposium FORMS /FORMAT 2004 Braunschweig, Germany, December 2nd and 3rd 2004

Interactive verification of statecharts

Entwurf komplexer Automatisierungssysteme : Entwurfsmethodik, Modellbildung, Werkzeuge und Anwendungen. 8. Fachtagung

International Workshop on Software Specification of Safety Relevant Transportation Control Tasks : 23 - 24 April 2002, Braunschweig

Engineering komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden, Tools und Anwendungen ; 7. Fachtagung ; 25. bis 27. April 2001 in Braunschweig

Forms '99 - formale Techniken für die Eisenbahnsicherung

Forms 2000 - formale Techniken für die Eisenbahnsicherung

Entwicklung und Betrieb komplexer Automatisierungssysteme : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 6. Fachtagung, 26. bis 28. Mai 1999 in Braunschweig

Methoden der Automatisierung : Beschreibungsmittel, Modellkonzepte und Werkzeuge für Automatisierungssysteme ; mit 56 Tabellen

Entwurf komplexer Automatisierungssysteme : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 5. Fachtagung mit Tutorium, 21. bis 23. Mai 1997

Entwurf komplexer Automatisierungssysteme : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 5. Fachtagung mit Tutorium, 21. bis 23. Mai 1997

Entwurf komplexer Automatisierungssysteme : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 4. Fachtagung, Braunschweig ; [7. bis 9. Juni 1995 in Braunschweig]

Prozessinformatik : Automatisierung mit Rechensystemen ; Einführung mit Petrinetzen ; für Elektrotechniker und Informatiker, Maschinenbauer und Physiker nach dem Grundstudium ; mit 28 Tabellen

Petrinetze in der Automatisierungstechnik : mit 18 Tabellen

Aufgabensammlung zur Regelungstechnik : lineare u. nichtlineare Regelvorgänge ; für Elektrotechniker, Physiker u. Maschinenbauer ab 5. Sem.

Prozessinformatik : Einf. mit Petrinetzen ; für Elektrotechniker u. Informatiker, Maschinenbauer u. Physiker nach d. Grundstudium

Aufgabensammlung zur Regelungstechnik : lineare u. nichtlineare Regelvorgänge ; für Elektrotechniker, Physiker u. Maschinenbauer ab 5. Sem.

Digitale Nachbildung stromrichtergespeister Maschinen unter besonderer Berücksichtigung der wechselrichtergespeisten reihenschlusserregten Reluktanzmaschine

Entwicklung und Betrieb komplexer Automatisierungssysteme : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 6. Fachtagung, 26. bis 28. Mai 1999 in Braunschweig

Entwurf komplexer Automatisierungssysteme : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 5. Fachtagung mit Tutorium, 21. bis 23. Mai 1997