Friedemann Bitsch

26 papers B 13Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B ed.
Computer Safety, Reliability, and Security - 44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10-12, 2025, Proceedings
SAFECOMP
Barbara Gallina, Martin Törngren, Friedemann Bitsch
2026 — ed.
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops - CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings
SAFECOMP (Workshops)
Martin Törngren, Barbara Gallina, Erwin Schoitsch, Elena Troubitsyna, Friedemann Bitsch
2024 B ed.
Computer Safety, Reliability, and Security - 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
SAFECOMP
Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch
2024 — ed.
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings
SAFECOMP (Workshops)
Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, Friedemann Bitsch
2023 B ed.
Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
SAFECOMP
Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch
2023 — ed.
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
SAFECOMP Workshops
Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch
2022 B ed.
Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings
SAFECOMP
Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch
2022 — ed.
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2022, Proceedings
SAFECOMP Workshops
Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch
2021 B ed.
Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings
SAFECOMP
Ibrahim Habli, Mark Sujan, Friedemann Bitsch
2021 — ed.
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops - DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings
SAFECOMP Workshops
Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch
2020 B ed.
Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings
SAFECOMP
António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira
2020 — ed.
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings
"SAFECOMP Workshops
António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro M. Ferreira
2019 B ed.
Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings
SAFECOMP
Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch
2019 — ed.
Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
SAFECOMP Workshops
Alexander B. Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch
2018 B ed.
Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
SAFECOMP
Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
2018 — ed.
Computer Safety, Reliability, and Security - SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
SAFECOMP Workshops
Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
2017 B ed.
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
SAFECOMP
Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
2017 — ed.
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
SAFECOMP Workshops
Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
2016 — conf
Challenges for MBSE and PLE for Legacy Product-Based System Environments.
CSDM
Michael Schäfer, Friedemann Bitsch, Stephan Weißleder, Florian Wartenberg
2016 B ed.
Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
SAFECOMP
Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch
2016 — ed.
Computer Safety, Reliability, and Security - SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
SAFECOMP Workshops
Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch
2013 B ed.
Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
SAFECOMP
Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche
2009 B conf
Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications.
SAFECOMP
Friedemann Bitsch, Ulrich Feucht, Huw Gough
2007 — —
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik.
Friedemann Bitsch
2004 — conf
Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.
SoftSpez Final Report
Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen
2001 B conf
Safety Patterns - The Key to Formal Specification of Safety Requirements.
SAFECOMP
Friedemann Bitsch