Follow
Alan Wassyng
Alan Wassyng
McMaster University, Dept Computing and Software, McMaster Centre for Software Certification
Verified email at McMaster.ca
Title
Cited by
Cited by
Year
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
1032014
A product-focused approach to software certification
T Maibaum, A Wassyng
Computer 41 (2), 91-93, 2008
762008
Lessons learned from a successful implementation of formal methods in an industrial project
A Wassyng, M Lawford
International Symposium of Formal Methods Europe, 133-153, 2003
722003
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
631990
A coupled finite element-boundary element method of stress analysis
BHG Brady, A Wassyng
International Journal of Rock Mechanics and Mining Sciences & Geomechanics …, 1981
581981
Software certification: Is there a case against safety cases?
A Wassyng, T Maibaum, M Lawford, H Bherer
Monterey Workshop, 206-227, 2010
572010
Insulin pump software certification
Y Chen, M Lawford, H Wang, A Wassyng
International Symposium on Foundations of Health Informatics Engineering and …, 2013
332013
Software tools for safety-critical software development
A Wassyng, M Lawford
International Journal on Software Tools for Technology Transfer 8 (4), 337-354, 2006
322006
Tabular expressions and their relational semantics
R Janicki, A Wassyng
Fundamenta Informaticae 67 (4), 343-370, 2005
312005
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
282015
Tabular expressions in software engineering
A Wassyng, R Janicki
Proceedings of ICSSEA 3, 1-46, 2003
262003
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
232009
To do or not to do: If the requirements engineering payoff is so good, why aren? t more companies doing it?
DM Berry, D Damian, A Finkelstein, D Gause, R Hall, A Wassyng
13th IEEE International Conference on Requirements Engineering (RE'05), 447-447, 2005
232005
Safe and secure automotive over-the-air updates
T Chowdhury, E Lesiuta, K Rikley, CW Lin, E Kang, BG Kim, S Shiraishi, ...
International Conference on Computer Safety, Reliability, and Security, 172-187, 2018
222018
On software certification: we need product-focused approaches
A Wassyng, T Maibaum, M Lawford
Monterey Workshop, 250-274, 2008
212008
Timing tolerances in safety-critical software
A Wassyng, M Lawford, X Hu
International Symposium on Formal Methods, 157-172, 2005
182005
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 (1), 95-117, 2018
172018
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
172017
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
162016
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
152018
The system can't perform the operation now. Try again later.
Articles 1–20