Skip navigation
  • Home
  • Browse
    • Communities
      & Collections
    • Browse Items by:
    • Publication Date
    • Author
    • Title
    • Subject
    • Department
  • Sign on to:
    • My MacSphere
    • Receive email
      updates
    • Edit Profile


McMaster University Home Page
  1. MacSphere

Browsing by Author Lawford, Mark

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 
Showing results 1 to 20 of 40  next >
Publication DateTitleAuthor(s)
2024Addressing the shortcomings of commercial-of-the-shelf model-to-model transformations with open-source tools; from SysML to AUTOSARHoyos Rodriguez, Horacio; Siavashi, Faezeh; Jaskolka, Monika; Pantelic, Vera; Lawford, Mark; Paige, Richard
2019Change Impact Analysis in Simulink Designs of Embedded SystemsMackenzie, Bennett
2021Creating An Editor For The Implementation of WorkFlow+: A Framework for Developing Assurance CasesChiang, Thomas
2015Design and Formal Verification of an Adaptive Cruise Control Plus (ACC+) SystemVakili, Sasan
2021Design and Modularization of a Hybrid Vehicle Control SystemFella Pellegrino, Augustino
Apr-2013Design of an Adaptive Cruise Control Model for Hybrid Systems Fault DiagnosisBreimer, Benjamin
2017Development of a Control System for a Series-Parallel Plug-In Hybrid Electric VehicleLebel, Alexander
2022An Encoding of the Clock Cycle Semantics of Bluespec SystemVerilog in PVSMoore, Nicholas
Nov-2015An Engineering Methodology for the Formal Verification of Function Block Based SystemsPang, Linna
2020A Fault-aware Sensor Fusion System for Autonomous VehiclesBarkovic, Joshua
Oct-2012A Formal Approach to Concurrent Error Detection in FPGA LUTsBergstra, Jameson P.
Oct-2011Formal Verification of FPGA Based SystemsDeng, Honghan
2019GSN Models of Safety Assurance for the Automotive IndustryBayzat, Alison
2018High-Fidelity Simulation Model of a Dual FIFO CAN StackQian, Zhizhao
Nov-2015Higher-Fidelity Modelling and Simulation of the CAN Protocol StackWhinton, Grant
12-Apr-2011Identifying Modifications and Generating Dependency Graphs for Impact Analysis in a Legacy EnvironmentIqbal, Asif
Jun-2015Implementability of Requirements for Safety-Critical Embedded SystemsPatcas, Lucian
Dec-2005Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model CheckingPantelic, Vera
2020Intersection Simulation and Path EstimationMilo, Curtis
2020Making Simulink Models Robust with Respect to ChangeJaskolka, Monika
Showing results 1 to 20 of 40  next >
Sherman Centre for Digital Scholarship     McMaster University Libraries
©2022 McMaster University, 1280 Main Street West, Hamilton, Ontario L8S 4L8 | 905-525-9140 | Contact Us | Terms of Use & Privacy Policy | Feedback

Report Accessibility Issue