Brian Ritchie

According to our database, Brian Ritchie authored at least 14 papers between 1988 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

A Semantic Approach to Enhance Service Composition in Workflows that use Mobile Services.

Robert B. Piotter, Tom Kirkham, Julian R. Gallop, Ian J. Johnson, Damian Mac Randal, Brian Ritchie

Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 2007

2006

e-Business Integration Using Mobile Services for the Small to Medium Enterprise.

Tom Kirkham, Julian R. Gallop, Ian J. Johnson, Damian Mac Randal, Brian Ritchie, Thomas Varsamidis

Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 2006

Orchestration and Workflow in a mobile Grid environment.

Annalisa Terracina, Stefano Beco, Tom Kirkham, Julian R. Gallop, Ian J. Johnson, Damian Mac Randal, Brian Ritchie

Proceedings of the Grid and Cooperative Computing Workshops, 2006

2005

Providing Reliable Distributed Grid Services in Mobile Environments.

Tom Kirkham, Julian R. Gallop, Simon C. Lambert, Brian Matthews, Damian Mac Randal, Brian Ritchie

Proceedings of the Self-Organization and Autonomic Informatics (I), 2005

2002

Integrating Model-based Security Risk Management into eBusiness Systems Development: The CORAS Approach.

Theodosis Dimitrakos, Brian Ritchie, Dimitris Raptis, Jan Øyvind Aagedal, Folker den Braber, Ketil Stølen, Siv Hilde Houmb

Proceedings of the Towards The Knowledge Society: eCommerce, 2002

Model Based Security Risk Analysis for Web Applications.

Theodosis Dimitrakos, Dimitris Raptis, Brian Ritchie, Ketil Stølen

Proceedings of the Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, 2002

1998

Investigating the Integration of two Formal Methods.

Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm

Formal Aspects Comput., 1998

Synthesising Structure from Flat Specifications.

Brian Matthews, Brian Ritchie, Juan Bicarregui

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1997

Formal methods into practice: case studies in the application of the B method.

Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach

IEE Proc. Softw. Eng., 1997

1995

Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations.

Juan Bicarregui, Brian Ritchie

IEEE Trans. Software Eng., 1995

1994

Experiences in Using the Abstract Machine Notation in a GKS Case Study.

Brian Ritchie, Juan Bicarregui, Howard P. Haughton

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Proof in VDM: A Practitioner's Guide

Juan Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard C. Moore, Brian Ritchie

Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-19813-0, 1994

1991

Reasoning about VDM Developments using the VDM Support Tool in MURAL.

Juan Bicarregui, Brian Ritchie

Proceedings of the VDM '91, 1991

1988

The design and implementation of an interactive proof editor.

Brian Ritchie

PhD thesis, 1988