| 2026 | ENASE | Grammar-Prompted Synthesis of Verification Properties from Natural Language Requirements for Multiple Model Checkers. | Vladimir Estivill-Castro, Ren Hexel |
| 2026 | ICSoft | Agentic AI Workflow: From Natural Language Requirements to Verifiable and Executable Models. | Vladimir Estivill-Castro, Ren Hexel |
| 2023 | ATVA | Automatic Verification of High-Level Executable Models Running on FPGAs. | Morgan McColl, Callum McColl, Ren Hexel |
| 2022 | AusDM | Interpretable Decisions Trees via Human-in-the-Loop-Learning. | Vladimir Estivill-Castro, Eugene Gilmore, Ren Hexel |
| 2022 | MODELSWARD | Verifiable Executable Models for Decomposable Real-time Systems. | Callum McColl, Vladimir Estivill-Castro, Morgan McColl, Ren Hexel |
| 2022 | MODELSWARD | Decomposable and Executable Models for Verification of Real-Time Systems. | Callum McColl, Vladimir Estivill-Castro, Morgan McColl, Ren Hexel |
| 2021 | HAIS | More Interpretable Decision Trees. | Eugene Gilmore, Vladimir Estivill-Castro, Ren Hexel |
| 2021 | MSWIM | TTWiFi: Time-Triggered Communication over WiFi. | Carl Lusty, Vladimir Estivill-Castro, Ren Hexel |
| 2021 | RoboCup | Enabling Modern Application Development with Swift on the Nao/Pepper Robots. | Callum McColl, Vladimir Estivill-Castro, Eugene Gilmore, Morgan McColl, Ren Hexel |
| 2020 | ICAISC | Constructing Interpretable Decision Trees Using Parallel Coordinates. | Vladimir Estivill-Castro, Eugene Gilmore, Ren Hexel |
| 2020 | SMC | Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel Coordinates. | Vladimir Estivill-Castro, Eugene Gilmore, Ren Hexel |
| 2019 | AusDM | Joint Sequential Data Prediction with Multi-stream Stacked LSTM Network. | Nguyen Thanh Toan, Orun Gms, Thanh Tam Nguyen, Nguyen Quoc Viet Hung, Ren Hexel, Jun Jo |
| 2019 | MODELSWARD | Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour. | Vladimir Estivill-Castro, Ren Hexel |
| 2019 | MODELSWARD | The Understandability of Models for Behaviour. | Vladimir Estivill-Castro, Ren Hexel |
| 2019 | PRICAI | Knowledge-Based Robotic Agent as a Game Player. | Misbah Javaid, Vladimir Estivill-Castro, Ren Hexel |
| 2018 | MODELS | Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation. | Vladimir Estivill-Castro, Ren Hexel, Carl Lusty |
| 2018 | MODELSWARD | Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems. | Vladimir Estivill-Castro, Ren Hexel |
| 2017 | MODELSWARD | Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems. | Vladimir Estivill-Castro, Ren Hexel |
| 2017 | MODELSWARD | Deterministic High-Level Executable Models Allowing Efficient Runtime Verification. | Vladimir Estivill-Castro, Ren Hexel |
| 2016 | ENASE | Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs. | David Chen, Ren Hexel, Fawad Riasat Raja |
| 2015 | ENASE | Simple, Not Simplistic - The Middleware of Behaviour Models. | Vladimir Estivill-Castro, Ren Hexel |
| 2013 | ENASE | Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering. | Vladimir Estivill-Castro, Ren Hexel |
| 2013 | MODELSWARD | Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking. | Vladimir Estivill-Castro, Ren Hexel |
| 2012 | APSEC | Efficient Modelling of Embedded Software Systems and their Formal Verification. | Vladimir Estivill-Castro, Ren Hexel, David A. Rosenblueth |
| 2012 | SoMeT | Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees. | Lin Wah Chan, Ren Hexel, Lian Wen |
| 2010 | ENASE | Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. | David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock |
| 2010 | ENASE | Requirements Engineering via Non-monotonic Logics and State Diagrams. | David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock |
| 2009 | HAIS | Architecture for Hybrid Robotic Behavior. | David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock |
| 2007 | OZCHI | Privacy and community connectedness: designing intelligent environments for our cities. | Craig Chatfield, Ren Hexel |
| 2006 | RoboCup | Using Temporal Consistency to Improve Robot Localisation. | David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock |
| 2005 | OZCHI | Personalisation in intelligent environments: managing the information flow. | Craig Chatfield, David J. Carmichael, Ren Hexel, Judy Kay, Bob Kummerfeld |