default search action

combined dblp search
author search
venue search
publication search

ask others

Michael Durling

Michael R. Durling

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/LorchMSMDPVM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/LorchMSMDPVM24
Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan:
Formal Methods in Requirements Engineering: Survey and Future Directions. FormaliSE@ICSE 2024: 88-99
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/PaulMSMD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/PaulMSMD24
Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling:
Assurance Case Synthesis from a Curated Semantic Triplestore. SAFECOMP 2024: 84-99
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-14058
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-14058
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:
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates. CoRR abs/2405.14058 (2024)
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-07088
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-07088
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:
Safe and Reliable Training of Learning-Based Aerospace Controllers. CoRR abs/2407.07088 (2024)
2023
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/MengDVMDPPAHMZO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/MengDVMDPPAHMZO23
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:
Towards a Correct-by-Construction Design of Integrated Modular Avionics. FMCAD 2023: 221-227
2022
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/DurlingMSMCACC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/DurlingMSMCACC22
Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie:
Model-Based Security Analysis in Additive Manufacturing Systems. AMSec@CCS 2022: 3-13
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MengVSMSD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MengVSMSD22
Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling:
Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. NFM 2022: 752-770
2021
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/systems/MengLSMISPPHAYV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/systems/MengLSMISPPHAYV21
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:
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. 9(1): 18 (2021)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MengPMSD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MengPMSD21
Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling:
Automating the Assembly of Security Assurance Case Fragments. SAFECOMP 2021: 101-114
2020
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ifip8-1/MengLBNCYD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip8-1/MengLBNCYD20
Baoluo Meng, Meng Li, Benjamin Beckmann, Yoshifumi Nishida, John Carbone, Dan Yang, Michael Durling:
Towards Developing Trusted Smart Contracts in Simulink. PoEM Workshops 2020: 35-46

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/re/MoitraSCDLMMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/MoitraSCDLMMM19
Abha Moitra, Kit Siu, Andrew W. Crapo, Michael Durling, Meng Li, Panagiotis Manolios, Michael Meiners, Craig McMillan:
Automating requirements analysis and test case generation. Requir. Eng. 24(3): 341-364 (2019)
2018
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MoitraSCCDLYMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MoitraSCCDLYMM18
Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners:
Towards Development of Complete and Conflict-Free Requirements. RE 2018: 286-296

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.