Ian Toyn - RankMe

28 papers C 2Journal 8Unranked 17

Year	Rank	Type	Title / Venue / Authors
2010	J	`jnl`	Transformation Rules for Z. Chic. J. Theor. Comput. Sci. Mark Utting, Petra Malik, Ian Toyn
2009	—	`conf`	Transformation Rules for Z. CATS Mark Utting, Petra Malik, Ian Toyn
2007	—	`conf`	Formal Validation of Hierarchical State Machines against Expectations. ASWEC Ian Toyn, Andy Galloway
2007	J	`jnl`	Integrating safety and formal analyses using UML and PFS. Reliab. Eng. Syst. Saf. Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn
2005	—	`conf`	On the Formal Development of Safety-Critical Software. VSTTE Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn
2005	—	`conf`	Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ZB Ian Toyn, Andy Galloway
2003	—	`conf`	An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB Susan Stepney, Fiona Polack, Ian Toyn
2003	C	`conf`	Modelling and Analysing Fault Propagation in Safety-Related Systems. SEW Frantz Iwu, Ian Toyn
2003	—	`conf`	Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB Susan Stepney, Fiona Polack, Ian Toyn
2003	—	`conf`	ZML: XML Support for Standard Z. ZB Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie
2002	—	`conf`	Characters + Mark-up = Z Lexis. ZB Ian Toyn, Susan Stepney
2002	—	`conf`	Refactoring in maintenance and development of Z specifications. Refine Susan Stepney, Fiona Polack, Ian Toyn
2000	—	`conf`	On Mutually Recursive Free Types in Z. ZB Ian Toyn, Samuel H. Valentine, David A. Duffy
2000	—	`conf`	Reasoning Inductively about Z Specifications via Unification. ZB David A. Duffy, Ian Toyn
2000	—	`conf`	Type-Constrained Generics for Z. ZB Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
2000	—	`conf`	Typechecking Z. ZB Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
1998	J	`jnl`	A practical language and toolkit for high-integrity tools. J. Syst. Softw. Ian Toyn, David Michael Cattrall, John A. McDermid, Jeremy L. Jacob
1998	—	`conf`	Innovations in the Notation of Standard Z. ZUM Ian Toyn
1998	C	`conf`	Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine
1995	J	`jnl`	CADiZ: An Architecture for Z Tools and its Implementation. Softw. Pract. Exp. Ian Toyn, John A. McDermid
1994	J	`jnl`	Efficient Binary Transfer of Pointer Structures. Softw. Pract. Exp. Ian Toyn, Alan J. Dix
1993	J	`jnl`	An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming. J. Funct. Program. Colin Runciman, Ian Toyn, Mike Firth
1991	J	`jnl`	Retrieving Reusable Software Components by Polymorphic Type. J. Funct. Program. Colin Runciman, Ian Toyn
1990	—	`conf`	CADIZ - Computer Aided Design in Z. Z User Workshop David Jordan, John A. McDermid, Ian Toyn
1989	—	`conf`	Retrieving Re-Usable Software Components by Polymorphic Type. FPCA Colin Runciman, Ian Toyn
1987	—	`—`	Exploratory environments for functional programming. Ian Toyn
1987	—	`conf`	Performance polymorphism. FPCA Ian Toyn, Alan J. Dix, Colin Runciman
1986	J	`jnl`	Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations. New Gener. Comput. Ian Toyn, Colin Runciman