Alan Wassyng

According to our database, Alan Wassyng authored at least 75 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles.

Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng

CoRR, 2024

2023

Repository mining for changes in Simulink and Stateflow models.

Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford

Softw. Syst. Model., October, 2023

Separating Technological and Clinical Safety Assurance for Medical Devices.

Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng

CoRR, 2023

Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity.

Sajid Rahim, Kourosh Sabri, Anna Ells, Alan Wassyng, Mark Lawford, Linyang Chu, Wenbo He

CoRR, 2023

Assurance Cases for Timing Properties of Automotive TSN Networks.

Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases.

Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 2023

Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities.

Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Lessons Learned Building a Tool for Workflow⁺.

Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

System Failure Detection Using Deep Learning Models Integrating Timestamps With Nonuniform Intervals.

Yixin Huangfu, Saeid R. Habibi, Alan Wassyng

IEEE Access, 2022

Generating Assurance Cases Using Workflow⁺ Models.

Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 2022

2021

A formal approach to rigorous development of critical systems.

Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng

J. Softw. Evol. Process., 2021

Raising the Bar: Assurance Cases for Scientific Software.

Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng, Jeffrey C. Carver, Karla Morris

Comput. Sci. Eng., 2021

Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey.

Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin

CoRR, 2021

Repository Mining for Changes in Simulink Models.

Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020

Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines.

Guy Meyer, Alan Wassyng, Mark Lawford, Kourosh Sabri, Shahram Shirani

CoRR, 2020

Supporting Modularity in Simulink Models.

Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford

CoRR, 2020

Change impact analysis in Simulink designs of embedded systems.

Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams, Gehan M. K. Selim, Mark Lawford, Alan Wassyng, Moustapha Diab, Feisel Weslati

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Systematic Evaluation of (Safety) Assurance Cases.

Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford

Proceedings of the Computer Safety, Reliability, and Security, 2020

Applying Modular Decomposition in Simulink.

Monika Jaskolka, Stephen Scott, Vera Pantelic, Alan Wassyng, Mark Lawford

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019

Secure and trusted partial grey-box verification.

Yixian Cai, George Karakostas, Alan Wassyng

Int. J. Inf. Sec., 2019

Building Confidence in Scientific Computing Software Via Assurance Cases.

Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng

CoRR, 2019

Assurance via workflow+ modelling and conformance.

Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford

CoRR, 2019

Something is Rotten in the State of Documenting Simulink Models.

Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Criteria to Systematically Evaluate (Safety) Assurance Cases.

Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

2018

Software engineering practices and Simulink: bridging the gap.

Vera Pantelic, Steven M. Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng

Int. J. Softw. Tools Technol. Transf., 2018

Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application.

Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford

J. Autom. Reason., 2018

Safe and Secure Automotive Over-the-Air Updates.

Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 2018

Documenting Simulink designs of embedded systems.

Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Assurance via model transformations and their hierarchical refinement.

Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Assurance cases for scientific computing software.

Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Use of Tabular Expressions for Refinement Automation.

Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

Principles for Systematic Development of an Assurance Case Template from ISO 26262.

Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim, Mark Lawford, Shinichi Shiraishi, Alan Wassyng

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2016

Secure and trusted white-box verification.

Yixian Cai, George Karakostas, Alan Wassyng

CoRR, 2016

Using STPA in an ISO 26262 Compliant Process.

Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 2016

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application.

Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015

Formal verification of function blocks applied to IEC 61131-3.

Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng

Sci. Comput. Program., 2015

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?

Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum

IEEE Des. Test, 2015

Formal Verification of Real-Time Function Blocks Using PVS.

Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

Stateflow to Tabular Expressions.

Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng

Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

Is Current Incremental Safety Assurance Sound?

Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 2015

A Methodology for the Simplification of Tabular Designs in Model-Based Development.

Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements.

Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng

Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

Formalizing the Cardiac Pacemaker Resynchronization Therapy.

Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

2014

The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062).

Dominique Méry, Bernhard Schätz, Alan Wassyng

Dagstuhl Reports, 2014

Understanding Integrity Level Concepts.

Paul Joannou, Alan Wassyng

Computer, 2014

Envisioning a Requirements Specification Template for Medical Device Software.

Hao Wang, Yihai Chen, Ridha Khédri, Alan Wassyng

Proceedings of the Product-Focused Software Process Improvement, 2014

Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems.

Wen Chen, Alan Wassyng, Tom Maibaum

Proceedings of the Product-Focused Software Process Improvement, 2014

Impact Analysis via Reachability and Alias Analysis.

Wen Chen, Alan Wassyng, Tom Maibaum

Proceedings of the Practice of Enterprise Modeling - 7th IFIP WG 8.1 Working Conference, 2014

Certifiably safe software-dependent systems: challenges and directions.

John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones

Proceedings of the on Future of Software Engineering, 2014

Formalizing the Glucose Homeostasis Mechanism.

Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014

2013

A Call Graph Mining and Matching Based Defect Localization Technique.

Anis Yousefi, Alan Wassyng

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Though this be madness, yet there is method in it? (Keynote).

Alan Wassyng

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS.

Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Insulin Pump Software Certification.

Yihai Chen, Mark Lawford, Hao Wang, Alan Wassyng

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

2012

Large-Scale Enterprise Systems: Changes and Impacts.

Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng

Proceedings of the Enterprise Information Systems - 14th International Conference, 2012

Change Impact Analysis for Large-scale Enterprise Systems.

Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.

Victor Bandur, Wolfram Kahl, Alan Wassyng

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

Who Are We, and What Are We Doing Here?

Alan Wassyng

Proceedings of the FM 2012: Formal Methods, 2012

Separating Safety and Control Systems to Reduce Complexity.

Alan Wassyng, Mark Lawford, Tom Maibaum

Proceedings of the Conquering Complexity, 2012

2011

Software certification experience in the canadian nuclear industry: lessons for the future.

Alan Wassyng, Mark Lawford, T. S. E. Maibaum

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Software Certification: Is There a Case against Safety Cases?

Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Certification of Software-Driven Medical Devices.

Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Selecting the best strategy in a software certification process.

Waldemar W. Koczkodaj, Vova Babiy, Agnieszka D. Bogobowicz, Ryszard Janicki, Alan Wassyng

Proceedings of the International Multiconference on Computer Science and Information Technology, 2010

Software certification consortium: certification methods for safety-critical software.

Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.

Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

A Software Certification Consortium and its Top 9 Hurdles.

John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

A Product-Focused Approach to Software Certification.

T. S. E. Maibaum, Alan Wassyng

Computer, 2008

On Software Certification: We Need Product-Focused Approaches.

Alan Wassyng, T. S. E. Maibaum, Mark Lawford

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Formal Verification of the Implementability of Timing Requirements.

Xiayong Hu, Mark Lawford, Alan Wassyng

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2006

Software tools for safety-critical software development.

Alan Wassyng, Mark Lawford

Int. J. Softw. Tools Technol. Transf., 2006

2005

Tabular Expressions and Their Relational Semantics.

Ryszard Janicki, Alan Wassyng

Fundam. Informaticae, 2005

To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it?

Daniel M. Berry, Daniela E. Damian, Anthony Finkelstein, Donald C. Gause, Robert Hall, Alan Wassyng

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Timing Tolerances in Safety-Critical Software.

Alan Wassyng, Mark Lawford, Xiayong Hu

Proceedings of the FM 2005: Formal Methods, 2005

2003

Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project.

Alan Wassyng, Mark Lawford

Proceedings of the FME 2003: Formal Methods, 2003

On tabular expressions.

Ryszard Janicki, Alan Wassyng

Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, 2003