Tim Blackmore - RankMe

15 papers A* 1B 1Journal 9Unranked 4

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