Items where Author, Editor or other role is "Boiten, Eerke"

A

Albakri, Adham, de Lemos, Rogerio, Boiten, Eerke Albert (2019) Sharing Cyber Threat Intelligence under the General Data Protection Regulation. In: Lecture Notes in Computer Science. Privacy Technologies and Policy: 7th Annual Privacy Forum, APF 2019, Rome, Italy, June 13–14, 2019, Proceedings. 11498. Springer ISBN 978-3-030-21751-8. (doi:10.1007/978-3-030-21752-5_3) (KAR id:73262)

Aichernig, Bernhard K., Boiten, Eerke Albert, Butler, Michael, Derrick, John, Groves, Lindsay (2009) Preface: Special Issue on REFINE 2006. Formal Aspects of Computing, 21 (1-2). ISSN 0934-5043. (doi:10.1007/s00165-008-0100-9) (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) (KAR id:24076)

Aichernig, Bernhard K., Boiten, Eerke Albert, Derrick, John, Groves, Lindsay (2007) Preface: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006. Electronic Notes in Theoretical Computer Science, 187 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.08.040) (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) (KAR id:14565)

Asveld, Peter R. J. and Boiten, Eerke Albert (1986) A Generator for Turing Machine Simulation Programs - user's manual. Technical report. 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) (KAR id:20922)

B

Boiten, Eerke Albert (2016) Big Data Refinement. Electronic Proceedings in Theoretical Computer Science, 209 . pp. 17-23. ISSN 2075-2180. E-ISSN 2075-2180. (doi:10.4204/EPTCS.209.2) (KAR id:51635)

Boiten, Eerke Albert (2015) Investigatory Powers bill will remove ISPs' right to protect your privacy. . The Conversation Internet only. (KAR id:51619)

Boiten, Eerke Albert (2015) Privacy watchdog takes first step against those undermining right to be forgotten. . The Conversation Internet only. (KAR id:51067)

Boiten, Eerke Albert (2015) Patients will resist medical record sharing if NHS bosses ignore their privacy fears. . The Conversation Internet only. (KAR id:51068)

Boiten, Eerke Albert (2015) NHS care.data still leaks like a sinking ship, but ministers set sail regardless. . The Conversation Internet only. (KAR id:51069)

Boiten, Eerke Albert (2015) We are right to fear spy ‘database of everything’ if even politicians know little about it. . The Conversation Internet only. (KAR id:51070)

Boiten, Eerke Albert (2015) Google’s lip service to privacy cannot conceal that its profits rely on your data. . The Conversation Internet only. (KAR id:51072)

Boiten, Eerke Albert (2015) Diversity and Adjudication. Journal of Logical and Algebraic Methods in Programming, . ISSN 2352-2208. (doi:10.1016/j.jlamp.2015.10.007) (KAR id:51066)

Boiten, Eerke Albert (2014) Russia and China prepare to fight US internet domination. . The Conversation UK Internet only. (KAR id:45253)

Boiten, Eerke Albert (2014) FireChat’s revolutionary use will not be revolutionary for long. . The Conversation UK Internet only. (KAR id:45257)

Boiten, Eerke Albert (2014) It’s possible to write flaw-free software, so why don’t we? . The Conversation UK Internet only. (KAR id:45254)

Boiten, Eerke Albert, Hernandez-Castro, Julio C. (2014) Targeted ‘malvertising’ reveals move towards more sophisticated hacks. . The Conversation UK Internet only. (KAR id:45255)

Boiten, Eerke Albert, Hernandez-Castro, Julio C. (2014) Can you really be identified on Tor or is that just what the cops want you to believe? . The Conversation UK Internet only. (KAR id:45256)

Boiten, Eerke Albert (2014) Google’s Larry Page wants to save 100,000 lives but big data isn’t a cure all. . The Conversation UK Internet only. (KAR id:45259)

Boiten, Eerke Albert (2014) NHS must think like Google to make data project work. . The Conversation UK Internet only. (KAR id:45260)

Boiten, Eerke Albert and Jacob, Jeremy (2014) Sealed containers in Z. In: Ait Ameur, Y. and Schewe, K.-D., eds. Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference. Lecture Notes in Computer Science, 8477 . Springer, Berlin, Germany, pp. 136-141. ISBN 978-3-662-43651-6. E-ISBN 978-3-662-43652-3. (doi:10.1007/978-3-662-43652-3_12) (KAR id:40790)

Boiten, Eerke Albert (2014) Cybersecurity czar dodges questions over IT security. . The Conversation UK Internet only. (KAR id:45261)

Boiten, Eerke Albert (2014) FoI reveals cynical logic that compromises NHS data privacy. . The Conversation Internet only. (KAR id:52726)

Boiten, Eerke Albert (2014) Time for some truth about who is feeding off our NHS data. . The Conversation Internet only. (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) (KAR id:52727)

Boiten, Eerke Albert (2014) Introducing extra operations in refinement. Formal Aspects of Computing, 26 (2). pp. 305-317. ISSN 0934-5043. (doi:10.1007/s00165-012-0266-z) (KAR id:31991)

Boiten, Eerke Albert (2014) Your NHS data is completely anonymous – until it isn’t. . The Conversation Internet only. (KAR id:52728)

Boiten, Eerke Albert (2014) Outdated laws put your health data in jeopardy. . The Conversation Internet only. (KAR id:52729)

Boiten, Eerke Albert, Schneider, Steve A. (2014) Editorial: Special Issue on Cryptography and Formal Methods. Formal Aspects of Computing, 26 (1). pp. 1-2. ISSN 0934-5043 (Print) 1433-299X (Online). (doi:10.1007/s00165-013-0290-7) (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) (KAR id:37394)

Boiten, Eerke Albert (2013) Anonymity will be the next victim of internet censorship. . The Conversation Internet only. (KAR id:52756)

Boiten, Eerke Albert (2013) The UK government is working in a Snowden-free bubble. . The Conversation Internet only. (KAR id:52757)

Boiten, Eerke Albert (2013) It’s all about cryptography as Rusbridger faces parliament. . The Conversation Internet only. (KAR id:52758)

Boiten, Eerke Albert (2013) Blocking extremist sites is not the same as fighting child porn. . The Conversation Internet only. (KAR id:52759)

Boiten, Eerke Albert (2013) Blocks just move child porn under the counter. . The Conversation Internet only. (KAR id:52760)

Boiten, Eerke Albert (2013) How to commit a bank robbery (or stop one) using the internet. . The Conversation Internet only. (KAR id:52761)

Boiten, Eerke Albert (2013) iPhone hack shows security isn’t at our fingertips just yet. . Scientific American Internet only. (KAR id:52762)

Boiten, Eerke Albert, Derrick, John (2013) From ODP Viewpoint Consistency to Integrated Formal Methods. Computer Standards and Interfaces, 35 (3). pp. 269-276. ISSN 0920-5489. (doi:10.1016/j.csi.2011.10.015) (KAR id:30829)

Boiten, Eerke Albert (2012) Book review: Modeling in Event-B by Jean-Raymond Abrial. Review of: Modeling in Event-B by Abrial, Jean-Raymond. Journal of Functional Programming, 22 (2). pp. 217-221. ISSN 0956-7968. (doi:10.1017/S0956796812000081) (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) (KAR id:30820)

Boiten, Eerke Albert, Derrick, John, Dong, Jin Song, Reeves, Steve (2012) Editorial: Special issue on Refine 2009. Formal Aspects of Computing, 24 (1). pp. 182-196. ISSN 0934-5043. (doi:10.1007/s00165-011-0220-5) (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) (KAR id:30828)

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2011) Preface: Selected papers of the Refinement Workshop Turku (2008). Science of Computer Programming, 76 (9). pp. 182-196. ISSN 0167-6423. (doi:10.1016/j.scico.2011.03.003) (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) (KAR id:30732)

Boiten, Eerke Albert (2011) Perspicuity and Granularity in Refinement. In: Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. Proceedings 15th International Refinement Workshop. Electronic Proceedings in Theoretical Computer Science , 55. pp. 182-196. (doi:10.4204/EPTCS.55.10) (KAR id:30752)

Boiten, Eerke Albert, Derrick, John (2010) Incompleteness of Relational Simulations in the Blocking Paradigm. Science of Computer Programming, 75 (12). pp. 1262-1269. ISSN 0167-6423. (doi:10.1016/j.scico.2010.07.003) (KAR id:30612)

Boiten, Eerke and Grundy, Dan (2010) The Logic of Large Enough. In: Bolduc, Claude and Desharnais, Jules and Ktari, Béchir, eds. Mathematics of Program Construction 10th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-642-13320-6. E-ISBN 978-3-642-13321-3. (doi:10.1007/978-3-642-13321-3_5) (KAR id:30665)

Boiten, Eerke Albert, Butler, Michael, Derrick, John, Smith, Graeme (2010) Editorial: Special issue on REFINE 2007. Formal Aspects of Computing, 22 (1). pp. 182-196. ISSN 0934-5043. (doi:10.1007/s00165-009-0147-2) (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) (KAR id:30689)

Boiten, Eerke Albert (2010) Security specification: completeness, feasibility, refinement. In: Extended Abstracts Collection -- Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Germany. (KAR id:30692)

Boiten, Eerke Albert, Derrick, John, Reeves, Steve (2009) Preface: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009). Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. (doi:10.1016/j.entcs.2009.12.013) (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) (KAR id:30566)

Boiten, Eerke Albert and Derrick, John (2009) Modelling divergence in Relational Concurrent Refinement. In: Leuschel, Michael and Wehrheim, Heike, eds. Integrated Formal Methods 7th International Conference. Lecture Notes in Computer Science, 5423 . Springer, Berlin, Germany, pp. 183-199. ISBN 978-3-642-00254-0. E-ISBN 978-3-642-00255-7. (doi:10.1007/978-3-642-00255-7_13) (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) (KAR id:24032)

Boiten, Eerke Albert (2008) From ABZ to cryptography (abstract). In: Börger, Egon and Butler, Michael and Bowen, Jonathan P. and Boca, Paul, eds. UNSPECIFIED Lecture Notes in Computer Science . Springer, Berlin, Germany. ISBN 978-3-540-87602-1. E-ISBN 978-3-540-87603-8. (doi:10.1007/978-3-540-87603-8_40) (KAR id:23976)

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2008) Preface: REFINE 2008 Proceedings. Electronic Notes in Theoretical Computer Science, 214 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.06.001) (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) (KAR id:24072)

Boiten, Eerke Albert, Derrick, John, Smith, Graeme (2008) Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science, 201 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.02.012) (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) (KAR id:23964)

Boiten, Eerke Albert, Grundy, Dan (2008) Reduction and refinement. Electronic Notes in Theoretical Computer Science, 201 . pp. 31-44. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.02.014) (KAR id:23963)

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2008) Relational Concurrent Refinement II: Internal Operations and Outputs. Formal Aspects of Computing, 21 (1-2). pp. 65-102. ISSN 0934-5043. (doi:10.1007/s00165-007-0066-z) (KAR id:14524)

Boiten, Eerke Albert, Derrick, John (2007) Proceedings of the 11th Refinement Workshop (REFINE 2006)Macao, China 31 October 2006. Electronic Notes in Theoretical Computer Science, 187 . Elsevier, 188 pp. ISBN 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) (KAR id:3372)

Boiten, Eerke Albert 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) (KAR id:14568)

Boiten, Eerke Albert, Butler, Michael (2006) Guest Editorial: Editorial for the FAC Special Issue based on derivative papers from "Refine ’05". Formal Aspects of Computing, 18 (3). p. 263. ISSN 0934-5043. (doi:10.1007/s00165-006-0009-0) (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) (KAR id:14445)

Boiten, Eerke Albert, Derrick, John, Smith, Graeme (2005) Editorial: Special issue on Integrated Formal Methods. Formal Aspects of Computing, 17 (4). ISSN 0934-5043. (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) (KAR id:14227)

Boiten, Eerke Albert, Derrick, John (2005) Proceedings of the REFINE 2005 Workshop. Electronic Notes in Theoretical Computer Science, 137 (2). pp. 1-242. ISSN 1571-0661. (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) (KAR id:14337)

Boiten, Eerke Albert and Derrick, John (2005) Formal Program Development with Approximations. In: Treharne, Helen and King, Steve and Henson, Martin C. and Schneider, Steve A., eds. ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 374-392. ISBN 978-3-540-25559-8. E-ISBN 978-3-540-32007-4. (doi:10.1007/11415787_22) (KAR id:14341)

Bujorianu, Marius C. and Boiten, Eerke Albert (2004) Towards Correspondence Carrying Specifications. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology 10th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 57-71. ISBN 978-3-540-22381-8. E-ISBN 978-3-540-27815-3. (doi:10.1007/978-3-540-27815-3_9) (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) (KAR id:14132)

Boiten, Eerke Albert (2004) Input/Output Abstraction of State Based Systems. Technical report. University of Kent (KAR id:14143)

Boiten, Eerke Albert (2004) Travelling Salesman Heuristics: Exercises in Haskell. Technical report. University of Kent (KAR id:14138)

Boiten, Eerke Albert (2004) Turtle Graphics: Exercises in Haskell. Technical report. University of Kent (KAR id:14157)

Boiten, Eerke Albert, Möller, Bernhard (2004) Special Issue on MPC 2002: Foreword. Science of Computer Programming, 51 (1-2). pp. 1-2. ISSN 0167-6423. (doi:10.1016/j.scico.2004.01.009) (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) (KAR id:14172)

Boiten, Eerke Albert and Derrick, John and Smith, Graeme (2004) Doctoral Symposium Proceedings, Integrated Formal Methods 2004. Technical report. University of Kent, Great Britain (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) (KAR id:14174)

Bujorianu, Marius C. (2004) Integration of Specification Languages Using Viewpoints. In: Boiten, Eerke Albert and Derrick, John and Smith, Graeme, eds. Integrated Formal Methods 4th International Conference. Lecture Notes in Computer Science . Springer, pp. 421-440. ISBN 978-3-540-21377-2. E-ISBN 978-3-540-24756-2. (doi:10.1007/978-3-540-24756-2_23) (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) (KAR id:14182)

Boiten, Eerke Albert (2003) Book review: Concepts in Programming Languages, by John Mitchell. Review of: Concepts in Programming Languages by Mitchell, John. Journal of Functional Programming, 13 (6). pp. 1087-1088. ISSN 0956-7968. (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) (KAR id:13886)

Boiten, Eerke Albert, Denvir, T., Derrick, John, von Wright, Joakim (2003) Editorial: Special Issue on Refinement. Formal Aspects of Computing, 15 (2). pp. 101-102. ISSN 0934-5043. (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) (KAR id:13889)

Boiten, Eerke Albert, 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, number TUM-I0323. Lecture Notes in Computer Science (TUM-I0). pp. 47-62. Technische Universitat Munchen (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) (KAR id:13925)

Boiten, Eerke Albert, Derrick, John (2003) A relational framework for the integration of specifications. Journal of Integrated Design and Process Science, 7 (3). pp. 39-48. ISSN 1092-0617. (KAR id:13927)

Boiten, Eerke Albert, De Roever, Willem-Paul (2003) Getting to the Bottom of Relational Refinement: Relations and Correctness, Partial and Total. In: Berghammer, R. and Möller, Bernhard, eds. 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7). . pp. 82-88. (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) (KAR id:13981)

Boiten, Eerke Albert, Derrick, John (2002) Unifying concurrent and relational refinement. Electronic Notes in Theoretical Computer Science, 70 (3). pp. 94-131. ISSN 1571-0661. (doi:10.1016/S1571-0661(05)80488-8) (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) (KAR id:13766)

Bowman, Howard, Steen, Maarten, Boiten, Eerke Albert, Derrick, John (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. (doi:10.1023/A:1016000201864) (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) (KAR id:13730)

Boiten, Eerke Albert and Möller, Bernhard, eds. (2002) Mathematics of Program Construction: Sixth International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, 267 pp. ISBN 978-3-540-43857-1. E-ISBN 978-3-540-45442-7. (doi:10.1007/3-540-45442-X) (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) (KAR id:13760)

Derrick, John and Boiten, Eerke Albert and Woodcock, Jim and von Wright, Joakim, eds. (2002) REFINE 2002: The BCS FACS Refinement Workshop. 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) (KAR id:13759)

Boiten, Eerke Albert, Derrick, John (2002) Integration of Specifications through Development Relations. In: Ehrig, Hartmut and Kramer, Berndt and Ertas, Atila, eds. Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology. . p. 8. (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) (KAR id:13787)

Boiten, Eerke Albert (2002) Integrating Specifications: Development Relations and Correspondences. In: Ehrig, Hartmut and Grosse-Rhode, Martin, eds. INT'02: Integration of Software Specification Techniques, ETAPS 2002 Satellite Workshop. . p. 8. INIST-CNRS (KAR id:13803)

Boiten, Eerke Albert (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 2nd International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 226-241. ISBN 978-3-540-43166-4. E-ISBN 978-3-540-45648-3. (doi:10.1007/3-540-45648-1_12) (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) (KAR id:13829)

Boiten, Eerke Albert, Bowman, Howard, Derrick, John, Linington, Peter F., Steen, Maarten (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286. (doi:10.1016/s1389-1286(00)00114-6) (KAR id:21992)

Boiten, Eerke Albert and Derrick, John (2000) Liberating data refinement. In: Backhouse, Roland C. and Oliveira, Jose Nuno, eds. Mathematics of Program Construction 5th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 144-166. ISBN 978-3-540-67727-7. E-ISBN 978-3-540-45025-2. (doi:10.1007/10722010_11) (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) (KAR id:22003)

Bowman, Howard and Steen, Maarten and Boiten, Eerke Albert and Derrick, John (1999) A Formal Framework for Viewpoint Consistency (full version). Technical report. , Canterbury, Kent, CT2 7NZ (KAR id:21731)

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (doi:10.1016/S0167-6423(99)00006-4) (KAR id:17100)

Bowman, Howard, Boiten, Eerke Albert, Derrick, John, Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (doi:10.1016/S0167-6423(98)00017-3) (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) (KAR id:17119)

Boiten, Eerke Albert and Derrick, John (1998) Grey Box Data Refinement. In: Grundy, J. and Schwenke, M. and Vickers, T., eds. International Refinement Workshop & Formal Methods Pacific 1998. Discrete Mathematics and Theoretical Computer Science . Springer, Heidelberg, Germany, pp. 45-59. ISBN 981-4021-16-4. (KAR id:21607)

Boiten, Eerke Albert, Derrick, John (1998) IO - refinement in Z. In: 3rd Northern Formal MethodsWorkshop,, 1998. (KAR id:21600)

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1997) Viewpoint consistency in Z and LOTOS: A case study. In: Fitzgerald, John and Jones, Cliff B. and Lucas, Peter, eds. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 644-664. ISBN 978-3-540-63533-8. E-ISBN 978-3-540-69593-6. (doi:10.1007/3-540-63533-5_34) (KAR id:21452)

+1 more...

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1997) Coupling schemas: data refinement and view(point) composition. In: Duke, David J. and Evans, A.S., eds. Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods. Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods. . Springer (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) (KAR id:21472)

Boiten, Eerke Albert (1997) Z Unification Tools in Generic Formaliser. Technical report. University of Kent at Canterbury (KAR id:21530)

Boiten, Eerke Albert and Hoogendijk, P.F. (1996) Nested collections and polytypism. Technical report. Department of Computing Science, Eindhoven University (KAR id:21323)

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1996) Issues in multiparadigm viewpoint specification. In: Finkelstein, A. and Spanoudakis, G., eds. Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops. ACM, New York, USA, pp. 162-166. ISBN 0-89791-867-3. (doi:10.1145/243327.243639) (KAR id:21329)

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: Gaudel, M.C. and Woodcock, Jim, eds. FME'96: Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 287-306. ISBN 978-3-540-60973-5. E-ISBN 978-3-540-49749-3. (doi:10.1007/3-540-60973-3_93) (KAR id:21388)

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M.W.A. (1996) Viewpoint consistency in ODP, a general interpretation. In: Najm, Elie and Stefani, J.-B., eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology . Springer, Boston, Massachusetts, USA, pp. 189-204. ISBN 978-1-5041-2875-9. E-ISBN 978-0-387-35082-0. (doi:10.1007/978-0-387-35082-0_14) (KAR id:21386)

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1996) Strategies for Consistency Checking, the Choice of Unification. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21396)

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1995) Strategies for Consistency Checking. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (KAR id:21223)

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1995) Unification and multiple views of data in Z. In: van Vliet, J.C., ed. Computer Science in the Netherlands 1995. . pp. 73-85. Stichting Mathematisch Centrum, Amsterdam ISBN 90-6196-460-1. (KAR id:21226)

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1995) Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency). Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21256)

Boiten, Eerke Albert, Geerling, A.M., Partsch, H.A. (1993) Transformational derivation of (parallel) programs using skeletons. In: Computer Science in the Netherlands 1993, 1993, Utrecht. (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) (KAR id:21091)

Boiten, Eerke Albert (1993) Parsing in ISBES. In: Bjorner, D. and Broy, M. and Pottosin, I.V., eds. Formal Methods in Programming and Their Applications International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 423-433. ISBN 978-3-540-57316-6. E-ISBN 978-3-540-48056-3. (doi:10.1007/BFb0039724) (KAR id:21112)

Boiten, Eerke Albert, Partsch, H.A., Tuijnman, D., Völker, N. (1992) How to produce correct software -- an introduction to formal specification and program development by transformations. Computer Journal, 35 (6). pp. 547-554. (doi:10.1093/comjnl/35.6.547) (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) (KAR id:21019)

Boiten, Eerke Albert (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) (KAR id:21069)

Boiten, Eerke Albert (1992) Factorisation of the Factorial -- an example of inverting the flow of computation. Periodica Polytechnica: Electrical Engineering, 35 (2). pp. 77-99. ISSN 0324-6000. (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) (KAR id:21079)

Boiten, Eerke Albert (1992) Improving recursive functions by inverting the order of evaluation. Science of Computer Programming, 18 . pp. 139-179. (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) (KAR id:21081)

Boiten, Eerke Albert, van den Brand, M.G.J., van Diepen, N.W.P., Koster, C.H.A., Partsch, H.A., Völker, N. (1992) USTOPIA Requirements -- Thoughts on a User-friendly System for Transformation Of Programs In Abstracto. Periodica Polytechnica: Electrical Engineering, 35 (2). pp. 101-123. ISSN 0324-6000. (KAR id:21080)

Boiten, Eerke Albert (1991) The many disguises of accumulation. Technical report. Dept. of Informatics, University of Nijmegen (KAR id:20986)

Boiten, Eerke Albert (1991) Solving a combinatorial problem by transformation of abstract data types. In: van Leeuwen, J., ed. UNSPECIFIED Stichting Mathematisch Centrum, Amsterdam, pp. 99-108. ISBN 90-6196-403-2. (KAR id:20987)

Boiten, Eerke Albert (1991) Intersections of Sets and Bags of Extended Substructures, and Can Bag Comprehension be Used at All? Technical report. Dept. of Informatics, University of Nijmegen (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) (KAR id:20991)

Boiten, Eerke Albert (1991) Intersections of Bags and Sets of Extended Substructures -- a Class of Problems. In: Möller, Bernhard, ed. Constructing Programs from Specifications: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications. Elsevier, New York, USA, pp. 33-48. ISBN 0-444-89184-6. (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) (KAR id:21002)

Boiten, Eerke Albert (1990) Factorisation of the Factorial -- an algorithm discovered by playing with transformations. Technical report. (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) (KAR id:20962)

Boiten, Eerke Albert (1989) Inverting the Flow of Computation in Tree-like Recursive Functions. In: Apers, P.M.G. and Bosman, D. and van Leeuwen, J., eds. Computer Science in the Netherlands 1989. . pp. 33-56. Stichting Mathematisch Centrum, Amsterdam (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) (KAR id:20944)

Boiten, Eerke Albert (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) (KAR id:20934)

D

Derrick, John and Boiten, Eerke Albert (2016) Relational Concurrent Refinement - partial and total frameworks. In: Petre, Luigia and Sekerinski, Emil, eds. From Action Systems to Distributed Systems: The Refinement Approach. Taylor and Francis, Florida, USA, pp. 143-154. ISBN 978-1-4987-0158-7. (doi:10.1201/b20053-15) (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) (KAR id:51618)

Derrick, John, Boiten, Eerke Albert (2014) Relational Concurrent Refinement Part III: Traces, partial relations and automata. Formal Aspects of Computing, 26 (2). pp. 407-432. ISSN 0934-5043. (doi:10.1007/s00165-012-0262-3) (KAR id:30788)

Derrick, John, Boiten, Eerke Albert (2014) Refinement in Z and Object-Z: Foundations and Advanced Applications (2nd revised edition). 2nd Edition. Springer, London Heidelberg New York Dordrecht, 510 pp. ISBN 978-1-4471-5354-2. E-ISBN 978-1-4471-5355-9. (doi:10.1007/978-1-4471-5355-9) (KAR id:37392)

Derrick, John and Boiten, Eerke Albert (2011) Relational Concurrent Refinement: Timed Refinement. In: Bruni, Roberto and Dingel, Juergen, eds. Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 121-137. ISBN 978-3-642-21460-8. E-ISBN 978-3-642-21461-5. (doi:10.1007/978-3-642-21461-5_8) (KAR id:30757)

Derrick, John, Boiten, Eerke Albert (2009) Relational Concurrent Refinement: Automata. Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. (doi:10.1016/j.entcs.2009.12.015) (KAR id:30569)

Derrick, John, Boiten, Eerke Albert (2008) More relational refinement: traces and partial relations. Electronic Notes in Theoretical Computer Science, 214 . pp. 255-276. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.06.012) (KAR id:23978)

Boiten, Eerke Albert and Derrick, John and Smith, G., eds. (2008) Proceedings of the BCS-FACS 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) (KAR id:3501)

Derrick, John, Boiten, Eerke Albert (2007) Relational Concurrent Refinement with Internal Operations. Electronic Notes in Theoretical Computer Science, 187 . pp. 35-53. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.08.043) (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) (KAR id:14564)

Derrick, John, Boiten, Eerke Albert (2003) Relational Concurrent Refinement. Formal Aspects of Computing, 15 (2-3). pp. 182-214. ISSN 0934-5043. (doi:10.1007/s00165-003-0007-4) (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) (KAR id:13890)

Derrick, John and Boiten, Eerke Albert (2003) Recent advances in refinement. In: Borger, Egon and Gargantini, Angelo and Riccobene, Elvinia, eds. Abstract State Machines 2003 Advances in Theory and Practice 10th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 33-56. ISBN 978-3-540-00624-4. E-ISBN 978-3-540-36498-6. (doi:10.1007/3-540-36498-6_3) (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) (KAR id:14003)

Derrick, John, Akehurst, David H., Boiten, Eerke Albert (2002) A framework for UML consistency. In: Kuzniarz, L. and Reggio, G. and Sourrouille, J.L. and Huzar, Z., eds. UML 2002 Workshop on Consistency Problems in UML-based Software Development. . pp. 30-45. (KAR id:13715)

Derrick, John, Boiten, Eerke Albert (2002) Combining Component specifications in Object-Z and CSP. Formal Aspects of Computing, 13 (Part 2). pp. 111-127. ISSN 0934-5043. (doi:10.1007/s001650200002) (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) (KAR id:13794)

Derrick, John, Boiten, Eerke Albert (2001) Refinement in Z and Object-Z: Foundations and Advanced Applications. Formal Approaches to Computing and Information Technology . Springer ISBN 1-85233-245-X. (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) (KAR id:13610)

Derrick, John and Boiten, Eerke Albert (2000) Refinement of objects and operations in Object-Z. In: Smith, Scott F. and Talcott, Carolyn L., eds. Formal Methods for Open Object-Based Distributed Systems IV IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems. IFIP Advances in Information and Communication Technology . Springer, Boston, Massachusetts, USA, pp. 257-277. ISBN 978-1-4757-1018-2. E-ISBN 978-0-387-35520-7. (doi:10.1007/978-0-387-35520-7_13) (KAR id:21969)

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489. (doi:10.1016/S0920-5489(99)00010-0) (KAR id:17284)

Derrick, John and Boiten, Eerke (1999) Specifying component and context specification using Promotion. In: Araki, Keijiro and Galloway, Andrew and Taguchi, Kenji, eds. Proceedings of the 1st International Conference on Integrated Formal Methods. Springer, London, UK, pp. 293-312. ISBN 978-1-85233-107-8. E-ISBN 978-1-4471-0851-1. (doi:10.1007/978-1-4471-0851-1_16) (KAR id:21814)

Derrick, John, Boiten, Eerke Albert (1999) Testing Refinements of State-based Formal Specifications. Software Testing, Verification and Reliability, 9 (1). pp. 27-50. (doi:10.1002/(sici)1099-1689(199903)9:1<27::aid-stvr172>3.3.co;2-2) (KAR id:21805)

Derrick, John, Boiten, Eerke Albert (1999) Calculating upward and downward simulations of state-based specifications. Information and Software Technology, 41 (13). pp. 917-923. ISSN 0950-5849. (doi:10.1016/S0950-5849(99)00044-0) (KAR id:17282)

Derrick, John and Boiten, Eerke Albert (1999) Non-atomic refinement in Z. In: Wing, Jeannetter M. and Woodchck, Jim and Davies, Jim, eds. FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems. Lecture Notes In Computer Science, 2 . Springer-Verlag Berlin, Berlin, Germany, pp. 1477-1496. ISBN 978-3-540-66588-5. E-ISBN 978-3-540-48118-8. (doi:10.1007/3-540-48118-4_28) (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) (KAR id:17280)

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1998) Specifying and Refining Internal Operations in Z. Formal Aspects of Computing, 10 (2). pp. 125-159. ISSN 0934-5043 (Print) 1433-299X (Online). (doi:10.1007/s001650050007) (KAR id:21577)

Derrick, John and Boiten, Eerke Albert (1998) Testing refinements by refining tests. In: Bowen, Jonathan P. and Fett, A. and Hinchey, Michael G., eds. ZUM ’98: The Z Formal Specification Notation 11th International Conference of Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 265-283. ISBN 978-3-540-65070-6. E-ISBN 978-3-540-49676-2. (doi:10.1007/978-3-540-49676-2_19) (KAR id:17694)

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1997) Translating LOTOS to Object-Z. In: 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 Jul 1997, Ilkley, England. (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) (KAR id:21474)

Derrick, John and Boiten, Eerke Albert 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 10th International Conference of Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 369-388. ISBN 978-3-540-62717-3. E-ISBN 978-3-540-68490-9. (doi:10.1007/BFb0027298) (KAR id:21516)

+1 more...

Derrick, John, Bowman, Howard, Boiten, Eerke Albert, Steen, Maarten (1996) Comparing LOTOS and Z refinement relations. In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI. . pp. 501-516. Chapman & Hall, Kaiserslautern, Germany ISBN 0-412-79490-X. (doi:10.1007/978-0-387-35079-0_32) (KAR id:21330)

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M.W.A. (1996) Supporting ODP - Translating LOTOS to Z. In: Najm, Elie and Stefani, J.-B., eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology . Springer, Boston, Massachusetts, USA, pp. 399-406. ISBN 978-1-5041-2875-9. E-ISBN 978-0-387-35082-0. (doi:10.1007/978-0-387-35082-0_29) (KAR id:21389)

G

Gaspar, Jaime and Boiten, Eerke Albert (2014) Simple composition theorems of one-way functions -- proofs and presentations. Technical report. IACR EPrints (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) (KAR id:52889)

H

Hernandez-Castro, Julio C., Boiten, Eerke Albert (2015) UK has little to be proud of as survey reveals sorry state of European cybersecurity. . The Conversation Internet only. (KAR id:51071)

Hernandez-Castro, Julio C., Boiten, Eerke Albert (2014) Cybercrime prevalence and impact in the UK. Computer Fraud & Security, 2014 (2). pp. 5-8. ISSN 1361-3723. (doi:10.1016/S1361-3723(14)70461-0) (KAR id:38400)

Hernandez-Castro, Julio C., Boiten, Eerke Albert, Barnoux, Magali F.L. (2014) Second Kent Cyber Security Survey. . Internet only. (KAR id:52891)

Hernandez-Castro, Julio C., Boiten, Eerke Albert (2013) First Kent Cyber Security Survey. . Internet only. (KAR id:52890)

M

Miarka, Ralph and Derrick, John and Boiten, Eerke Albert (2002) Handling Inconsistencies in Z using Quasi-Classical 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 2nd International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 204-225. ISBN 978-3-540-43166-4. E-ISBN 978-3-540-45648-3. (doi:10.1007/3-540-45648-1_11) (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) (KAR id:13830)

Miarka, Ralph (2002) Inconsistency and underdefinedness in Z specifications. Doctor of Philosophy (PhD) thesis, University of Kent. (doi:10.22024/UniKent/01.02.86002) (KAR id:86002)

Miarka, Ralph and Boiten, Eerke Albert and Derrick, John (2000) Guards, Preconditions, and Refinement in Z. In: Bowen, Jonathan P. and Dunne, Steve and Galloway, Andy and King, Steve, eds. ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 286-303. ISBN 978-3-540-67944-8. E-ISBN 978-3-540-44525-8. (doi:10.1007/3-540-44525-0_17) (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) (KAR id:21990)

P

Partsch, H.A. and Boiten, Eerke Albert (1991) A Note on Similarity of Specifications and Reusability of Transformational Developments. In: Möller, Bernhard, ed. Constructing Programs from Specifications: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications. Elsevier, New York, USA, pp. 71-89. ISBN 0-444-89184-6. (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) (KAR id:21003)

S

Steen, Maarten and Derrick, John and Boiten, Eerke Albert and Bowman, Howard (1999) Consistency of partial process specifications. In: Haeberer, A.M., ed. Algebraic Methodology and Software Technology 7th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 248-262. ISBN 978-3-540-65462-9. E-ISBN 978-3-540-49253-5. (doi:10.1007/3-540-49253-4_19) (KAR id:16653)

Steen, M.W.A. and Bowman, H. and Derrick, J. and Boiten, E.A. (1997) Disjunction of LOTOS specifications. In: Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds. Formal Description Techniques and Protocol Specification, Testing and Verification. IFIP - The International Federation for Information Processing . Springer, Boston, Massachusetts, USA, pp. 177-192. ISBN 978-1-4757-5260-1. E-ISBN 978-0-387-35271-8. (doi:10.1007/978-0-387-35271-8_11) (KAR id:21439)

T

Taylor, Chris, Boiten, Eerke Albert, Derrick, John (2002) ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proceedings: Software, 149 (2). pp. 57-64. ISSN 1462-5970. (doi:10.1049/ip-sen:20020318) (KAR id:13801)

Taylor, Chris, Boiten, Eerke Albert, Derrick, John (2002) Interpreting ODP viewpoint specifications: Observations from a Case Study. In: Jacobs, Bart and Rensink, Arend, eds. Formal Methods for Open Object-Based Distributed Systems V. IFIP International Federation for Information Processings , 5. pp. 61-76. Kluwer Academic Publishers, Dordrecht ISBN 978-0-7923-7683-5. (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) (KAR id:13814)

Taylor, Chris and Boiten, Eerke Albert and Derrick, John (2001) Interpreting ODP Viewpoint Specification: Observations from a Case Study. Technical report. UKC, University of Kent at Canterbury, UK (KAR id:13546)

Taylor, C. and Derrick, J. and Boiten, E. (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: Third IEEE International Conference on Formal Engineering Methods. IEEE, pp. 177-185. ISBN 0-7695-0822-7. (doi:10.1109/ICFEM.2000.873818) (KAR id:21968)