| 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 |
ICSC
Abha Moitra, Kit Siu, Paul Cuddihy, Daniel Russell, Eric Mertens, Dave Archer, Kevin Quick
|
| 2024 |
— |
conf |
FormaliSE@ICSE
Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
|
| 2023 |
Misc |
conf |
ISWC
Paul Cuddihy, Daniel Russell, Eric Mertens, Kit Siu, David W. Archer, Jenny Williams
|
| 2023 |
— |
conf |
SAFECOMP Workshops
Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng
|
| 2022 |
— |
conf |
ICSC
Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David W. Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell
|
| 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
|
| 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
|