![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
René Hexel
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i1]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 abs/2405.19630 (2024) - 2023
- [c46]Morgan McColl
, Callum McColl
, René Hexel
:
Automatic Verification of High-Level Executable Models Running on FPGAs. ATVA 2023: 217-234 - [c45]Carl Lusty
, Vladimir Estivill-Castro
, René Hexel
:
TTWiFi: Time-Triggered WiFi for Mobile Robotics in Human Environments. WiCON 2023: 14-28 - 2022
- [j3]Fawad Riasat Raja
, David Chen
, René Hexel
:
A Flexible Communication Protocol With Guaranteed Determinism for Distributed, Safety-Critical Real-Time Systems. IEEE Access 10: 48049-48070 (2022) - [j2]Vladimir Estivill-Castro
, Eugene Gilmore, René Hexel
:
Constructing Explainable Classifiers from the Start - Enabling Human-in-the Loop Machine Learning. Inf. 13(10): 464 (2022) - [c44]Vladimir Estivill-Castro
, Eugene Gilmore, René Hexel
:
Interpretable Decisions Trees via Human-in-the-Loop-Learning. AusDM 2022: 115-130 - [c43]Callum McColl
, Vladimir Estivill-Castro
, Morgan McColl
, René Hexel
:
Decomposable and Executable Models for Verification of Real-Time Systems. MODELSWARD (Revised Selected Papers) 2022: 135-156 - [c42]Callum McColl, Vladimir Estivill-Castro, Morgan McColl
, René Hexel
:
Verifiable Executable Models for Decomposable Real-time Systems. MODELSWARD 2022: 182-193 - 2021
- [c41]Eugene Gilmore, Vladimir Estivill-Castro
, René Hexel
:
More Interpretable Decision Trees. HAIS 2021: 280-292 - [c40]Carl Lusty, Vladimir Estivill-Castro, René Hexel
:
TTWiFi: Time-Triggered Communication over WiFi. DIVANet 2021: 35-44 - [c39]Callum McColl, Vladimir Estivill-Castro, Eugene Gilmore, Morgan McColl, René Hexel
:
Enabling Modern Application Development with Swift on the Nao/Pepper Robots. RoboCup 2021: 15-27 - 2020
- [c38]Vladimir Estivill-Castro, Eugene Gilmore, René Hexel
:
Constructing Interpretable Decision Trees Using Parallel Coordinates. ICAISC (2) 2020: 152-164 - [c37]Vladimir Estivill-Castro, Eugene Gilmore, René Hexel
:
Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel Coordinates. SMC 2020: 3852-3859
2010 – 2019
- 2019
- [j1]Cezary Zielinski
, Maksym Figat
, René Hexel
:
Communication Within Multi-FSM Based Robotic Systems. J. Intell. Robotic Syst. 93(3-4): 787-805 (2019) - [c36]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: 77-90 - [c35]Vladimir Estivill-Castro, René Hexel:
Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour. MODELSWARD 2019: 49-61 - [c34]Vladimir Estivill-Castro
, René Hexel
:
The Understandability of Models for Behaviour. MODELSWARD (Revised Selected Papers) 2019: 50-75 - [c33]Misbah Javaid
, Vladimir Estivill-Castro
, René Hexel
:
Knowledge-Based Robotic Agent as a Game Player. PRICAI (3) 2019: 322-336 - 2018
- [c32]Cezary Zielinski
, Maksym Figat
, René Hexel
:
Robotic Systems Implementation Based on FSMs. AUTOMATION 2018: 441-452 - [c31]Vladimir Estivill-Castro, René Hexel, Carl Lusty:
Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation. MoDELS (Workshops) 2018: 453-464 - [c30]Vladimir Estivill-Castro, René Hexel
:
Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems. MODELSWARD 2018: 364-371 - [c29]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: 1-8 - 2017
- [c28]Vladimir Estivill-Castro, René Hexel
:
Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems. MODELSWARD 2017: 29-40 - [c27]Vladimir Estivill-Castro
, René Hexel
:
Deterministic High-Level Executable Models Allowing Efficient Runtime Verification. MODELSWARD (Revised Selected Papers) 2017: 119-144 - [c26]Maksym Figat
, Cezary Zielinski
, René Hexel
:
FSM based specification of robot control system activities. RoMoCo 2017: 193-198 - 2016
- [c25]Vladimir Estivill-Castro
, René Hexel
, Alberto Ramirez Regalado:
Architecture for logic programing with arrangements of finite-state machines. DCPS 2016: 1-8 - [c24]David Chen, René Hexel
, Fawad Riasat Raja:
Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs. ENASE 2016: 272-281 - [c23]Vladimir Estivill-Castro
, René Hexel
:
Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines. SIMPAR 2016: 281-288 - 2015
- [c22]Vladimir Estivill-Castro
, René Hexel
, Josh Stover:
Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems. EMS 2015: 89-95 - [c21]Vladimir Estivill-Castro, René Hexel
:
Simple, Not Simplistic - The Middleware of Behaviour Models. ENASE 2015: 189-196 - [c20]Dimitri Joukoff, Vladimir Estivill-Castro
, René Hexel
, Carl Lusty:
Fast MAV Control by Control/Status OO-Messages on Shared-Memory Middleware. RiTA 2015: 195-211 - 2014
- [c19]Vladimir Estivill-Castro
, René Hexel
:
Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B. Australian Software Engineering Conference 2014: 38-47 - [c18]Vladimir Estivill-Castro, René Hexel
, Carl Lusty:
High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines. SIMPAR 2014: 182-194 - 2013
- [c17]Lin Wah Chan, René Hexel
, Lian Wen:
Rule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule Modelling. Australian Software Engineering Conference 2013: 20-29 - [c16]Vladimir Estivill-Castro, René Hexel
:
Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering. ENASE 2013: 218-225 - [c15]Vladimir Estivill-Castro, René Hexel:
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking. MODELSWARD 2013: 182-189 - 2012
- [c14]Vladimir Estivill-Castro
, René Hexel
, David A. Rosenblueth:
Efficient Modelling of Embedded Software Systems and their Formal Verification. APSEC 2012: 428-433 - [c13]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: 52-64 - [c12]Lin Wah Chan, René Hexel
, Lian Wen:
Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees. SoMeT 2012: 21-40 - 2010
- [c11]David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock:
Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. ENASE 2010: 68-77 - [c10]David Billington, Vladimir Estivill-Castro
, René Hexel
, Andrew Rock:
Requirements Engineering via Non-monotonic Logics and State Diagrams. ENASE (Selected Papers) 2010: 121-135 - [c9]David Billington, Vladimir Estivill-Castro
, René Hexel
, Andrew Rock:
Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. SIMPAR 2010: 204-216
2000 – 2009
- 2009
- [c8]David Billington, Vladimir Estivill-Castro
, René Hexel
, Andrew Rock:
Architecture for Hybrid Robotic Behavior. HAIS 2009: 145-156 - 2007
- [c7]Craig Chatfield, René Hexel:
Privacy and community connectedness: designing intelligent environments for our cities. OZCHI 2007: 265-272 - 2006
- [c6]David Billington, Vladimir Estivill-Castro, René Hexel
, Andrew Rock:
Using Temporal Consistency to Improve Robot Localisation. RoboCup 2006: 232-244 - 2005
- [c5]Craig Chatfield, David J. Carmichael, René Hexel, Judy Kay, Bob Kummerfeld:
Personalisation in intelligent environments: managing the information flow. OZCHI 2005 - 2004
- [c4]René Hexel, Chris W. Johnson, Bob Kummerfeld, Aaron J. Quigley:
'Powerpoint to the People': Suiting the Word to the Audience. AUIC 2004: 49-56 - [c3]René Hexel, Eko Widjono:
WETA: Bringing together Mobility and the Web. ICWI 2004: 477-484 - [c2]Sami Ronkainen, Jonna Häkkilä, René Hexel:
Speech-Assisted Mobile Text Entry. ICAD 2004 - 2003
- [c1]René Hexel:
FITS - A Fault Injection Architecture for Time-Triggered Systems. ACSC 2003: 333-338
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-24 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint