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 8 to 27 of 40 < previous   next >
Publication DateTitleAuthor(s)
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
Jun-2015A Methodology for the Simplification of Tabular Designs in Model-Based DevelopmentBialy, Monika
2020A Model-Based Approach to Formal Assurance CasesAnnable, Nicholas
22-Dec-2004Model-Based Visual Tracking via Maple Code GenerationKorobkine, Alexandre O.
2021Performance Impact on Neural Network with Partitioned Convolution Implemented with GPU ProgrammingLee, Bill
19-Dec-2005Predictable Run Time SchedulingTorenvliet, Nick
Apr-2011Probabilistic Supervisory Control of Probabilistic Discrete Event SystemsPantelic, Vera
Aug-2008Proving Implementability of Timing Properties with TolerancesHu, Xiayong
Showing results 8 to 27 of 40 < previous   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