| 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 | 30 | 2018 |
| Flight critical software and systems development using ASSERT™ K Siu, A Moitra, M Durling, A Crapo, M Li, H Yu, H Herencia-Zapana, ... Digital Avionics Systems Conference (DASC), 2017 IEEE/AIAA 36th, 1-10, 2017 | 24 | 2017 |
| Model-based automatic test generation for simulink/stateflow using extended finite automaton M Li, R Kumar Automation Science and Engineering (CASE), 2012 IEEE International …, 2012 | 23 | 2012 |
| Automating requirements analysis and test case generation A Moitra, K Siu, AW Crapo, M Durling, M Li, P Manolios, M Meiners, ... Requirements Engineering 24 (3), 341-364, 2019 | 22 | 2019 |
| Integrated automated test case generation for safety-critical software M Li US Patent App. 14/565,907, 2016 | 22 | 2016 |
| 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 | 21 | 2019 |
| Stateflow to extended finite automata translation M Li, R Kumar Computer Software and Applications Conference Workshops (COMPSACW), 2011 …, 2011 | 21 | 2011 |
| Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning C Cauli, M Li, N Piterman, O Tkachuk International Conference on Computer Aided Verification, 767-780, 2021 | 17 | 2021 |
| 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 | 17 | 2019 |
| Recursive Modeling of Stateflow as Input/Output-Extended Automaton M Li, R Kumar IEEE Transactions on Automation Science and Engineering 11 (4), 1229-1239, 2014 | 17 | 2014 |
| 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 | 12 | 2018 |
| Requirements-based Automated Test Generation for Safety Critical Software M Li, B Meng, H Yu, K Siu, M Durling, D Russell, C McMillan, M Smith, ... 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019 | 11 | 2019 |
| Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution M Li, R Kumar Automation Science and Engineering (CASE), 2013 IEEE International …, 2013 | 10 | 2013 |
| Increasing development assurance for system and software development with validation and verification using ASSERT™ C McMillan, A Crapo, M Durling, M Li, A Moitra, P Manolios, M Stephens, ... SAE Technical Paper, 2019 | 9 | 2019 |
| Bending and Position Hysteresis of Magnetic Microfibers in Nonuniform Magnetic Fields. RE Groff, M Li, H Karve, A Tokarev, KG Kornev Journal of Engineered Fabrics & Fibers (JEFF) 7 (2), 2012 | 8 | 2012 |
| System and method for coverage-based automated test case augmentation for design models M Li, MR Durling, J Dai, SA Stacey US Patent 9,792,204, 2017 | 7 | 2017 |
| Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata M Li, R Kumar IET Cyber-Physical Systems: Theory & Applications 1 (1), 95-107, 2016 | 4 | 2016 |
| Systems and methods for adaptive microwave drying of ceramic articles PP Harihara, M Li US Patent 9,429,361, 2016 | 4 | 2016 |
| Towards Developing Trusted Smart Contracts in Simulink B Meng, M Li, B Beckmann, Y Nishida, J Carbone, D Yang, M Durling | 4* | |
| System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges H Yu, MR Durling, KY Siu, M Li, B Meng, SA Stacey, DE Russell, ... US Patent 10,169,217, 2019 | 3 | 2019 |
