Gunwant Dhadyalla

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 4

Top Topics

Formal Verification

Temporal Structure

Mutation Testing

Top Venues

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

Intelligent Vehicles Symposium

Publications

Chek Pin Yang, Gunwant Dhadyalla, James Marco, Paul A. Jennings
The Effect of Time-Between-Events for Sequence Interaction Testing of a Real-Time System. ICST Workshops (2018)
Siddartha Khastgir, Håkan Sivencrona, Gunwant Dhadyalla, Peter Billing, Stewart A. Birrell, Paul A. Jennings
Introducing ASIL inspired dynamic tactical safety decision framework for automated vehicles. ITSC (2017)
A. Chakrapani Rao, A. Raouf, Gunwant Dhadyalla, V. Pasupuleti
Mutation Testing Based Evaluation of Formal Verification Tools. DSA (2017)
Helen Monkhouse, Ibrahim Habli, John McDermid, Siddartha Khastgir, Gunwant Dhadyalla
Why functional safety experts worry about automotive systems having increasing autonomy. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Siddartha Khastgir, Stewart A. Birrell, Gunwant Dhadyalla, Paul A. Jennings
Identifying a gap in existing validation methodologies for intelligent automotive systems: Introducing the 3xD simulator. Intelligent Vehicles Symposium (2015)
Siddartha Khastgir, Stewart A. Birrell, Gunwant Dhadyalla, Paul A. Jennings
Development of a Drive-in Driver-in-the-Loop Fully Immersive Driving Simulator for Virtual Validation of Automotive Systems. VTC Spring (2015)
Gunwant Dhadyalla, Neelu Kumari, Timothy Snell
Combinatorial Testing for an Automotive Hybrid Electric Vehicle Control System: A Case Study. ICST Workshops (2014)
Yingping Huang, Alexandros Mouzakitis, Ross McMurran, Gunwant Dhadyalla, R. Peter Jones
Design validation testing of vehicle instrument cluster using machine vision and hardware-in-the-loop. ICVES (2008)
Yingping Huang, Ross McMurran, Gunwant Dhadyalla, R. Peter Jones
Probability based vehicle fault diagnosis: Bayesian network method. J. Intell. Manuf. 19 (3) (2008)
Arun Chakrapani Rao, Gunwant Dhadyalla, R. Peter Jones, Ross McMurran
Systems modelling of a driver information system - automotive industry case study. SoSE (2006)