Reconstructing Architectural Views from Legacy Systems. - Ghizlane El-Boussaidi; Alvine Boaye Belle; Stéphane Vaucher; Hafedh Mili (WCRE, 2012)

The Layered Architecture revisited: Is it an Optimization Problem? - Alvine Boaye Belle; Ghizlane El-Boussaidi; Christian Desrosiers; Hafedh Mili (SEKE, 2013)

Recovering Software Layers from Object Oriented Systems. - Alvine Boaye Belle; Ghizlane El-Boussaidi; Hafedh Mili (ENASE, 2014)

The Layered Architecture Recovery as a Quadratic Assignment Problem. - Alvine Boaye Belle; Ghizlane El-Boussaidi; Christian Desrosiers; Segla Kpodjedo; Hafedh Mili (ECSA, 2015)

Combining lexical and structural information to reconstruct software layers. - Alvine Boaye Belle; Ghizlane El-Boussaidi; Segla Kpodjedo (Inf. Softw. Technol., 2016)

Improving formal analysis of state machines with particular emphasis on and-cross transitions. - Opeyemi O. Adesina; Timothy C. Lethbridge; Stéphane S. Somé; Vahdat Abdelzad; Alvine Boaye Belle (Comput. Lang. Syst. Struct., 2018)

Design and implementation of distributed expert systems: On a control strategy to manage the execution flow of rule activation. - Alvine Boaye Belle; Timothy C. Lethbridge; Miguel Garzón; Opeyemi O. Adesina (Expert Syst. Appl., 2018)

A Novel Approach to Measure Confidence and Uncertainty in Assurance Cases. - Alvine Boaye Belle; Timothy C. Lethbridge; Sègla Kpodjedo; Opeyemi O. Adesina; Miguel A. Garzón (RE Workshops, 2019)

Estimation and Prediction of technical debt: a proposal. - Alvine Boaye Belle (CoRR, 2019)

Systematically reviewing the layered architectural pattern principles and their use to reconstruct software architectures. - Alvine Boaye Belle; Ghizlane El-Boussaidi; Timothy C. Lethbridge; Segla Kpodjedo; Hafedh Mili; Andrés Paz (CoRR, 2021)

A checklist-based approach to assess the systematicity of the abstracts of reviews self-identifying as systematic reviews. - Alvine Boaye Belle; Yixi Zhao (APSEC, 2022)

A new measure to assess the systematicity of the abstracts of reviews self-identifying as systematic reviews. - Alvine Boaye Belle; Yixi Zhao (APSEC, 2022)

Probing AndroVul dataset for studies on Android malware classification. - Zakeya Namrud; Sègla Kpodjedo; Chamseddine Talhi; Alvine Boaye Belle (J. King Saud Univ. Comput. Inf. Sci., 2022)

Position Paper: A Vision for the Dynamic Safety Assurance of ML-Enabled Autonomous Driving Systems. - Alvine Boaye Belle; Hadi Hemmati; Timothy C. Lethbridge (REW, 2023)

A Survey on Automated Software Vulnerability Detection Using Machine Learning and Deep Learning. - Nima Shiri Harzevili; Alvine Boaye Belle; Junjie Wang 001; Song Wang 009; Zhen Ming Jiang; Nachiappan Nagappan (CoRR, 2023)

A First Look at Fairness of Machine Learning Based Code Reviewer Recommendation. - Mohammad Mahdi Mohajer; Alvine Boaye Belle; Nima Shiri Harzevili; Junjie Wang 001; Hadi Hemmati; Song Wang 009; Zhen Ming Jiang (CoRR, 2023)

SkipAnalyzer: An Embodied Agent for Code Analysis with Large Language Models. - Mohammad Mahdi Mohajer; Reem Aleithan; Nima Shiri Harzevili; Moshi Wei; Alvine Boaye Belle; Hung Viet Pham; Song Wang 009 (CoRR, 2023)

The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis. - Mithila Sivakumar; Alvine Boaye Belle; Jinjun Shan; Opeyemi Adesina; Song Wang 009; Marsha Chechik; Marios Fokaefs; Kimya Khakzad Shahandashti; Oluwafemi Odu (CoRR, 2023)

GPT-4 and Safety Case Generation: An Exploratory Analysis. - Mithila Sivakumar; Alvine Boaye Belle; Jinjun Shan; Kimya Khakzad Shahandashti (CoRR, 2023)

A Survey on Query-based API Recommendation. - Moshi Wei; Nima Shiri Harzevili; Alvine Boaye Belle; Junjie Wang 001; Lin Shi 006; Jinqiu Yang 001; Song Wang 009; Zhen Ming Jiang (CoRR, 2023)

Evidence-based decision-making: On the use of systematicity cases to check the compliance of reviews with reporting guidelines such as PRISMA 2020. - Alvine Boaye Belle; Yixi Zhao (Expert Syst. Appl., 2023)

Bolstering the Persistence of Black Students in Undergraduate Computer Science Programs: A Systematic Mapping Study. - Alvine Boaye Belle; Callum Sutherland; Opeyemi O. Adesina; Sègla Kpodjedo; Nathanael Ojong; Lisa Cole (ACM Trans. Comput. Educ., 2023)

Effectiveness of ChatGPT for Static Analysis: How Far Are We? - Mohammad Mahdi Mohajer; Reem Aleithan; Nima Shiri Harzevili; Moshi Wei; Alvine Boaye Belle; Hung Viet Pham; Song Wang 009 (AIware, 2024)

Fairness Analysis of Machine Learning-Based Code Reviewer Recommendation. - Mohammad Mahdi Mohajer; Alvine Boaye Belle; Nima Shiri Harzevili; Junjie Wang 001; Hadi Hemmati; Song Wang 009; Zhen Ming (Jack) Jiang (BIAS, 2024)

Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance Cases. - Kimya Khakzad Shahandashti; Mithila Sivakumar; Mohammad Mahdi Mohajer; Alvine Boaye Belle; Song Wang 009; Timothy Lethbridge (FORGE, 2024)

Assuring the emotional and cultural intelligence of intelligent software systems. - Alvine Boaye Belle (MO2RE@ICSE, 2024)

Preface. - Ana Moreira 001; Gunter Mussbacher; João Araújo 001; Pablo Sánchez 002; Alvine Boaye Belle (RE Workshops, 2024)

Using GPT-4 Turbo to Automatically Identify Defeaters in Assurance Cases. - Kimya Khakzad Shahandashti; Alvine Boaye Belle; Mohammad Mahdi Mohajer; Oluwafemi Odu; Timothy C. Lethbridge; Hadi Hemmati; Song Wang 009 (RE Workshops, 2024)

Design of the Safety Case of the Reinforcement Learning-Enabled Component of a Quanser Autonomous Vehicle. - Mithila Sivakumar; Alvine B. Belle; Jinjun Shan; Oluwafemi Odu; Mingfeng Yuan (RE Workshops, 2024)

Exploring the Capabilities of Large Language Models for the Generation of Safety Cases: the Case of GPT-4. - Mithila Sivakumar; Alvine Boaye Belle; Jinjun Shan; Kimya Khakzad Shahandashti (RE Workshops, 2024)

I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems. - Mithila Sivakumar; Alvine Boaye Belle; Kimya Khakzad Shahandashti; Oluwafemi Odu; Hadi Hemmati; Segla Kpodjedo; Song Wang 009; Opeyemi O. Adesina (CoRR, 2024)

Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases. - Kimya Khakzad Shahandashti; Mithila Sivakumar; Mohammad Mahdi Mohajer; Alvine Boaye Belle; Song Wang 009; Timothy C. Lethbridge (CoRR, 2024)

A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns. - Oluwafemi Odu; Alvine Boaye Belle; Song Wang 009; Kimya Khakzad Shahandashti (CoRR, 2024)

Program Slicing in the Era of Large Language Models. - Kimya Khakzad Shahandashti; Mohammad Mahdi Mohajer; Alvine Boaye Belle; Song Wang 009; Hadi Hemmati (CoRR, 2024)

Biases in gendered citation practices: an exploratory study and some reflections on the Matthew and Matilda effects. - Karolina Tchilinguirova; Alvine Boaye Belle; Gouled Mahamud (CoRR, 2024)

SmartGSN: a generative AI-powered online tool for the management of assurance cases. - Oluwafemi Odu; Daniel Méndez Beltrán; Emiliano Berrones Gutiérrez; Alvine B. Belle; Melika Sherafat (CoRR, 2024)

Prompting GPT -4 to support automatic safety case generation. - Mithila Sivakumar; Alvine Boaye Belle; Jinjun Shan; Kimya Khakzad Shahandashti (Expert Syst. Appl., 2024)

A PRISMA-driven systematic mapping study on system assurance weakeners. - Kimya Khakzad Shahandashti; Alvine Boaye Belle; Timothy C. Lethbridge; Oluwafemi Odu; Mithila Sivakumar (Inf. Softw. Technol., 2024)

LLM-Based Safety Case Generation for Baidu Apollo: Are We there Yet? - Oluwafemi Odu; Alvine Boaye Belle; Song Wang 009 (CAIN, 2025)

Program Slicing in the Era of Large Language Models. - Kimya Khakzad Shahandashti; Mohammad Mahdi Mohajer; Alvine Boaye Belle; Song Wang 009; Hadi Hemmati Lassonde (COMPSAC, 2025)

SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases. - Oluwafemi Odu; Daniel Méndez Beltrán; Emiliano Berrones Gutiérrez; Alvine B. Belle; Gerhard Yu; Melika Sherafat (SAFECOMP, 2025)

Automatic instantiation of assurance cases from patterns using large language models. - Oluwafemi Odu; Alvine B. Belle; Song Wang 009; Segla Kpodjedo; Timothy C. Lethbridge; Hadi Hemmati (J. Syst. Softw., 2025)

A Systematic Literature Review on Automated Software Vulnerability Detection Using Machine Learning. - Nima Shiri Harzevili; Alvine Boaye Belle; Junjie Wang 001; Song Wang 009; Zhen Ming (Jack) Jiang; Nachiappan Nagappan (ACM Comput. Surv., 2025)

A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights. - Zhili Zeng; Kimya Khakzad Shahandashti; Alvine Boaye Belle; Song Wang 009; Zhen Ming Jiang (CoRR, 2025)