Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Towards a Measure of Trustworthiness to Evaluate CNNs During Operation


Jan 21, 2023
Abanoub Ghobrial, Hamid Asgari, Kerstin Eder

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure


Jul 07, 2022
Xuan Zheng, Kerstin Eder, Tim Blackmore

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On Specifying for Trustworthiness


Jun 22, 2022
Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance, Yiannis Demiris, Anastasia Kordoni, Mark Levine, Luke Moffat, Luc Moreau, Mohammad Reza Mousavi, Bashar Nuseibeh, Subramanian Ramamoorthy, Jan Oliver Ringert, James Wilson, Shane Windsor, Kerstin Eder

Add code

* 12 pages, 2 figures 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Hybrid Intelligent Testing in Simulation-Based Verification


May 19, 2022
Nyasha Masamba, Kerstin Eder, Tim Blackmore

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification


May 17, 2022
Nyasha Masamba, Kerstin Eder, Tim Blackmore

Add code

* 8 pages (excl Refs) for IEEE AI Test 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Operational Adaptation of DNN Classifiers using Elastic Weight Consolidation


Apr 30, 2022
Abanoub Ghobrial, Xuan Zheng, Darryl Hond, Hamid Asgari, Kerstin Eder

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

D-VAL: An automatic functional equivalence validation tool for planning domain models


Apr 29, 2021
Anas Shrinah, Derek Long, Kerstin Eder

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification


Apr 29, 2021
Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Severin Lemaignan, Tony Pipe, Kerstin Eder

Add code

* 17 pages, 8 figures, 1 table 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

CyRes -- Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)


Jul 03, 2020
Carsten Maple, Peter Davies, Kerstin Eder, Chris Hankin, Greg Chance, Gregory Epiphaniou

Add code

* 7 pages, extended abstract 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
3
>>