René Hexel
Morgan McColl
Callum McColl
René Hexel
Automatic Verification of High-Level Executable Models Running on FPGAs.
217-234
2023
ATVA
https://doi.org/10.1007/978-3-031-45332-8_11
conf/atva/2023
db/conf/atva/atva2023.html#McCollMH23
Fawad Riasat Raja
David Chen 0002
René Hexel
A Flexible Communication Protocol With Guaranteed Determinism for Distributed, Safety-Critical Real-Time Systems.
48049-48070
2022
10
IEEE Access
https://doi.org/10.1109/ACCESS.2022.3170102
db/journals/access/access10.html#RajaCH22
Vladimir Estivill-Castro
Eugene Gilmore
René Hexel
Constructing Explainable Classifiers from the Start - Enabling Human-in-the Loop Machine Learning.
464
2022
13
Inf.
10
https://doi.org/10.3390/info13100464
db/journals/information/information13.html#Estivill-Castro22
Vladimir Estivill-Castro
Eugene Gilmore
René Hexel
Interpretable Decisions Trees via Human-in-the-Loop-Learning.
115-130
2022
AusDM
https://doi.org/10.1007/978-981-19-8746-5_9
conf/ausdm/2022
db/conf/ausdm/ausdm2022.html#Estivill-Castro22
Callum McColl
Vladimir Estivill-Castro
Morgan McColl
René Hexel
Decomposable and Executable Models for Verification of Real-Time Systems.
135-156
2022
MODELSWARD (Revised Selected Papers)
https://doi.org/10.1007/978-3-031-38821-7_7
conf/modelsward/2022s
db/conf/modelsward/modelsward2022s.html#McCollEMH22a
Callum McColl
Vladimir Estivill-Castro
Morgan McColl
René Hexel
Verifiable Executable Models for Decomposable Real-time Systems.
182-193
2022
MODELSWARD
https://doi.org/10.5220/0010812200003119
conf/modelsward/2022
db/conf/modelsward/modelsward2022.html#McCollEMH22
Eugene Gilmore
Vladimir Estivill-Castro
René Hexel
More Interpretable Decision Trees.
280-292
2021
HAIS
https://doi.org/10.1007/978-3-030-86271-8_24
conf/hais/2021
db/conf/hais/hais2021.html#GilmoreEH21
Carl Lusty
Vladimir Estivill-Castro
René Hexel
TTWiFi: Time-Triggered Communication over WiFi.
35-44
2021
DIVANet
https://doi.org/10.1145/3479243.3487298
conf/mswim/2021divanet
db/conf/mswim/divanet2021.html#LustyEH21
Callum McColl
Vladimir Estivill-Castro
Eugene Gilmore
Morgan McColl
René Hexel
Enabling Modern Application Development with Swift on the Nao/Pepper Robots.
15-27
2021
RoboCup
https://doi.org/10.1007/978-3-030-98682-7_2
conf/robocup/2021
db/conf/robocup/robocup2021.html#McCollEGMH21
Vladimir Estivill-Castro
Eugene Gilmore
René Hexel
Constructing Interpretable Decision Trees Using Parallel Coordinates.
152-164
2020
ICAISC (2)
https://doi.org/10.1007/978-3-030-61534-5_14
conf/icaisc/2020-2
db/conf/icaisc/icaisc2020-2.html#Estivill-Castro20
Vladimir Estivill-Castro
Eugene Gilmore
René Hexel
Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel Coordinates.
3852-3859
2020
SMC
https://doi.org/10.1109/SMC42975.2020.9283240
conf/smc/2020
db/conf/smc/smc2020.html#Estivill-Castro20
Cezary Zielinski
Maksym Figat
René Hexel
Communication Within Multi-FSM Based Robotic Systems.
787-805
2019
93
J. Intell. Robotic Syst.
3-4
https://doi.org/10.1007/s10846-018-0869-6
db/journals/jirs/jirs93.html#ZielinskiFH19
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.
77-90
2019
AusDM
https://doi.org/10.1007/978-981-15-1699-3_7
conf/ausdm/2019
db/conf/ausdm/ausdm2019.html#ToanGNHHJ19
Vladimir Estivill-Castro
René Hexel
Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour.
49-61
2019
MODELSWARD
https://doi.org/10.5220/0007323300510063
conf/modelsward/2019
db/conf/modelsward/modelsward2019.html#Estivill-Castro19
Vladimir Estivill-Castro
René Hexel
The Understandability of Models for Behaviour.
50-75
2019
MODELSWARD (Revised Selected Papers)
https://doi.org/10.1007/978-3-030-37873-8_3
conf/modelsward/2019s
db/conf/modelsward/modelsward2019s.html#Estivill-Castro19a
Misbah Javaid
Vladimir Estivill-Castro
René Hexel
Knowledge-Based Robotic Agent as a Game Player.
322-336
2019
PRICAI (3)
https://doi.org/10.1007/978-3-030-29894-4_27
conf/pricai/2019-3
db/conf/pricai/pricai2019-3.html#JavaidEH19
Cezary Zielinski
Maksym Figat
René Hexel
Robotic Systems Implementation Based on FSMs.
441-452
2018
AUTOMATION
https://doi.org/10.1007/978-3-319-77179-3_41
conf/automation/2018
db/conf/automation/automation2018.html#ZielinskiFH18
Vladimir Estivill-Castro
René Hexel
Carl Lusty
Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation.
453-464
2018
MoDELS (Workshops)
https://ceur-ws.org/Vol-2245/morse_paper_3.pdf
conf/models/2018w
db/conf/models/models2018w.html#Estivill-Castro18
Vladimir Estivill-Castro
René Hexel
Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems.
364-371
2018
MODELSWARD
https://doi.org/10.5220/0006573903640371
conf/modelsward/2018
db/conf/modelsward/modelsward2018.html#Estivill-Castro18
Vladimir Estivill-Castro
René Hexel
Morgan McColl
High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs.
1-8
2018
ReConFig
https://doi.org/10.1109/RECONFIG.2018.8641710
conf/reconfig/2018
db/conf/reconfig/reconfig2018.html#Estivill-Castro18
Vladimir Estivill-Castro
René Hexel
Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems.
29-40
2017
MODELSWARD
https://doi.org/10.5220/0006116700290040
conf/modelsward/2017
db/conf/modelsward/modelsward2017.html#Estivill-Castro17
Vladimir Estivill-Castro
René Hexel
Deterministic High-Level Executable Models Allowing Efficient Runtime Verification.
119-144
2017
MODELSWARD (Revised Selected Papers)
https://doi.org/10.1007/978-3-319-94764-8_6
conf/modelsward/2017s
db/conf/modelsward/modelsward2017s.html#Estivill-Castro17a
Maksym Figat
Cezary Zielinski
René Hexel
FSM based specification of robot control system activities.
193-198
2017
RoMoCo
https://doi.org/10.1109/RoMoCo.2017.8003912
conf/romoco/2017
db/conf/romoco/romoco2017.html#FigatZH17
Vladimir Estivill-Castro
René Hexel
Alberto Ramirez Regalado
Architecture for logic programing with arrangements of finite-state machines.
1-8
2016
DCPS
https://doi.org/10.1109/DCPS.2016.7588297
https://doi.ieeecomputersociety.org/10.1109/DCPS.2016.7588297
conf/cpsweek/2016dcps
db/conf/cpsweek/dcps2016.html#Estivill-Castro16
David Chen 0002
René Hexel
Fawad Riasat Raja
Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs.
272-281
2016
ENASE
https://doi.org/10.5220/0005915602720281
conf/enase/2016
db/conf/enase/enase2016.html#ChenHR16
Vladimir Estivill-Castro
René Hexel
Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines.
281-288
2016
SIMPAR
https://doi.org/10.1109/SIMPAR.2016.7862408
conf/simpar/2016
db/conf/simpar/simpar2016.html#Estivill-Castro16
Vladimir Estivill-Castro
René Hexel
Josh Stover
Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems.
89-95
2015
EMS
https://doi.org/10.1109/EMS.2015.24
conf/ems/2015
db/conf/ems/ems2015.html#Estivill-Castro15
Vladimir Estivill-Castro
René Hexel
Simple, Not Simplistic - The Middleware of Behaviour Models.
189-196
2015
ENASE
https://doi.org/10.5220/0005371101890196
https://ieeexplore.ieee.org/document/7320353/
conf/enase/2015
db/conf/enase/enase2015.html#Estivill-Castro15
Dimitri Joukoff
Vladimir Estivill-Castro
René Hexel
Carl Lusty
Fast MAV Control by Control/Status OO-Messages on Shared-Memory Middleware.
195-211
2015
RiTA
https://doi.org/10.1007/978-3-319-31293-4_16
conf/rita/2015
db/conf/rita/rita2015.html#JoukoffEHL15
Vladimir Estivill-Castro
René Hexel
Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B.
38-47
2014
Australian Software Engineering Conference
https://doi.org/10.1109/ASWEC.2014.20
https://doi.ieeecomputersociety.org/10.1109/ASWEC.2014.20
conf/aswec/2014
db/conf/aswec/aswec2014.html#Estivill-CastroH14
Vladimir Estivill-Castro
René Hexel
Carl Lusty
High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines.
182-194
2014
SIMPAR
https://doi.org/10.1007/978-3-319-11900-7_16
conf/simpar/2014
db/conf/simpar/simpar2014.html#Estivill-CastroHL14
Lin Wah Chan
René Hexel
Lian Wen
Rule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule Modelling.
20-29
2013
Australian Software Engineering Conference
https://doi.org/10.1109/ASWEC.2013.13
https://doi.ieeecomputersociety.org/10.1109/ASWEC.2013.13
conf/aswec/2013
db/conf/aswec/aswec2013.html#ChanHW13
Vladimir Estivill-Castro
René Hexel
Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering.
218-225
2013
ENASE
https://doi.org/10.5220/0004557502180225
conf/enase/2013
db/conf/enase/enase2013.html#Estivill-CastroH13
Vladimir Estivill-Castro
René Hexel
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking.
182-189
2013
MODELSWARD
https://doi.org/10.5220/0004317101820189
conf/modelsward/2013
db/conf/modelsward/modelsward2013.html#Estivill-CastroH13
Vladimir Estivill-Castro
René Hexel
David A. Rosenblueth
Efficient Modelling of Embedded Software Systems and their Formal Verification.
428-433
2012
APSEC
https://doi.org/10.1109/APSEC.2012.21
https://www.wikidata.org/entity/Q58803121
conf/apsec/2012
db/conf/apsec/apsec2012.html#Estivill-CastroHR12
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.
52-64
2012
SIMPAR
https://doi.org/10.1007/978-3-642-34327-8_8
https://www.wikidata.org/entity/Q58803133
conf/simpar/2012
db/conf/simpar/simpar2012.html#ColemanEHL12
Lin Wah Chan
René Hexel
Lian Wen
Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees.
21-40
2012
SoMeT
https://doi.org/10.3233/978-1-61499-125-0-21
conf/somet/2012
db/conf/somet/somet2012.html#ChanHW12
David Billington
Vladimir Estivill-Castro
René Hexel
Andrew Rock
Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic.
68-77
2010
ENASE
conf/enase/2010
db/conf/enase/enase2010.html#BillingtonEHR10
David Billington
Vladimir Estivill-Castro
René Hexel
Andrew Rock
Requirements Engineering via Non-monotonic Logics and State Diagrams.
121-135
2010
ENASE (Selected Papers)
https://doi.org/10.1007/978-3-642-23391-3_9
https://www.wikidata.org/entity/Q58803150
conf/enase/2010s
db/conf/enase/enase2010s.html#BillingtonEHR10a
David Billington
Vladimir Estivill-Castro
René Hexel
Andrew Rock
Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment.
204-216
2010
SIMPAR
https://doi.org/10.1007/978-3-642-17319-6_21
https://www.wikidata.org/entity/Q58803155
conf/simpar/2010
db/conf/simpar/simpar2010.html#BillingtonEHR10
David Billington
Vladimir Estivill-Castro
René Hexel
Andrew Rock
Architecture for Hybrid Robotic Behavior.
145-156
2009
HAIS
https://doi.org/10.1007/978-3-642-02319-4_18
https://www.wikidata.org/entity/Q58803167
conf/hais/2009
db/conf/hais/hais2009.html#BillingtonEHR09
Craig Chatfield
René Hexel
Privacy and community connectedness: designing intelligent environments for our cities.
265-272
2007
OZCHI
https://doi.org/10.1145/1324892.1324950
conf/ozchi/2007
db/conf/ozchi/ozchi2007.html#ChatfieldH07
David Billington
Vladimir Estivill-Castro
René Hexel
Andrew Rock
Using Temporal Consistency to Improve Robot Localisation.
232-244
2006
conf/robocup/2006
RoboCup
https://doi.org/10.1007/978-3-540-74024-7_20
db/conf/robocup/robocup2006.html#BillingtonEHR06
Craig Chatfield
David J. Carmichael
René Hexel
Judy Kay
Bob Kummerfeld
Personalisation in intelligent environments: managing the information flow.
2005
OZCHI
https://dl.acm.org/citation.cfm?id=1108396
conf/ozchi/2005
db/conf/ozchi/ozchi2005.html#ChatfieldCHKK05
René Hexel
Chris W. Johnson 0002
Bob Kummerfeld
Aaron J. Quigley
'Powerpoint to the People': Suiting the Word to the Audience.
49-56
2004
conf/auic/2004
AUIC
http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV28Hexel.html
db/conf/auic/auic2004.html#HexelJKQ04
René Hexel
Eko Widjono
WETA: Bringing together Mobility and the Web.
477-484
2004
conf/iadis/2004icwi
ICWI
db/conf/iadis/icwi2004.html#HexelW04
Sami Ronkainen
Jonna Häkkilä
René Hexel
Speech-Assisted Mobile Text Entry.
2004
conf/icad/2004
ICAD
http://www.icad.org/websiteV2.0/Conferences/ICAD2004/papers/ronkainen_hakkila_hexel.pdf
db/conf/icad/icad2004.html#RonkainenHH04
René Hexel
FITS - A Fault Injection Architecture for Time-Triggered Systems.
333-338
2003
conf/acsc/2003
ACSC
http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV16Hexel.html
db/conf/acsc/acsc2003.html#Hexel03
David Billington
David J. Carmichael
Lin Wah Chan
Craig Chatfield
David Chen 0002
Robert Coleman
Vladimir Estivill-Castro
Maksym Figat
Eugene Gilmore
Orçun Gümüs
Jonna Häkkilä
Nguyen Quoc Viet Hung
Misbah Javaid
Jun Jo
Christopher W. Johnson 0002Chris W. Johnson 0002
Dimitri Joukoff
Judy Kay
Bob Kummerfeld
Carl Lusty
Callum McColl
Morgan McColl
Thanh Tam Nguyen
Aaron J. Quigley
Fawad Riasat Raja
Alberto Ramirez Regalado
Andrew Rock
Sami Ronkainen
David A. Rosenblueth
Josh Stover
Nguyen Thanh Toan
Lian Wen
Eko Widjono
Cezary Zielinski