Michael Durling

14 papers A 1B 4Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
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