René Hexel

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 31

Top Topics

Decision Tree Classifiers

Communication Protocol

Robotic Systems

Mobile Robotics

Top Venues

MODELSWARD (Revised Selected Papers)

Publications

Dongjun Wu, Lihui Pu, Jun Jo, René Hexel, Wendy Moyle
The use of a humanoid robot for older people with dementia in aged care facilities. CoRR (2024)
Morgan McColl, Callum McColl, René Hexel
Automatic Verification of High-Level Executable Models Running on FPGAs. ATVA (2023)
Carl Lusty, Vladimir Estivill-Castro, René Hexel
TTWiFi: Time-Triggered WiFi for Mobile Robotics in Human Environments. WiCON (2023)
Fawad Riasat Raja, David Chen, René Hexel
A Flexible Communication Protocol With Guaranteed Determinism for Distributed, Safety-Critical Real-Time Systems. IEEE Access 10 (2022)
Vladimir Estivill-Castro, Eugene Gilmore, René Hexel
Interpretable Decisions Trees via Human-in-the-Loop-Learning. AusDM (2022)
Vladimir Estivill-Castro, Eugene Gilmore, René Hexel
Constructing Explainable Classifiers from the Start - Enabling Human-in-the Loop Machine Learning. Inf. 13 (10) (2022)
Callum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel
Decomposable and Executable Models for Verification of Real-Time Systems. MODELSWARD (Revised Selected Papers) (2022)
Callum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel
Verifiable Executable Models for Decomposable Real-time Systems. MODELSWARD (2022)
Carl Lusty, Vladimir Estivill-Castro, René Hexel
TTWiFi: Time-Triggered Communication over WiFi. DIVANet (2021)
Eugene Gilmore, Vladimir Estivill-Castro, René Hexel
More Interpretable Decision Trees. HAIS (2021)
Callum McColl, Vladimir Estivill-Castro, Eugene Gilmore, Morgan McColl, René Hexel
Enabling Modern Application Development with Swift on the Nao/Pepper Robots. RoboCup (2021)
Vladimir Estivill-Castro, Eugene Gilmore, René Hexel
Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel Coordinates. SMC (2020)
Vladimir Estivill-Castro, Eugene Gilmore, René Hexel
Constructing Interpretable Decision Trees Using Parallel Coordinates. ICAISC (2) (2020)
Vladimir Estivill-Castro, René Hexel
Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour. MODELSWARD (2019)
Misbah Javaid, Vladimir Estivill-Castro, René Hexel
Knowledge-Based Robotic Agent as a Game Player. PRICAI (3) (2019)
Nguyen Thanh Toan, Orçun Gümüs, Thanh Tam Nguyen, Nguyen Quoc Viet Hung, René Hexel, Jun Jo
Joint Sequential Data Prediction with Multi-stream Stacked LSTM Network. AusDM (2019)
Vladimir Estivill-Castro, René Hexel
The Understandability of Models for Behaviour. MODELSWARD (Revised Selected Papers) (2019)
Cezary Zielinski, Maksym Figat, René Hexel
Communication Within Multi-FSM Based Robotic Systems. J. Intell. Robotic Syst. 93 (3-4) (2019)
Cezary Zielinski, Maksym Figat, René Hexel
Robotic Systems Implementation Based on FSMs. AUTOMATION (2018)
Vladimir Estivill-Castro, René Hexel, Morgan McColl
High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs. ReConFig (2018)
Vladimir Estivill-Castro, René Hexel, Carl Lusty
Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation. MoDELS (Workshops) (2018)
Vladimir Estivill-Castro, René Hexel
Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems. MODELSWARD (2018)
Vladimir Estivill-Castro, René Hexel
Deterministic High-Level Executable Models Allowing Efficient Runtime Verification. MODELSWARD (Revised Selected Papers) (2017)
Vladimir Estivill-Castro, René Hexel
Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems. MODELSWARD (2017)
Maksym Figat, Cezary Zielinski, René Hexel
FSM based specification of robot control system activities. RoMoCo (2017)
Vladimir Estivill-Castro, René Hexel
Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines. SIMPAR (2016)
Vladimir Estivill-Castro, René Hexel, Alberto Ramirez Regalado
Architecture for logic programing with arrangements of finite-state machines. DCPS (2016)
David Chen, René Hexel, Fawad Riasat Raja
Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs. ENASE (2016)
Dimitri Joukoff, Vladimir Estivill-Castro, René Hexel, Carl Lusty
Fast MAV Control by Control/Status OO-Messages on Shared-Memory Middleware. RiTA (2015)
Vladimir Estivill-Castro, René Hexel
Simple, Not Simplistic - The Middleware of Behaviour Models. ENASE (2015)
Vladimir Estivill-Castro, René Hexel, Josh Stover
Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems. EMS (2015)
Vladimir Estivill-Castro, René Hexel
Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B. Australian Software Engineering Conference (2014)
Vladimir Estivill-Castro, René Hexel, Carl Lusty
High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines. SIMPAR (2014)
Vladimir Estivill-Castro, René Hexel
Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering. ENASE (2013)
Vladimir Estivill-Castro, René Hexel
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking. MODELSWARD (2013)
Lin Wah Chan, René Hexel, Lian Wen
Rule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule Modelling. Australian Software Engineering Conference (2013)
Lin Wah Chan, René Hexel, Lian Wen
Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees. SoMeT (2012)
Vladimir Estivill-Castro, René Hexel, David A. Rosenblueth
Efficient Modelling of Embedded Software Systems and their Formal Verification. APSEC (2012)
Robert Coleman, Vladimir Estivill-Castro, René Hexel, Carl Lusty
Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour. SIMPAR (2012)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Requirements Engineering via Non-monotonic Logics and State Diagrams. ENASE (Selected Papers) (2010)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. ENASE (2010)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. SIMPAR (2010)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Architecture for Hybrid Robotic Behavior. HAIS (2009)
Craig Chatfield, René Hexel
Privacy and community connectedness: designing intelligent environments for our cities. OZCHI (2007)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Using Temporal Consistency to Improve Robot Localisation. RoboCup (2006)
Craig Chatfield, David J. Carmichael, René Hexel, Judy Kay, Bob Kummerfeld
Personalisation in intelligent environments: managing the information flow. OZCHI (2005)
René Hexel, Eko Widjono
WETA: Bringing together Mobility and the Web. ICWI (2004)
Sami Ronkainen, Jonna Häkkilä, René Hexel
Speech-Assisted Mobile Text Entry. ICAD (2004)
René Hexel, Chris W. Johnson, Bob Kummerfeld, Aaron J. Quigley
'Powerpoint to the People': Suiting the Word to the Audience. AUIC (2004)
René Hexel
FITS - A Fault Injection Architecture for Time-Triggered Systems. ACSC (2003)