Export list as BibTeX file

2024

• November 2024 Continuous safety & security evidence generation, curation and assurance case construction using the Evidential Tool Bus Natarajan Shankar, Minyoung Kim, Huascar Sanchez, Harald Rueß, Tewodros Beyene, Radouane Bouchekir and et al. In 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), IEEE. Details URL DOI BIB
• May 2024 Where Do You Look When Unlocking Your Phone? A Field Study of Gaze Behaviour During Smartphone Unlock Yasmeen Abdrabou, Tatiana Omelina, Felix Dietz, Mohamed Khamis, Florian Alt and Mariam Hassib In CHI Conference on Human Factors in Computing Systems., ACM. Details DOI BIB
• February 2024 Dynamic Event-based Optical Identification and Communication Axel von Arnim, Jules Lecomte, Stanislaw Wozniak, Naima Elosegui and Angeliki Pantazi Frontiers in Neurorobotics, 18():, February 2024. Details URL DOI BIB

2023

• August 2023 Generating Event-Based Datasets for Robotic Applications Using MuJoCo-ESIM Camilo Amaya, Gintautas Palinauskas, Evan Eames, Michael Neumeier and Axel von Arnim In Proceedings of the 2023 International Conference on Neuromorphic Systems, volume 1 of ICONS 23, pages 7, New York, NY, USA, Association for Computing Machinery, Association for Computing Machinery. Details URL DOI BIB
• June 2023 Formal Verification for Safe AI-based Flight Planning for UAVs Radouane Bouchekir, Michell Guzman Cancimance, Cook Alasdair, Johannes Haindl and Riqaq Woolnough In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), IEEE. Details URL DOI BIB

2021

• December 2021 Requirements for Reliable Wireless Industrial Services (draft-ietf-raw-industrial-requirements-00) Rute C. Sofia, Matthias Kovatsch and Paulo M. Mendes Details URL BIB
• February 2021 RMC Factory: A New Approach for Avionics Software Reuse Laurent Dieudonne, Andreas Bayha and Benedikt Müller In 3rd Workshop on Avionics Systems and Software Engineering (AvioSE21, SE 2021 Satellite Events), volume 2814, CEUR-WS. Details URL BIB

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

2019

• July 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko and Roland Meyer In Computer Aided Verification (CAV) 2019., volume 11561 of LNCS, Springer, Cham. Details DOI BIB
• January 2019 Structure and behavior preserving statecharts refinements Eugene Syriani, Vasco Sousa and Levi Lúcio Science of Computer Programming, 170():49–79, January 2019. Details DOI BIB