| 2026 |
— |
conf |
EACL (Findings)
Preston K. Robinette, Andrew Hard, Swaroop Ramaswamy, Ehsan Amid, Rajiv Mathews, Taylor T. Johnson
|
| 2025 |
J |
jnl |
CoRR
Preston K. Robinette, Taylor T. Johnson
|
| 2025 |
— |
conf |
FormaliSE
Samuel Sasaki, Diego Manzanas Lopez, Preston K. Robinette, Taylor T. Johnson
|
| 2025 |
J |
jnl |
CoRR
Dung Thuy Nguyen, Quang Nguyen, Preston K. Robinette, Eli Jiang, Taylor T. Johnson, Kevin Leach
|
| 2025 |
— |
conf |
ESORICS (1)
Preston K. Robinette, Thuy Dung Nguyen, Samuel Sasaki, Taylor T. Johnson
|
| 2024 |
— |
conf |
FormaliSE@ICSE
Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson
|
| 2024 |
J |
jnl |
CoRR
Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson
|
| 2024 |
J |
jnl |
CoRR
Quang Nguyen, Truong Vu, Trong-Tung Nguyen, Yuxin Wen, Preston K. Robinette, Taylor T. Johnson, Tom Goldstein, Anh Tran, Khoi Nguyen
|
| 2024 |
A |
conf |
ECAI
Preston K. Robinette, Daniel Moyer, Taylor T. Johnson
|
| 2024 |
J |
jnl |
CoRR
Preston K. Robinette, Dung Thuy Nguyen, Samuel Sasaki, Taylor T. Johnson
|
| 2023 |
— |
conf |
AISoLA
Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson
|
| 2023 |
— |
conf |
ICCPS
Preston K. Robinette, Nathaniel P. Hamilton, Taylor T. Johnson
|
| 2023 |
J |
jnl |
CoRR
Preston K. Robinette, Daniel Moyer, Taylor T. Johnson
|
| 2023 |
A |
conf |
ECAI
Preston K. Robinette, Hanchen D. Wang, Nishan Shehadeh, Daniel Moyer, Taylor T. Johnson
|
| 2023 |
J |
jnl |
CoRR
Preston K. Robinette, Hanchen D. Wang, Nishan Shehadeh, Daniel Moyer, Taylor T. Johnson
|
| 2023 |
— |
conf |
ICCPS
Preston K. Robinette, Nathaniel P. Hamilton, Taylor T. Johnson
|