default search action
Alan Wassyng
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c55]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: 1000-1007 - [c54]Thomas Chiang
, Richard F. Paige
A Tool For Feature-Requirement Traceability Using Requirement Canvas and Encapsulation. MoDELS (Companion) 2024: 725-734 - [c53]Thomas Chiang
Mapping Requirements to Features to Create Traceability in Product Line Models. MoDELS (Companion) 2024: 1180-1187 - [c52]Nicholas Annable
Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. SAFECOMP 2024: 134-149 - [i10]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 abs/2402.10226 (2024) - 2023
- [j13]Monika Jaskolka
Repository mining for changes in Simulink and Stateflow models. Softw. Syst. Model. 22(5): 1713-1732 (2023) - [c51]Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng:
Lessons Learned Building a Tool for Workflow+. MODELS 2023: 140-150 - [c50]Victor Bandur
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. SAFECOMP Workshops 2023: 5-14 - [c49]Spencer Deevy
Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. SAFECOMP 2023: 25-38 - [c48]Ryan Kapinski, Vera Pantelic
Assurance Cases for Timing Properties of Automotive TSN Networks. SAFECOMP Workshops 2023: 26-31 - [i9]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 abs/2302.02524 (2023) - [i8]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 abs/2302.07873 (2023) - 2022
- [j12]Yixin Huangfu
System Failure Detection Using Deep Learning Models Integrating Timestamps With Nonuniform Intervals. IEEE Access 10: 17629-17640 (2022) - [c47]Nicholas Annable
Generating Assurance Cases Using Workflow+ Models. SAFECOMP 2022: 97-110 - 2021
- [j11]Spencer Smith
Raising the Bar: Assurance Cases for Scientific Software. Comput. Sci. Eng. 23(1): 47-57 (2021) - [j10]Neeraj Kumar Singh
A formal approach to rigorous development of critical systems. J. Softw. Evol. Process. 33(4) (2021) - [c46]Monika Jaskolka
Repository Mining for Changes in Simulink Models. MoDELS 2021: 46-57 - [i7]Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin:
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey. CoRR abs/2111.14324 (2021) - 2020
- [c45]Monika Jaskolka
Applying Modular Decomposition in Simulink. ISSRE Workshops 2020: 31-36 - [c44]Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford:
Systematic Evaluation of (Safety) Assurance Cases. SAFECOMP 2020: 18-33 - [c43]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: 1274-1284 - [i6]Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford:
Supporting Modularity in Simulink Models. CoRR abs/2007.10120 (2020) - [i5]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 abs/2010.11163 (2020)
2010 – 2019
- 2019
- [j9]Yixian Cai, George Karakostas
Secure and trusted partial grey-box verification. Int. J. Inf. Sec. 18(6): 677-700 (2019) - [c42]Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford:
Criteria to Systematically Evaluate (Safety) Assurance Cases. ISSRE 2019: 380-390 - [c41]Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford:
Something is Rotten in the State of Documenting Simulink Models. MODELSWARD 2019: 503-510 - [i4]Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford:
Assurance via workflow+ modelling and conformance. CoRR abs/1912.09912 (2019) - [i3]Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng:
Building Confidence in Scientific Computing Software Via Assurance Cases. CoRR abs/1912.13308 (2019) - 2018
- [j8]Josh Newell
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. J. Autom. Reason. 60(1): 63-84 (2018) - [j7]Vera Pantelic, Steven M. Postma, Mark Lawford, Monika Jaskolka
Software engineering practices and Simulink: bridging the gap. Int. J. Softw. Tools Technol. Transf. 20(1): 95-117 (2018) - [c40]Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng:
Assurance cases for scientific computing software. ICSE (Companion Volume) 2018: 420-421 - [c39]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: 47-51 - [c38]Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford:
Assurance via model transformations and their hierarchical refinement. MoDELS 2018: 426-436 - [c37]Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim
Safe and Secure Automotive Over-the-Air Updates. SAFECOMP 2018: 172-187 - 2017
- [c36]Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim
Principles for Systematic Development of an Assurance Case Template from ISO 26262. ISSRE Workshops 2017: 69-72 - [c35]Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Use of Tabular Expressions for Refinement Automation. MEDI 2017: 167-182 - 2016
- [c34]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: 206-220 - [c33]Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng:
Using STPA in an ISO 26262 Compliant Process. SAFECOMP 2016: 117-129 - [i2]Yixian Cai, George Karakostas, Alan Wassyng:
Secure and trusted white-box verification. CoRR abs/1605.03932 (2016) - 2015
- [j6]Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? IEEE Des. Test 32(5): 45-55 (2015) - [j5]Linna Pang
Formal verification of function blocks applied to IEC 61131-3. Sci. Comput. Program. 113: 149-190 (2015) - [c32]Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Formalizing the Cardiac Pacemaker Resynchronization Therapy. HCI (17) 2015: 374-386 - [c31]Neeraj Kumar Singh, Hao Wang
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. HCI (17) 2015: 387-398 - [c30]Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng:
A Methodology for the Simplification of Tabular Designs in Model-Based Development. FormaliSE@ICSE 2015: 47-53 - [c29]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: 397-408 - [c28]Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng:
Stateflow to Tabular Expressions. SoICT 2015: 312-319 - [c27]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: 65-79 - 2014
- [j4]Paul Joannou, Alan Wassyng:
Understanding Integrity Level Concepts. Computer 47(11): 99-101 (2014) - [c26]Neeraj Kumar Singh, Hao Wang
Formalizing the Glucose Homeostasis Mechanism. HCI (20) 2014: 460-471 - [c25]John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones:
Certifiably safe software-dependent systems: challenges and directions. FOSE 2014: 182-200 - [c24]Wen Chen, Alan Wassyng, Tom Maibaum:
Impact Analysis via Reachability and Alias Analysis. PoEM 2014: 261-270 - [c23]Hao Wang
Envisioning a Requirements Specification Template for Medical Device Software. PROFES 2014: 209-223 - [c22]Wen Chen, Alan Wassyng, Tom Maibaum:
Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems. PROFES 2014: 224-238 - [i1]Dominique Méry, Bernhard Schätz, Alan Wassyng:
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). Dagstuhl Reports 4(2): 17-38 (2014) - 2013
- [c21]Yihai Chen, Mark Lawford, Hao Wang
Insulin Pump Software Certification. FHIES 2013: 87-106 - [c20]Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng:
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. FTSCS 2013: 125-141 - [c19]Alan Wassyng:
Though this be madness, yet there is method in it? (Keynote). FormaliSE@ICSE 2013: 1-7 - [c18]Anis Yousefi, Alan Wassyng:
A Call Graph Mining and Matching Based Defect Localization Technique. ICST Workshops 2013: 86-95 - 2012
- [c17]Alan Wassyng:
Who Are We, and What Are We Doing Here? FM 2012: 7-9 - [c16]Victor Bandur, Wolfram Kahl, Alan Wassyng:
Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. FMICS 2012: 63-77 - [c15]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: 274-290 - [c14]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: 359-368 - [p1]Alan Wassyng, Mark Lawford, Tom Maibaum:
Separating Safety and Control Systems to Reduce Complexity. Conquering Complexity 2012: 85-102 - [e1]Zhiming Liu, Alan Wassyng:
Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7151, Springer 2012, ISBN 978-3-642-32354-6 [contents] - 2011
- [c13]Alan Wassyng, Mark Lawford, T. S. E. Maibaum:
Software certification experience in the canadian nuclear industry: lessons for the future. EMSOFT 2011: 219-226 - 2010
- [c12]Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff:
Software certification consortium: certification methods for safety-critical software. CASCON 2010: 434-436 - [c11]Waldemar W. Koczkodaj, Vova Babiy, Agnieszka D. Bogobowicz, Ryszard Janicki, Alan Wassyng:
Selecting the best strategy in a software certification process. IMCSIT 2010: 53-58 - [c10]Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Certification of Software-Driven Medical Devices. ISoLA (2) 2010: 293-295 - [c9]Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer:
Software Certification: Is There a Case against Safety Cases? Monterey Workshop 2010: 206-227
2000 – 2009
- 2009
- [c8]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: 155-170 - 2008
- [j3]T. S. E. Maibaum, Alan Wassyng:
A Product-Focused Approach to Software Certification. Computer 41(2): 91-93 (2008) - [c7]Xiayong Hu, Mark Lawford, Alan Wassyng:
Formal Verification of the Implementability of Timing Requirements. FMICS 2008: 119-134 - [c6]Alan Wassyng, T. S. E. Maibaum, Mark Lawford:
On Software Certification: We Need Product-Focused Approaches. Monterey Workshop 2008: 250-274 - [c5]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. SafeCert@ETAPS 2008: 11-17 - 2006
- [j2]Alan Wassyng, Mark Lawford:
Software tools for safety-critical software development. Int. J. Softw. Tools Technol. Transf. 8(4-5): 337-354 (2006) - 2005
- [j1]Ryszard Janicki, Alan Wassyng:
Tabular Expressions and Their Relational Semantics. Fundam. Informaticae 67(4): 343-370 (2005) - [c4]Alan Wassyng, Mark Lawford, Xiayong Hu:
Timing Tolerances in Safety-Critical Software. FM 2005: 157-172 - [c3]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: 447 - 2003
- [c2]Ryszard Janicki, Alan Wassyng:
On tabular expressions. CASCON 2003: 92-106 - [c1]Alan Wassyng, Mark Lawford:
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. FME 2003: 133-153
Coauthor Index
[c55] [c52] [i10] [j13] [c51] [c50] [c48] [i9] [c47] [j10] [c46] [i7] [c45] [c44] [c43] [i6] [i5] [c42] [c41] [i4] [j8] [j7] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [j6] [j5] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c21] [c20] [c15] [c14] [p1] [c13] [c12] [c10] [c9] [c7] [c6] [c5] [j2] [c4] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: