Ian Toyn

2007
24	EE	Ian Toyn, Andy Galloway: Formal Validation of Hierarchical State Machines against Expectations. ASWEC 2007: 181-190
2005
23	EE	Andy Galloway, Frantz Iwu, John McDermid, Ian Toyn: On the Formal Development of Safety-Critical Software. VSTTE 2005: 362-373
22	EE	Ian Toyn, Andy Galloway: Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ZB 2005: 104-123
2003
21	EE	Frantz Iwu, Ian Toyn: Modelling and Analysing Fault Propagation in Safety-Related Systems. SEW 2003: 167
20	EE	Susan Stepney, Fiona Polack, Ian Toyn: An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB 2003: 2-19
19	EE	Susan Stepney, Fiona Polack, Ian Toyn: Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB 2003: 20-39
18	EE	Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie: ZML: XML Support for Standard Z. ZB 2003: 437-456
2002
17	EE	Ian Toyn, Susan Stepney: Characters + Mark-up = Z Lexis. ZB 2002: 100-119
16	EE	Susan Stepney, Fiona Polack, Ian Toyn: Refactoring in maintenance and development of Z specifications. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
2000
15	EE	Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King: Type-Constrained Generics for Z. ZB 2000: 250-263
14	EE	Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King: Typechecking Z. ZB 2000: 264-285
13	EE	Ian Toyn, Samuel H. Valentine, David A. Duffy: On Mutually Recursive Free Types in Z. ZB 2000: 59-74
12	EE	David A. Duffy, Ian Toyn: Reasoning Inductively about Z Specifications via Unification. ZB 2000: 75-94
1998
11	EE	John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine: Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM 1998: 76-
10		Ian Toyn: Innovations in the Notation of Standard Z. ZUM 1998: 193-213
9	EE	Ian Toyn, David M. Cattrall, John A. McDermid, Jeremy L. Jacob: A practical language and toolkit for high-integrity tools. Journal of Systems and Software 41(3): 161-173 (1998)
1995
8		Ian Toyn, John A. McDermid: CADiZ: An Architecture for Z Tools and its Implementation. Softw., Pract. Exper. 25(3): 305-330 (1995)
1994
7		Ian Toyn, Alan J. Dix: Efficient Binary Transfer of Pointer Structures. Softw., Pract. Exper. 24(11): 1001-1023 (1994)
1993
6		Colin Runciman, Ian Toyn, Mike Firth: An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming. J. Funct. Program. 3(1): 93-115 (1993)
1991
5		Colin Runciman, Ian Toyn: Retrieving Reusable Software Components by Polymorphic Type. J. Funct. Program. 1(2): 191-211 (1991)
1990
4		David Jordan, John A. McDermid, Ian Toyn: CADIZ - Computer Aided Design in Z. Z User Workshop 1990: 93-104
1989
3	EE	Colin Runciman, Ian Toyn: Retrieving Re-Usable Software Components by Polymorphic Type. FPCA 1989: 166-173
1987
2		Ian Toyn, Alan J. Dix, Colin Runciman: Performance polymorphism. FPCA 1987: 325-346
1986
1		Ian Toyn, Colin Runciman: Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations. New Generation Comput. 4(4): 339-363 (1986)

Coauthor Index

1	Simon Burton	[11]
2	David M. Cattrall	[9]
3	John A. Clark (John Andrew Clark)	[11]
4	David W. Currie	[18]
5	Nicholas Daley	[18]
6	Alan J. Dix	[2] [7]
7	Jin Song Dong	[18]
8	David A. Duffy	[12] [13]
9	Mike Firth	[6]
10	Andy Galloway	[11] [22] [23] [24]
11	Frantz Iwu	[21] [23]
12	Jeremy L. Jacob (Jeremy Jacob)	[9]
13	David Jordan	[4]
14	Steve King	[14] [15]
15	Andrew Martin	[18]
16	John McDermid	[23]
17	John A. McDermid	[4] [8] [9] [11]
18	Fiona Polack	[16] [19] [20]
19	Colin Runciman	[1] [2] [3] [5] [6]
20	Susan Stepney	[14] [15] [16] [17] [19] [20]
21	Jing Sun	[18]
22	Nigel Tracey	[11]
23	Mark Utting	[18]
24	Samuel H. Valentine	[11] [13] [14] [15]

Colors in the list of coauthors