Nhat-Hoa Tran

According to our database1, Nhat-Hoa Tran authored at least 5 papers between 2017 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies.
IEICE Trans. Inf. Syst., 2019

Conformance Testing of Schedulers for DSL-based Model Checking.
Proceedings of the Model Checking Software - 26th International Symposium, 2019

A Specification-Based Approach to Model Checking Event-Driven Systems.
Proceedings of the Tenth International Symposium on Information and Communication Technology, 2019

2018
Qualitative and quantitative analysis with scheduling policies in model checking.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017
Domain-Specific Language Facilitates Scheduling in Model Checking.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017


  Loading...