René Hexel
Orcid: 0000-0002-9668-849X
According to our database1,
René Hexel
authored at least 48 papers
between 2003 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
2022
Constructing Explainable Classifiers from the Start - Enabling Human-in-the Loop Machine Learning.
Inf., 2022
A Flexible Communication Protocol With Guaranteed Determinism for Distributed, Safety-Critical Real-Time Systems.
IEEE Access, 2022
Proceedings of the Model-Driven Engineering and Software Development, 2022
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022
Proceedings of the Data Mining - 20th Australasian Conference, AusDM 2022, Western Sydney, 2022
2021
Proceedings of the RoboCup 2021: Robot World Cup XXIV, 2021
Proceedings of the DIVANet '21: Proceedings of the 11th ACM Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications, Alicante, Spain, November 22, 2021
Proceedings of the Hybrid Artificial Intelligent Systems - 16th International Conference, 2021
2020
Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel Coordinates.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020
Proceedings of the Artificial Intelligence and Soft Computing, 2020
2019
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Proceedings of the Model-Driven Engineering and Software Development, 2019
Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
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.
Proceedings of the 2018 International Conference on ReConFigurable Computing and FPGAs, 2018
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.
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of the Automation 2018, 2018
2017
Proceedings of the 11th International Workshop on Robot Motion and Control, 2017
Proceedings of the Model-Driven Engineering and Software Development, 2017
Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems.
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.
Proceedings of the 2016 IEEE International Conference on Simulation, 2016
Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs.
Proceedings of the ENASE 2016, 2016
Proceedings of the 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, 2016
2015
Proceedings of the Robot Intelligence Technology and Applications 4, 2015
Proceedings of the ENASE 2015, 2015
Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems.
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.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014
Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B.
Proceedings of the 23rd Australian Software Engineering Conference, 2014
2013
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.
Proceedings of the ENASE 2013, 2013
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.
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.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
2010
Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2010
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2010
Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic.
Proceedings of the ENASE 2010, 2010
2009
Proceedings of the Hybrid Artificial Intelligence Systems, 4th International Conference, 2009
2007
Privacy and community connectedness: designing intelligent environments for our cities.
Proceedings of the 2007 Australasian Computer-Human Interaction Conference, 2007
2006
Proceedings of the RoboCup 2006: Robot Soccer World Cup X, 2006
2005
Proceedings of the 2005 Australasian Computer-Human Interaction Conference, 2005
2004
Proceedings of the ICAD 2004: The 10th Meeting of the International Conference on Auditory Display, 2004
WETA: Bringing together Mobility and the Web.
Proceedings of the IADIS International Conference WWW/Internet 2004, 2004
Proceedings of the User Interfaces 2004, 2004
2003
Proceedings of the Computer Science 2003, 2003