Neil Cameron

According to our database, Neil Cameron authored at least 4 papers between 2008 and 2014.

Collaborative distances:

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

2014

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation.

Matthew P. Webster, Neil Cameron, Michael Fisher, Mike Jump

J. Aerosp. Inf. Syst., 2014

2012

Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation.

Matt Webster, Neil Cameron, Michael Jump, Michael Fisher

Proceedings of the Infotech@Aerospace 2012, 2012

2011

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems.

Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump

Proceedings of the Computer Safety, Reliability, and Security, 2011

2008

AmbientDJ: Enabling Interaction between People and Socially Aware Environments.

Andreas Komninos, Neil Cameron, Colin Feron, Richard Allan, Alistair Lindsay

Proceedings of the Mobile Interaction with the Real World 2008, 2008