| 2025 |
— |
conf |
SAIV
Diego Manzanas Lopez, Samuel Sasaki, Taylor T. Johnson
|
| 2025 |
— |
conf |
NeuS
Serena Serafina Serbinowska, Diego Manzanas Lopez, Dung Thuy Nguyen, Taylor T. Johnson
|
| 2025 |
— |
conf |
NeuS
Samuel Sasaki, Diego Manzanas Lopez, Taylor T. Johnson
|
| 2025 |
J |
jnl |
CoRR
Navid Hashemi, Samuel Sasaki, Diego Manzanas Lopez, Ipek Oguz, Meiyi Ma, Taylor T. Johnson
|
| 2025 |
— |
conf |
NeuS
Nicholas Potteiger, Diego Manzanas Lopez, Taylor T. Johnson, Xenofon D. Koutsoukos
|
| 2025 |
— |
conf |
FormaliSE
Samuel Sasaki, Diego Manzanas Lopez, Preston K. Robinette, 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 |
— |
conf |
ICAIF
Anne M. Tumlin, Diego Manzanas Lopez, Preston Robinette, Yuying Zhao, Tyler Derr, Taylor T. Johnson
|
| 2024 |
— |
conf |
DSN-S
Taylor T. Johnson, Diego Manzanas Lopez, Hoang-Dung Tran
|
| 2023 |
— |
conf |
ARCH
Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling
|
| 2023 |
— |
conf |
AISoLA
Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson
|
| 2023 |
— |
conf |
AISoLA
Diego Manzanas Lopez, Taylor T. Johnson
|
| 2023 |
— |
conf |
CAV (2)
Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson
|
| 2023 |
— |
conf |
FMAS@iFM
Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis
|
| 2023 |
C |
conf |
FMICS
Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson
|
| 2023 |
J |
jnl |
CoRR
Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson
|
| 2023 |
Misc |
conf |
EMSOFT
Hoang-Dung Tran, Diego Manzanas Lopez, Taylor T. Johnson
|
| 2022 |
— |
conf |
ARCH@SAFECOMP
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu
|
| 2022 |
J |
jnl |
CoRR
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson
|
| 2022 |
— |
conf |
ICAA
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson
|
| 2022 |
— |
conf |
FORMATS
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson
|
| 2022 |
J |
jnl |
CoRR
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson
|
| 2022 |
— |
conf |
ICAA
Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson
|
| 2021 |
— |
conf |
ARCH@ADHS
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee
|
| 2021 |
— |
conf |
CAV (1)
Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson
|
| 2021 |
J |
jnl |
Formal Aspects Comput.
Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
|
| 2020 |
— |
conf |
ARCH
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
|
| 2020 |
— |
conf |
SP (Workshops)
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson
|
| 2020 |
— |
conf |
CAV (1)
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
|
| 2020 |
J |
jnl |
CoRR
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
|
| 2019 |
— |
conf |
ARCH@CPSIoTWeek
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson
|
| 2019 |
— |
conf |
FormaliSE@ICSE
Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
|
| 2019 |
J |
jnl |
ACM Trans. Embed. Comput. Syst.
Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, Xenofon D. Koutsoukos
|
| 2019 |
B |
conf |
FM
Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
|
| 2019 |
— |
conf |
ARCH@CPSIoTWeek
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson
|
| 2018 |
— |
conf |
ARCH@ADHS
Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson
|
| 2018 |
J |
jnl |
CoRR
Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson
|
| 2018 |
J |
jnl |
CoRR
Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, Taylor T. Johnson
|