Browse by Person (creator, editor, contributor, etc.)
Number of items: 123. 2014
Boiten, Eerke and Jacob, Jeremy
(2014)
Sealed containers in Z.
In: ABZ 2014, June 26, 2014, Toulouse.
(In press)
(Full text available)

Preview 

Boiten, Eerke and Schneider, Steve A.
(2014)
Editorial: Special Issue on Cryptography and Formal Methods.
Formal Aspects of Computing, 26
(1).
pp. 12.
ISSN 09345043 (Print) 1433299X (Online).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


2013
2012
Boiten, Eerke
(2012)
Book review: Modeling in EventB by JeanRaymond Abrial.
Journal of Functional Programming, 22
(2).
pp. 217221.
ISSN 09567968.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke and Derrick, John and Dong, Jin Song and Reeves, Steve
(2012)
Editorial: Special issue on Refine 2009.
Formal Aspects of Computing, 24
(1).
pp. 182196.
ISSN 09345043.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


2011
Boiten, Eerke and Derrick, John and Schellhorn, Gerhard
(2011)
Preface: Selected papers of the Refinement Workshop Turku (2008).
Science of Computer Programming, 76
(9).
pp. 182196.
ISSN 01676423.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Derrick, John and Boiten, Eerke and Reeves, Steve, eds.
(2011)
Proceedings 15th International Refinement Workshop.
Electronic Proceedings in Theoretical Computer Science, 55
.
EPTCS
ISBN 20752180.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Derrick, John and Boiten, Eerke
(2011)
Relational Concurrent Refinement: Timed Refinement.
In: Formal Techniques for Distributed Systems, June 2011, Reykjavik.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


2010
Boiten, Eerke and Grundy, Dan
(2010)
The Logic of Large Enough.
In: MPC 2010: Mathematics of Program Construction.
(Full text available)

Preview 

Boiten, Eerke and Butler, Michael and Derrick, John and Smith, Graeme
(2010)
Editorial: Special issue on REFINE 2007.
Formal Aspects of Computing, 22
(1).
pp. 182196.
ISSN 09345043.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


2009
Derrick, John and Boiten, Eerke
(2009)
Relational Concurrent Refinement: Automata.
Electronic Notes in Theoretical Computer Science, 259
.
pp. 182196.
ISSN 15710661.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Aichernig, Bernhard K. and Boiten, Eerke and Butler, Michael and Derrick, John and Groves, Lindsay
(2009)
Preface: Special Issue on REFINE 2006.
Formal Aspects of Computing, 21
(12).
ISSN 09345043.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


2008
Boiten, Eerke
(2008)
From ABZ to cryptography (abstract).
In: UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke and Derrick, John and Schellhorn, Gerhard
(2008)
Preface: REFINE 2008 Proceedings.
Electronic Notes in Theoretical Computer Science, 214
.
ISSN 15710661.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Derrick, John and Boiten, Eerke
(2008)
More relational refinement: traces and partial relations.
Electronic Notes in Theoretical Computer Science, 214
.
pp. 255276.
ISSN 15710661.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke and Derrick, John and Smith, G., eds.
(2008)
Proceedings of the BCSFACS Refinement Workshop (REFINE 2007).
Electronic Notes in Theoretical Computer Science , 201
.
Elsevier, 264 pp.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke and Grundy, Dan
(2008)
Reduction and refinement.
Electronic Notes in Theoretical Computer Science, 201C
.
pp. 3144.
ISSN 15710661.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


2007
Aichernig, Bernhard K. and Boiten, Eerke and Derrick, John and Groves, Lindsay
(2007)
Preface: Proceedings of the 11th BCSFACS Refinement Workshop, Macao, 2006.
Electronic Notes in Theoretical Computer Science, 187
.
p. 1.
ISSN 15710661.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke and Derrick, John and Smith, Graeme
(2007)
Refine 2007 Participants' Proceedings.
Technical report.
University of Kent, Canterbury, Canterbury, Kent
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Derrick, John and Boiten, Eerke
(2007)
Relational Concurrent Refinement with Internal Operations.
Electronic Notes in Theoretical Computer Science, 187
.
pp. 3553.
ISSN 15710661.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


2006
2005
Boiten, Eerke and Derrick, John and Smith, Graeme
(2005)
Editorial: Special issue on Integrated Formal Methods.
Formal Aspects of Computing, 17
(4).
ISSN 09345043.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke and Derrick, John
(2005)
Proceedings of the REFINE 2005 Workshop.
Electronic Notes in Theoretical Computer Science , 137
(2).
pp. 1242.
ISSN 15710661.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


2004
Bujorianu, Marius C. and Boiten, Eerke
(2004)
Towards Correspondence Carrying Specifications.
In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds.
Algebraic Methodology and Software Technology.
LNCS, 3116.
Springer
pp. 5771.
ISBN 3540223819 .
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke and Möller, Bernhard
(2004)
Special Issue on MPC 2002: Foreword.
Science of Computer Programming, 51
(12).
pp. 12.
ISSN 01676423.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


UNSPECIFIED
(2004)
Integrated Formal Methods, 4th International Conference.
In: Boiten, Eerke and Derrick, John and Smith, Graeme, eds.
Integrated Formal Methods.
Lecture Notes in Computer Science, 2999.
SpringerVerlag
ISBN 3540213775.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Bujorianu, Marius C.
(2004)
Integration of Specification Languages Using Viewpoints.
In: Boiten, Eerke and Derrick, John and Smith, Graeme, eds.
Integrated Formal Methods.
Springer
pp. 421440.
ISBN 3540213775.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


2003
Boiten, Eerke and Denvir, T. and Derrick, John and von Wright, Joakim
(2003)
Editorial: Special Issue on Refinement.
Formal Aspects of Computing, 15
(2).
pp. 101102.
ISSN 09345043.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Derrick, John and Boiten, Eerke
(2003)
Relational Concurrent Refinement.
Formal Aspects of Computing, 15
(23).
pp. 182214.
ISSN 09345043.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke and Derrick, John
(2003)
A relational framework for the integration of specifications.
Journal of Integrated Design and Process Science, 7
(3).
pp. 3948.
ISSN 10920617.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke and Bujorianu, Marius C.
(2003)
Exploring UML Refinement through Unification.
In: Jurjens, J. and Rumpe, Bernhard and France, Robert and Fernandez, E.B., eds.
Critical Systems Development with UML  Proceedings of the UML'03 workshop.
Lecture Notes in Computer Science (TUMI0323).
Technische Universitat Munchen
pp. 4762.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Derrick, John and Boiten, Eerke
(2003)
Recent advances in refinement.
In: 10th International Workshop on Abstract State Machines, MAR 0307, 2003, TAORMINA, ITALY.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


2002
Boiten, Eerke and Derrick, John
(2002)
Unifying concurrent and relational refinement.
Electronic Notes in Theoretical Computer Science, 70
(3).
pp. 94131.
ISSN 15710661.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Derrick, John and Akehurst, David H. and Boiten, Eerke
(2002)
A framework for UML consistency.
In: Workshop on Consistency Problems in UMLbased Software Development, October 1st, 2002 , Dresden, Germany.
(Full text available)

Preview 

Bowman, Howard and Steen, Maarten and Boiten, Eerke and Derrick, John
(2002)
A Formal Framework for Viewpoint Consistency.
Formal Methods in System Design, 21
(2).
pp. 111166.
ISSN 09259856.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke
(2002)
REFINE 2002: The BCS FACS Refinement Workshop.
In: Derrick, John and Boiten, Eerke and Woodcock, Jim and von Wright, Joakim, eds.
REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002).
Electronic Notes in Theoretical Computer Science, 70.
Elsevier Science Publishers
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke and Derrick, John
(2002)
Integration of Specifications through Development Relations.
In: Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology, 2328th June 2002, Passadena, California.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Derrick, John and Boiten, Eerke
(2002)
Combining Component specifications in ObjectZ and CSP.
Formal Aspects of Computing, 13
(Part 2).
pp. 111127.
ISSN 09345043.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Taylor, Chris and Boiten, Eerke and Derrick, John
(2002)
Interpreting ODP viewpoint specifications: Observations from a Case Study.
In: Formal Methods for Open ObjectBased Distributed Systems V, March 2022, 2002, Enschede, The Netherlands.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Miarka, Ralph and Derrick, John and Boiten, Eerke
(2002)
Handling Inconsistencies in Z using QuasiClassical Logic.
In: Berto, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken, eds.
ZB 2002:Formal Specification and Development in Z and B.
Lecture Notes in Computer Science, 2272.
SpringerVerlag Berlin Heidelberg, Grenoble, France
pp. 204225.
ISBN 3540431667.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke
(2002)
Loose Specification and Refinement in Z.
In: Bert, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken, eds.
ZB 2002:Formal Specification and Development in Z and B.
Lecture Notes in Computer Science, 2272.
Springer, Grenoble, France
pp. 226241.
ISBN 3540431667.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


2001
2000
Derrick, John and Boiten, Eerke
(2000)
Refinement of objects and operations in ObjectZ.
In: Smith, Scott F. and Talcott, Carolyn L., eds.
Fourth International Conference on Formal methods for open objectbased distributed systems IV.
Kluwer Academic Publishers
pp. 257277.
ISBN 0792379233 .
(Full text available)

Preview 

Miarka, Ralph and Boiten, Eerke and Derrick, John
(2000)
Guards, Preconditions, and Refinement in Z.
In: ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke and Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten
(2000)
Viewpoint Consistency in ODP.
Computer Networks, 34
(3).
pp. 503537.
ISSN 13891286 .
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Boiten, Eerke and Derrick, John
(2000)
Liberating data refinement.
In: Backhouse, Roland C. and Oliveira, Jose Nuno, eds.
Proceedings of the 5th International Conference on Mathematics of Program Construction.
Lecture Notes in Computer Science, 1837.
Springer
pp. 144166.
ISBN 3540677275.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


1999
Bowman, Howard and Boiten, Eerke and Derrick, John and Steen, Maarten
(1999)
Strategies for consistency checking based on unification.
Science of Computer Programming, 33
(3).
pp. 261298.
ISSN 01676423.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Steen, Maarten and Derrick, John and Boiten, Eerke and Bowman, Howard
(1999)
Consistency of partial process specifications.
In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Jan 0408, 1999, Amazonia, Brazil.
(Full text available)


Derrick, John and Boiten, Eerke
(1999)
Nonatomic refinement in Z.
In: Wing, Jeannetter M. and Woodchck, Jim and Davies, Jim, eds.
FM’99 — Formal Methods.
Lecture Notes In Computer Science, 1709 .
SpringerVerlag Berlin, Berlin, Germany
pp. 14771496.
ISBN 9783540665885.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


1998
Boiten, Eerke and Derrick, John
(1998)
Grey Box Data Refinement.
In: International Refinement Workshop & Formal Methods Pacific '98, 1998; Sep, Canberra, Australia.
(Full text available)

Preview 

Boiten, Eerke and Derrick, John
(1998)
IO  refinement in Z.
In: Evans, Andy and Duke, David J. and Clark, Tony, eds.
3rd Northern Formal MethodsWorkshop, 1998.
Electronic Workshops in Computing.
Springer Verlag
ISBN 190250514X.
(Full text available)

Preview 

Derrick, John and Boiten, Eerke
(1998)
Testing refinements by refining tests.
In: 11th International Conference of Z Users on the Z Formal Specification Notation (ZUM 98), SEP 2426, 1998, Berlin, Germany.
(Full text available)


1997
Steen, Maarten and Bowman, Howard and Derrick, John and Boiten, Eerke
(1997)
Disjunction of LOTOS specifications.
In: Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds.
IFIP Conference Proceedings; Vol. 107.
Chapman & Hall, Osaka, Japan
pp. 177192.
ISBN 0412820609 .
(Full text available)

Preview 

Boiten, Eerke and Derrick, John and Bowman, Howard and Steen, Maarten
(1997)
Coupling schemas: data refinement and view(point)composition.
In: Northern formal methods, 1997; Jul, Ilkley.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Derrick, John and Boiten, Eerke and Bowman, Howard and Steen, Maarten
(1997)
Translating LOTOS to ObjectZ.
In: 2nd BCSFACS Northern Formal Methods Workshop : Proceedings of the 2nd BCSFACS Northern Formal Methods Workshop, 1415 July, 1997, Ilkley, U. K..
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Derrick, John and Boiten, Eerke and Bowman, Howard and Steen, Maarten
(1997)
Weak refinement in Z.
In: Bowen, Jonathan P. and Hinchey, Michael G. and Till, David, eds.
ZUM '97: The Z Formal Specification Notation.
Lecture Notes in Computer Science, 1212.
SpringerVerlag, Reading
pp. 369388.
ISBN 3540627170.
(Full text available)


1996
Boiten, Eerke and Hoogendijk, P.F.
(1996)
Nested collections and polytypism.
Technical report.
Department of Computing Science, Eindhoven University
(Full text available)


1995
Bowman, Howard and Boiten, Eerke and Derrick, John and Steen, Maarten
(1995)
Strategies for Consistency Checking.
Technical report.
University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
(Full text available)


1993
Boiten, Eerke
(1993)
Parsing in ISBES.
In: UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


1992
Boiten, Eerke
(1992)
Views of Formal Program Development.
Doctor of Philosophy (PhD) thesis, University of Nijmegen, Faculty of Mathematics and Informatics.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


1991
1990
1989
1988
Boiten, Eerke
(1988)
Een Syntax Assisted Editor.
Other masters thesis, Universiteit Twente.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


1986
This list was generated on Mon Jul 6 20:11:36 2015 BST.
