Eerke A. Boiten Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick: From ODP viewpoint consistency to Integrated Formal Methods. Computer Standards & Interfaces 35(3): 269-276 (2013)
2012
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves: Editorial. Formal Asp. Comput. 24(1): 1 (2012)
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten: Modeling in Event-B - System and Software Engineering Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561. J. Funct. Program. 22(2): 217-219 (2012)
2011
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Selected papers of the Refinement Workshop Turku (2008). Sci. Comput. Program. 76(9): 737-738 (2011)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Relational Concurrent Refinement: Timed Refinement. FMOODS/FORTE 2011: 121-137
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten: Perspicuity and Granularity in Refinement. Refine 2011: 155-165
e3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten, Steve Reeves (Eds.): Proceedings 15th International Refinement Workshop. EPTCS 55, 2011
2010
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith: Editorial. Formal Asp. Comput. 22(1): 1 (2010)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick: Incompleteness of relational simulations in the blocking paradigm. Sci. Comput. Program. 75(12): 1262-1269 (2010)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, Dan Grundy: The Logic of Large Enough. MPC 2010: 42-57
2009
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick, Steve Reeves: Preface. Electr. Notes Theor. Comput. Sci. 259: 1 (2009)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Relational Concurrent Refinement: Automata. Electr. Notes Theor. Comput. Sci. 259: 21-34 (2009)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten: Editorial. Formal Asp. Comput. 21(1-2): 1 (2009)
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick: Modelling Divergence in Relational Concurrent Refinement. IFM 2009: 183-199
2008
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick, Graeme Smith: Preface. Electr. Notes Theor. Comput. Sci. 201: 1 (2008)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, Dan Grundy: Reduction and Refinement. Electr. Notes Theor. Comput. Sci. 201: 31-44 (2008)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Preface. Electr. Notes Theor. Comput. Sci. 214: 1 (2008)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: More Relational Concurrent Refinement: Traces and Partial Relations. Electr. Notes Theor. Comput. Sci. 214: 255-276 (2008)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten: From ABZ to Cryptography. ABZ 2008: 353
2007
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves: Preface. Electr. Notes Theor. Comput. Sci. 187: 1 (2007)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Relational Concurrent Refinement with Internal Operations. Electr. Notes Theor. Comput. Sci. 187: 35-53 (2007)
2006
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Preface. Electr. Notes Theor. Comput. Sci. 137(2): 1-3 (2005)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick, Graeme Smith: Guest Editorial Integrated Formal Methods. Formal Asp. Comput. 17(4): 389-389 (2005)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick: Formal Program Development with Approximations. ZB 2005: 374-392
2004
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, Bernhard Möller: Foreword. Sci. Comput. Program. 51(1-2): 1-2 (2004)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marius C. Bujorianu, Eerke A. Boiten: Towards Correspondence Carrying Specifications. AMAST 2004: 57-71
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick, Graeme Smith (Eds.): Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science 2999, Springer 2004, isbn 3-540-21377-5
2003
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Relational Concurrent Refinement. Formal Asp. Comput. 15(2-3): 182-214 (2003)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Recent Advances in Refinement. Abstract State Machines 2003: 33-56
2002
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright: Preface. Electr. Notes Theor. Comput. Sci. 70(3): 1-2 (2002)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick: Unifying concurrent and relational refinement. Electr. Notes Theor. Comput. Sci. 70(3): 94-131 (2002)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Combining Component Specifications in Object-Z and CSP. Formal Asp. Comput. 13(2): 111-127 (2002)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris J. Taylor, Eerke A. Boiten, John Derrick: Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS 2002: 61-76
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ralph Miarka, John Derrick, Eerke A. Boiten: Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB 2002: 204-225
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten: Loose Specification and Refinement in Z. ZB 2002: 226-241
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, Bernhard Möller (Eds.): Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings. Lecture Notes in Computer Science 2386, Springer 2002, isbn 3-540-43857-2
2000
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen: Viewpoint consistency in ODP. Computer Networks 34(3): 503-537 (2000)
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Refinement of objects and operations in Object-Z. FMOODS 2000: 257-
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris J. Taylor, John Derrick, Eerke A. Boiten: A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM 2000: 177-
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick: Liberating Data Refinement. MPC 2000: 144-166
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ralph Miarka, Eerke A. Boiten, John Derrick: Guards, Preconditions, and Refinement in Z. ZB 2000: 286-303
1999
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Calculating upward and downward simulations of state-based specifications. Information & Software Technology 41(13): 917-923 (1999)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen: Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Testing Refinements of State-based Formal Specifications. Softw. Test., Verif. Reliab. 9(1): 27-50 (1999)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Non-atomic Refinement in Z. World Congress on Formal Methods 1999: 1477-1496
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Specifying Component and Context Specification Using Promotion. IFM 1999: 293-312
1998
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Specifying and Refining Internal Operations in Z. Formal Asp. Comput. 10(2): 125-159 (1998)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman: Consistency of Partial Process Specifications. AMAST 1998: 248-262
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten: Testing Refinements by Refining Tests. ZUM 1998: 265-283
1997
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen: Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten: Disjunction of LOTOS Specifications. FORTE 1997: 177-192
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Weak Refinement in Z. ZUM 1997: 369-388
1996
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen: Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516
1995
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten: Parsing in ISBES. Formal Methods in Programming and Their Applications 1993: 423-433
1992
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eerke A. Boiten: Improving Recursive Functions by Inverting the Order of Evaluation. Sci. Comput. Program. 18(2): 139-179 (1992)

Coauthor Index

1Chritiene Aarts
[j3]
2Bernhard K. Aichernig
[j22]
3Roland Carl Backhouse
[j3]
4Howard Bowman
[j11] [j9] [j7] [j6] [j4] [c8] [c6] [c5] [c4] [c3] [c2]
5Marius C. Bujorianu
[c19]
6Michael Butler
[j32] [j20]
7John Derrick
[j36] [j35] [j33] [c25] [e3] [j32] [j31] [j30] [j29] [j27] [c22] [j26] [j24] [j23] [j22] [j21] [j19] [j18] [c20] [e2] [j16] [c18] [j14] [j13] [j12] [j11] [j10] [c17] [c16] [j9] [c14] [c13] [c12] [c11] [j8] [j7] [j6] [j5] [c10] [c9] [j4] [c8] [c7] [c6] [c5] [c4] [c3] [c2]
8Jin Song Dong
[j35]
9Henk Doornbos
[j3]
10Netty van Gasteren
[j3]
11Rik van Geldrop
[j3]
12Lindsay Groves
[j22]
13Dan Grundy
[c23] [j25]
14Paul F. Hoogendijk
[j3]
15Peter F. Linington
[j9]
16Ralph Miarka
[c16] [c11]
17Bernhard Möller
[j17] [e1]
18Helmuth Partsch
[j2]
19Steve Reeves
[j35] [e3] [j30]
20Gerhard Schellhorn
[j33] [j27] [j24]
21Graeme Smith
[j32] [j26] [j18] [e2]
22Maarten W. A. Steen (Maarten Steen)
[j11] [j9] [j7] [j6] [j4] [c8] [c6] [c5] [c4] [c3] [c2]
23Chris J. Taylor
[j10] [c17] [c13]
24Daniel Tuijnman
[j2]
25Ed Voermans
[j3]
26Norbert Völker
[j2]
27Jim Woodcock (J. C. P. Woodcock)
[j14]
28Jaap van der Woude
[j3]
29Joakim von Wright
[j14]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 19:47:28 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page