Tim Blackmore

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 7

Top Topics

Formal Verification

Temporal Patterns

Hybrid Intelligent

Top Venues

Publications

Xuan Zheng, Tim Blackmore, James Buckingham, Kerstin Eder
Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure. CoRR (2024)
Xuan Zheng, Kerstin Eder, Tim Blackmore
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure. AITest (2023)
Nyasha Masamba, Kerstin Eder, Tim Blackmore
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification. AITest (2022)
Xuan Zheng, Kerstin Eder, Tim Blackmore
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure. CoRR (2022)
Nyasha Masamba, Kerstin Eder, Tim Blackmore
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification. CoRR (2022)
Nyasha Masamba, Kerstin Eder, Tim Blackmore
Hybrid Intelligent Testing in Simulation-Based Verification. AITest (2022)
Nyasha Masamba, Kerstin Eder, Tim Blackmore
Hybrid Intelligent Testing in Simulation-Based Verification. CoRR (2022)
Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports. IFM (2012)
Tim Blackmore, Graham H. Norton
Lower Bounds on the State Complexity of Geometric Goppa Codes. Des. Codes Cryptogr. 25 (1) (2002)
Mike Bartley, Darren Galpin, Tim Blackmore
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking. DAC (2002)
Tim Blackmore, Graham H. Norton
Determining When the Absolute State Complexity of a Hermitian Code Achieves Its DLP Bound. SIAM J. Discret. Math. 15 (1) (2001)
Tim Blackmore, Graham H. Norton
On a family of Abelian codes and their state complexities. IEEE Trans. Inf. Theory 47 (1) (2001)
Tim Blackmore, Graham H. Norton
. Appl. Algebra Eng. Commun. Comput. 12 (6) (2001)
Tim Blackmore
-1. IEEE Trans. Inf. Theory 45 (2) (1999)