A Formal Specification Model of Survivability for Pervasive Systems. - Adel Ayara; Faïza Najjar (ISPA, 2008)

An Ontological Model for Map Data in Automotive Systems. - Yogita Suryawanshi; Haonan Qiu; Adel Ayara; Birte Glimm (AIKE, 2019)

Ontology-based Processing of Dynamic Maps in Automated Driving. - Haonan Qiu; Adel Ayara; Birte Glimm (KEOD, 2020)

A Knowledge Architecture Layer for Map Data in Autonomous Vehicles. - Haonan Qiu; Adel Ayara; Birte Glimm (ITSC, 2020)

A Knowledge-Spatial Architecture for Processing Dynamic Maps in Automated Driving. - Haonan Qiu; Adel Ayara; Birte Glimm (ISWC (Demos/Industry), 2020)

Ontology-Based Map Data Quality Assurance. - Haonan Qiu; Adel Ayara; Birte Glimm (ESWC, 2021)

A Knowledge Layer in Data-Centric Architectures in the Automotive Industry. - Haonan Qiu; Adel Ayara; Christian Muehlbauer (KEOD, 2023)