Andrew Hawthorn

According to our database, Andrew Hawthorn authored at least 3 papers between 2013 and 2017.

Collaborative distances:

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

2017

SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction.

Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John A. McDermid, Mike Bennett, Stuart Hutchesson, Andrew Hawthorn

Proceedings of the Software Technologies: Applications and Foundations, 2017

Functional Requirements-Based Automated Testing for Avionics.

Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2013

Optimizing verification effort with SPARK 2014.

Pavlos Efstathopoulos, Andrew Hawthorn

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013