Alan Wassyng
Alan Wassyng
McMaster University, Dept Computing and Software, McMaster Centre for Software Certification
Verified email at
Cited by
Cited by
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
A product-focused approach to software certification
T Maibaum, A Wassyng
Computer 41 (2), 91-93, 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
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
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
A coupled finite element-boundary element method of stress analysis
BHG Brady, A Wassyng
International Journal of Rock Mechanics and Mining Sciences & Geomechanics …, 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
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
Insulin pump software certification
Y Chen, M Lawford, H Wang, A Wassyng
Foundations of Health Information Engineering and Systems: Third …, 2014
Software tools for safety-critical software development
A Wassyng, M Lawford
International Journal on Software Tools for Technology Transfer 8, 337-354, 2006
Tabular expressions and their relational semantics
R Janicki, A Wassyng
Fundamenta Informaticae 67 (4), 343-370, 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
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
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
Tabular expressions in software engineering
A Wassyng, R Janicki
Proceedings of ICSSEA 3, 1-46, 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
On software certification: we need product-focused approaches
A Wassyng, T Maibaum, M Lawford
Monterey Workshop, 250-274, 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
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
Timing tolerances in safety-critical software
A Wassyng, M Lawford, X Hu
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
The system can't perform the operation now. Try again later.
Articles 1–20