4221_ebnenasir-personnel.jpg

Ali Ebnenasir

Software Engineering (SE) Formal Methods For Software Development High Assurance Computing Dependable Computing Mission-Critical Embedded Systems
Michigan Technological University Computer Science

About

Ali Ebnenasir received his B.E. in 1994 with an honor degree in Computer Engineering from the University of Isfahan, Iran, his M.E. degree in 1998 in Software Engineering from Iran University of Science and Technology, Tehran, Iran, and his Ph.D. in 2005 in Computer Science from Michigan State University. Ali’s PhD dissertation was nominated for the ACM Doctoral Dissertation Award in 2005. Ali also worked as a postdoctoral researcher at the Software Engineering and Network Systems Laboratory at Michigan State University from August 2005 until August 2006. His research and teaching interests include software engineering, formal methods for software development, high assurance and dependable computing, parallel and distributed computing, and mission-critical embedded systems. Before joining the Department of Computer Science and Engineering at Michigan State University for his Ph.D. program, he worked both in the industry and as a part-time lecturer in academia from 1998 to 2001. As a graduate student, he was awarded an IEEE Computer Society Travel grant, and the Dissertation Completion Fellowship and Graduate Office Fellowship from the Graduate School at Michigan State University. He has published several papers in major international journals and conferences such as IEEE Transaction on Dependable and Secure Computing (TDSC), ACM Transactions on Software Engineering and Methodology (TOSEM), International journal on Software Tools for Technology Transfer (STTT), IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE International Conference on Distributed Computing Systems (ICDCS), European Dependable Computing Conference (EDCC), and ACM SIGSOFT Foundations of Software Engineering.

Research Performance Summary

97
Total Papers
730
Total Citations
16
H-Index
2000-2026
Active Research Span

First Recorded Paper

A comparison and combination of theory generation and model checking for security protocol analysis

Year: 2000

Citations: 4

Venue: Proceedings of the Workshop on Formal Methods in Computer Security

Latest Recorded Paper

Q-Aware: A Lightweight Crosscutting Track for Educating T-Shaped Quantum-Aware Computer Science and Software Engineering Students

Year: 2026

Citations: 0

Venue: N/A

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

2026
1
2025
5
2024
6
2023
6
2022
5
2021
2
2020
1
2019
4
2018
1
2017
1
2016
1

Publication Venues and Collaboration

Journal, Conference, and Book Publication Breakdown

Conference 45
Journal 15
Book 8

Top Coauthors

Ebnenasir Kulkarni Hajisheykhi

Research Impact by Period

2025-2026

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

2020-2024

Period Stats
Papers 20
Citations 75
Avg. Citations / Paper 3.8
H-Index 4

2015-2019

Period Stats
Papers 11
Citations 30
Avg. Citations / Paper 2.7
H-Index 4

2010-2014

Period Stats
Papers 26
Citations 174
Avg. Citations / Paper 6.7
H-Index 9

2005-2009

Period Stats
Papers 24
Citations 286
Avg. Citations / Paper 11.9
H-Index 9

2000-2004

Period Stats
Papers 10
Citations 164
Avg. Citations / Paper 16.4
H-Index 7

Contact and Professional Links

Contact Information

aebnenas@mtu.edu
9064874372

Detected Research Keywords

Automatic Synthesis Fault Failsafe Fault Tolerance Synthesis Fault Tolerance Transaction Level Systemc Framework Automatic Synthesis Mechanical Verification Automatic Verification Automatic Synthesis Level Systemc Programs Tpgen Stabilizing Gpu Revising Unity Programs