Thomas Wilson

According to our database, Thomas Wilson authored at least 10 papers between 1994 and 2023.

Collaborative distances:

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

2023

Crucible Tools for Test Generation and Animation of Alloy Models.

Thomas Wilson, Stuart Matthews

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2019

Understanding population fluctuations through volunteered geographic information and novel indicators: The experience of Rakiura, Stewart Island, New Zealand.

Mathew Darling, Benjamin Adams, Caroline Orchiston, Thomas Wilson, Brendon Bradley

CoRR, 2019

2018

Qualitative Collaborative Sensing in Smart Phone Based Wireless Sensor Networks.

Thomas Wilson, E. Madhusudhana Reddy

Proceedings of the Intelligent Systems Design and Applications, 2018

ABZ Languages and Tools in Industrial-Scale Application.

Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

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

2008

Flexible and configurable verification policies with Omnibus.

Thomas Wilson, Savi Maharaj, Robert G. Clark

Softw. Syst. Model., 2008

2007

The Omnibus language and integrated verification approach.

Thomas Wilson

PhD thesis, 2007

2005

Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.

Thomas Wilson, Savi Maharaj, Robert G. Clark

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

1995

UPA and CHI surveys on usability processes.

Thyra L. Rauch, Thomas Wilson

ACM SIGCHI Bull., 1995

1994

Issues in human factors organization and practices.

Barry Beith, Thyra L. Rauch, Thomas Wilson

Proceedings of the Conference on Human Factors in Computing Systems, 1994