 |
 |
M. Schäfer, F. Bitsch, F. Wartenberg, S. Weissleder: Challenges for MBSE and PLE for legacy product based system environments publication. In: Proc. of the “7th International Conference on Complex Systems Design & Management, CSD&M in Paris 2016”, G. Fanmuy, E. Goubault, D. Krob, F. Stephan (eds.), Springer-Verlag, pp. 3-15. A. Skavhaug, J. Guiochet, E. Schoitsch, F. Bitsch (Herausgeber): Computer Safety, Reliability, and Security: 35th International Conference, Workshops of SAFECOMP 2016, Springer-Verlag, Switzerland, LNCS 9923, 2016. ISBN 978-3-319-45479-5 / 978-3-319-45480-1. A. Skavhaug, J. Guiochet, F. Bitsch (Herausgeber): Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Springer-Verlag, Switzerland, LNCS 9922, 2016. ISBN 978-3-319-45476-4 / 978-3-319-45477-1. 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änden 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. 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. F. Bitsch: Anwendbare Spezifikation formal verifizierbarer Sicherheitsanforderungen mit Safety-Pattern. In: Automatisierungstechnische Praxis (atp) 48 (2006), H. 8, S. 50-61, Oldenbourg-Verlag. 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”. P. Göhner, F. Bitsch, H. Mubarak: Softwaretechnik live – im Praktikum zur Projekterfahrung. In: Tagungsband „Software Engineering im Unterricht der Hochschulen (SEUH) 2005“, K.-P. Löhr, H. Lichter (Hrsg.), GI/ACM-Workshop, dpunkt-Verlag, 2005, S. 41-55. 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. 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. 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 Verkehrstechnik / Fahrzeugtechnik, Nr. 535, 2002, pp. 75-90. 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. 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. 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. 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. F. Bitsch, E. Canver, A. Moik: Strukturierte Erstellung von Sicherheitsspezifikationen 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. F. Bitsch, M. Gunzert: Formale Verifikation von Softwarespezifikationen in ASCET-SD und Matlab. In: Tagungsband der Fachtagung „Verteilte Automatisierung 2000“, Magdeburg, 2000. |
