Rene Hexel
Title
Cited by
Cited by
Year
Conceptualising Citizen's Trust in e-Government: Application of Q Methodology
HM Al-Saghier, M Ford, AT Nguyen, R Hexel
Leading Issues in e-Government Research 1, 204-230, 2011
1692011
A Prototype Implementation of a TTP/C Controller
H Kopetz, R Hexel, A Krüger, D Millinger, R Nossal, R Pallierer, ...
SAE Paper 970296, 1997
45*1997
Specification of the TTP/A protocol
H Kopetz
University of Technology Vienna, 2002
422002
Merino: Towards an intelligent environment architecture for multi-granularity context description
B Kummerfeld, A Quigley, C Johnson, R Hexel
workshop on User Modelling for Ubiquitous Computing, 2003
322003
A synchronization strategy for a TTP/C controller
H Kopetz, R Hexel, A Krüger, D Millinger, A Schedl
SAE Technical Paper, 1996
231996
Efficient modelling of embedded software systems and their formal verification
V Estivill-Castro, R Hexel, DA Rosenblueth
2012 19th Asia-Pacific Software Engineering Conference 1, 428-433, 2012
192012
Personalisation in intelligent environments: managing the information flow
C Chatfield, D Carmichael, R Hexel, J Kay, B Kummerfeld
Proceedings of the 17th Australia conference on Computer-Human Interaction …, 2005
192005
High performance relaying of C++ 11 objects across processes and logic-labeled finite-state machines
V Estivill-Castro, R Hexel, C Lusty
International Conference on Simulation, Modeling, and Programming for …, 2014
172014
Architecture for hybrid robotic behavior
D Billington, V Estivill-Castro, R Hexel, A Rock
Hybrid Artificial Intelligence Systems, Lecture Notes in Computer Science …, 2009
172009
Arrangements of Finite-state Machines-Semantics, Simulation, and Model Checking.
V Estivill-Castro, R Hexel
MODELSWARD, 182-189, 2013
162013
Non-monotonic reasoning for localisation in robocup
D Billington, V Estivill-Castro, R Hexel, A Rock
Australasian Conf. on Robotics and Automation (ACRA). UNSW, Sydney, 10, 2005
162005
Interaction in location-aware messaging in a city environment
J Hakkila, R Hexel
Proceedings of the Australasian Computer Human Interaction Conference, OZCHI …, 2003
162003
Efficient model checking and FMEA analysis with deterministic scheduling of transition-labeled finite-state machines
V Estivill-Castro, R Hexel, DA Rosenblueth
2012 Third World Congress on Software Engineering, 65-72, 2012
152012
Mode handling in the time-triggered architecture
H Kopetz, R Nossal, R Hexel, A Krüger, D Millinger, R Pallierer, C Temple, ...
Control Engineering Practice 6 (1), 61-66, 1998
151998
Requirements Engineering via Non-monotonic Logics and State Diagrams
D Billington, V Estivill-Castro, R Hexel, A Rock
Evaluation of Novel Approaches to Software Engineering, Communications in …, 2011
142011
Modelling behaviour requirements for automatic interpretation, simulation and deployment
D Billington, V Estivill-Castro, R Hexel, A Rock
International Conference on Simulation, Modeling, and Programming for …, 2010
142010
PowerPoint to the People: Suiting the Word to the Audience
R Hexel, C Johnson, B Kummerfeld, A Quigley
Proceedings of the fifth conference on Australasian user interface-Volume 28 …, 2004
142004
Validation of fault tolerance mechanisms in a time triggered communication protocol using fault injection
R Hexel
Vienna University of Technology, 1999
131999
FSM based specification of robot control system activities
M Figat, C Zieliński, R Hexel
2017 11th International Workshop on Robot Motion and Control (RoMoCo), 193-198, 2017
112017
Using temporal consistency to improve robot localisation
D Billington, V Estivill-Castro, R Hexel, A Rock
Robot Soccer World Cup, 232-244, 2006
112006
The system can't perform the operation now. Try again later.
Articles 1–20