5068_gaaloul1.jpg

Khouloud Gaaloul

Software Engineering (SE) Software Refactoring Model Checking Verification Of Cyber-Physical Systems Software Architecture And Design Patterns
University of Michigan (Dearborn) Computer and Information Science

About

Dr. Khouloud Gaaloul, Ph.D. is an Assistant Professor in the Computer and Information Science (CIS) Department at University of Michigan–Dearborn, where she teaches and conducts research in software engineering, artificial intelligence, machine learning, optimization, and intelligent systems. She earned her Ph.D. from the University of Luxembourg and has published work on topics such as software refactoring, model checking, and verification of cyber‑physical systems. At UM‑Dearborn she teaches courses including Software Engineering and Software Architecture and Design Patterns.

Research Performance Summary

16
Total Papers
246
Total Citations
6
H-Index
1993-2025
Active Research Span

First Recorded Paper

DOCTEUR DE L’UNIVERSITÉ DU LUXEMBOURG EN INFORMATIQUE

Year: 1993

Citations: 0

Venue: University of Waterloo, Canada

Latest Recorded Paper

Automated Test Oracles for Flaky Cyber-Physical System Simulators: Approach and Evaluation

Year: 2025

Citations: 0

Venue: arXiv e-prints, arXiv: 2508.20902

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

2025
6
2024
1
2023
1
2021
4
2020
1
2019
2
1993
1

Publication Venues and Collaboration

Journal, Conference, and Book Publication Breakdown

Conference 6
Journal 2
Book 2

Top Coauthors

Gaaloul Nejati Menghi

Research Impact by Period

2025-2026

Period Stats
Papers 6
Citations 3
Avg. Citations / Paper 0.5
H-Index 1

2020-2024

Period Stats
Papers 7
Citations 99
Avg. Citations / Paper 14.1
H-Index 5

2015-2019

Period Stats
Papers 2
Citations 144
Avg. Citations / Paper 72
H-Index 2

1990-1994

Period Stats
Papers 1
Citations 0
Avg. Citations / Paper 0
H-Index 0

Contact and Professional Links

Contact Information

kgaaloul@umich.edu
3135935364

Detected Research Keywords

Cyber Physical Systems Architectural Transformations Emerging Transformations Emerging Verification Emerging Verification Demands Verification Demands Ai Demands Ai Enabled Ai Enabled Cyber Enabled Cyber Physical Flaky Cyber Physical Cyber Physical System