Alan Wassyng

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 36

Top Topics

Medical Devices

Autonomous Vehicles

Impact Analysis

Graceful Degradation

Top Venues

SAFECOMP Workshops

Publications

Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. CoRR (2024)
Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. IV (2024)
Sajid Rahim, Kourosh Sabri, Anna Ells, Alan Wassyng, Mark Lawford, Linyang Chu, Wenbo He
Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity. CoRR (2023)
Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng
Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. SAFECOMP (2023)
Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
. MODELS (2023)
Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford
Repository mining for changes in Simulink and Stateflow models. Softw. Syst. Model. 22 (5) (2023)
Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford
Assurance Cases for Timing Properties of Automotive TSN Networks. SAFECOMP Workshops (2023)
Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng
Separating Technological and Clinical Safety Assurance for Medical Devices. CoRR (2023)
Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. SAFECOMP Workshops (2023)
Yixin Huangfu, Saeid Habibi, Alan Wassyng
System Failure Detection Using Deep Learning Models Integrating Timestamps With Nonuniform Intervals. IEEE Access 10 (2022)
Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
Models. SAFECOMP (2022)
Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
A formal approach to rigorous development of critical systems. J. Softw. Evol. Process. 33 (4) (2021)
Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige
Repository Mining for Changes in Simulink Models. MoDELS (2021)
Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey. CoRR (2021)
Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng, Jeffrey C. Carver, Karla Morris
Raising the Bar: Assurance Cases for Scientific Software. Comput. Sci. Eng. 23 (1) (2021)
Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford
Supporting Modularity in Simulink Models. CoRR (2020)
Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams, Gehan M. K. Selim, Mark Lawford, Alan Wassyng, Moustapha Diab, Feisel Weslati
Change impact analysis in Simulink designs of embedded systems. ESEC/SIGSOFT FSE (2020)
Monika Jaskolka, Stephen Scott, Vera Pantelic, Alan Wassyng, Mark Lawford
Applying Modular Decomposition in Simulink. ISSRE Workshops (2020)
Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford
Systematic Evaluation of (Safety) Assurance Cases. SAFECOMP (2020)
Guy Meyer, Alan Wassyng, Mark Lawford, Kourosh Sabri, Shahram Shirani
Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines. CoRR (2020)
Yixian Cai, George Karakostas, Alan Wassyng
Secure and trusted partial grey-box verification. Int. J. Inf. Sec. 18 (6) (2019)
Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng
Building Confidence in Scientific Computing Software Via Assurance Cases. CoRR (2019)
Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford
Assurance via workflow+ modelling and conformance. CoRR (2019)
Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford
Something is Rotten in the State of Documenting Simulink Models. MODELSWARD (2019)
Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford
Criteria to Systematically Evaluate (Safety) Assurance Cases. ISSRE (2019)
Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas
Documenting Simulink designs of embedded systems. MoDELS (Companion) (2018)
Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. J. Autom. Reason. 60 (1) (2018)
Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford
Assurance via model transformations and their hierarchical refinement. MoDELS (2018)
Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng
Safe and Secure Automotive Over-the-Air Updates. SAFECOMP (2018)
Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng
Assurance cases for scientific computing software. ICSE (Companion Volume) (2018)
Vera Pantelic, Steven M. Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng
Software engineering practices and Simulink: bridging the gap. Int. J. Softw. Tools Technol. Transf. 20 (1) (2018)
Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Use of Tabular Expressions for Refinement Automation. MEDI (2017)
Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim, Mark Lawford, Shinichi Shiraishi, Alan Wassyng
Principles for Systematic Development of an Assurance Case Template from ISO 26262. ISSRE Workshops (2017)
Yixian Cai, George Karakostas, Alan Wassyng
Secure and trusted white-box verification. CoRR (2016)
Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford
Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application. NFM (2016)
Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng
Using STPA in an ISO 26262 Compliant Process. SAFECOMP (2016)
Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng
A Methodology for the Simplification of Tabular Designs in Model-Based Development. FormaliSE@ICSE (2015)
Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Is Current Incremental Safety Assurance Sound? SAFECOMP Workshops (2015)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng
Formal verification of function blocks applied to IEC 61131-3. Sci. Comput. Program. 113 (2015)
Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. HCI (17) (2015)
Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
Stateflow to Tabular Expressions. SoICT (2015)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine
Formal Verification of Real-Time Function Blocks Using PVS. ESSS (2015)
Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Formalizing the Cardiac Pacemaker Resynchronization Therapy. HCI (17) (2015)
Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? IEEE Des. Test 32 (5) (2015)
Wen Chen, Alan Wassyng, Tom Maibaum
Impact Analysis via Reachability and Alias Analysis. PoEM (2014)
Paul Joannou, Alan Wassyng
Understanding Integrity Level Concepts. Computer 47 (11) (2014)
Wen Chen, Alan Wassyng, Tom Maibaum
Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems. PROFES (2014)
Dominique Méry, Bernhard Schätz, Alan Wassyng
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). Dagstuhl Reports 4 (2) (2014)
Hao Wang, Yihai Chen, Ridha Khédri, Alan Wassyng
Envisioning a Requirements Specification Template for Medical Device Software. PROFES (2014)
Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Formalizing the Glucose Homeostasis Mechanism. HCI (20) (2014)
John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones
Certifiably safe software-dependent systems: challenges and directions. FOSE (2014)
Anis Yousefi, Alan Wassyng
A Call Graph Mining and Matching Based Defect Localization Technique. ICST Workshops (2013)
Alan Wassyng
Though this be madness, yet there is method in it? (Keynote). FormaliSE@ICSE (2013)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. FTSCS (2013)
Yihai Chen, Mark Lawford, Hao Wang, Alan Wassyng
Insulin Pump Software Certification. FHIES (2013)
Alan Wassyng
Who Are We, and What Are We Doing Here? FM (2012)
Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng
Large-Scale Enterprise Systems: Changes and Impacts. ICEIS (2012)
Victor Bandur, Wolfram Kahl, Alan Wassyng
Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. FMICS (2012)
Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Change Impact Analysis for Large-scale Enterprise Systems. ICEIS (2) (2012)
Alan Wassyng, Mark Lawford, T. S. E. Maibaum
Software certification experience in the canadian nuclear industry: lessons for the future. EMSOFT (2011)
Waldemar W. Koczkodaj, Vova Babiy, Agnieszka D. Bogobowicz, Ryszard Janicki, Alan Wassyng
Selecting the best strategy in a software certification process. IMCSIT (2010)
Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Certification of Software-Driven Medical Devices. ISoLA (2) (2010)
Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer
Software Certification: Is There a Case against Safety Cases? Monterey Workshop (2010)
Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff
Software certification consortium: certification methods for safety-critical software. CASCON (2010)
Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE (2009)
John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden
A Software Certification Consortium and its Top 9 Hurdles. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
T. S. E. Maibaum, Alan Wassyng
A Product-Focused Approach to Software Certification. Computer 41 (2) (2008)
Xiayong Hu, Mark Lawford, Alan Wassyng
Formal Verification of the Implementability of Timing Requirements. FMICS (2008)
Alan Wassyng, T. S. E. Maibaum, Mark Lawford
On Software Certification: We Need Product-Focused Approaches. Monterey Workshop (2008)
Alan Wassyng, Mark Lawford
Software tools for safety-critical software development. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Daniel M. Berry, Daniela E. Damian, Anthony Finkelstein, Donald C. Gause, Robert Hall, Alan Wassyng
To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it? RE (2005)
Ryszard Janicki, Alan Wassyng
Tabular Expressions and Their Relational Semantics. Fundam. Informaticae 67 (4) (2005)
Alan Wassyng, Mark Lawford, Xiayong Hu
Timing Tolerances in Safety-Critical Software. FM (2005)
Alan Wassyng, Mark Lawford
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. FME (2003)
Ryszard Janicki, Alan Wassyng
On tabular expressions. CASCON (2003)