Friedemann Bitsch

According to our database, Friedemann Bitsch authored at least 5 papers between 2001 and 2016.

Collaborative distances:

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

2016

Challenges for MBSE and PLE for Legacy Product-Based System Environments.

Michael Schäfer, Friedemann Bitsch, Stephan Weißleder, Florian Wartenberg

Proceedings of the Complex Systems Design & Management, 2016

2009

Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications.

Friedemann Bitsch, Ulrich Feucht, Huw Gough

Proceedings of the Computer Safety, 2009

2007

Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik.

Friedemann Bitsch

PhD thesis, 2007

2004

Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.

Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen

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

2001

Safety Patterns - The Key to Formal Specification of Safety Requirements.

Friedemann Bitsch

Proceedings of the Computer Safety, 2001