Invited Meetings, Talks and Seminars  

Invited Meetings 

• Invited participation in the NII Shonan Meeting entitle Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, 21-25 November 2016.

• Invited participation in the NII Shonan Meeting entitle Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS), 27-30 October 2014.

• Invited participation in the Dagstuhl Seminar (14062) on The Pacemaker Challenge: Developing Certifiable Medical Devices, 02-07 February 2014.

Invited Talks / Seminars

• Keynote speech on “A Formal Approach to Rigorous Development of Critical Systems”, 4th Doctoral Symposium on Computational Intelligence (DISCI 2023), 3 March, 2023, Lucknow, India.

• Invuited talk on “Emerging New Research Direction in Technologies for COVID-19”, Invited talk in the tech- nical session of the two days International E-Conference on ” Technological Support to fight against COVID-19”, organised by Awadhesh Pratap Singh University, Rewa, Madhya Pradesh, India, 21-22 June, 2020.

• “A Formal Framework for Developing Safety-Critical Systems”, Invited talk at Indian Institute of Technology Patna, Patna, India, 3 March, 2020.

• “Refinement Based Formal Development of Human-Machine Interface”, Conference talk at FMIS'18, Toulouse, France, 25 June, 2018.

• “Use of Tabular Expressions for Refinement Automation”, Conference talk at MEDI'17, Barcelona, Spain, 4-6 October, 2017.

• “A Formal Ontological Analysis in Medical Domain”, Seminar talk "Implicit and Explicit semantics integration in proof-based developments of discrete systems", NII Shonan Meetings Seminars, Tokyo Japan, 21-25 November, 2016.

• “A Virtual Glucose Homeostasis Model for Verification, Simulation and Clinical Trials”, Conference talk at EuroAsiaSPI'16, Graz, Austria, 14-16 September, 2016.

• “Stepwise Formal Modelling and Verification of Self-Adaptive systems with Event-B. The Automatic Rover Protection vase study”, Conference talk at ICECCS'16, Dubai, UAE, 06-08 November, 2016.

• “Do or Not Do a PhD?”, Invited Talk by IAEM at University of Lorraine, Nancy, 18 October, 2016.

• “A Perspective on Environment Modelling for Verifying Cyber-Physical Systems ”, Seminar talk "Journées formalisation des activités concurrentes", LAAS Toulouse, France, 30-31 March, 2016.

• “Stateflow to Tabular Expressions”, Conference talk at SoICT'15, Hue, Vietnam, 03-04 December, 2015.

• “Is Current Incremental Safety Assurance Sound?”, Conference talk at SAFECOMP'15, TU Delft, Netherlands, 22-25 September, 2015.

• “Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements”, Conference talk at HCII'15, Los Angeles, USA, 03-07 August, 2015.

• “Analyzing Requirements using Environment Modelling”, Conference talk at HCII'15, Los Angeles, USA, 03-07 August, 2015.

• “Formalizing The Cardiac Pacemaker Resynchronization Therapy”, Conference talk at HCII'15, Los Angeles, USA, 03-07 August, 2015.

• “A Perspective on Environment Modelling for Verifying Cyber-Physical Systems ”, Seminar talk "Science and Practice of Engineering Trustworthy Cyber-Physical Systems", NII Shonan Meetings Seminars, Tokyo Japan, 27-30 October, 2014.

• “Development of Critical Systems using Event-B ”, Seminar talk at Event B Day, NII Seminars, Tokyo Japan, 31 October, 2014.

• “Formalizing the Glucose Homeostasis Mechanism ”, Conference talk at HCII’14, Crete, Greece, 22-27 June, 2014.

• “The Semantics of Refinement Chart ”, Conference talk at HCII’14, Crete, Greece, 22-27 June, 2014.

• “Stateflow to Tabular Expression”, NECSIS Workshop, McMaster University, Canada, 17 July, 2014.

• “Development of Medical Device Software System”, Dagstuhl School, Germany, 03-08 February, 2014.

• “The Cardiac Pacemaker Case Study and its implementation in Safety-Critical Java and Ravenscar Ada ”, Conference talk at JTRES’12, Denmark, 25-27 October, 2012.

• “Formal Development of a Cardiac Pacemaker using a Refinement Approach”, University of York, York, UK, 08 May, 2012.

• “Automatic Code Generation from Event-B Models”, Conference talk at SoICT’11, Hanoi, Vietnam, 14 October, 2011.

• “Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata”, Conference talk at FHIES’11, Johannesburg, South Africa, 30 August, 2011.

• “Medical Protocol Diagnosis using Formal Methods”, Conference talk at FHIES’11, Johannes- burg, South Africa, 29 August, 2011.

• “A Generic Framework: from Modeling to Code”, Workshop talk at UML & FM’11, Limerick, Ireland, 20 June, 2011.

• “Refinement Based Development of Medical Systems”, Journ ́ee du groupe MFDL, TELECOM ParisTech, Paris, 02 December 2010.

• “Real-Time Animation for Formal Specification”, Conference talk at CSDM’10, Paris, France, 29 October, 2010.

• “Trustable Formal Specification for Software Certification ”, Conference talk at ISoLA’10, Crete, Greece, 16-21 October, 2010.

• “Refinement Based Development of Control Designs”, LORIA, France, 08 October, 2010.

• “Refinement Based Development of Control Designs”, General Motors, India Science Lab, Bangalore, India, 15 September 2010.

• “Formal Development of Cardiac Pacemaker using Refinement Approach”, General Motors, India Science Lab, Bangalore, India, 29 July 2010.

• “Formal Development of Cardiac Pacemaker using Refinement Approach”, SORIN GROUP Pacemaker Industry, Paris, 30 March 2010.

• “Development of Pacemaker Operating Modes using Refinement Approach”, A Pre-FM2009 workshop on Pacemaker challenge, Eindhoven, 1 November 2009.

• “Formal Model of Pacemaker”, RIMEL, Paris, 29 June 2009.