fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Export list as BibTeX file

2021

2020

  • December 2020 A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control Yuri Gil Dantas, Vivek Nigam and Carolyn Talcott In IEEE Vehicular Networking Conference (VNC), pages 1-8, IEEE. Details DOI BIB
  • December 2020 Architectures for Flexible Collaborative Systems Birthe Böhm, Carmen Cârlan, Annelie Sohr, Stephan Unverdorben and Jan Vollmar Springer International Publishing, Details DOI BIB
  • December 2020 Linear Differential Games for Cooperative Behavior Planning of Autonomous Vehicles Using Mixed-Integer Programming Tobias Kessler, Klemens Esterle and Alois Knoll In Proceedings of 59th IEEE Conference on Decision and Control (CDC), Seogwipo, South Korea, Details BIB
  • November 2020 A Review on Scaling Mobile Sensing Platforms for Human Recognition: Challenges and Recommendations for Future Research Liliana I. Carvalho and Rute C. Sofia MDPI IoT, November 2020. https://doi.org/10.3390/iot1020025, ():, November 2020. Details URL DOI BIB
  • November 2020 Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis Carmen Cârlan and Barbara Gallina In Proceedings of the 30th European Safety and Reliability Conference (ESREL-2020), Details DOI BIB
  • November 2020 Harmonic frequency estimation with MEMO-ESPRIT Technique using MATLAB and Python Ankit Srivastava, AN Tiwari, Venkatesh Pampana and SN Singh volume , pages 1–4, , edition, November 2020. , . Details BIB
  • October 2020 6D Pose Estimation for Flexible Production with Small Lot Sizes based on CAD Models using Gaussian Process Implicit Surfaces Jianjie Lin, Markus Rickert and Alois Knoll In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Las Vegas, NV, USA, Details BIB