팔로우
Rene Hexel
제목
인용
인용
연도
Conceptualising citizen's trust in e‑government: Application of Q methodology
H Alsaghier, M Ford, A Nguyen, R Hexel
Electronic Journal of E-government 7 (4), pp295‑310-pp295‑310, 2009
2122009
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
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
352011
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
352003
Communication within multi-fsm based robotic systems
C Zieliński, M Figat, R Hexel
Journal of Intelligent & Robotic Systems 93, 787-805, 2019
282019
A synchronization strategy for a TTP/C controller
H Kopetz, R Hexel, A Krüger, D Millinger, A Schedl
SAE Technical Paper, 1996
281996
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
261998
Arrangements of finite-state machines-semantics, simulation, and model checking
V Estivill-Castro, R Hexel
International Conference on Model-Driven Engineering and Software …, 2013
252013
High performance relaying of C++ 11 objects across processes and logic-labeled finite-state machines
V Estivill-Castro, R Hexel, C Lusty
Simulation, Modeling, and Programming for Autonomous Robots: 4th …, 2014
242014
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
222017
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
222012
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
222005
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
212005
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
192011
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
182012
Architecture for hybrid robotic behavior
D Billington, V Estivill-Castro, R Hexel, A Rock
Hybrid Artificial Intelligence Systems, Lecture Notes in Computer Science …, 2009
182009
Modelling behaviour requirements for automatic interpretation, simulation and deployment
D Billington, V Estivill-Castro, R Hexel, A Rock
Simulation, Modeling, and Programming for Autonomous Robots: Second …, 2010
172010
Interaction in location-aware messaging in a city environment
J Hakkila, R Hexel
Proceedings of the Australasian Computer Human Interaction Conference, OZCHI …, 2003
172003
Module isolation for efficient model checking and its application to FMEA in model-driven engineering
V Estivill-Castro, R Hexel
International Conference on Evaluation of Novel Software Approaches to …, 2013
152013
Using temporal consistency to improve robot localisation
D Billington, V Estivill-Castro, R Hexel, A Rock
RoboCup 2006: Robot Soccer World Cup X 10, 232-244, 2007
152007
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20