Ian Toyn

	2010
26		Mark Utting, Petra Malik, Ian Toyn: Transformation Rules for Z. Chicago J. Theor. Comput. Sci. 2010: (2010)
	2007
25		Ian Toyn, Andy Galloway: Formal Validation of Hierarchical State Machines against Expectations. ASWEC 2007: 181-190
24		Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn: Integrating safety and formal analyses using UML and PFS. Rel. Eng. & Sys. Safety 92(2): 156-170 (2007)
	2005
23		Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn: On the Formal Development of Safety-Critical Software. VSTTE 2005: 362-373
22		Ian Toyn, Andy Galloway: Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ZB 2005: 104-123
	2003
21		Frantz Iwu, Ian Toyn: Modelling and Analysing Fault Propagation in Safety-Related Systems. SEW 2003: 167
20		Susan Stepney, Fiona Polack, Ian Toyn: An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB 2003: 2-19
19		Susan Stepney, Fiona Polack, Ian Toyn: Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB 2003: 20-39
18		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		Ian Toyn, Susan Stepney: Characters + Mark-up = Z Lexis. ZB 2002: 100-119
16		Susan Stepney, Fiona Polack, Ian Toyn: Refactoring in maintenance and development of Z specifications. Electr. Notes Theor. Comput. Sci. 70(3): 50-69 (2002)
	2000
15		Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King: Type-Constrained Generics for Z. ZB 2000: 250-263
14		Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King: Typechecking Z. ZB 2000: 264-285
13		Ian Toyn, Samuel H. Valentine, David A. Duffy: On Mutually Recursive Free Types in Z. ZB 2000: 59-74
12		David A. Duffy, Ian Toyn: Reasoning Inductively about Z Specifications via Unification. ZB 2000: 75-94
	1998
11		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		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		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] [25]
11	Frantz Iwu	[21] [23] [24]
12	Jeremy L. Jacob (Jeremy Jacob)	[9]
13	David Jordan	[4]
14	Steve King	[14] [15]
15	Petra Malik	[26]
16	Andrew Martin	[18]
17	John A. McDermid	[4] [8] [9] [11] [23] [24]
18	Fiona A. C. Polack (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] [26]
24	Samuel H. Valentine	[11] [13] [14] [15]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page