Segui
Michael Durling
Titolo
Citata da
Citata da
Anno
Cognitive electric power meter
MR Durling, Z Ren, N Visnevski, LE Ray
US Patent 7,693,670, 2010
3252010
Trajectory based sense and avoid
MR Durling, HW Tomlinson Jr, N Visnevski, CA Hoover, GA Forman, ...
US Patent 9,014,880, 2015
692015
System and method for providing reactive power support with distributed energy resource inverter
R Zhou, JL Smolenski, MR Durling, WJ Premerlani
US Patent 7,508,173, 2009
652009
Power generation system using a combustion system and a fuel cell
J Goldmeer, MK Cueman, M Durling
US Patent 6,978,617, 2005
512005
Non-intrusive appliance load identification using cascaded cognitive learning
HW Tomlinson Jr, MR Durling, R Tiwari, Y Khalifa
US Patent App. 12/472,650, 2010
362010
Method and apparatus for reduction of combustor dynamic pressure during operation of gas turbine engines
SK Handelsman, MR Durling, JD Rackmales, MS Lipton, WL Barrow, ...
US Patent 6,973,791, 2005
362005
Towards development of complete and conflict-free requirements
A Moitra, K Siu, A Crapo, H Chamarthi, M Durling, M Li, H Yu, P Manolios, ...
2018 IEEE 26th International Requirements Engineering Conference (RE), 286-296, 2018
302018
Method and system for mission planning via formal verification and supervisory controller synthesis
US Patent 10,249,197, 2019
28*2019
Apparatus and method for identifying a defect and/or operating characteristic of a system
H Luo, MR Durling, AL Ruggiero, Z Sun, HK Mathews Jr, RW Tait, ...
US Patent 7,693,673, 2010
282010
System and method for sensor validation and fusion
AV Taware, TP Tanpitukpongse, AT Lehmann, KP Meiners, ...
US Patent 7,293,400, 2007
272007
Flight critical software and systems development using ASSERT™
K Siu, A Moitra, M Durling, A Crapo, M Li, H Yu, H Herencia-Zapana, ...
2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC), 1-10, 2017
252017
Verdict: a language and framework for engineering cyber resilient and safe system
B Meng, D Larraz, K Siu, A Moitra, J Interrante, W Smith, S Paul, D Prince, ...
Systems 9 (1), 18, 2021
232021
Automating requirements analysis and test case generation
A Moitra, K Siu, AW Crapo, M Durling, M Li, P Manolios, M Meiners, ...
Requirements Engineering 24, 341-364, 2019
232019
Architectural and behavioral analysis for cyber security
K Siu, A Moitra, M Li, M Durling, H Herencia-Zapana, J Interrante, B Meng, ...
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019
212019
System and method for model based technology and process for safety-critical software development
TL Johnson, AW Crapo, MR Durling, A Walsch, KY Siu, L Parolini, ...
US Patent 10,346,140, 2019
172019
System and method for safety-critical software automated requirements-based test case generation
M Li, MR Durling, KY Siu, I Oliveira, H Yu, AM De Conto
US Patent 9,940,222, 2018
142018
Autonomy verification & validation roadmap and vision 2045
GP Brat, H Yu, E Atkins, P Sharma, D Cofer, M Durling, B Meng, ...
132023
Automating the assembly of security assurance case fragments
B Meng, S Paul, A Moitra, K Siu, M Durling
Computer Safety, Reliability, and Security: 40th International Conference …, 2021
132021
Apparatus and method for identifying a defect and/or operating characteristic of a system
H Luo, MR Durling, AL Ruggiero, Z Sun, HK Mathews Jr, RW Tait, ...
US Patent 8,160,832, 2012
132012
Integrated marine vessel hull for energy storage
M Durling
US Patent App. 11/100,892, 2006
132006
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20