Alan Wassyng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
44
Venues
15
Active years
2003–2026
Best venue rank
A*
Where they publish
Papers
44 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAFECOMP | Chaining Unsafe Control Actions in STPA. | Nicholas Petrunti, Spencer Deevy, Vera Pantelic, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2025 | ISSRE | Linking Medical Device Assurance Cases. | Tiago de Moraes Machado, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2025 | SAFECOMP | Principled Safety Assurance Arguments. | Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2024 | ISSRE | Generating Understandable and Reusable Safety Assurance Cases using Workflow | Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2024 | ISSRE | Using Boundary Objects for Continuous Compliance in Automotive Development. | Anthony Shenouda, Tiziano Santilli, Faezeh Siavashi, Thomas Chiang, Nicholas Annable, Horacio Hoyos Rodriguez, Richard F. Paige, Patrizio Pelliccione, Mark Lawford, Alan Wassyng, Vera Pantelic |
| 2024 | MODELS | A Tool For Feature-Requirement Traceability Using Requirement Canvas and Encapsulation. | Thomas Chiang, Richard F. Paige, Alan Wassyng, Sbastien Mosser |
| 2024 | MODELS | Mapping Requirements to Features to Create Traceability in Product Line Models. | Thomas Chiang, Richard F. Paige, Alan Wassyng, Sbastien Mosser |
| 2024 | SAFECOMP | Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. | Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng |
| 2023 | MODELS | Lessons Learned Building a Tool for Workflow | Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2023 | SAFECOMP | Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. | Victor Bandur, Mark Lawford, Sbastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng |
| 2023 | SAFECOMP | 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 |
| 2023 | SAFECOMP | Assurance Cases for Timing Properties of Automotive TSN Networks. | Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford |
| 2022 | SAFECOMP | Generating Assurance Cases Using Workflow | Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2021 | MODELS | Repository Mining for Changes in Simulink Models. | Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige |
| 2020 | ISSRE | Applying Modular Decomposition in Simulink. | Monika Jaskolka, Stephen Scott, Vera Pantelic, Alan Wassyng, Mark Lawford |
| 2020 | SAFECOMP | Systematic Evaluation of (Safety) Assurance Cases. | Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford |
| 2019 | ISSRE | Criteria to Systematically Evaluate (Safety) Assurance Cases. | Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford |
| 2019 | MODELSWARD | Something is Rotten in the State of Documenting Simulink Models. | Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford |
| 2018 | ICSE | Assurance cases for scientific computing software. | Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng |
| 2018 | MODELS | Assurance via model transformations and their hierarchical refinement. | Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford |
| 2018 | MODELS | Documenting Simulink designs of embedded systems. | Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas |
| 2018 | SAFECOMP | 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 |
| 2017 | ISSRE | 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 |
| 2017 | MEDI | Use of Tabular Expressions for Refinement Automation. | Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2016 | SAFECOMP | Using STPA in an ISO 26262 Compliant Process. | Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng |
| 2015 | HCI | Formalizing the Cardiac Pacemaker Resynchronization Therapy. | Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2015 | HCI | Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. | Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng |
| 2015 | ICSE | A Methodology for the Simplification of Tabular Designs in Model-Based Development. | Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng |
| 2015 | SAFECOMP | Is Current Incremental Safety Assurance Sound? | Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2014 | HCI | Formalizing the Glucose Homeostasis Mechanism. | Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2014 | ICSE | Certifiably safe software-dependent systems: challenges and directions. | John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones |
| 2014 | PROFES | Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems. | Wen Chen, Alan Wassyng, Tom Maibaum |
| 2014 | PROFES | Envisioning a Requirements Specification Template for Medical Device Software. | Hao Wang, Yihai Chen, Ridha Khdri, Alan Wassyng |
| 2013 | ICSE | Though this be madness, yet there is method in it? (Keynote). | Alan Wassyng |
| 2013 | ICST | A Call Graph Mining and Matching Based Defect Localization Technique. | Anis Yousefi, Alan Wassyng |
| 2012 | FM | Who Are We, and What Are We Doing Here? | Alan Wassyng |
| 2012 | FMICS | Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. | Victor Bandur, Wolfram Kahl, Alan Wassyng |
| 2011 | EMSOFT | Software certification experience in the canadian nuclear industry: lessons for the future. | Alan Wassyng, Mark Lawford, T. S. E. Maibaum |
| 2010 | ISoLA | Certification of Software-Driven Medical Devices. | Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2009 | FASE | Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. | Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng |
| 2008 | FMICS | Formal Verification of the Implementability of Timing Requirements. | Xiayong Hu, Mark Lawford, Alan Wassyng |
| 2005 | FM | Timing Tolerances in Safety-Critical Software. | Alan Wassyng, Mark Lawford, Xiayong Hu |
| 2005 | RE | 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 |
| 2003 | FM | Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. | Alan Wassyng, Mark Lawford |