Kontakt
Veröffentlichungen
 


F. Bitsch, J. Guiochet, M. Kaaniche (editors): Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Springer-Verlag, Berlin, Heidelberg, LNCS 8153, 2013. ISBN 978-3-642-40792-5, September 2013

F. Bitsch, H. Gough: Safety-related Application Conditions – A tightrope walk between Safety Relevance and Handicaps for Applications. In: Signal + Draht, 11 (2012), Eurailpress, DVV Media Group.

F. Bitsch, H. Gough: Sicherheitsbezogene Anwendungsbedingungen – Gratwanderung zwischen Sicherheitsrelevanz und unnötigen Aufwän­den für Anwendungen. In: Signal + Draht, 11 (2012), Eurailpress, DVV Media Group.

F. Bitsch, U. Feucht, H. Gough: Safety-Related Application Conditions – A Balance between Safety Relevance and Handicaps for Applications. In: Proc. of “28th International Conference on Computer Safety Reliability and Security – SAFECOMP 2009”, B. Buth, G. Rabe, T. Seyfarth (eds.), Springer-Verlag, Berlin, Heidelberg, LNCS 5775, 2009.
http://www.bitschnet.de/Safecomp2009_BtFeGo.pdf

F. Bitsch: Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik. Dissertation IAS, Universität Stuttgart, 2006. IAS-Forschungsberichte, Prof. Dr.-Ing. Dr. h. c. P. Göhner (Hrsg.), Shaker Verlag, Aachen, ISBN 978-3-8322-6035-4, Band 1/2007.
http://elib.uni-stuttgart.de/opus/volltexte/2007/3041/

F. Bitsch: Anwendbare Spezifikation formal verifizierbarer Sicherheitsanforderungen mit Safety-Pattern. In: Automatisierungstechnische Praxis (atp) 48 (2006), H. 8, S. 50-61, Oldenbourg-Verlag.
Wetere Infos

F. Bitsch, P. Göhner, F. Gutbrodt, U. Katzke, B. Vogel-Heuser: Specification of Hard Real-Time Industrial Automation Systems with UML‑PA. In: Proc. of “3rd IEEE International Conference on Industrial Informatics – INDIN 2005”.
Weitere Infos

P. Göhner, F. Bitsch, H. Mubarak: Softwaretechnik live – im Praktikum zur Projekterfahrung. In: Tagungsband „Software Engineering im Unterricht der Hoch­schulen (SEUH) 2005“, K.-P. Löhr, H. Lichter (Hrsg.), GI/ACM-Workshop, dpunkt-Verlag, 2005, S. 41-55.
Weitere Infos

S. Arabestani, F. Bitsch, J.-T. Gayen: Precise Definition of the Single-track Level Crossing in Radio-based Operation in UML Notation and Specification of Safety Requirements. In: “Integration of Software Specification Techniques for Applications in Engineering”, H. Ehrig et al. (eds.), LNCS 3147, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 119-144.
Weitere Infos

F. Bitsch: A Way for Applicable Formal Specification of Safety Requirements by Tool-Support. In: Proc. of “FORMS 2003 – Symposium on Formal Methods for Railway Operation and Control Systems”, E. Schnieder, G. Tarnai (eds.), L’Harmattan, Budapest, Hungary, 2003, pp. 175-185. 
Weitere Infos

F. Bitsch: Process Model for the Development of System Requirements Specifications for Railway Systems. In: “International Workshop on Software Specification of Safety Relevant Transportation Control Tasks”, E. Schnieder (ed.), VDI-Fortschrittbericht, Düsseldorf, Reihe12 Verkehrs­technik / Fahrzeugtechnik, Nr. 535, 2002, pp. 75-90.
Weitere Infos

F. Bitsch: Requirements on Methods and Techniques in Perspective to Approval Process for Railway Systems. In: Proc. of “2nd International Workshop on Integration of Specification Techniques for Applications in Engineering” – Satellite Event of ETAPS 2002.
Weitere Infos

F. Bitsch; P. Göhner: Spezifikation von Sicherheitsanforderungen mit Safety-Patterns. In: Tagungsband „Software Engineering in der industriellen Praxis“, VDI-Bericht-Nr. 1666, VDI Verlag GmbH, Düsseldorf, 2002, S. 29-40.
Weitere Infos

F. Bitsch: Safety Patterns – The Key to Formal Specification of Safety Requirements. In: Proc. of “20th International Conference on Computer Safety Reliability and Security – SAFECOMP 2001”, U. Voges (ed.), Springer-Verlag, Berlin, Heidelberg, LNCS 2187, 2001, pp. 176-189.
Weitere Infos

F. Bitsch: Classification of Safety Requirements for Formal Verification of Software Models of Industrial Automation Systems. In: Proc. of “13th International Conference Software and Systems Engineering and Applications (ICSSEA) 2000”, CNAM – Paris, 2000.
Weitere Infos

F. Bitsch, E. Canver, A. Moik: Strukturierte Erstellung von Sicherheits­spezifikationen in UML mithilfe der FMEA-Methode. In: „Forms ‚99 – Formale Techniken für die Eisenbahnsicherung“, E. Schnieder (Hrsg.), Fortschritt-Berichte VDI, Reihe 12, Verkehrstechnik/Fahrzeugtechnik, Nr. 436, VDI Verlag GmbH, Düsseldorf, 2000, S. 225-245.
Weitere Infos

F. Bitsch, M. Gunzert: Formale Verifikation von Softwarespezifikationen in ASCET-SD und Matlab. In: Tagungsband der Fachtagung „Verteilte Automatisierung 2000“, Magdeburg, 2000.
Weitere Infos