フォロー
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
2132009
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
50*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
362011
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
A synchronization strategy for a TTP/C controller
H Kopetz, R Hexel, A Krüger, D Millinger, A Schedl
SAE Technical Paper, 1996
291996
Communication within multi-fsm based robotic systems
C Zieliński, M Figat, R Hexel
Journal of Intelligent & Robotic Systems 93, 787-805, 2019
282019
Arrangements of finite-state machines-semantics, simulation, and model checking
V Estivill-Castro, R Hexel
International Conference on Model-Driven Engineering and Software …, 2013
282013
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
281998
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
272014
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
232017
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
232012
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
222005
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
More interpretable decision trees
E Gilmore, V Estivill-Castro, R Hexel
Hybrid Artificial Intelligent Systems: 16th International Conference, HAIS …, 2021
212021
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
202011
Architecture for hybrid robotic behavior
D Billington, V Estivill-Castro, R Hexel, A Rock
Hybrid Artificial Intelligence Systems, Lecture Notes in Computer Science …, 2009
192009
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
182013
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
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
182010
Constructing interpretable decision trees using parallel coordinates
V Estivill-Castro, E Gilmore, R Hexel
International Conference on Artificial Intelligence and Soft Computing, 152-164, 2020
172020
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20