Michael Durling

According to our database, Michael Durling authored at least 12 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Safe and Reliable Training of Learning-Based Aerospace Controllers.

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

CoRR, 2024

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

CoRR, 2024

Assurance Case Synthesis from a Curated Semantic Triplestore.

Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling

Proceedings of the Computer Safety, Reliability, and Security, 2024

Formal Methods in Requirements Engineering: Survey and Future Directions.

Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

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

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.

Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Model-Based Security Analysis in Additive Manufacturing Systems.

Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie

Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security, 2022

2021

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.

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

Syst., 2021

Automating the Assembly of Security Assurance Case Fragments.

Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling

Proceedings of the Computer Safety, Reliability, and Security, 2021

2020

Towards Developing Trusted Smart Contracts in Simulink.

Baoluo Meng, Meng Li, Benjamin Beckmann, Yoshifumi Nishida, John Carbone, Dan Yang, Michael Durling

Proceedings of the workshops co-organized with the 13th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020), 2020

2019

Automating requirements analysis and test case generation.

Abha Moitra, Kit Siu, Andrew W. Crapo, Michael Durling, Meng Li, Panagiotis Manolios, Michael Meiners, Craig McMillan

Requir. Eng., 2019

2018

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

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018