R. Hexel

Vladimir Estivill-Castro, René Hexel, V. Estivill-Castro, 2015, 2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).

Privacy and community connectedness: designing intelligent environments for our cities

Craig Chatfield, René Hexel, R. Hexel, 2007, OZCHI '07.

Context Evidence and Location Authority: the disciplined management of sensor data into context models

Judy Kay, Bob Kummerfeld, Chris Johnson, 2004 .

Merino: An Intelligent Environment Architecture for Scalable Context Processing

Judy Kay, Bob Kummerfeld, Aaron Quigley, 2003 .

Merino: Towards an intelligent environment architecture for multi-granualarity context description

Bob Kummerfeld, Aaron Quigley, Chris Johnson, 2003 .

High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs

Vladimir Estivill-Castro, René Hexel, Morgan McColl, 2018, 2018 International Conference on ReConFigurable Computing and FPGAs (ReConFig).

Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking

Vladimir Estivill-Castro, René Hexel, V. Estivill-Castro, 2013, MODELSWARD.

Verifiable Executable Models for Decomposable Real-time Systems

V. Estivill-Castro, R. Hexel, Morgan McColl, 2022, International Conference on Model-Driven Engineering and Software Development.

Personalisation in intelligent environments: managing the information flow

Judy Kay, Bob Kummerfeld, Craig Chatfield, 2005, OZCHI.

Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel Coordinates

René Hexel, Vladimir Estivill-Castro, Eugene Gilmore, 2020, 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

Deterministic High-Level Executable Models Allowing Efficient Runtime Verification

Vladimir Estivill-Castro, René Hexel, V. Estivill-Castro, 2017, MODELSWARD.

Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems

Vladimir Estivill-Castro, René Hexel, V. Estivill-Castro, 2017, MODELSWARD.

Factors Affecting the Citizens’ Trust in E-Government

Rene Hexel, Anne T. Nguyen, Hisham M. Al-Saghier, 2012 .

High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines

Vladimir Estivill-Castro, René Hexel, Carl Lusty, 2014, SIMPAR.

Fast MAV Control by Control/Status OO-Messages on Shared-Memory Middleware

Vladimir Estivill-Castro, Dimitri Joukoff, René Hexel, 2015, RiTA.

Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour

Vladimir Estivill-Castro, René Hexel, Carl Lusty, 2012, SIMPAR.

Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering

Vladimir Estivill-Castro, René Hexel, V. Estivill-Castro, 2013, ENASE.

Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic

Vladimir Estivill-Castro, David Billington, René Hexel, 2010, ENASE.

Interpretable Decisions Trees via Human-in-the-Loop-Learning

V. Estivill-Castro, R. Hexel, Eugene Gilmore, 2022, AusDM.

Module Interactions for Model-Driven Engineering of Complex Behaviour of Autonomous Robots

Rene Hexel, Vladimir Estivill-Castro, V. Estivill-Castro, 2011, ICSEA 2011.

An OO and Functional Framework for Versatile Semantics of Logic-Labelled Finite State Machines

Rene Hexel, Vladimir Estivill-Castro, Callum McColl, 2017, ICSEA 2017.

INCUS: A communication protocol for safety critical distributed real time systems

Rene Hexel, David Chen, Fawad Riasat Raja, 2014, The 20th Asia-Pacific Conference on Communication (APCC2014).

Efficient Model Checking and FMEA Analysis with Deterministic Scheduling of Transition-Labeled Finite-State Machines

V. Estivill-Castro, R. Hexel, D. A. Rosenblueth, 2012, 2012 Third World Congress on Software Engineering.

Failure mode and effects analysis (FMEA) and model-checking of software for embedded systems by sequential scheduling of vectors of logic-labelled finite-state machines

Rene Hexel, Vladimir Estivill-Castro, David A. Rosenblueth, 2012 .

Correctness by Construction with Logic-Labeled Finite-State Machines -- Comparison with Event-B

Vladimir Estivill-Castro, René Hexel, V. Estivill-Castro, 2014, 2014 23rd Australian Software Engineering Conference.

Mode Handling in the Time-Triggered Architecture

Rene Hexel, Hermann Kopetz, Roman Pallierer, 1997 .

Enhancing Humans Trust and Perception of Robots Through Explanations

V. Estivill-Castro, R. Hexel, Misbah Javaid, 2020 .

Speech-Assisted Mobile Text Entry

Jonna Häkkilä, René Hexel, Sami Ronkainen, 2004, ICAD.