FIND PROFESSORS AND RESEARCH OPPORTUNITIES

YourScholar.ai helps discover professors by research area, explore academic profiles, and find potential collaboration opportunities for Master's, PhD, and scholarship applications.

850_dung-tran-.jpg

Dung Tran

Formal Verification Specification And Modeling Languages AI Safety Verification And Validation For Learning-Enabled Autonomy Cyber-Physical Systems

Research Performance Summary

72
Total Papers
3196
Total Citations
26
H-Index
2011-2026
Active Research Span

First Recorded Paper

Fuzzy adaptive control of networked control system with unknown time-delay

Year: 2011

Citations: 13

Venue: Proceedings of the 30th Chinese Control Conference

Latest Recorded Paper

Quantitative verification of learning-enabled systems using ProbStar reachability

Year: 2026

Citations: 0

Venue: Nonlinear Analysis: Hybrid Systems 59

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

2026
1
2025
7
2024
3
2023
8
2022
4
2021
5
2020
10
2019
10
2018
8
2017
7
2016
3

Publication Venues and Collaboration

Journal, Conference, and Book Publication Breakdown

Conference 35
Journal 10
Book 1

Top Coauthors

Tran Johnson Xiang

Research Impact by Period

2025-2026

Period Stats
Papers 8
Citations 20
Avg. Citations / Paper 2.5
H-Index 3

2020-2024

Period Stats
Papers 30
Citations 1484
Avg. Citations / Paper 49.5
H-Index 16

2015-2019

Period Stats
Papers 29
Citations 1589
Avg. Citations / Paper 54.8
H-Index 14

2010-2014

Period Stats
Papers 5
Citations 103
Avg. Citations / Paper 20.6
H-Index 4

Contact and Professional Links

Contact Information

dungtran@ufl.edu

Professional Links

Google Scholar
University Page

Detected Research Keywords

Cyber Physical Systems Reachable Set Estimation Verification Neural Networks Neural Network Verification Linear Differential Algebraic Differential Algebraic Equations Learning Enabled Cyber Enabled Cyber Physical Neural Network Control Network Control Systems