Articles

Automated software testing of asynchronous systems (with Percy Pari Salas), Electronic notes in theoretical computer science (2009)

Test automation faces challenges when applied to the testing of asynchronous systems. Automated testing tools...

 

Model-based testing and the UML testing profile (with Percy Pari-Salas), Lecture notes in computer science (2009)

The UML Testing Profile (U2TP) provides a means of using UML for test case specification....

 

Testing privacy policies using models (with Percy A. Pari-Salas), Information Technology papers (2008)

Privacy policies are usually expressed at a high level using languages such as P3P, EPAL,...

 

Implementing secure document circulation: A prototype (with Shane Bracher), Information Technology papers (2008)

Interoperable e-business applications are essential for increasing efficiency in the digital economy. We present an...

 

PDF

ERP-ORE: A Framework to Measure Organizational Risk during ERP Systems Evolution in a Distribution Business (with Aditya Agrawal and Gavin Finnie), ACIS 2007 Proceedings (2007)

Enterprise Resource Planning systems evolution initiatives often represent the single largest investment (and therefore risk)...

 

Secure Document Circulation: An Architecture for e-Health (with Shane Bracher), Information Technology papers (2006)

We present an architecture for the secure circulation of electronic medical records. The architecture considers...

 

PDF

An Approach to Provisioning E-Commerce Applications with Commercial Components (with Lei Wang), Information Technology papers (2006)

Component-based development is a trend towards building e-commerce applications. However, commercial components are rarely used...

 

Verifying BPEL Workflows Under Authorisation Constraints (with Zhao Xiangpeng and Antonio Cerone), Information Technology papers (2006)

Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying...

 

PDF

A Framework for Checking Behavioral Compatibility for Component Selection (with Lei Wang), Information Technology papers (2006)

Component selection and composition are the main is- sues inComponent-Based Development (CBD). Existing approaches su er...

 

PDF

Uniform Descriptions for Model Based Testing, Information Technology papers (2004)

In this paper a framework which uses linear time temporal logic and model checking techniques...

 

PDF

Providing Assistance for Proofs in the Teaching of Theory of Computation, Information Technology papers (2002)

In this article we present a technique which helps students in understanding proofs in the...

 

PDF

Using model checking to test a firewall : A case study. (with Danita Hartley), Information Technology papers (2002)

This paper summarises our experience in using model checking technology to test concurrent programs. We...

 

Book Chapters

A taxonomy of e-health standards to assist system developers (with Emma Chavez and Gavin Finnie), Information systems development: Towards a service provision society (2009)

Building e-health systems requires a good understanding of the range and characteristics of many relevant...

 

PDF

ORE: A framework to measure organizational risk during information systems evolution (with Aditya Agrawal and Gavin Finnie), Information systems development: Challenges in practice, theory and education (2009)

Information systems (IS) change initiatives often represent the single largest investment (and therefore risk) for...

 

Conference Papers

Applying use cases to describe the role of standards in e-health information systems (with Emma Chavez-Mora and Gavin Finnie), 18th International conference on Information Systems Development (ISD2009) (2009)
 

Industry academia collaboration: An experience report at a small university (with Ross Kelvin and Percy Pari-Salas), 2009 IEEE 22nd conference on software engineering education and training (2009)

This paper is a report on how sustainable and fruitful cooperation was achieved between a...

 

PDF

Decomposing controllers into non-conflicting distributed controllers, Theoretical Aspects of Computing - ICTAC 2004 (2004)

In this article we present an application of decompositions of automata to obtain distributed controllers....