Dr René Hexel's Homepage

A Selected List of Dr René Hexel's Publications

Vladimir Estivill-Castro and René Hexel
Correctness by Construction with Logic-Labeled Finite-State Machines – Comparison with Event-B
Proceedings of the 23rd Australasian Software Engineering Conference (ASWEC), Sydney, Australia, April 2014.

Vladimir Estivill-Castro, Esteve Fernandez, and René Hexel
On Practical, Safe, and Convergent Protocols for Agent Formations
Proceedings of the Australasian Conference on Robotics and Automation (ACRA), Sydney, Australia, December 2013.

Vladimir Estivill-Castro and René Hexel
Module Isolation for Efficient Model Checking and its Application to FMEA in Model-Driven Engineering
Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Angers, France, July 2013.

Lin-Wah Chan, René Hexel, and Lian Wen
Rule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule Modelling
Proceedings of the 22nd Australasian Software Engineering Conference (ASWEC), Melbourne, Australia, June 2013.

Vladimir Estivill-Castro and René Hexel
Arrangements of Finite-State Machines Semantics, Simulation, and Model Checking
Proceedings of the International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Barcelona, Spain, February 2013, ISBN: 978-989-8565-42-6

Vladimir Estivill-Castro, René Hexel, and David Rosenblueth
Efficient Modelling of Embedded Software Systems and Their Formal Verification
Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC), Hong Kong, China, December 2012.

Vladimir Estivill-Castro, René Hexel, and David Rosenblueth
Efficient Model Checking and FMEA with Deterministic Scheduling of Transition-Labeled Finite-State Machines
Proceedings of the 3rd World Congress on Software Engineering (WCSE), Wuhan, China, November 2012.

Robert Coleman, Vladimir Estivill-Castro, René Hexel, and Carl Lusty
Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour
Proceedings of the International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), Tskukuba, Japan, November 2012.

Vladimir Estivill-Castro, René Hexel, and David Rosenblueth
Failure Mode and Effects Analysis (FMEA) and model-checking of software for embedded systems by sequential scheduling of vectors of logic- labelled finite-state machines
Proceedings of the 7th International IET System Safety Conference, Edinburgh, United Kingdom, October 2012.

Hisham AlSaghier, Marilyn Ford, Ann Nguyen, and René Hexel
Factors Affecting the Citizens' Trust in E-Government
in: Digital Democracy: Concepts, Methodologies, Tools, and Applications, IGI Global, United States, pp. 1611-1630, 2012. ISBN: 978-1-466617-40-7

Vladimir Estivill-Castro and René Hexel
Module Interactions for Model-Driven Engineering of Complex Behaviour of Autonomous Robots
Proceedings of the Sixth International Conference on Software Engineering Advances (ICSEAACRA), Barcelona, Spain, October 2011.

David Billington, Vladimir Estivill-Castro, René Hexel, and Andrew Rock
Requirements Engineering via Non-Monotonic Logics and State Diagrams
Evaluation of Novel Approaches to Software Engineering, Communications in Computer and Information Science, Vol. 230, pp. 121-135, UK, 2011. ISBN: 978-3-642-23391-3

Hisham AlSaghier, Marilyn Ford, Ann Nguyen, and René Hexel
Conceptualising Citizen's Trust in e-Government: Application of Q Methodology
in Les Worrall (ed.): Leading Issues in e-Government Research, Academic Publishing International Ltd, United Kingdom, pp. 204-230, 2011. ISBN: 978-1-906638-89-4

David Billington, Vladimir Estivill-Castro, René Hexel, and Andrew Rock
Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment
Lecture Notes in Computer Science, Vol. 6472, Springer Verlag, Berlin / Heidelberg, Germany, November 2010. ISSN: 0302-9743 (Print), 1611-3349 (Online)

David Billington, Vladimir Estivill-Castro, René Hexel, and Andrew Rock
Non-monotonic reasoning for requirements engineering — State Diagrams Driven by Plausible Logic
Proceedings of the 5th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Athens, Greece, July 2010. ISBN: 978-989-8425-21-8

David Billington, Vladimir Estivill-Castro, René Hexel, and Andrew Rock
Plausible Logic Facilitates Engineering the Behavior of Autonomous Robots
in R. Fox, W. Golubski (eds.): Proceedings of the IASTED International Conference on Software Engineering, Innsbruck, Austria, February 2010. ISBN: 978-0-88986-821-2 (CD-ROM)

Hisham AlSaghier, Marilyn Ford, Ann Nguyen, and René Hexel
Conceptualising Citizen's Trust in e-Government: Application of Q Methodology
Electronic Journal of e-Government, Vol. 7(4), pp. 295-310, Academic Conferences Ltd, December 2009. ISSN: 1479-439X (Online)

Hisham AlSaghier, Marilyn Ford, Ann Nguyen, and René Hexel
Development of an instrument to measure theoretical constructs of a model of citizens’ trust in e-Government
Proceedings of the 9th European Conference on e-Government (ECEG), London, United Kingdom, June 2009. ISBN: 978-1-906638-33-7 (Print), 978-1-906638-34-4 (CD-ROM).

David Billington, Vladimir Estivill-Castro, René Hexel, and Andrew Rock
Architecture for Hybrid Robotic Behavior
Lecture Notes in Computer Science, Vol. 5572, Springer Verlag, Berlin / Heidelberg, Germany, June 2009. ISSN: 0302-9743 (Print), 1611-3349 (Online)

Hisham AlSaghier, Marilyn Ford, Ann Nguyen, and René Hexel
A Conceptual Model of Citizens’ Trust in e-Government
Proceedings of the 4th International Conference on e-Government, Melbourne, Australia, 2008.

David Billington, Vladimir Estivill-Castro, René Hexel, and Andrew Rock
Non-monotonic Reasoning on Board a Sony AIBO
in Pedro Lima (ed.): Robotic Soccer, I-Tech Education and Publishing, Vienna, Austria, December 2007. ISBN: 978-3-902613-21-9

Craig Chatfield and René Hexel
Privacy and Community Connectedness: Designing Intelligent Environments for our Cities
Proceedings of the Australasian Conference for Computer/Human Interaction (OZCHI), Adelaide, Australia, November 2007

David Billington, Vladimir Estivill-Castro, René Hexel, and Andrew Rock
Using Temporal Consistency to Improve Robot Localisation
Lecture Notes in Computer Science, Vol. 4434, Springer Verlag, Berlin / Heidelberg, Germany, September 2007. ISSN: 0302-9743 (Print), 1611-3349 (Online)

David Billington, Vladimir Estivill-Castro, René Hexel, and Andrew Rock
Non-monotonic Reasoning for Localisation in RoboCup
Proceedings of the Australasian Conference on Robotics and Automation (ACRA), Sydney, Australia, December 2005

Craig Chatfield, David Carmichael, René Hexel, Judy Kay, and Bob Kummerfeld
Personalisation in Intelligent Environments: Managing the Information Flow
Proceedings of the Australasian Conference for Computer/Human Interaction (OZCHI), Canberra, Australia, November 2005

Craig Chatfield and René Hexel
A Conceptual System to Situate Ubiquitous Computing
UbiComp 2005 W7: Situating Ubiquitous Computing in Everyday Life: Bridging the Social and Technical Divide, Tokyo, Japan, September 2005

Craig Chatfield and René Hexel
User Identity and Ubiquitous Computing: User Selected Pseudonyms
Workshop on UbiComp Privacy: Privacy in Context, Tokyo, Japan, September 2005

René Hexel and Jonna Häkkilä
Can WLAN Positioning Work Accurately in Urban Environments?
Proceedings of the 9th World Multi-Conference on Systemics, Cybernetics and Informatics, WMSCI2005, Orlando, Florida, USA, July 2005

Craig Chatfield and René Hexel
Privacy and Security within Intelligent Environments
Proceedings of the Australian Computer Human Interaction Conference, OZCHI2004, Wollongong, Australia, November 2004

René Hexel and Eko Widjono
WETA: Bringing together Mobility and the Web
Proceedings of the IADIS International Conference WWW/Internet, Madrid, Spain, October 2004

Craig Chatfield, David J. Carmichael, René Hexel, Judy Kay, and Bob Kummerfeld
Privacy-Aware Information Management in Intelligent Environments
UbiComp Privacy: Current Status and Future Directions, UBICOMP2004, Nottingham, England, September 2004

Chris Johnson, David Carmichael, Judy Kay, Bob Kummerfeld, and René Hexel
Context Evidence and Location Authority: the Disciplined Management of Sensor Data into Context Models
First International Workshop on Advanced Context Modelling, Reasoning and Management, UBICOMP2004, Nottingham, England, September 2004

Sami Ronkainen, Jonna Häkkilä, and René Hexel
Speech Assisted Mobile Text Entry
Proceedings of the 10th International Conference on Auditory Display, ICAD2004, Sydney, Australia, July 2004

René Hexel, Chris Johnson, Bob Kummerfeld, and Aaron Quigley
'Powerpoint to the People': Suiting the Word to the Audience
Proceedings of the Fifth Australasian User Interface Conference, AUIC2004, Dunedin, New Zealand, January 2004
(also in Australian Computer Science Communications Vol. 14, No. 3, pp. 49-56, 2004, ISSN: 1445-1336)

Jonna Häkkilä and René Hexel
Interaction in Location-Aware Messaging in a City Environment
Proceedings of the Australian Computer Human Interaction Conference, OZCHI2003, Brisbane, Australia, November 2003

René Hexel, Chris Johnson, Judy Kay, Bob Kummerfeld, and Aaron Quigley
Merino: An Intelligent Environment Architecture for Scalable Context Processing
Proceedings of the Second Annual Smart Internet CRC Conference, Sydney, Australia, September 2003

Bob Kummerfeld, Aaron Quigley, Chris Johnson, and René Hexel
Merino: Towards an Intelligent Environment Architecture for Multi-Granularity Context Description
Workshop on User Modelling for Ubiquitous Computing, Pittsburgh, USA, June 2003

René Hexel
FITS -- A Fault Injection Architecture for Time-Triggered Systems
Proceedings of the Twenty-Sixth Australasian Computer Science Conference, ACSC2003, Adelaide, Australia, February 2003
(also in Australian Computer Science Communications Vol. 25, No. 1, pp. 333-338, 2003, ISSN: 1445-1336)

René Hexel
Validation of Fault Tolerance Mechanisms in a Time-Triggered Communication Protocol using Fault Injection
PhD Thesis, Vienna University of Technology, Vienna, Austria, August 1999

Hermann Kopetz, Roman Nossal, René Hexel, Andreas Krüger, Dietmar Millinger, Roman Pallierer, Christopher Temple, and Markus Krug
Mode Handling in the Time-Triggered Architecture
Control Engineering Practice, Vol. 6, No. 1, pp. 61-66, 1998

Hermann Kopetz, René Hexel, Andreas Krüger, Dietmar Millinger, Roman Nossal, Andreas Steininger, Christopher Temple, Thomas Führer, Roman Pallierer, and Markus Krug
A Prototype Implementation of a TTP/C Controller
Proceedings of the SAE 1997 Congress, Detroit, USA, February 1997

Hermann Kopetz, René Hexel, Andreas Krüger, Dietmar Millinger, and Anton Schedl
A Synchronization Strategy for a TTP/C Controller
Application of Multiplexing Technology (SP-1137), pp. 19-27, SAE Press, Detroit, USA, February 1996