Alan Wassyng - RankMe

84 papers A 5B 12C 5Misc 2Journal 23Unranked 35

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