A. Wassyng

Most-cited papers

Certifiably safe software-dependent systems: challenges and directions
J. Hatcliff, A. Wassyng, T. Kelly, C. Comar +1 more
2014FOSE78 citations
Semantic Scholar
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
A. Wassyng, M. Lawford
2003FME70 citations
Semantic Scholar
A Product-Focused Approach to Software Certification
T. Maibaum, A. Wassyng
2008Computer59 citations
Semantic Scholar
Software Certification: Is There a Case against Safety Cases?
A. Wassyng, T. Maibaum, M. Lawford, H. Bherer
2010Monterey Workshop54 citations
Semantic Scholar
Safe and Secure Automotive Over-the-Air Updates
T. Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin +5 more
2018International Conference on Computer Safety, Reliability, and Security32 citations
Semantic Scholar
Insulin Pump Software Certification
Yihai Chen, M. Lawford, Hao Wang, A. Wassyng
2013International Symposium on Foundations of Health Informatics Engineering and Systems31 citations Open access
Semantic Scholar
Software tools for safety-critical software development
A. Wassyng, M. Lawford
2006International Journal on Software Tools for Technology Transfer (STTT)28 citations
Semantic Scholar
Software engineering practices and Simulink: bridging the gap
Vera Pantelic, S. Postma, M. Lawford, Monika Jaskolka +6 more
2017International Journal on Software Tools for Technology Transfer (STTT)24 citations
Semantic Scholar
Using STPA in an ISO 26262 Compliant Process
Archana Mallya, Vera Pantelic, Morayo Adedjouma, M. Lawford +1 more
2016International Conference on Computer Safety, Reliability, and Security22 citations Open access
Semantic Scholar
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?
A. Wassyng, N. Singh, M. Geven, Nicholas Proscia +3 more
2015IEEE design & test21 citations
Semantic Scholar
Tabular Expressions and Their Relational Semantics
R. Janicki, A. Wassyng
2005Fundamenta Informaticae20 citations
Semantic Scholar
To do or not to do: If the requirements engineering payoff is so good, why arent more companies doing it?
D. Berry, Daniela E. Damian, A. Finkelstein, D. Gause +3 more
2005IEEE International Requirements Engineering Conference20 citations
Semantic Scholar
A Software Certification Consortium and its Top 9 Hurdles
J. Hatcliff, M. Heimdahl, M. Lawford, T. Maibaum +2 more
2009SafeCert@ETAPS19 citations Open access
Semantic Scholar
Principles for Systematic Development of an Assurance Case Template from ISO 26262
T. Chowdhury, Chung-Wei Lin, Baekgyu Kim, M. Lawford +2 more
20172017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)17 citations
Semantic Scholar
Assurance via model transformations and their hierarchical refinement
Z. Diskin, T. Maibaum, A. Wassyng, Stephen Wynn-Williams +1 more
2018ACM/IEEE International Conference on Model Driven Engineering Languages and Systems16 citations
Semantic Scholar
Software Engineering for Model-Based Development by Domain Experts
Monika Bialy, Vera Pantelic, Jason Jaskolka, A. Schaap +3 more
201716 citations
Semantic Scholar
Tabular Expressions in Software Engineering
A. Wassyng, R. Janicki
200916 citations
Semantic Scholar
Foundations of Health Informatics Engineering and Systems
Zhi-Ming Liu, A. Wassyng
2011Lecture Notes in Computer Science15 citations
Semantic Scholar
Systematic Evaluation of (Safety) Assurance Cases
T. Chowdhury, A. Wassyng, R. Paige, M. Lawford
2020International Conference on Computer Safety, Reliability, and Security14 citations
Semantic Scholar
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application
Josh Newell, Linna Pang, D. Tremaine, A. Wassyng +1 more
2017Journal of automated reasoning14 citations
Semantic Scholar
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements
N. Singh, Hao Wang, M. Lawford, T. Maibaum +1 more
2015Interacción14 citations Open access
Semantic Scholar
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
D. Méry, B. Schätz, A. Wassyng
2014Dagstuhl Reports13 citations
Semantic Scholar
Software certification experience in the Canadian nuclear industry: Lessons for the future
A. Wassyng, M. Lawford, T. Maibaum
2011International Conference on Embedded Software13 citations
Semantic Scholar
Timing Tolerances in Safety-Critical Software
A. Wassyng, M. Lawford, Xiayong Hu
2005World Congress on Formal Methods13 citations Open access
Semantic Scholar
Criteria to Systematically Evaluate (Safety) Assurance Cases
T. Chowdhury, A. Wassyng, R. Paige, M. Lawford
2019IEEE International Symposium on Software Reliability Engineering12 citations
Semantic Scholar
On Software Certification: We Need Product-Focused Approaches
A. Wassyng, T. Maibaum, M. Lawford
2008Monterey Workshop12 citations Open access
Semantic Scholar
System Failure Detection Using Deep Learning Models Integrating Timestamps with Nonuniform Intervals
Yixin Huangfu, S. Habibi, A. Wassyng
2022IEEE Access11 citations Open access
Semantic Scholar
Fault Detection and Diagnosis of Engine Spark Plugs Using Deep Learning Techniques
Yixin Huangfu, Essam Seddik, S. Habibi, A. Wassyng +1 more
2021SAE International Journal of Engines10 citations
Semantic Scholar
Formal verification of function blocks applied to IEC 61131-3
Linna Pang, Chen-Wei Wang, M. Lawford, A. Wassyng
2015Science of Computer Programming10 citations Open access
Semantic Scholar
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS
Linna Pang, Chen-Wei Wang, M. Lawford, A. Wassyng
2013International Workshop on Formal Techniques for Safety-Critical Systems10 citations
Semantic Scholar
Use of Tabular Expressions for Refinement Automation
N. Singh, M. Lawford, T. Maibaum, A. Wassyng
2017International Conference on Model and Data Engineering9 citations Open access
Semantic Scholar
A Call Graph Mining and Matching Based Defect Localization Technique
Anis Yousefi, A. Wassyng
20132013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops8 citations
Semantic Scholar
Selecting the best strategy in a software certification process
W. W. Koczkodaj, V. Babiy, A. Bogobowicz, R. Janicki +1 more
2010Proceedings of the International Multiconference on Computer Science and Information Technology8 citations
Semantic Scholar
Formal Verification of the Implementability of Timing Requirements
Xiayong Hu, M. Lawford, A. Wassyng
2009International Workshop on Formal Methods for Industrial Critical Systems8 citations Open access
Semantic Scholar
Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity
Sajid Rahim, K. Sabri, Anna L. Ells, A. Wassyng +3 more
2023arXiv.org7 citations Open access
Semantic Scholar
Generating Assurance Cases Using Workflow+ Models
Nicholas Annable, Thomas Chiang, M. Lawford, R. Paige +1 more
2022International Conference on Computer Safety, Reliability, and Security7 citations
Semantic Scholar
Repository Mining for Changes in Simulink Models
Monika Jaskolka, Vera Pantelic, A. Wassyng, M. Lawford +1 more
2021ACM/IEEE International Conference on Model Driven Engineering Languages and Systems7 citations
Semantic Scholar
Documenting Simulink designs of embedded systems
A. Schaap, Gordon Marks, Vera Pantelic, M. Lawford +3 more
2018ACM/IEEE International Conference on Model Driven Engineering Languages and Systems7 citations
Semantic Scholar
Formalizing the Glucose Homeostasis Mechanism
N. Singh, Hao Wang, M. Lawford, T. Maibaum +1 more
2014Interacción7 citations
Semantic Scholar
Though this be madness, yet there is method in it? (Keynote)
A. Wassyng
2013FME Workshop on Formal Methods in Software Engineering7 citations
Semantic Scholar
Separating Safety and Control Systems to Reduce Complexity
A. Wassyng, M. Lawford, T. Maibaum
2012Conquering Complexity7 citations
Semantic Scholar
Formal Verification of Nuclear Systems: Past, Present, and Future
M. Lawford, A. Wassyng
20126 citations Open access
Semantic Scholar
Microcontroller Assembly Synthesis from Timed Automaton Task Specifications
V. Bandur, Wolfram Kahl, A. Wassyng
2012International Workshop on Formal Methods for Industrial Critical Systems6 citations
Semantic Scholar
A formal approach to rigorous development of critical systems
N. Singh, M. Lawford, T. Maibaum, A. Wassyng
2021J. Softw. Evol. Process.5 citations
Semantic Scholar
Change impact analysis in Simulink designs of embedded systems
Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams +5 more
2020ESEC/SIGSOFT FSE5 citations Open access
Semantic Scholar
Supporting Modularity in Simulink Models
Monika Jaskolka, Vera Pantelic, A. Wassyng, M. Lawford
2020arXiv.org5 citations
Semantic Scholar
Something is Rotten in the State of Documenting Simulink Models
Vera Pantelic, A. Schaap, A. Wassyng, V. Bandur +1 more
2019International Conference on Model-Driven Engineering and Software Development5 citations Open access
Semantic Scholar
Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application
Josh Newell, Linna Pang, D. Tremaine, A. Wassyng +1 more
2016NASA Formal Methods5 citations
Semantic Scholar
A Methodology for the Simplification of Tabular Designs in Model-Based Development
Monika Bialy, M. Lawford, Vera Pantelic, A. Wassyng
20152015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering5 citations Open access
Semantic Scholar
Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems
Wen Chen, A. Wassyng, T. Maibaum
2014International Conference on Product Focused Software Process Improvement5 citations
Semantic Scholar