Rene Hexel
Titel
Zitiert von
Zitiert von
Jahr
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
1902011
Specification of the TTP/A protocol
H Kopetz
University of Technology Vienna, 2002
462002
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
43*1997
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
241996
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
202012
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
202005
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
192005
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
181998
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
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
162012
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
162011
Interaction in location-aware messaging in a city environment
J Hakkila, R Hexel
Proceedings of the Australasian Computer Human Interaction Conference, OZCHI …, 2003
162003
" 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
152004
Communication within multi-fsm based robotic systems
C Zieliński, M Figat, R Hexel
Journal of Intelligent & Robotic Systems 93 (3), 787-805, 2019
142019
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
Using temporal consistency to improve robot localisation
D Billington, V Estivill-Castro, R Hexel, A Rock
Robot Soccer World Cup, 232-244, 2006
132006
Validation of fault tolerance mechanisms in a time triggered communication protocol using fault injection
R Hexel
Vienna University of Technology, 1999
131999
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20