SELECTED INVITED TALKS

  1. A Template for an Assurance Case Shall Be Known as an Assurance Case Template, VeriSure Workshop, (Co-located with CAV 2015) San Francisco, July 2015.
  2. STructured AND Assured Realistically Dependable Systems, NII Shonan Seminar on Science and Practice of Engineering Trustworthy Cyber-Physical Systems, Shonan, Japan, October 2014.
  3. Assurance Cases in Determining Safety of a System with Embedded Digital Devices, U.S. Nuclear Regulatory Commission Public Workshop on Safe Use of Embedded Digital Devices, North Bethesda, MD, 9 October, 2014.
  4. Developing Maintainable Safety-Critical Software in the Nuclear Industry, Workshop on Software Change Management and Approval Processes for Safety Critical Applications, Danish National Safety Authorities for Railways, Søhuset, Denmark, 20 August 2014.
  5. Experiential, Digital, and Blended Learning, Mathworks Faculty Research Summit, Newton, MA, June 2014.
  6. Software for Medical Devices, Canadian Organization of Medical Physicists 2014 Winter School on Safety and Quality in Radiation Oncology, Quebec City, January 2014.
  7. Hazard Analysis, Canadian Organization of Medical Physicists 2014 Winter School on Safety and Quality in Radiation Oncology, Quebec City, January 2014.
  8. Though this be madness, yet there is method in it?, Keynote at Formal Methods in Software Engineering, (Co-located with ICSE 2013) IEEE, pages 1-7, 2013.
  9. The Educational Value of Challenge Problems, at the Eleventh Software Certification Consortium Meeting, May 2013, Annapolis, MD.
  10. Software Certification Challenges in the Nuclear Power Domain”, Dagstuhl Seminar 13051, Jan 2013.
  11. Who are we, and what are we doing here?, Keynote at Formal Methods 2012, CNAM, Paris.
  12. Software for Medical Devices – Why Testing is Not Enough, Canadian Organization of Medical Physicists 2012 Winter School on Safety and Quality in Radiation Oncology, Banff, January 2012.
  13. Certification of Safety Critical Software, US NRC Regulatory Information Conference 2011, March 2011.
  14. Building & Certifying Dependable Software Based Medical Devices, Canadian Organization of Medical Physicists 2011 Winter School on Safety and Quality in Radiation Oncology, Mont Tremblant, January 2011. 
  15. The Rational Design Process Used for the Darlington Shutdown Systems - Developing Safety-Critical Software for Auditable Certification, Software Certification Consortium Workshop at IBM CASCON, November 2010. 
  16. Developing Safety-Critical Software with Certification as a Priority, US FDA, Center for Devices & Radiological Health, June 2010. 
  17. The State of the Pacemaker Challenge, FM2009 Pre-Conference Workshop on the PACEMAKER Challenge, Eindhoven, Oct 2009. (With Mark Lawford, Tom Maibaum.) 
  18. Software Certification: A product-focused approach, AECL Workshop on the Application of Field Programmable Gate Arrays (FPGA) Technology in CANDU Reactors, May 2009. 
  19. Developing Safety-Critical Software - An Integrated Methodology, University of Waterloo, Waterloo, July 2008. 
  20. Software Certification - Necessity or Opportunity?, IBM Toronto Labs, July 25, 2007. (With Tom Maibaum.)
  21. A Comprehensive Table-Based Methodology for Developing Safety-Critical Software, Airbus, Bristol, U.K., August 15, 2006. 
  22. Integrated Methods and Tools for Safety-Critical Software Development, Guidant Corp., Minnesota, U.S.A., June 16, 2006. 
  23. A Proposed Initiative on Software Certification, Software Quality Research Laboratory, University of Limerick, July 26, 2005. (With Mark Lawford.)
  24. Safety-Critical Software Development - Requirements Based, Requirements Engineering Day, University of Waterloo, April 2005. 
  25. Engineering High-Quality Software Applications, Keynote presentation at the Canadian Undergraduate Software Engineering Conference (CUSEC), Concordia University, January 2005. 
  26. A Comprehensive Methodology for Developing Safety-Critical Software, AIST, Centre for Verification and Systems, Amagasaki, Japan, November 2004. 

[Home]