| 2026 |
— |
conf |
ICAART (1)
Dung T. Phan, Chi N. L. Phan, Long S. T. Nguyen, Phuc T. Dao, Quan M. Bui, Tin T. Ngo, Thi T. Nguyen, Tho T. Quan
|
| 2020 |
— |
conf |
NFM
Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
|
| 2019 |
J |
jnl |
CoRR
Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller
|
| 2019 |
— |
conf |
SNR
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
|
| 2018 |
Misc |
conf |
SAC
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
|
| 2018 |
B |
conf |
ATVA
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
|
| 2018 |
J |
jnl |
CoRR
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
|
| 2017 |
— |
conf |
ACSD
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
|
| 2017 |
J |
jnl |
CoRR
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
|
| 2017 |
J |
jnl |
Formal Methods Syst. Des.
Dung T. Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
|
| 2017 |
J |
jnl |
CoRR
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
|
| 2017 |
J |
jnl |
CoRR
Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
|
| 2017 |
J |
jnl |
CoRR
Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang
|
| 2015 |
J |
jnl |
CoRR
Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung T. Phan, Junxing Yang
|
| 2015 |
B |
conf |
RV
Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller
|