| Certifiably safe software-dependent systems: challenges and directions J Hatcliff, A Wassyng, T Kelly, C Comar, P Jones Future of Software Engineering Proceedings, 182-200, 2014 | 109 | 2014 |
| A product-focused approach to software certification T Maibaum, A Wassyng Computer 41 (2), 91-93, 2008 | 81 | 2008 |
| Lessons learned from a successful implementation of formal methods in an industrial project A Wassyng, M Lawford FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003 | 74 | 2003 |
| Software certification: Is there a case against safety cases? A Wassyng, T Maibaum, M Lawford, H Bherer Foundations of Computer Software. Modeling, Development, and Verification of …, 2011 | 65 | 2011 |
| Verification of the shutdown system software at the Darlington nuclear generating station GH Archinoff, RJ Hohendorf, A Wassyng, B Quigley, MR Borsch International Conference on Control & Instrumentation in Nuclear …, 1990 | 61 | 1990 |
| A coupled finite element-boundary element method of stress analysis BHG Brady, A Wassyng International Journal of Rock Mechanics and Mining Sciences & Geomechanics …, 1981 | 61 | 1981 |
| Safe and secure automotive over-the-air updates T Chowdhury, E Lesiuta, K Rikley, CW Lin, E Kang, BG Kim, S Shiraishi, ... Computer Safety, Reliability, and Security: 37th International Conference …, 2018 | 39 | 2018 |
| Can product-specific assurance case templates be used as medical device standards? A Wassyng, NK Singh, M Geven, N Proscia, H Wang, M Lawford, ... IEEE Design & Test 32 (5), 45-55, 2015 | 39 | 2015 |
| Insulin pump software certification Y Chen, M Lawford, H Wang, A Wassyng Foundations of Health Information Engineering and Systems: Third …, 2014 | 37 | 2014 |
| Software tools for safety-critical software development A Wassyng, M Lawford International Journal on Software Tools for Technology Transfer 8, 337-354, 2006 | 36 | 2006 |
| Tabular expressions and their relational semantics R Janicki, A Wassyng Fundamenta Informaticae 67 (4), 343-370, 2005 | 31 | 2005 |
| Software engineering practices and Simulink: bridging the gap V Pantelic, S Postma, M Lawford, M Jaskolka, B Mackenzie, A Korobkine, ... International Journal on Software Tools for Technology Transfer 20, 95-117, 2018 | 28 | 2018 |
| A software certification consortium and its top 9 hurdles J Hatcliff, M Heimdahl, M Lawford, T Maibaum, A Wassyng, F Wurden Electronic Notes in Theoretical Computer Science 238 (4), 11-17, 2009 | 28 | 2009 |
| To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it? A Wassyng, E Simmons, R Hall, D Gause, A Finkelstein, D Damian, ... 13th IEEE International Conference on Requirements Engineering (RE'05), 447-447, 2005 | 27 | 2005 |
| Tabular expressions in software engineering A Wassyng, R Janicki Proceedings of ICSSEA 3, 1-46, 2003 | 27 | 2003 |
| Using STPA in an ISO 26262 Compliant Process A Mallya, V Panetelic, A Morayo, M Lawford, A Wassyng Computer Safety, Reliability, and Security: 35th International Conference …, 2016 | 24 | 2016 |
| On software certification: we need product-focused approaches A Wassyng, T Maibaum, M Lawford Monterey Workshop, 250-274, 2008 | 22 | 2008 |
| Software engineering for model-based development by domain experts M Bialy, V Pantelic, J Jaskolka, A Schaap, L Patcas, M Lawford, ... Handbook of system safety and security, 39-64, 2017 | 20 | 2017 |
| Assurance via model transformations and their hierarchical refinement Z Diskin, T Maibaum, A Wassyng, S Wynn-Williams, M Lawford Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018 | 19 | 2018 |
| Timing tolerances in safety-critical software A Wassyng, M Lawford, X Hu FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005 | 19 | 2005 |
Mark LawfordMcMaster University在 mcmaster.ca 的电子邮件经过验证
