Остановите войну!
for scientists:
default search action
René Hexel
- > Home > Persons > René Hexel
Publications
- 2023
- [c45]Morgan McColl, Callum McColl, René Hexel:
Automatic Verification of High-Level Executable Models Running on FPGAs. ATVA 2023: 217-234 - 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 - 2019
- [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
- [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 - 2016
- [c25]Vladimir Estivill-Castro, René Hexel, Alberto Ramirez Regalado:
Architecture for logic programing with arrangements of finite-state machines. DCPS 2016: 1-8 - [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
- [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 - 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 - 2009
- [c8]David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock:
Architecture for Hybrid Robotic Behavior. HAIS 2009: 145-156 - 2006
- [c6]David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock:
Using Temporal Consistency to Improve Robot Localisation. RoboCup 2006: 232-244
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-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint