René Hexel - RankMe

50 papers B 6C 9Misc 6Journal 4Unranked 25

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