We stand with Ukraine

We stand with Ukraine

Brad Long

Orcid: 0000-0002-4575-6165

According to our database¹, Brad Long authored at least 18 papers between 2001 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on orcid.org

On csauthors.net:

Bibliography

2023

Classical Solutions for Quantum Challenges: An Introduction to Postquantum Cryptography.

[BibT_eX]

[DOI]

SIGCAS Comput. Soc., September, 2023

2010

Towards the design of a set-based Java collections framework.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2010

2009

A Framework for Model Checking Concurrent Java Components.

[BibT_eX]

[DOI]

J. Softw., 2009

2008

Managing module dependencies to facilitate continuous testing.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2008

2007

A method for verifying concurrent Java components based on an analysis of concurrency failures.

[BibT_eX]

[DOI]

,

Paul A. Strooper

,

Concurr. Comput. Pract. Exp., 2007

2005

Testing concurrent Java components

[BibT_eX]

[DOI]

PhD thesis, 2005

Dealing with Non-Determinism in Testing Concurrent Java Components.

[BibT_eX]

[DOI]

,

,

Paul A. Strooper

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Sorting non-key fields in the distributed result set iterator pattern.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2004

Distributed result set iterator: a design pattern for efficient retrieval of large result sets from remote data sources.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2004

Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.

[BibT_eX]

[DOI]

,

,

,

Paul A. Strooper

,

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Testing Java Interrupts and Timed Waits.

[BibT_eX]

[DOI]

,

,

Paul A. Strooper

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

Tool Support for Testing Concurrent Java Components.

[BibT_eX]

[DOI]

,

,

Paul A. Strooper

IEEE Trans. Software Eng., 2003

Modelling Java Concurrency with Object-Z.

[BibT_eX]

[DOI]

,

,

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

A Classification of Concurrency Failures in Java Components.

[BibT_eX]

[DOI]

,

Paul A. Strooper

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Formal Specification of Java Concurrency to Assist Software Verification.

[BibT_eX]

[DOI]

,

Benjamin W. Long

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

A Design Pattern for Efficient Retrieval of Large Data Sets from Remote Data Sources.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

2001

A Concurrency Test Tool for Java Monitors.

[BibT_eX]

[DOI]

,

,

Paul A. Strooper

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

A Case Study in Testing Distributed Systems.

[BibT_eX]

[DOI]

,

Paul A. Strooper

Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

Loading...