Thomas Wright

24 papers B 3Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Correction: Diagrammatic physical robot models.
Softw. Syst. Model.
Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright
2025 J jnl
Diagrammatic physical robot models.
Softw. Syst. Model.
Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright
2025 B conf
DynSRV: Dynamically Updated Properties for Stream Runtime Verification.
RV
Morten Haahr Kristensen, Thomas Wright, Cláudio Gomes, Lukas Esterle, Peter Gorm Larsen
2025 B conf
Formal Architectural Patterns for Adaptive Robotic Software.
FASE
James Baxter, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti, Cláudio Gomes
2025 — conf
Formal Verification of BDI Agents.
The Combined Power of Research, Education, and Dissemination
Thomas Wright, Louise A. Dennis, Jim Woodcock, Simon Foster
2025 J jnl
Reachability analysis of FMI models using data-driven dynamic sensitivity.
Simul.
Sergiy Bogomolov, Cláudio Gomes, Carlos Ignacio Isasa Martin, Sadegh Soudjani, Paulius Stankaitis, Thomas Wright
2024 — conf
Digital Twin Tutorial: The Incubator Case Study.
SETSS
Cláudio Gomes, Morten Haahr Kristensen, Mikkel Schmidt Andersen, Prasad Talasila, Hao Feng, Thomas Wright, Peter Gorm Larsen
2024 — conf
Modernizing Clemson University's Palmetto Cluster: Lessons Learned from 17 Years of HPC Administration.
PEARC
Asher Antao, James Daly Burton, Douglas N. Dawson, Jill B. Gemmill, Zachary Gerstener, Ben Godfrey, Scott Groel, Zach Jordan, Becky Ligon, Dane Smith, Matthew Moersen, Sai Nandigam, Nicholas Rengier, Dennis Ryans, Hudson Smith, Thomas Wright
2024 — conf
Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service.
ACSOS-C
Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars Bernd Vosteen, Thomas Wright
2022 — conf
Formally Verified Self-adaptation of an Incubator Digital Twin.
ISoLA (4)
Thomas Wright, Cláudio Gomes, Jim Woodcock
2022 J jnl
Real-Time Avoidance of Ionising Radiation Using Layered Costmaps for Mobile Robots.
Frontiers Robotics AI
Andrew West, Thomas Wright, Ioannis Tsitsimpelis, Keir Groves, Malcolm John Joyce, Barry Lennox
2021 — conf
Lego
HCI (44)
Alejandro Cabrerizo, Will Zeurcher, Thomas Wright, Peter Jamieson
2021 J jnl
Robotic Exploration of an Unknown Nuclear Environment Using Radiation Informed Autonomous Navigation.
Robotics
Keir Groves, Emili Hernández, Andrew West, Thomas Wright, Barry Lennox
2021 J jnl
Simulating Ionising Radiation in Gazebo for Robotic Nuclear Inspection Challenges.
Robotics
Thomas Wright, Andrew West, Mauro Licata, Nick Hawes, Barry Lennox
2020 — conf
Fast In-situ Mesh Generation using Orb-SLAM2 and OpenMVS.
UR
Thomas Wright, Toshihide Hanari, Kuniaki Kawabata, Barry Lennox
2020 — conf
Modelling Patterns of Gene Regulation in the bond-calculus.
SASB
Thomas Wright, Ian Stark
2020 B conf
Property-Directed Verified Monitoring of Signal Temporal Logic.
RV
Thomas Wright, Ian Stark
2020 J jnl
Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic.
CoRR
Thomas Wright, Ian Stark
2019 J jnl
Autonomous void detection and characterisation in point clouds and triangular meshes.
Int. J. Comput. Vis. Robotics
Benjamin Bird, Thomas Wright, Simon Watson, Barry Lennox
2018 J jnl
The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics.
CoRR
Thomas Wright, Ian Stark
2017 — conf
Algorithmic Approach to Planar Void Detection and Validation in Point Clouds.
TAROS
Thomas Wright, Barry Lennox
2012 J jnl
The Impossibility of Certain Types of Carmichael Numbers.
Integers
Thomas Wright
2010 J jnl
On Cantor's First Uncountability Proof, Pick's Theorem, and the Irrationality of the Golden Ratio.
Am. Math. Mon.
Mike Krebs, Thomas Wright
2004 J jnl
Security, privacy, and anonymity.
ACM Crossroads
Thomas Wright