2024
Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2024
Mapping Requirements to Features to Create Traceability in Product Line Models.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
A Tool For Feature-Requirement Traceability Using Requirement Canvas and Encapsulation.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024
Using Boundary Objects for Continuous Compliance in Automotive Development.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024
Generating Understandable and Reusable Safety Assurance Cases using Workflow<sup>+</sup>.
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024
2023
Repository mining for changes in Simulink and Stateflow models.
Softw. Syst. Model., October, 2023
Separating Technological and Clinical Safety Assurance for Medical Devices.
CoRR, 2023
Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity.
CoRR, 2023
Assurance Cases for Timing Properties of Automotive TSN Networks.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2023
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
Lessons Learned Building a Tool for Workflow<sup>+</sup>.
Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
2022
System Failure Detection Using Deep Learning Models Integrating Timestamps With Nonuniform Intervals.
IEEE Access, 2022
Generating Assurance Cases Using Workflow<sup>+</sup> Models.
Proceedings of the Computer Safety, Reliability, and Security, 2022
2021
A formal approach to rigorous development of critical systems.
J. Softw. Evol. Process., 2021
Raising the Bar: Assurance Cases for Scientific Software.
Comput. Sci. Eng., 2021
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey.
CoRR, 2021
Repository Mining for Changes in Simulink Models.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021
2020
Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines.
CoRR, 2020
Supporting Modularity in Simulink Models.
CoRR, 2020
Change impact analysis in Simulink designs of embedded systems.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Systematic Evaluation of (Safety) Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2020
Applying Modular Decomposition in Simulink.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
2019
Secure and trusted partial grey-box verification.
Int. J. Inf. Sec., 2019
Building Confidence in Scientific Computing Software Via Assurance Cases.
CoRR, 2019
Assurance via workflow+ modelling and conformance.
CoRR, 2019
Something is Rotten in the State of Documenting Simulink Models.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
Criteria to Systematically Evaluate (Safety) Assurance Cases.
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019
2018
Software engineering practices and Simulink: bridging the gap.
Int. J. Softw. Tools Technol. Transf., 2018
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application.
J. Autom. Reason., 2018
Safe and Secure Automotive Over-the-Air Updates.
Proceedings of the Computer Safety, Reliability, and Security, 2018
Documenting Simulink designs of embedded systems.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
Assurance via model transformations and their hierarchical refinement.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Assurance cases for scientific computing software.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
2017
Use of Tabular Expressions for Refinement Automation.
Proceedings of the Model and Data Engineering - 7th International Conference, 2017
Principles for Systematic Development of an Assurance Case Template from ISO 26262.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
2016
Secure and trusted white-box verification.
CoRR, 2016
Using STPA in an ISO 26262 Compliant Process.
Proceedings of the Computer Safety, Reliability, and Security, 2016
Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
2015
Formal verification of function blocks applied to IEC 61131-3.
Sci. Comput. Program., 2015
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?
IEEE Des. Test, 2015
Formal Verification of Real-Time Function Blocks Using PVS.
Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015
Stateflow to Tabular Expressions.
Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015
Is Current Incremental Safety Assurance Sound?
Proceedings of the Computer Safety, Reliability, and Security, 2015
A Methodology for the Simplification of Tabular Designs in Model-Based Development.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements.
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015
Formalizing the Cardiac Pacemaker Resynchronization Therapy.
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015
2014
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062).
Dagstuhl Reports, 2014
Understanding Integrity Level Concepts.
Computer, 2014
Envisioning a Requirements Specification Template for Medical Device Software.
Proceedings of the Product-Focused Software Process Improvement, 2014
Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems.
Proceedings of the Product-Focused Software Process Improvement, 2014
Impact Analysis via Reachability and Alias Analysis.
Proceedings of the Practice of Enterprise Modeling - 7th IFIP WG 8.1 Working Conference, 2014
Certifiably safe software-dependent systems: challenges and directions.
Proceedings of the on Future of Software Engineering, 2014
Formalizing the Glucose Homeostasis Mechanism.
Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014
2013
A Call Graph Mining and Matching Based Defect Localization Technique.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Though this be madness, yet there is method in it? (Keynote).
Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013
Insulin Pump Software Certification.
Proceedings of the Foundations of Health Information Engineering and Systems, 2013
2012
Large-Scale Enterprise Systems: Changes and Impacts.
Proceedings of the Enterprise Information Systems - 14th International Conference, 2012
Change Impact Analysis for Large-scale Enterprise Systems.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012
Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
Who Are We, and What Are We Doing Here?
Proceedings of the FM 2012: Formal Methods, 2012
Separating Safety and Control Systems to Reduce Complexity.
Proceedings of the Conquering Complexity, 2012
2011
Software certification experience in the canadian nuclear industry: lessons for the future.
Proceedings of the 11th International Conference on Embedded Software, 2011
2010
Software Certification: Is There a Case against Safety Cases?
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010
Certification of Software-Driven Medical Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Selecting the best strategy in a software certification process.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2010
Software certification consortium: certification methods for safety-critical software.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010
2009
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.
Proceedings of the Fundamental Approaches to Software Engineering, 2009
2008
A Software Certification Consortium and its Top 9 Hurdles.
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008
A Product-Focused Approach to Software Certification.
Computer, 2008
On Software Certification: We Need Product-Focused Approaches.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008
Formal Verification of the Implementability of Timing Requirements.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
2006
Software tools for safety-critical software development.
Int. J. Softw. Tools Technol. Transf., 2006
2005
Tabular Expressions and Their Relational Semantics.
Fundam. Informaticae, 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 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005
Timing Tolerances in Safety-Critical Software.
Proceedings of the FM 2005: Formal Methods, 2005
2003
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project.
Proceedings of the FME 2003: Formal Methods, 2003
Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, 2003