Michael Durling
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2018–2024
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FMCAD | Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates. | 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 | SAFECOMP | Assurance Case Synthesis from a Curated Semantic Triplestore. | Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling |
| 2023 | FMCAD | Towards a Correct-by-Construction Design of Integrated Modular Avionics. | 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 |
| 2021 | SAFECOMP | Automating the Assembly of Security Assurance Case Fragments. | Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling |
| 2018 | RE | Towards Development of Complete and Conflict-Free Requirements. | Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners |