Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDRené Hexel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 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
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-02-11 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
