Minh Vu

Affiliations:

University of Nebraska-Lincoln, Department of Computer Science and Engineering, NE, USA

According to our database¹, Minh Vu authored at least 7 papers between 2019 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Scalable Verification of Multi-ACK Properties in Loss-Based Congestion Control Implementations.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Network Protocols, 2024

2022

Efficient Protocol Testing Under Temporal Uncertain Event Using Discrete-event Network Simulations.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2022

Symbolic ns-3 for Efficient Exhaustive Testing: Design, Implementation, and Simulations.

[BibT_eX]

[DOI]

Proceedings of the WNS3 2022: 2022 Workshop on ns-3, Virtual Event, USA, June 22, 2022

2021

TCP BBR in Cloud Networks: Challenges, Analysis, and Solutions.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

2020

Efficient Correctness Testing of Linux Network Stack under Packet Dynamics.

[BibT_eX]

[DOI]

Minh Vu

Phuong Ha

Lisong Xu

Proceedings of the 2020 IEEE International Conference on Communications, 2020

2019

Efficient systematic testing of network protocols with temporal uncertain events.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Conference on Computer Communications, 2019

Demo Abstract: Exploring packet dynamics through the combination of symbolic execution and random testing.

[BibT_eX]

[DOI]

Minh Vu

Phuong Ha

Lisong Xu

Proceedings of the IEEE INFOCOM 2019, 2019

Minh Vu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...