9 citations · 23 across the 20 of their papers we have counts for
8 papers · 1 filter
Biases in gendered citation practices: an exploratory study and some reflections on the Matthew and Matilda effects
Karolina Tchilinguirova, Alvine Boaye Belle, Gouled Mahamud
Recent studies conducted in different scientific disciplines have concluded that researchers belonging to some socio-cultural groups (e.g., women, racialized people) are usually le…
Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
Oluwafemi Odu, Alvine B. Belle, Song Wang +3
An assurance case is a structured set of arguments supported by evidence, demonstrating that a system's non-functional requirements (e.g., safety, security, reliability) have been…
SmartGSN: an online tool to semi-automatically manage assurance cases
Oluwafemi Odu, Daniel Méndez Beltran, Emiliano Berrones Gutiérrez +3
Developing industry-wide standards and ensuring producers of mission-critical systems comply with them is crucial to fostering consumer acceptance. Producers of such systems can re…
Program Slicing in the Era of Large Language Models
Kimya Khakzad Shahandashti, Mohammad Mahdi Mohajer, Alvine Boaye Belle +2
Program slicing is a critical technique in software engineering, enabling developers to isolate relevant portions of code for tasks such as bug detection, code comprehension, and d…
A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
Oluwafemi Odu, Alvine Boaye Belle, Song Wang +1
Justifying the correct implementation of the non-functional requirements (e.g., safety, security) of mission-critical systems is crucial to prevent system failure. The later could…
Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
Kimya Khakzad Shahandashti, Mithila Sivakumar, Mohammad Mahdi Mohajer +3
Assurance cases (ACs) are structured arguments that support the verification of the correct implementation of systems' non-functional requirements, such as safety and security, the…
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
Mithila Sivakumar, Alvine B. Belle, Kimya Khakzad Shahandashti +5
The execution failure of cyber-physical systems (e.g., autonomous driving systems, unmanned aerial systems, and robotic systems) could result in the loss of life, severe injuries,…
A Survey on Query-based API Recommendation
Moshi Wei, Nima Shiri Harzevili, Alvine Boaye Belle +6
Application Programming Interfaces (APIs) are designed to help developers build software more effectively. Recommending the right APIs for specific tasks has gained increasing atte…