| 2025 |
J |
jnl |
Innov. Syst. Softw. Eng.
Baoluo Meng, Arjun Viswanathan, Saswata Paul, William Smith, Abha Moitra, Kit Siu, Michael Durling
|
| 2025 |
— |
conf |
NFM
Sarat Chandra Varanasi, Baoluo Meng, Robert Lorch, Abha Moitra, Kit Siu, Saswata Paul, Michael Durling, Neha Beniwal, Nikita Visnevski
|
| 2024 |
B |
conf |
SAFECOMP
Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling
|
| 2024 |
— |
conf |
FormaliSE@ICSE
Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
|
| 2024 |
B |
conf |
FMCAD
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
|
| 2024 |
J |
jnl |
CoRR
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
|
| 2024 |
J |
jnl |
CoRR
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Kerianne Hobbs, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
|
| 2023 |
B |
conf |
FMCAD
Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Chi Zhang, Tim Oates
|
| 2022 |
— |
conf |
NFM
Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling
|
| 2021 |
B |
conf |
SAFECOMP
Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling
|
| 2021 |
J |
jnl |
Syst.
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
|
| 2020 |
— |
conf |
PoEM Workshops
Baoluo Meng, Meng Li, Benjamin Beckmann, Yoshifumi Nishida, John Carbone, Dan Yang, Michael Durling
|
| 2019 |
J |
jnl |
Requir. Eng.
Abha Moitra, Kit Siu, Andrew W. Crapo, Michael Durling, Meng Li, Panagiotis Manolios, Michael Meiners, Craig McMillan
|
| 2018 |
A |
conf |
RE
Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners
|