Eerke A. Boiten

2009
52	EE	Eerke A. Boiten, John Derrick: Modelling Divergence in Relational Concurrent Refinement. IFM 2009: 183-199
51	EE	Eerke A. Boiten: Editorial. Formal Asp. Comput. 21(1-2): 1 (2009)
50	EE	Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Relational concurrent refinement part II: Internal operations and outputs. Formal Asp. Comput. 21(1-2): 65-102 (2009)
2008
49	EE	Eerke A. Boiten: From ABZ to Cryptography. ABZ 2008: 353
48	EE	Eerke A. Boiten, John Derrick, Graeme Smith: Preface. Electr. Notes Theor. Comput. Sci. 201: 1 (2008)
47	EE	Eerke A. Boiten, Dan Grundy: Reduction and Refinement. Electr. Notes Theor. Comput. Sci. 201: 31-44 (2008)
46	EE	Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Preface. Electr. Notes Theor. Comput. Sci. 214: 1 (2008)
45	EE	John Derrick, Eerke A. Boiten: More Relational Concurrent Refinement: Traces and Partial Relations. Electr. Notes Theor. Comput. Sci. 214: 255-276 (2008)
2007
44	EE	Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves: Preface. Electr. Notes Theor. Comput. Sci. 187: 1 (2007)
43	EE	John Derrick, Eerke A. Boiten: Relational Concurrent Refinement with Internal Operations. Electr. Notes Theor. Comput. Sci. 187: 35-53 (2007)
2006
42	EE	Eerke A. Boiten, Michael Butler: Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". Formal Asp. Comput. 18(3): 263 (2006)
2005
41	EE	Eerke A. Boiten, John Derrick: Formal Program Development with Approximations. ZB 2005: 374-392
40	EE	John Derrick, Eerke A. Boiten: Preface. Electr. Notes Theor. Comput. Sci. 137(2): 1-3 (2005)
39	EE	Eerke A. Boiten, John Derrick, Graeme Smith: Guest Editorial Integrated Formal Methods. Formal Asp. Comput. 17(4): 389-389 (2005)
2004
38		Eerke A. Boiten, John Derrick, Graeme Smith: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings Springer 2004
37	EE	Marius C. Bujorianu, Eerke A. Boiten: Towards Correspondence Carrying Specifications. AMAST 2004: 57-71
36	EE	Eerke A. Boiten, Bernhard Möller: Foreword. Sci. Comput. Program. 51(1-2): 1-2 (2004)
2003
35	EE	John Derrick, Eerke A. Boiten: Recent Advances in Refinement. Abstract State Machines 2003: 33-56
34	EE	John Derrick, Eerke A. Boiten: Relational Concurrent Refinement. Formal Asp. Comput. 15(2-3): 182-214 (2003)
33	EE	Eerke A. Boiten: "Concepts in Programming Languages" by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5. J. Funct. Program. 13(6): 1087-1088 (2003)
2002
32		Eerke A. Boiten, Bernhard Möller: Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings Springer 2002
31		Chris J. Taylor, Eerke A. Boiten, John Derrick: Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS 2002: 61-76
30	EE	Ralph Miarka, John Derrick, Eerke A. Boiten: Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB 2002: 204-225
29	EE	Eerke A. Boiten: Loose Specification and Refinement in Z. ZB 2002: 226-241
28	EE	John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright: Preface. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
27	EE	Eerke A. Boiten, John Derrick: Unifying concurrent and relational refinement. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
26	EE	John Derrick, Eerke A. Boiten: Combining Component Specifications in Object-Z and CSP. Formal Asp. Comput. 13(2): 111-127 (2002)
25		Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick: A Formal Framework for Viewpoint Consistency. Formal Methods in System Design 21(2): 111-166 (2002)
24		Chris J. Taylor, Eerke A. Boiten, John Derrick: ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proceedings - Software 149(2): 57-63 (2002)
2000
23		John Derrick, Eerke A. Boiten: Refinement of objects and operations in Object-Z. FMOODS 2000: 257-
22	EE	Chris J. Taylor, John Derrick, Eerke A. Boiten: A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM 2000: 177-
21		Eerke A. Boiten, John Derrick: Liberating Data Refinement. MPC 2000: 144-166
20	EE	Ralph Miarka, Eerke A. Boiten, John Derrick: Guards, Preconditions, and Refinement in Z. ZB 2000: 286-303
19	EE	Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen: Viewpoint consistency in ODP. Computer Networks 34(3): 503-537 (2000)
1999
18		John Derrick, Eerke A. Boiten: Specifying Component and Context Specification Using Promotion. IFM 1999: 293-312
17	EE	John Derrick, Eerke A. Boiten: Non-atomic Refinement in Z. World Congress on Formal Methods 1999: 1477-1496
16	EE	John Derrick, Eerke A. Boiten: Calculating upward and downward simulations of state-based specifications. Information & Software Technology 41(13): 917-923 (1999)
15		Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen: Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999)
14		Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. 35(1): 29-75 (1999)
13		John Derrick, Eerke A. Boiten: Testing Refinements of State-based Formal Specifications. Softw. Test., Verif. Reliab. 9(1): 27-50 (1999)
1998
12	EE	Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman: Consistency of Partial Process Specifications. AMAST 1998: 248-262
11		John Derrick, Eerke A. Boiten: Testing Refinements by Refining Tests. ZUM 1998: 265-283
10		John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Specifying and Refining Internal Operations in Z. Formal Asp. Comput. 10(2): 125-159 (1998)
1997
9		Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen: Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664
8		Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten: Disjunction of LOTOS Specifications. FORTE 1997: 177-192
7		John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Weak Refinement in Z. ZUM 1997: 369-388
1996
6		Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306
5		John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen: Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516
1995
4	EE	Chritiene Aarts, Roland Carl Backhouse, Eerke A. Boiten, Henk Doornbos, Netty van Gasteren, Rik van Geldrop, Paul F. Hoogendijk, Ed Voermans, Jaap van der Woude: Fixed-Point Calculus. Inf. Process. Lett. 53(3): 131-136 (1995)
1993
3		Eerke A. Boiten: Parsing in ISBES. Formal Methods in Programming and Their Applications 1993: 423-433
1992
2		Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker: How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. Comput. J. 35(6): 547-554 (1992)
1		Eerke A. Boiten: Improving Recursive Functions by Inverting the Order of Evaluation. Sci. Comput. Program. 18(2): 139-179 (1992)

Coauthor Index

1	Chritiene Aarts	[4]
2	Bernhard K. Aichernig	[44]
3	Roland Carl Backhouse	[4]
4	Howard Bowman	[5] [6] [7] [8] [9] [10] [12] [14] [15] [19] [25]
5	Marius C. Bujorianu	[37]
6	Michael Butler	[42]
7	John Derrick	[5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [31] [34] [35] [38] [39] [40] [41] [43] [44] [45] [46] [48] [50] [52]
8	Henk Doornbos	[4]
9	Netty van Gasteren	[4]
10	Rik van Geldrop	[4]
11	Lindsay Groves	[44]
12	Dan Grundy	[47]
13	Paul F. Hoogendijk	[4]
14	Peter F. Linington	[19]
15	Ralph Miarka	[20] [30]
16	Bernhard Möller	[32] [36]
17	Helmuth Partsch	[2]
18	Gerhard Schellhorn	[46] [50]
19	Graeme Smith	[38] [39] [48]
20	Maarten Steen	[5] [6] [7] [8] [9] [10] [12] [14] [15] [19] [25]
21	Chris J. Taylor	[22] [24] [31]
22	Daniel Tuijnman	[2]
23	Ed Voermans	[4]
24	Norbert Völker	[2]
25	Jim Woodcock (J. C. P. Woodcock)	[28]
26	Jaap van der Woude	[4]
27	Joakim von Wright	[28]

Colors in the list of coauthors