fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: safety

Liste als BibTeX-Datei exportieren

2019

2018

  • März 2018Neural Networks for Safety-Critical Applications - Challenges, Experiments and PerspectivesChih-Hong Cheng, Frederik Diehl, Gereon Michael Hinz, Yassine Hamza, Georg Nührenberg, Markus Rickert, Harald Rueß und Michael Truong Le In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), Seiten 1005–1006, Dresden, Germany, DetailsDOIBIB
  • 2018Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive IndustryMichael M. Huber, Michael Brunner, Clemens Sauerwein, Carmen Cârlan und Ruth Breu In Proceedings of the 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2018), Band 11093 von Lecture Notes in Computer Science,Seiten 157–171, Springer. DetailsDOIBIB

2017

  • September 2017DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality SystemsSimon Barner, Alexander Diewald, Jörn Migge, Ali Abbas Jaffari Syed, Gerhard Fohler, Madeleine Faugère und Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), Seiten 259–269, IEEE. DetailsDOIBIB
  • September 2017ExplicitCase: Integrated Model-based Development of System and Safety CasesCarmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis und Sebastian Voss In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Band 10489 von LNCS,Seiten 52 – 63, Springer. DetailsDOIBIB
  • September 2017GSN Support of Mixed-Criticality Systems CertificationCarlos-Fernando Nicolas, Fernando Eizaguirre, Asier Larrucea Ortube, Simon Barner, Franck Chauvel, Goiuria Sagardui und Jon Pérez In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Seiten 157–172, Springer. DetailsDOIBIB
  • 2017Tool Support for Live Formal VerificationVincent Aravantinos und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, DetailsDOIBIB

2016

2013