David Gray

According to our database, David Gray authored at least 39 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Empowering Managed Service Providers: Decentralised AI-Enabled Monitoring in Multi-Tenant Networks.

Adeel Rafiq, Muhammad Zeeshan Shakir, David Gray, Julie Inglis, Fraser Ferguson

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2024

2021

Constructive Alignment of Learning Outcomes with Student Perceptions in a first-year Engineering Course.

Siddharth S. Kumar, Jennifer M. Case, David Gray, Nicole P. Pitterson

Proceedings of the IEEE Frontiers in Education Conference, 2021

2019

Characterizing Inter-Layer Functional Mappings of Deep Learning Models.

Donald E. Waagen, Katie Rainey, Jamie Gantert, David Gray, Megan King, M. Shane Thompson, Jonathan Barton, Will Waldron, Samantha Livingston, Don Hulsey

CoRR, 2019

2016

Brand Switching Pattern Discovery by Data Mining Techniques for the Telecommunication Industry in Australia.

Md Zahidul Islam, Steven D'Alessandro, Michael Furner, Lester Johnson, David Gray, Leanne Carter

Australas. J. Inf. Syst., 2016

2014

The Commodity Exporting Country A Spectral Analysis of Brazilian and Australian Equity Markets.

David Gray, John McManus

Proceedings of the Computational Models of Complex Systems, 2014

DConfusion: a technique to allow cross study performance evaluation of fault prediction studies.

David Bowes, Tracy Hall, David Gray

Autom. Softw. Eng., 2014

2013

Robust low loss splicing of hollow core photonic bandgap fiber to itself.

John P. Wooler, David Gray, Francesco Poletti, Marco N. Petrovich, Natalie V. Wheeler, Francesca Parmigiani, David J. Richardson

Proceedings of the 2013 Optical Fiber Communication Conference and Exposition and the National Fiber Optic Engineers Conference (OFC/NFOEC), 2013

Towards Verifying Voter Privacy through Unlinkability.

Denis Butin, David Gray, Giampaolo Bella

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

2012

A Systematic Literature Review on Fault Prediction Performance in Software Engineering.

Tracy Hall, Sarah Beecham, David Bowes, David Gray, Steve Counsell

IEEE Trans. Software Eng., 2012

Reflections on the NASA MDP data sets.

David Gray, David Bowes, Neil Davey, Yi Sun, Bruce Christianson

IET Softw., 2012

Comparing the performance of fault prediction models which report multiple performance measures: recomputing the confusion matrix.

David Bowes, Tracy Hall, David Gray

Proceedings of the 8th International Conference on Predictive Models in Software Engineering, 2012

2011

Developing Fault-Prediction Models: What the Research Can Show Industry.

Tracy Hall, Sarah Beecham, David Bowes, David Gray, Steve Counsell

IEEE Softw., 2011

Further thoughts on precision.

David Gray, David Bowes, Neil Davey, Yi Sun, Bruce Christianson

Proceedings of the 15th International Conference on Evaluation & Assessment in Software Engineering, 2011

The misuse of the NASA metrics data program data sets for automated software defect prediction.

David Gray, David Bowes, Neil Davey, Yi Sun, Bruce Christianson

Proceedings of the 15th International Conference on Evaluation & Assessment in Software Engineering, 2011

Holistic analysis of mix protocols.

Giampaolo Bella, Denis Butin, David Gray

Proceedings of the 7th International Conference on Information Assurance and Security, 2011

2010

Predicting drug absorption rates through human skin.

Yi Sun, Lun Tak Lam, Gary P. Moss, Maria Prapopoulou, Rod Adams, Neil Davey, David Gray, Marc B. Brown

Proceedings of the International Joint Conference on Neural Networks, 2010

Software defect prediction using static code metrics underestimates defect-proneness.

David Gray, David Bowes, Neil Davey, Yi Sun, Bruce Christianson

Proceedings of the International Joint Conference on Neural Networks, 2010

E-Voting: A New Approach Using Double-Blind Identity-Based Encryption.

David Gray, Caroline Sheedy

Proceedings of the Public Key Infrastructures, Services and Applications, 2010

2009

Can You See Me? The Use of a Binary Visibility Metric in Distance Bounding.

Michelle Graham, David Gray

Proceedings of the Wireless Algorithms, 2009

Adaptive pattern-based image compression for ultra-low bandwidth weapon seeker image communication.

Hai Wei, Sakina Zabuawala, Karthik Mahesh Varadarajan, Jacob Yadegar, Joseph Yadegar, David Gray, John McCalmont, James Utt

Proceedings of the Visual Information Processing XVIII, 2009

Protecting Privacy and Securing the Gathering of Location Proofs - The Secure Location Verification Proof Gathering Protocol.

Michelle Graham, David Gray

Proceedings of the Security and Privacy in Mobile Information and Communication Systems, 2009

ProVer: A Secure System for the Provision of Verified Location Information.

Michelle Graham, David Gray

Proceedings of the Mobile Computing, Applications, and Services, 2009

Using the Support Vector Machine as a Classification Method for Software Defect Prediction with Static Code Metrics.

David Gray, David Bowes, Neil Davey, Yi Sun, Bruce Christianson

Proceedings of the Engineering Applications of Neural Networks, 2009

2008

Exploration of uncertainty in bidirectional vector fields.

Torre Zuk, Jon Downton, David Gray, Sheelagh Carpendale, J. D. Liang

Proceedings of the Visualization and Data Analysis 2008, 2008

An Access Control Model for Location based Services.

Cameron Ross Dunne, Thibault Candebat, David Gray

Proceedings of the Security in Information Systems, 2008

A frequency based sighting blurring algorithm for use with location based services on the internet.

Cameron Ross Dunne, Thibault Candebat, David Gray

Proceedings of the 10th Conference on Human-Computer Interaction with Mobile Devices and Services, 2008

A three-party architecture and protocol that supports users with multiple identities for use with location based services.

Cameron Ross Dunne, Thibault Candebat, David Gray

Proceedings of the 5th international conference on Pervasive services, 2008

2007

A formally verified proof of the prime number theorem.

Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff

ACM Trans. Comput. Log., 2007

2006

Secure pseudonym management using mediated identity-based encryption.

Thibault Candebat, David Gray

J. Comput. Secur., 2006

2005

A static analysis of cryptographic processes: the denotational approach.

Benjamin Aziz, Geoff W. Hamilton, David Gray

J. Log. Algebraic Methods Program., 2005

A Static Analysis of PKI-Based Systems.

Benjamin Aziz, David Gray, Geoff W. Hamilton

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

2004

Synthesising Attacks on Cryptographic Protocols.

David Sinclair, David Gray, Geoff W. Hamilton

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

A Denotational Approach to the Static Analysis of Cryptographic Processes.

Benjamin Aziz, Geoff W. Hamilton, David Gray

Proceedings of the International Workshop on Software Verification and Validation, 2003

Anonymous coursework submission.

David Gray

Proceedings of the 4th International Conference on Computer Systems and Technologies: e-Learning, 2003

2000

Specifying and Verifying IP with Linear Logic.

David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff W. Hamilton

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999

Four Logics and a Protocol.

David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

Introduction to the formal design of real-time systems.

David Gray

Applied computing, Springer, ISBN: 978-3-540-76140-2, 1999

1990

The use of functional annotations in verifying imperative programs.

Robin A. Nicholl, Maurice Clint, David Gray, Tina M. Nicholl

Softw. Eng. J., 1990

1988

The Formal Specification of a Small Bookshop Information System.

David Gray

IEEE Trans. Software Eng., 1988