René Hexel

Proceedings of the Hybrid Artificial Intelligent Systems - 16th International Conference, 2021

2020

Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel Coordinates.

[BibT_eX]

[DOI]

Eugene Gilmore

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Constructing Interpretable Decision Trees Using Parallel Coordinates.

[BibT_eX]

[DOI]

Eugene Gilmore

Proceedings of the Artificial Intelligence and Soft Computing, 2020

2019

Communication Within Multi-FSM Based Robotic Systems.

[BibT_eX]

[DOI]

Cezary Zielinski

Maksym Figat

J. Intell. Robotic Syst., 2019

Knowledge-Based Robotic Agent as a Game Player.

[BibT_eX]

[DOI]

Misbah Javaid

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

The Understandability of Models for Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering and Software Development, 2019

Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Joint Sequential Data Prediction with Multi-stream Stacked LSTM Network.

[BibT_eX]

[DOI]

Nguyen Thanh Toan

Orçun Gümüs

Thanh Tam Nguyen

Nguyen Quoc Viet Hung

Jun Jo

Proceedings of the Data Mining - 17th Australasian Conference, AusDM 2019, Adelaide, SA, 2019

2018

High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs.

[BibT_eX]

[DOI]

Morgan McColl

Proceedings of the 2018 International Conference on ReConFigurable Computing and FPGAs, 2018

Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Robotic Systems Implementation Based on FSMs.

[BibT_eX]

[DOI]

Cezary Zielinski

Maksym Figat

Proceedings of the Automation 2018, 2018

2017

FSM based specification of robot control system activities.

[BibT_eX]

[DOI]

Maksym Figat

Cezary Zielinski

Proceedings of the 11th International Workshop on Robot Motion and Control, 2017

Deterministic High-Level Executable Models Allowing Efficient Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering and Software Development, 2017

Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

2016

Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Simulation, 2016

Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs.

[BibT_eX]

[DOI]

David Chen

Fawad Riasat Raja

Proceedings of the ENASE 2016, 2016

Architecture for logic programing with arrangements of finite-state machines.

[BibT_eX]

[DOI]

Alberto Ramirez Regalado

Proceedings of the 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, 2016

2015

Fast MAV Control by Control/Status OO-Messages on Shared-Memory Middleware.

[BibT_eX]

[DOI]

Dimitri Joukoff

Proceedings of the Robot Intelligence Technology and Applications 4, 2015

Simple, Not Simplistic - The Middleware of Behaviour Models.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2015, 2015

Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems.

[BibT_eX]

[DOI]

Josh Stover

Proceedings of the 2015 IEEE European Modelling Symposium, 2015

2014

High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines.

[BibT_eX]

[DOI]

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B.

[BibT_eX]

[DOI]

Proceedings of the 23rd Australian Software Engineering Conference, 2014

2013

Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2013, 2013

Rule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule Modelling.

[BibT_eX]

[DOI]

Lin Wah Chan

Lian Wen

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012

Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees.

[BibT_eX]

[DOI]

Lin Wah Chan

Lian Wen

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2012

Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour.

[BibT_eX]

[DOI]

Robert Coleman

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2012

Efficient Modelling of Embedded Software Systems and their Formal Verification.

[BibT_eX]

[DOI]

David A. Rosenblueth

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2010

Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment.

[BibT_eX]

[DOI]

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2010

Requirements Engineering via Non-monotonic Logics and State Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2010

Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic.

[BibT_eX]

Proceedings of the ENASE 2010, 2010

2009

Architecture for Hybrid Robotic Behavior.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Artificial Intelligence Systems, 4th International Conference, 2009

2007

Privacy and community connectedness: designing intelligent environments for our cities.

[BibT_eX]

[DOI]

Craig Chatfield

Proceedings of the 2007 Australasian Computer-Human Interaction Conference, 2007

2006

Using Temporal Consistency to Improve Robot Localisation.

[BibT_eX]

[DOI]

Proceedings of the RoboCup 2006: Robot Soccer World Cup X, 2006

2005

Personalisation in intelligent environments: managing the information flow.

[BibT_eX]

[DOI]

Proceedings of the 2005 Australasian Computer-Human Interaction Conference, 2005

2004

Speech-Assisted Mobile Text Entry.

[BibT_eX]

[DOI]

Sami Ronkainen

Jonna Häkkilä

Proceedings of the ICAD 2004: The 10th Meeting of the International Conference on Auditory Display, 2004

WETA: Bringing together Mobility and the Web.

[BibT_eX]

Eko Widjono

Proceedings of the IADIS International Conference WWW/Internet 2004, 2004

'Powerpoint to the People': Suiting the Word to the Audience.

[BibT_eX]

[DOI]

Proceedings of the User Interfaces 2004, 2004

2003

FITS - A Fault Injection Architecture for Time-Triggered Systems.

[BibT_eX]

[DOI]