Brad Long

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 1

Top Topics

Computational Issues

Quantum Mechanics

Practical Solutions

Top Venues

SIGCAS Comput. Soc.

Publications

Brad Long
Classical Solutions for Quantum Challenges: An Introduction to Postquantum Cryptography. SIGCAS Comput. Soc. 52 (2) (2023)
Brad Long
Towards the design of a set-based Java collections framework. ACM SIGSOFT Softw. Eng. Notes 35 (6) (2010)
Brad Long
Towards the design of a set-based Java collections framework. ACM SIGSOFT Softw. Eng. Notes 35 (5) (2010)
Brad Long
A Framework for Model Checking Concurrent Java Components. J. Softw. 4 (8) (2009)
Brad Long
Managing module dependencies to facilitate continuous testing. Inf. Process. Lett. 108 (3) (2008)
Brad Long, Paul A. Strooper, Luke Wildman
A method for verifying concurrent Java components based on an analysis of concurrency failures. Concurr. Comput. Pract. Exp. 19 (3) (2007)
Luke Wildman, Brad Long, Paul A. Strooper
Dealing with Non-Determinism in Testing Concurrent Java Components. APSEC (2005)
Luke Wildman, Brad Long, Paul A. Strooper
Testing Java Interrupts and Timed Waits. APSEC (2004)
Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. IPDPS (2004)
Brad Long
Distributed result set iterator: a design pattern for efficient retrieval of large result sets from remote data sources. J. Parallel Distributed Comput. 64 (4) (2004)
Brad Long
Sorting non-key fields in the distributed result set iterator pattern. ACM SIGSOFT Softw. Eng. Notes 29 (5) (2004)
Roger Duke, Luke Wildman, Brad Long
Modelling Java Concurrency with Object-Z. SEFM (2003)
Brad Long, Paul A. Strooper
A Classification of Concurrency Failures in Java Components. IPDPS (2003)
Brad Long, Daniel Hoffman, Paul A. Strooper
Tool Support for Testing Concurrent Java Components. IEEE Trans. Software Eng. 29 (6) (2003)
Brad Long, Benjamin W. Long
Formal Specification of Java Concurrency to Assist Software Verification. IPDPS (2003)
Brad Long
A Design Pattern for Efficient Retrieval of Large Data Sets from Remote Data Sources. OTM (2002)
Brad Long, Paul A. Strooper
A Case Study in Testing Distributed Systems. DOA (2001)
Brad Long, Daniel Hoffman, Paul A. Strooper
A Concurrency Test Tool for Java Monitors. ASE (2001)