SELECTED INVITED TALKS

  1. Practically Formal Development and Assurance of Complex Software-Intensive Safety-Critical Systems, Spring School – CyPhyAssure, University of York, March 19, 2019.
  2. Formal Methods for Certification of Control Software and Potential for their Successful Application in Autonomous (Robot) Control, Spring School – CyPhyAssure, University of York, March 20, 2019.
  3. A new (rigorous) method for assuring critical properties of software-intensive systems, Newcastle University, March 18, 2019.
  4. Organization of Safety Assurance Information, Panel position statement at the Halden Project Research Workshop, Rockville, Maryland, USA, March 14, 2019.
  5. Practically Formal Methods & Tools for CPS, NII Shonan, November 2018.
  6. Towards Complete Autonomy, Workshop of dependability and safety of autonomous systems, National Institute of Informatics (NII, Tokyo, Japan), November 9, 2018.
  7. Benefits and Challenges of Assurance Case Templates, University of Victoria, Dec 14, 2017.
  8. Formal Requirements for Safety-Critical Systems Using Tabular Expressions, INP ENSEEIHT, Toulouse, December 2016.
  9. Challenges in Certification of Model-Based Design of Cyber-Physical Systems, INP ENSEEIHT, Toulouse, December 2016.
  10. Where’s the proof? NII Shonan, November 2016.
  11. Overcoming Challenges in Certification of Model-Based Design of Cyber-Physical Systems, Software Certification Consortium, May 2016.
  12. The Challenges of Certification in the Automotive Industry, VLSI Design & Embedded Systems, Kolkata, January 2016.
  13. 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.
  14. STructured AND Assured Realistically Dependable Systems, NII Shonan Seminar on Science and Practice of Engineering Trustworthy Cyber-Physical Systems, Shonan, Japan, October 2014.
  15. 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.
  16. 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.
  17. Experiential, Digital, and Blended Learning, Mathworks Faculty Research Summit, Newton, MA, June 2014.
  18. Software for Medical Devices, Canadian Organization of Medical Physicists 2014 Winter School on Safety and Quality in Radiation Oncology, Quebec City, January 2014.
  19. Hazard Analysis, Canadian Organization of Medical Physicists 2014 Winter School on Safety and Quality in Radiation Oncology, Quebec City, January 2014.
  20. 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.
  21. The Educational Value of Challenge Problems, at the Eleventh Software Certification Consortium Meeting, May 2013, Annapolis, MD.
  22. Software Certification Challenges in the Nuclear Power Domain”, Dagstuhl Seminar 13051, Jan 2013.
  23. Who are we, and what are we doing here?, Keynote at Formal Methods 2012, CNAM, Paris.
  24. 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.
  25. Certification of Safety Critical Software, US NRC Regulatory Information Conference 2011, March 2011.
  26. 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. 
  27. 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. 
  28. Developing Safety-Critical Software with Certification as a Priority, US FDA, Center for Devices & Radiological Health, June 2010. 
  29. The State of the Pacemaker Challenge, FM2009 Pre-Conference Workshop on the PACEMAKER Challenge, Eindhoven, Oct 2009. (With Mark Lawford, Tom Maibaum.) 
  30. Software Certification: A product-focused approach, AECL Workshop on the Application of Field Programmable Gate Arrays (FPGA) Technology in CANDU Reactors, May 2009. 
  31. Developing Safety-Critical Software - An Integrated Methodology, University of Waterloo, Waterloo, July 2008. 
  32. Software Certification - Necessity or Opportunity?, IBM Toronto Labs, July 25, 2007. (With Tom Maibaum.)
  33. A Comprehensive Table-Based Methodology for Developing Safety-Critical Software, Airbus, Bristol, U.K., August 15, 2006. 
  34. Integrated Methods and Tools for Safety-Critical Software Development, Guidant Corp., Minnesota, U.S.A., June 16, 2006. 
  35. A Proposed Initiative on Software Certification, Software Quality Research Laboratory, University of Limerick, July 26, 2005. (With Mark Lawford.)
  36. Safety-Critical Software Development - Requirements Based, Requirements Engineering Day, University of Waterloo, April 2005. 
  37. Engineering High-Quality Software Applications, Keynote presentation at the Canadian Undergraduate Software Engineering Conference (CUSEC), Concordia University, January 2005. 
  38. A Comprehensive Methodology for Developing Safety-Critical Software, AIST, Centre for Verification and Systems, Amagasaki, Japan, November 2004. 

[Home]