Login / Signup
Andrew Hawthorn
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 3
Top Topics
Software Design
Functional Requirements
Person Identification
Total Cost
Top Venues
HILT
CoRR
STAF Workshops
ICECCS
</>
Publications
</>
Youcheng Sun
,
Martin Brain
,
Daniel Kroening
,
Andrew Hawthorn
,
Thomas Wilson
,
Florian Schanda
,
Francisco Javier Guzman Jimenez
,
Simon Daniel
,
Chris Bryan
,
Ian Broster
Functional Requirements-Based Automated Testing for Avionics.
CoRR
(2017)
Richard F. Paige
,
Athanasios Zolotas
,
Dimitrios S. Kolovos
,
John Alexander McDermid
,
Mike Bennett
,
Stuart Hutchesson
,
Andrew Hawthorn
SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction.
STAF Workshops
(2017)
Youcheng Sun
,
Martin Brain
,
Daniel Kroening
,
Andrew Hawthorn
,
Thomas Wilson
,
Florian Schanda
,
Francisco Javier Guzman Jimenez
,
Simon Daniel
,
Chris Bryan
,
Ian Broster
Functional Requirements-Based Automated Testing for Avionics.
ICECCS
(2017)
Pavlos Efstathopoulos
,
Andrew Hawthorn
Optimizing verification effort with SPARK 2014.
HILT
(2013)