Alan Wassyng
Alan Wassyng
McMaster University, Department of Computing and Software
Geverifieerd e-mailadres voor McMaster.ca
Titel
Geciteerd door
Geciteerd door
Jaar
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
942014
A product-focused approach to software certification
T Maibaum, A Wassyng
Computer 41 (2), 91-93, 2008
742008
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 Installations, 1990
601990
A coupled finite element-boundary element method of stress analysis
BHG Brady, A Wassyng
International Journal of Rock Mechanics and Mining Sciences & Geomechanics …, 1981
601981
Software certification: Is there a case against safety cases?
A Wassyng, T Maibaum, M Lawford, H Bherer
Monterey Workshop, 206-227, 2010
522010
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
312006
Tabular expressions and their relational semantics
R Janicki, A Wassyng
Fundamenta Informaticae 67 (4), 343-370, 2005
312005
Tabular expressions in software engineering
A Wassyng, R Janicki
Proceedings of ICSSEA 3, 1-46, 2003
272003
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
252015
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
On software certification: we need product-focused approaches
A Wassyng, T Maibaum, M Lawford
Monterey Workshop, 250-274, 2008
192008
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
182018
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
152018
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
132017
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
132016
Software certification experience in the Canadian nuclear industry: lessons for the future
A Wassyng, MS Lawford, TSE Maibaum
Proceedings of the ninth ACM international conference on Embedded software …, 2011
132011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20