Alan Wassyng - McMaster Experts

Affiliations

Faculty of Engineering, McMaster University
Professor, Computing and Software, Faculty of Engineering
Member, McMaster Institute for Energy Studies (MIES), Faculty of Engineering

Scholarly Activity in McMaster Experts

Co-author Network

Scholarly Activity
Research
Teaching
Contact
View All

selected scholarly activity

chapters
- Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. Lecture Notes in Computer Science. 134-149. 2024
- Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. Lecture Notes in Computer Science. 25-38. 2023
- Literature Review of Computer Tools for the Visually Impaired: A Focus on Search Engines. 237-259. 2022
- Generating Assurance Cases Using Workflow$$^+$$ Models. Lecture Notes in Computer Science. 97-110. 2022
- 3 Software Engineering for Model-Based Development by Domain Experts. 39-64. 2017
- Software Engineering for Model-Based Development by Domain Experts. 39-64. 2017
- New standards for trustworthy cyber-physical systems. 337-367. 2016
- Trustworthy Cyber-Physical Systems Engineering. 237-270. 2016
- Verifying trustworthy cyber-physical systems using closed-loop modeling. 199-235. 2016
- Separating Safety and Control Systems to Reduce Complexity. 85-102. 2012
conferences
- Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. 2024 IEEE Intelligent Vehicles Symposium (IV). 1000-1007. 2024
- Lessons Learned Building a Tool for Workflow⁺. 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS). 140-150. 2023
- Assurance Cases for Timing Properties of Automotive TSN Networks. Lecture Notes in Computer Science. 26-31. 2023
- Model-Driven Safety of Autonomous Vehicles. RECENT TRENDS AND ADVANCES IN MODEL BASED SYSTEMS ENGINEERING. 407-417. 2022
- Repository Mining for Changes in Simulink Models. 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). 46-57. 2021
- Change impact analysis in Simulink designs of embedded systems. Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1274-1284. 2020
- Applying Modular Decomposition in Simulink. 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). 31-36. 2020
- A Comparison of Componentization Constructs for Supporting Modularity in Simulink. SAE Technical Papers. 2020
- Systematic Evaluation of (Safety) Assurance Cases. Lecture Notes in Computer Science. 18-33. 2020
- Criteria to Systematically Evaluate (Safety) Assurance Cases. Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 380-390. 2019
- Something is Rotten in the State of Documenting Simulink Models. Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development. 505-512. 2019
- Something is Rotten in the State of Documenting Simulink Models. Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development. 503-510. 2019
- Assurance via model transformations and their hierarchical refinement. Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. 426-436. 2018
- Assurance cases for scientific computing software. Proceedings - International Conference on Software Engineering. 420-421. 2018
- Documenting Simulink Designs of Embedded Systems. Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 47-51. 2018
- Safe and Secure Automotive Over-the-Air Updates. Lecture Notes in Computer Science. 172-187. 2018
- Principles for Systematic Development of an Assurance Case Template from ISO 26262. 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). 69-72. 2017
- Use of Tabular Expressions for Refinement Automation. Lecture Notes in Computer Science. 167-182. 2017
- Message from the FVPE 2016 Workshop Organizers. 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). xxiii. 2016
- Message from the workshop chairs. Proceedings - International Workshop on Software Engineering in Healthcare Systems, SEHS 2016. vii. 2016
- Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application. Lecture Notes in Computer Science. 206-220. 2016
- Using STPA in an ISO 26262 Compliant Process. Lecture Notes in Computer Science. 117-129. 2016
- Stateflow to Tabular Expressions. Proceedings of the Sixth International Symposium on Information and Communication Technology. 312-319. 2015
- A Methodology for the Simplification of Tabular Designs in Model-Based Development. 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering. 47-53. 2015
- Formalizing the Cardiac Pacemaker Resynchronization Therapy. Lecture Notes in Computer Science. 374-386. 2015
- Is Current Incremental Safety Assurance Sound?. Lecture Notes in Computer Science. 397-408. 2015
- Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. Lecture Notes in Computer Science. 387-398. 2015
- Certifiably safe software-dependent systems: challenges and directions. Future of Software Engineering Proceedings. 182-200. 2014
- Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems. Lecture Notes in Computer Science. 224-238. 2014
- Envisioning a Requirements Specification Template for Medical Device Software. Lecture Notes in Computer Science. 209-223. 2014
- Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. Communications in Computer and Information Science. 125-141. 2014
- Formalizing the Glucose Homeostasis Mechanism. Lecture Notes in Computer Science. 460-471. 2014
- Impact Analysis via Reachability and Alias Analysis. Lecture Notes in Business Information Processing. 261-270. 2014
- Insulin Pump Software Certification. Lecture Notes in Computer Science. 87-106. 2014
- Committee. 2013 5th International Workshop on Software Engineering in Health Care (SEHC). iii-iv. 2013
- Though this be madness, yet there is method in it? (Keynote). 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE). 1-7. 2013
- A Call Graph Mining and Matching Based Defect Localization Technique. 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops. 86-95. 2013
- Large-Scale Enterprise Systems: Changes and Impacts. Lecture Notes in Business Information Processing. 274-290. 2013
- Change impact analysis for large-scale enterprise systems. ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems. 359-368. 2012
- An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump. Lecture Notes in Computer Science. 160-176. 2012
- Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. FHIES. 2012
- Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. Lecture Notes in Computer Science. 63-77. 2012
- Model Checking Workflow Monitors and Its Application to a Pain Management Process. Lecture Notes in Computer Science. 111-128. 2012
- NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery. Lecture Notes in Computer Science. 75-92. 2012
- Positioning verification in the context of software/system certification. Electronic Communications of the EASST. 2012
- Who Are We, and What Are We Doing Here?. Lecture Notes in Computer Science. 7-9. 2012
- Software certification experience in the canadian nuclear industry. Proceedings of the ninth ACM international conference on Embedded software. 219-225. 2011
- A Technique for Strengthening Weak Passwords in Electronic Medical Record Systems.. FHIES. 207-224. 2011
- Challenges in eHealth: From Enabling to Enforcing Privacy.. FHIES. 195-206. 2011
- Declarative Modelling and Safe Distribution of Healthcare Workflows.. FHIES. 39-56. 2011
- Experiences with a Compositional Model Checker in the Healthcare Domain.. FHIES. 93-110. 2011
- Form Follows Function - Model-Driven Engineering for Clinical Trials.. FHIES. 21-38. 2011
- Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata.. FHIES. 140-159. 2011
- Medical Protocol Diagnosis Using Formal Methods.. FHIES. 1-20. 2011
- On the Safety of Electronic Medical Records.. FHIES. 177-194. 2011
- Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African Countries.. FHIES. 129-139. 2011
- Software Certification: Is There a Case against Safety Cases?. Lecture Notes in Computer Science. 206-227. 2011
- Towards a Formal Integrated Model of Collaborative Healthcare Workflows.. FHIES. 57-74. 2011
- Selecting the best strategy in a software certification process. Proceedings of the International Multiconference on Computer Science and Information Technology. 53-58. 2010
- Certification of Software-Driven Medical Devices. Lecture Notes in Computer Science. 293-295. 2010
- On Software Certification: We Need Product-Focused Approaches. Lecture Notes in Computer Science. 250-274. 2010
- Software certification consortium. Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '10. 434-434. 2010
- Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. Lecture Notes in Computer Science. 155-170. 2009
- Formal Verification of the Implementability of Timing Requirements. Lecture Notes in Computer Science. 119-134. 2009
- Automated Optimal Design for Manufacturability of Sheet/Plate Assemblies. American Society of Mechanical Engineers, Design Engineering Division (Publication) DE. 365-370. 2008
- Symbolic computation and deduction applied to reverse engineering. Informal Proceedings - 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006. 132-134. 2006
- Timing Tolerances in Safety-Critical Software. Lecture Notes in Computer Science. 157-172. 2005
- To do or not to do: If the requirements engineering payoff is so good, why aren' t more companies doing it?. Proceedings of the IEEE International Conference on Requirements Engineering. 447-447. 2005
- Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. Lecture Notes in Computer Science. 133-153. 2003
- On tabular expressions.. CASCON. 92-106. 2003
- APPLYING SMALL COMPUTERS TO UNDERGRADUATE INSTRUCTION IN ENGINEERING MECHANICS AT THE UNIVERSITY OF MINNESOTA.. Proceedings of the Society for Experimental Stress Analysis. 112-116. 1983
- DEVELOPMENT OF A SYSTEMATIC PROBLEM SOLVING COURSE: AN ALTERNATIVE TO THE USE OF CASE STUDIES.. Proceedings - Frontiers in Education Conference, FIE. 42-46. 1983
- STEREOPHOTOGRAMMETRIC MAPPING OF THE HUMAN FACE FOR CLINICAL ANALYSIS AND RESEARCH IN CRANIOFACIAL SURGERY.. Technical Papers of the American Society of Photogrammetry, Annual Meeting. 274-283. 1983
journal articles
- Repository mining for changes in Simulink and Stateflow models. Software and Systems Modeling (SoSyM). 22:1713-1732. 2023
- Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. Lecture Notes in Computer Science. 14182:5-14. 2023
- Fault Detection and Diagnosis of Engine Spark Plugs Using Deep Learning Techniques. SAE International Journal of Engines. 15:515-525. 2022
- System Failure Detection Using Deep Learning Models Integrating Timestamps With Nonuniform Intervals. IEEE Access. 10:17629-17640. 2022
- A formal approach to rigorous development of critical systems. Journal of Software-Evolution and Process. 33. 2021
- Raising the Bar: Assurance Cases for Scientific Software. Computing in Science and Engineering. 23:47-57. 2021
- Building Confidence in Scientific Computing Software Via Assurance Cases 2019
- Secure and trusted partial grey-box verification. International Journal of Information Security. 18:677-700. 2019
- Software engineering practices and Simulink: bridging the gap. International Journal on Software Tools for Technology Transfer. 20:95-117. 2018
- Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. Journal of Automated Reasoning. 60:63-84. 2018
- Secure and trusted white-box verification. CoRR. abs/1605.03932. 2016
- Formal verification of function blocks applied to IEC 61131-3. Science of Computer Programming. 113:149-190. 2015
- Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?. IEEE Design and Test. 32:45-55. 2015
- Formal Verification of Real-Time Function Blocks Using PVS. Electronic Proceedings in Theoretical Computer Science. 184:65-79. 2015
- Understanding Integrity Level Concepts. Computer. 47:99-101. 2014
- The most suitable person to establish quality assurance guidelines for the generation and use of noncommercial clinical software is a medical physicist. Medical Physics. 41:090601. 2014
- The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062).. Dagstuhl Reports. 4:17-38. 2014
- Formal Verification of Nuclear Systems: Past, Present, and Future. Information & Security : An International Journal. 28:223-235. 2012
- A memory of debt and mirth. Transactions of the Royal Society of South Africa. 65:142-142. 2010
- Integrated software methodologies – An engineering approach. Transactions of the Royal Society of South Africa. 65:125-136. 2010
- A Software Certification Consortium and its Top 9 Hurdles. Electronic Notes in Theoretical Computer Science. 238:11-17. 2009
- A Product-Focused Approach to Software Certification. Computer. 41:91-93. 2008
- Software tools for safety-critical software development. International Journal on Software Tools for Technology Transfer. 8:337-354. 2006
- Tabular expressions and their relational semantics. Fundamenta Informaticae. 67:343-370. 2005
- Personal computers and modeling in engineering education. CoED. 10:31-46. 1990
- Solving $Ax = b$: A Method with Reduced Storage Requirements. SIAM Journal on Numerical Analysis. 19:197-204. 1982
- A coupled finite element-boundary element method of stress analysis. International Journal of Rock Mechanics and Minings Sciences. 18:475-485. 1981
- A new method for the solution ofAx=b. Numerische Mathematik. 29:287-289. 1978
other
preprints