Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Eerke A. Boiten
2010 – today
- 2013
[j36]Eerke A. Boiten, John Derrick: From ODP viewpoint consistency to Integrated Formal Methods. Computer Standards & Interfaces 35(3): 269-276 (2013)- [e4]John Derrick, Eerke A. Boiten, Steve Reeves (Eds.): Proceedings 16th International Refinement Workshop. EPTCS 115, 2013
- 2012
- [j35]Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves: Editorial. Formal Asp. Comput. 24(1): 1 (2012)
- [j34]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
- [j33]Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Selected papers of the Refinement Workshop Turku (2008). Sci. Comput. Program. 76(9): 737-738 (2011)
- [c25]John Derrick, Eerke A. Boiten: Relational Concurrent Refinement: Timed Refinement. FMOODS/FORTE 2011: 121-137
- [c24]
- [e3]John Derrick, Eerke A. Boiten, Steve Reeves (Eds.): Proceedings 15th International Refinement Workshop. EPTCS 55, 2011
- 2010
- [j32]Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith: Editorial. Formal Asp. Comput. 22(1): 1 (2010)
- [j31]Eerke A. Boiten, John Derrick: Incompleteness of relational simulations in the blocking paradigm. Sci. Comput. Program. 75(12): 1262-1269 (2010)
- [c23]
2000 – 2009
- 2009
- [j30]Eerke A. Boiten, John Derrick, Steve Reeves: Preface. Electr. Notes Theor. Comput. Sci. 259: 1 (2009)
- [j29]John Derrick, Eerke A. Boiten: Relational Concurrent Refinement: Automata. Electr. Notes Theor. Comput. Sci. 259: 21-34 (2009)
- [j28]
- [j27]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)
- [c22]Eerke A. Boiten, John Derrick: Modelling Divergence in Relational Concurrent Refinement. IFM 2009: 183-199
- 2008
- [j26]Eerke A. Boiten, John Derrick, Graeme Smith: Preface. Electr. Notes Theor. Comput. Sci. 201: 1 (2008)
- [j25]Eerke A. Boiten, Dan Grundy: Reduction and Refinement. Electr. Notes Theor. Comput. Sci. 201: 31-44 (2008)
- [j24]Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Preface. Electr. Notes Theor. Comput. Sci. 214: 1 (2008)
- [j23]John Derrick, Eerke A. Boiten: More Relational Concurrent Refinement: Traces and Partial Relations. Electr. Notes Theor. Comput. Sci. 214: 255-276 (2008)
- [c21]
- 2007
- [j22]Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves: Preface. Electr. Notes Theor. Comput. Sci. 187: 1 (2007)
- [j21]John Derrick, Eerke A. Boiten: Relational Concurrent Refinement with Internal Operations. Electr. Notes Theor. Comput. Sci. 187: 35-53 (2007)
- 2006
- [j20]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
- [j19]
- [j18]Eerke A. Boiten, John Derrick, Graeme Smith: Guest Editorial Integrated Formal Methods. Formal Asp. Comput. 17(4): 389-389 (2005)
- [c20]
- 2004
- [j17]
- [c19]Marius C. Bujorianu, Eerke A. Boiten: Towards Correspondence Carrying Specifications. AMAST 2004: 57-71
- [e2]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
- [j16]John Derrick, Eerke A. Boiten: Relational Concurrent Refinement. Formal Asp. Comput. 15(2-3): 182-214 (2003)
- [j15]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)
- [c18]
- 2002
- [j14]John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright: Preface. Electr. Notes Theor. Comput. Sci. 70(3): 1-2 (2002)
- [j13]Eerke A. Boiten, John Derrick: Unifying concurrent and relational refinement. Electr. Notes Theor. Comput. Sci. 70(3): 94-131 (2002)
- [j12]John Derrick, Eerke A. Boiten: Combining Component Specifications in Object-Z and CSP. Formal Asp. Comput. 13(2): 111-127 (2002)
- [j11]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)
- [j10]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)
- [c17]Chris J. Taylor, Eerke A. Boiten, John Derrick: Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS 2002: 61-76
- [c16]Ralph Miarka, John Derrick, Eerke A. Boiten: Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB 2002: 204-225
- [c15]
- [e1]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
- [j9]Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen: Viewpoint consistency in ODP. Computer Networks 34(3): 503-537 (2000)
- [c14]
- [c13]Chris J. Taylor, John Derrick, Eerke A. Boiten: A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM 2000: 177-
- [c12]
- [c11]Ralph Miarka, Eerke A. Boiten, John Derrick: Guards, Preconditions, and Refinement in Z. ZB 2000: 286-303
1990 – 1999
- 1999
- [j8]John Derrick, Eerke A. Boiten: Calculating upward and downward simulations of state-based specifications. Information & Software Technology 41(13): 917-923 (1999)
- [j7]Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen: Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999)
- [j6]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)
- [j5]John Derrick, Eerke A. Boiten: Testing Refinements of State-based Formal Specifications. Softw. Test., Verif. Reliab. 9(1): 27-50 (1999)
- [c10]John Derrick, Eerke A. Boiten: Non-atomic Refinement in Z. World Congress on Formal Methods 1999: 1477-1496
- [c9]John Derrick, Eerke A. Boiten: Specifying Component and Context Specification Using Promotion. IFM 1999: 293-312
- 1998
- [j4]John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Specifying and Refining Internal Operations in Z. Formal Asp. Comput. 10(2): 125-159 (1998)
- [c8]Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman: Consistency of Partial Process Specifications. AMAST 1998: 248-262
- [c7]
- 1997
- [c6]Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen: Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664
- [c5]Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten: Disjunction of LOTOS Specifications. FORTE 1997: 177-192
- [c4]John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Weak Refinement in Z. ZUM 1997: 369-388
- 1996
- [c3]Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306
- [c2]John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen: Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516
- 1995
- [j3]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
- [c1]Eerke A. Boiten: Parsing in ISBES. Formal Methods in Programming and Their Applications 1993: 423-433
- 1992
- [j2]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)
- [j1]Eerke A. Boiten: Improving Recursive Functions by Inverting the Order of Evaluation. Sci. Comput. Program. 18(2): 139-179 (1992)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team