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, December 2020. 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, December 2020. 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, December 2020. 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), November 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 pages 1–4, 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, October 2020. Details BIB
  • October 2020 A Discussion on Context-awareness to Better Support the IoT Cloud/Edge Continuum Daniel Maniglia da Silva and Rute C. Sofia IEEE Access, volume 8. DOI: 10.1109/ACCESS.2020.3032388, ():, October 2020. Details URL BIB
  • October 2020 BARK: Open Behavior Benchmarking in Multi-Agent Environments Julian Bernhard , Klemens Esterle , Patrick Hart and Tobias Kessler In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Las Vegas, NV, USA, October 2020. Details BIB
  • October 2020 Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products Carmen Cârlan , Daniel Petrișor , Barbara Gallina and Hannes Schoenhaar In Proceedings of the 10th IEEE International Workshop on Software Certification (WoSoCer) co-located with ISSRE, October 2020. IEEE. Details URL BIB
  • October 2020 Formalizing Traffic Rules for Machine Interpretability Klemens Esterle , Luis Gressenbuch and Alois Knoll In Proceedings of the 3rd IEEE Connected and Automated Vehicles Symposium (CAVS), Victoria, B.C. Canada, October 2020. Details BIB
  • October 2020 Graph Neural Networks and Reinforcement Learning for Behavior Generation in Semantic Environments Patrick Hart and Alois Knoll In In Proceedings of the 31st IEEE Intelligent Vehicles Symposium (IV), October 2020. Details BIB
  • October 2020 Optimal Behavior Planning for Autonomous Driving: A Generic Mixed-Integer Formulation Klemens Esterle , Tobias Kessler and Alois Knoll In Proceedings of the 31st IEEE Intelligent Vehicles Symposium (IV), Las Vegas, NV, USA, October 2020. Details BIB
  • September 2020 FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases Carmen Cârlan and Daniel Ratiu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12234 of LNCS, pages 298–306, September 2020. Springer. Details DOI BIB
  • September 2020 A Safety Case Pattern for Systems with Machine Learning Components Ernest Wozniak , Carmen Cârlan , Esra Acar-Celik and Henrik J. Putzer In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12235 of LNCS, pages 370–382, September 2020. Springer. Details DOI BIB
  • September 2020 An Ontology-based Metamodel for Capability Descriptions Michael Weser , Jürgen Bock , Siwara Schmitt , Alexander Perzylo and Kathrin Evers In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), pages 1679–1685, Vienna, Austria, September 2020. Details DOI BIB
  • September 2020 Firefighter Virtual Reality Simulation for Personalized Stress Detection Sören Klingner , Zhiwei Han , Yuanting Liu , Fang Fang , Bashar Altakrouri , Bruno Michel , Jonas R. M. Weiss , Arvind Sridhar and Sophie Mai Chau In the 43rd German Conference on AI, pages 343-347, September 2020. Springer. Details BIB