Rene Hexel
TitleCited byYear
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
1472011
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
44*1997
Specification of the TTP/A protocol
H Kopetz
University of Technology Vienna, 2002
402002
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
312003
A synchronization strategy for a TTP/C controller
H Kopetz, R Hexel, A Krüger, D Millinger, A Schedl
SAE Technical Paper, 1996
241996
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
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
172012
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
162014
Arrangements of Finite-state Machines-Semantics, Simulation, and Model Checking.
V Estivill-Castro, R Hexel
MODELSWARD, 182-189, 2013
162013
Architecture for hybrid robotic behavior
D Billington, V Estivill-Castro, R Hexel, A Rock
Hybrid Artificial Intelligence Systems, Lecture Notes in Computer Science …, 2009
162009
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
152003
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
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
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
132011
Validation of fault tolerance mechanisms in a time triggered communication protocol using fault injection
R Hexel
Vienna University of Technology, 1999
131999
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
122012
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
122010
Using temporal consistency to improve robot localisation
D Billington, V Estivill-Castro, R Hexel, A Rock
Robot Soccer World Cup, 232-244, 2006
112006
Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering.
V Estivill-Castro, R Hexel, JA Maciaszek, J Filipe
ENASE, 218-225, 2013
102013
The system can't perform the operation now. Try again later.
Articles 1–20