CUFinder

ThanhVu (Vu) Nguyen

ThanhVu (Vu) Nguyen

University of Nebraska-Lincoln

H-index: 17

North America-United States

Contact ThanhVu (Vu) Nguyen

About ThanhVu (Vu) Nguyen

ThanhVu (Vu) Nguyen, With an exceptional h-index of 17 and a recent h-index of 15 (since 2020), a distinguished researcher at University of Nebraska-Lincoln, specializes in the field of Software Engineering, Formal Methods, Software Testing and Verification, AI Safety.

His recent articles reflect a diverse array of research interests and contributions to the field:

Triggering Modes in Spectrum-Based Multi-location Fault Localization

A DPLL (T) Framework for Verifying Deep Neural Networks

DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing

Graph Learning for Interactive Threat Detection in Heterogeneous Smart Home Rule Data

Systems, methods, and media for fault localization in declarative specification languages

COOLIO: A Language Support Extension for the Classroom Object Oriented Language

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

ATR: template-based repair for Alloy specifications

ThanhVu (Vu) Nguyen Information

University

Position

Assistant Professor Computer Science & Engineering

Citations(all)

3747

Citations(since 2020)

1769

Cited By

2669

hIndex(all)

17

hIndex(since 2020)

15

i10Index(all)

24

i10Index(since 2020)

16

Email

University Profile Page

Google Scholar

ThanhVu (Vu) Nguyen Skills & Research Interests

Software Engineering

Formal Methods

Software Testing and Verification

AI Safety

Top articles of ThanhVu (Vu) Nguyen

Triggering Modes in Spectrum-Based Multi-location Fault Localization

2023/11/30

Na Meng
Na Meng

H-Index: 14

A DPLL (T) Framework for Verifying Deep Neural Networks

arXiv preprint arXiv:2307.10266

2023/7/17

Matthew Dwyer
Matthew Dwyer

H-Index: 22

DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing

arXiv preprint arXiv:2306.15584

2023/6/27

Eric Koskinen
Eric Koskinen

H-Index: 14

Graph Learning for Interactive Threat Detection in Heterogeneous Smart Home Rule Data

Proceedings of the ACM on Management of Data

2023/5/30

Qi Wang
Qi Wang

H-Index: 13

Qiben Yan
Qiben Yan

H-Index: 17

Systems, methods, and media for fault localization in declarative specification languages

2023/2/16

COOLIO: A Language Support Extension for the Classroom Object Oriented Language

arXiv preprint arXiv:2302.04926

2023/2/9

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

2022/10/10

Guolong Zheng
Guolong Zheng

H-Index: 2

Hamid Bagheri
Hamid Bagheri

H-Index: 4

Nazareno Aguirre
Nazareno Aguirre

H-Index: 11

ATR: template-based repair for Alloy specifications

2022/7/18

Guolong Zheng
Guolong Zheng

H-Index: 2

Nazareno Aguirre
Nazareno Aguirre

H-Index: 11

Hamid Bagheri
Hamid Bagheri

H-Index: 4

Analyzing the CMake build system

2022/5/22

Kimhao Nguyen
Kimhao Nguyen

H-Index: 1

SymInfer: inferring numerical invariants using symbolic states

2022/5/22

Kimhao Nguyen
Kimhao Nguyen

H-Index: 1

Dynaplex: inferring asymptotic runtime complexity of recursive programs

2022/5/22

Didier Ishimwe
Didier Ishimwe

H-Index: 0

Kimhao Nguyen
Kimhao Nguyen

H-Index: 1

Toward the analysis of graph neural networks

2022/5/21

Thanh-Dat Nguyen
Thanh-Dat Nguyen

H-Index: 23

Thanh Le-Cong
Thanh Le-Cong

H-Index: 1

Artifact of ‘FLACK: Counterexample-Guided Fault Localization for Alloy Models’

2021/5/25

Guolong Zheng
Guolong Zheng

H-Index: 2

Nazareno Aguirre
Nazareno Aguirre

H-Index: 11

Hamid Bagheri
Hamid Bagheri

H-Index: 4

Bounded exhaustive search of alloy specification repairs

2021/5/22

Guolong Zheng
Guolong Zheng

H-Index: 2

Hamid Bagheri
Hamid Bagheri

H-Index: 4

Nazareno Aguirre
Nazareno Aguirre

H-Index: 11

GenTree: Using decision trees to learn interactions for configurable software

2021/5/22

Kimhao Nguyen
Kimhao Nguyen

H-Index: 1

FLACK: Counterexample-guided fault localization for alloy models

2021/5/22

Guolong Zheng
Guolong Zheng

H-Index: 2

Nazareno Aguirre
Nazareno Aguirre

H-Index: 11

Hamid Bagheri
Hamid Bagheri

H-Index: 4

GenTree

2021

FLACK: Localizing Faults in Alloy Models

2021/11/15

Guolong Zheng
Guolong Zheng

H-Index: 2

Nazareno Aguirre
Nazareno Aguirre

H-Index: 11

Hamid Bagheri
Hamid Bagheri

H-Index: 4

GenTree: Inferring Configuration Interactions using Decision Trees

2021/11/15

Kimhao Nguyen
Kimhao Nguyen

H-Index: 1

BeAFix: An Automated Repair Tool for Faulty Alloy Models

2021/11/15

Guolong Zheng
Guolong Zheng

H-Index: 2

Hamid Bagheri
Hamid Bagheri

H-Index: 4

Nazareno Aguirre
Nazareno Aguirre

H-Index: 11

See List of Professors in ThanhVu (Vu) Nguyen University(University of Nebraska-Lincoln)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine