Thomas Wright
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2020–2025
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FASE | Formal Architectural Patterns for Adaptive Robotic Software. | James Baxter, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti, Cludio Gomes |
| 2025 | RV | DynSRV: Dynamically Updated Properties for Stream Runtime Verification. | Morten Haahr Kristensen, Thomas Wright, Cludio Gomes, Lukas Esterle, Peter Gorm Larsen |
| 2022 | ISoLA | Formally Verified Self-adaptation of an Incubator Digital Twin. | Thomas Wright, Cludio Gomes, Jim Woodcock |
| 2021 | HCI | Lego | Alejandro Cabrerizo, Will Zeurcher, Thomas Wright, Peter Jamieson |
| 2020 | RV | Property-Directed Verified Monitoring of Signal Temporal Logic. | Thomas Wright, Ian Stark |