Thomas Wilson

ORCID

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 6

Top Venues

University of Stirling, UK (PHD)

Education History

University of Stirling, UK

PHD

Publications

Thomas Wilson, Stuart Matthews
Crucible Tools for Test Generation and Animation of Alloy Models. ABZ (2023)
Mathew Darling, Benjamin Adams, Caroline Orchiston, Thomas Wilson, Brendon Bradley
Understanding population fluctuations through volunteered geographic information and novel indicators: The experience of Rakiura, Stewart Island, New Zealand. CoRR (2019)
Thomas Wilson, E. Madhusudhana Reddy
Qualitative Collaborative Sensing in Smart Phone Based Wireless Sensor Networks. ISDA (2) (2018)
Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson
ABZ Languages and Tools in Industrial-Scale Application. ABZ (2018)
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)
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)
Thomas Wilson, Savi Maharaj, Robert G. Clark
Flexible and configurable verification policies with Omnibus. Softw. Syst. Model. 7 (3) (2008)
Thomas Wilson, Savi Maharaj, Robert G. Clark
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. SEFM (2005)
Thyra L. Rauch, Thomas Wilson
UPA and CHI surveys on usability processes. ACM SIGCHI Bull. 27 (3) (1995)
Barry Beith, Thyra L. Rauch, Thomas Wilson
Issues in human factors organization and practices. CHI Conference Companion (1994)

Thomas Wilson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Wilson