FITS - A Fault Injection Architecture for Time-Triggered Systems. - René Hexel (ACSC, 2003)

'Powerpoint to the People': Suiting the Word to the Audience. - René Hexel; Chris W. Johnson 002; Bob Kummerfeld; Aaron J. Quigley (AUIC, 2004)

WETA: Bringing together Mobility and the Web. - René Hexel; Eko Widjono (ICWI, 2004)

Speech-Assisted Mobile Text Entry. - Sami Ronkainen; Jonna Häkkilä; René Hexel (ICAD, 2004)

Personalisation in intelligent environments: managing the information flow. - Craig Chatfield; David J. Carmichael; René Hexel; Judy Kay; Bob Kummerfeld (OZCHI, 2005)

Using Temporal Consistency to Improve Robot Localisation. - David Billington; Vladimir Estivill-Castro; René Hexel; Andrew Rock (RoboCup, 2006)

Privacy and community connectedness: designing intelligent environments for our cities. - Craig Chatfield; René Hexel (OZCHI, 2007)

Architecture for Hybrid Robotic Behavior. - David Billington; Vladimir Estivill-Castro; René Hexel; Andrew Rock (HAIS, 2009)

Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. - David Billington; Vladimir Estivill-Castro; René Hexel; Andrew Rock (ENASE, 2010)

Requirements Engineering via Non-monotonic Logics and State Diagrams. - David Billington; Vladimir Estivill-Castro; René Hexel; Andrew Rock (ENASE (Selected Papers), 2010)

Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. - David Billington; Vladimir Estivill-Castro; René Hexel; Andrew Rock (SIMPAR, 2010)

Efficient Modelling of Embedded Software Systems and their Formal Verification. - Vladimir Estivill-Castro; René Hexel; David A. Rosenblueth (APSEC, 2012)

Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour. - Robert Coleman; Vladimir Estivill-Castro; René Hexel; Carl Lusty (SIMPAR, 2012)

Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees. - Lin Wah Chan; René Hexel; Lian Wen (SoMeT, 2012)

Rule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule Modelling. - Lin Wah Chan; René Hexel; Lian Wen (Australian Software Engineering Conference, 2013)

Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering. - Vladimir Estivill-Castro; René Hexel (ENASE, 2013)

Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking. - Vladimir Estivill-Castro; René Hexel (MODELSWARD, 2013)

Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B. - Vladimir Estivill-Castro; René Hexel (Australian Software Engineering Conference, 2014)

High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines. - Vladimir Estivill-Castro; René Hexel; Carl Lusty (SIMPAR, 2014)

Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems. - Vladimir Estivill-Castro; René Hexel; Josh Stover (EMS, 2015)

Simple, Not Simplistic - The Middleware of Behaviour Models. - Vladimir Estivill-Castro; René Hexel (ENASE, 2015)

Fast MAV Control by Control/Status OO-Messages on Shared-Memory Middleware. - Dimitri Joukoff; Vladimir Estivill-Castro; René Hexel; Carl Lusty (RiTA, 2015)

Architecture for logic programing with arrangements of finite-state machines. - Vladimir Estivill-Castro; René Hexel; Alberto Ramirez Regalado (DCPS, 2016)

Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs. - David Chen 002; René Hexel; Fawad Riasat Raja (ENASE, 2016)

Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines. - Vladimir Estivill-Castro; René Hexel (SIMPAR, 2016)

Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems. - Vladimir Estivill-Castro; René Hexel (MODELSWARD, 2017)

Deterministic High-Level Executable Models Allowing Efficient Runtime Verification. - Vladimir Estivill-Castro; René Hexel (MODELSWARD (Revised Selected Papers), 2017)

FSM based specification of robot control system activities. - Maksym Figat; Cezary Zielinski; René Hexel (RoMoCo, 2017)

Robotic Systems Implementation Based on FSMs. - Cezary Zielinski; Maksym Figat; René Hexel (AUTOMATION, 2018)

Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation. - Vladimir Estivill-Castro; René Hexel; Carl Lusty (MoDELS (Workshops), 2018)

Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems. - Vladimir Estivill-Castro; René Hexel (MODELSWARD, 2018)

High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs. - Vladimir Estivill-Castro; René Hexel; Morgan McColl (ReConFig, 2018)

Joint Sequential Data Prediction with Multi-stream Stacked LSTM Network. - Nguyen Thanh Toan; Orçun Gümüs; Thanh Tam Nguyen; Nguyen Quoc Viet Hung; René Hexel; Jun Jo 001 (AusDM, 2019)

Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour. - Vladimir Estivill-Castro; René Hexel (MODELSWARD, 2019)

The Understandability of Models for Behaviour. - Vladimir Estivill-Castro; René Hexel (MODELSWARD (Revised Selected Papers), 2019)

Knowledge-Based Robotic Agent as a Game Player. - Misbah Javaid; Vladimir Estivill-Castro; René Hexel (PRICAI (3), 2019)

Communication Within Multi-FSM Based Robotic Systems. - Cezary Zielinski; Maksym Figat; René Hexel (J. Intell. Robotic Syst., 2019)

Constructing Interpretable Decision Trees Using Parallel Coordinates. - Vladimir Estivill-Castro; Eugene Gilmore; René Hexel (ICAISC (2), 2020)

Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel Coordinates. - Vladimir Estivill-Castro; Eugene Gilmore; René Hexel (SMC, 2020)

More Interpretable Decision Trees. - Eugene Gilmore; Vladimir Estivill-Castro; René Hexel (HAIS, 2021)

TTWiFi: Time-Triggered Communication over WiFi. - Carl Lusty; Vladimir Estivill-Castro; René Hexel (DIVANet, 2021)

Enabling Modern Application Development with Swift on the Nao/Pepper Robots. - Callum McColl; Vladimir Estivill-Castro; Eugene Gilmore; Morgan McColl; René Hexel (RoboCup, 2021)

Interpretable Decisions Trees via Human-in-the-Loop-Learning. - Vladimir Estivill-Castro; Eugene Gilmore; René Hexel (AusDM, 2022)

Verifiable Executable Models for Decomposable Real-time Systems. - Callum McColl; Vladimir Estivill-Castro; Morgan McColl; René Hexel (MODELSWARD, 2022)

Decomposable and Executable Models for Verification of Real-Time Systems. - Callum McColl; Vladimir Estivill-Castro; Morgan McColl; René Hexel (MODELSWARD (Revised Selected Papers), 2022)

A Flexible Communication Protocol With Guaranteed Determinism for Distributed, Safety-Critical Real-Time Systems. - Fawad Riasat Raja; David Chen 002; René Hexel (IEEE Access, 2022)

Constructing Explainable Classifiers from the Start - Enabling Human-in-the Loop Machine Learning. - Vladimir Estivill-Castro; Eugene Gilmore; René Hexel (Inf., 2022)

Automatic Verification of High-Level Executable Models Running on FPGAs. - Morgan McColl; Callum McColl; René Hexel (ATVA, 2023)

TTWiFi: Time-Triggered WiFi for Mobile Robotics in Human Environments. - Carl Lusty; Vladimir Estivill-Castro; René Hexel (WiCON, 2023)

The use of a humanoid robot for older people with dementia in aged care facilities. - Dongjun Wu; Lihui Pu; Jun Jo; René Hexel; Wendy Moyle (CoRR, 2024)