Graeme I. P. Parkin

According to our database, Graeme I. P. Parkin authored at least 9 papers between 1982 and 2007.

Collaborative distances:

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

2007

Internet-Enabled Calibration: An Analysis of Different Topologies and a Comparison of Two Different Approaches.

Åsmund Sand, Mike Stevens, Graeme I. P. Parkin

IEEE Trans. Instrum. Meas., 2007

2006

Ensuring numerical correctness using the Internet.

Graeme I. P. Parkin, Peter Harris

Comput. Stand. Interfaces, 2006

A Dynamic Instrumentation Framework for Remote Operation of PC-Connected Devices.

Åsmund Sand, Mike Stevens, Graeme I. P. Parkin

Proceedings of the IEEE International Conference on Virtual Environments, 2006

1997

Complex systems proved and improved.

Graeme I. P. Parkin

Microprocess. Microsystems, 1997

1993

Overview: Survey of Formal Methods in Industry.

Graeme I. P. Parkin, Stephen Austin

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

Conformity Clause for VDM-SL.

Graeme I. P. Parkin, Brian A. Wichmann

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1991

Specification of the MAA Standard in VDM.

Graeme I. P. Parkin, G. O'Neill

Proceedings of the VDM '91, 1991

1988

A prototype system for the validation of Pascal programs.

Peter T. Wilkinson, J. A. Bouchard, B. A. Byrne, Michael A. Hennell, P. Jackson, G. O'Neill, Graeme I. P. Parkin, Brian A. Wichmann

Softw. Eng. J., 1988

1982

The Average Cycle Size of the Key Stream in Output Feedback Encipherment.

Donald W. Davies, Graeme I. P. Parkin

Proceedings of the Advances in Cryptology: Proceedings of CRYPTO '82, 1982