Остановите войну!
for scientists:
default search action
Eerke A. Boiten
- > Home > Persons > Eerke A. Boiten
Publications
- 2021
- [j33]Jordi Cabot, Heike Wehrheim, Eerke A. Boiten:
Editorial. Formal Aspects Comput. 33(6): 1037 (2021) - 2016
- [p1]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement - Partial and Total Frameworks. From Action Systems to Distributed Systems 2016: 143-154 - [e11]John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. EPTCS 209, 2016 [contents] - 2014
- [b1]John Derrick, Eerke A. Boiten:
Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.). Springer 2014, ISBN 978-1-4471-5354-2, pp. I-XVIII, 1-492 - [j30]Eerke A. Boiten, Steve A. Schneider:
Editorial. Formal Aspects Comput. 26(1): 1-2 (2014) - [j29]Eerke A. Boiten, John Derrick, Steve Reeves:
Editorial. Formal Aspects Comput. 26(2): 195 (2014) - [j27]John Derrick, Eerke A. Boiten:
Relational concurrent refinement part III: traces, partial relations and automata. Formal Aspects Comput. 26(2): 407-432 (2014) - [c38]Eerke A. Boiten, Jeremy Jacob:
Sealed Containers in Z. ABZ 2014: 136-141 - 2013
- [j26]Eerke A. Boiten, John Derrick:
From ODP viewpoint consistency to Integrated Formal Methods. Comput. Stand. Interfaces 35(3): 269-276 (2013) - [e10]John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. EPTCS 115, 2013 [contents] - 2012
- [j25]Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves:
Editorial. Formal Aspects Comput. 24(1): 1 (2012) - 2011
- [j23]Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Selected papers of the Refinement Workshop Turku (2008). Sci. Comput. Program. 76(9): 737-738 (2011) - [c37]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement: Timed Refinement. FMOODS/FORTE 2011: 121-137 - [e9]John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS 55, 2011 [contents] - 2010
- [j22]Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith:
Editorial. Formal Aspects Comput. 22(1): 1 (2010) - [j21]Eerke A. Boiten, John Derrick:
Incompleteness of relational simulations in the blocking paradigm. Sci. Comput. Program. 75(12): 1262-1269 (2010) - 2009
- [j19]Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Relational concurrent refinement part II: Internal operations and outputs. Formal Aspects Comput. 21(1-2): 65-102 (2009) - [c34]Eerke A. Boiten, John Derrick:
Modelling Divergence in Relational Concurrent Refinement. IFM 2009: 183-199 - [c33]Eerke A. Boiten, John Derrick, Steve Reeves:
Preface. REFINE@FMWeek 2009: 1 - [c32]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement: Automata. REFINE@FMWeek 2009: 21-34 - [e8]Eerke A. Boiten, John Derrick, Steve Reeves:
Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009. Electronic Notes in Theoretical Computer Science 259, Elsevier 2009 [contents] - 2008
- [c30]Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Preface. Refine@FM 2008: 1 - [c29]John Derrick, Eerke A. Boiten:
More Relational Concurrent Refinement: Traces and Partial Relations. Refine@FM 2008: 255-276 - [e7]Eerke A. Boiten, John Derrick, Graeme Smith:
Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007. Electronic Notes in Theoretical Computer Science 201, Elsevier 2008 [contents] - [e6]Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008. Electronic Notes in Theoretical Computer Science 214, Elsevier 2008 [contents] - 2007
- [c28]Eerke A. Boiten, John Derrick, Graeme Smith:
Preface. REFINE@IFM 2007: 1 - [e5]Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 187, Elsevier 2007 [contents] - 2006
- [j18]Eerke A. Boiten, Michael J. Butler:
Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". Formal Aspects Comput. 18(3): 263 (2006) - [c26]Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
Preface. Refine@ICFEM 2006: 1 - [c25]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement with Internal Operations. Refine@ICFEM 2006: 35-53 - 2005
- [j17]Eerke A. Boiten, John Derrick, Graeme Smith:
Guest Editorial Integrated Formal Methods. Formal Aspects Comput. 17(4): 389-389 (2005) - [c24]Eerke A. Boiten, John Derrick:
Formal Program Development with Approximations. ZB 2005: 374-392 - [c23]John Derrick, Eerke A. Boiten:
Preface. REFINE 2005: 1-3 - [e4]John Derrick, Eerke A. Boiten:
Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005. Electronic Notes in Theoretical Computer Science 137(2), Elsevier 2005 [contents] - 2004
- [j16]Eerke A. Boiten, Bernhard Möller:
Foreword. Sci. Comput. Program. 51(1-2): 1-2 (2004) - [e3]Eerke A. Boiten, John Derrick, Graeme Smith:
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 [contents] - 2003
- [j15]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement. Formal Aspects Comput. 15(2-3): 182-214 (2003) - [j13]Eerke A. Boiten, John Derrick:
A Relational Framework for the Integration of Specifications. Trans. SDPS 7(3): 39-48 (2003) - [c21]John Derrick, Eerke A. Boiten:
Recent Advances in Refinement. Abstract State Machines 2003: 33-56 - 2002
- [j12]John Derrick, Eerke A. Boiten:
Combining Component Specifications in Object-Z and CSP. Formal Aspects Comput. 13(2): 111-127 (2002) - [j11]Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick:
A Formal Framework for Viewpoint Consistency. Formal Methods Syst. Des. 21(2): 111-166 (2002) - [j10]Chris Taylor, Eerke A. Boiten, John Derrick:
ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proc. Softw. 149(2): 57-63 (2002) - [c20]Chris Taylor, Eerke A. Boiten, John Derrick:
Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS 2002: 61-76 - [c19]Ralph Miarka, John Derrick, Eerke A. Boiten:
Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB 2002: 204-225 - [c17]John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
Preface. Refine 2002: 1-2 - [c16]Eerke A. Boiten, John Derrick:
Unifying concurrent and relational refinement. Refine 2002: 94-131 - [e2]Eerke A. Boiten, Bernhard Möller:
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 [contents] - [e1]John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002. Electronic Notes in Theoretical Computer Science 70(3), Elsevier 2002 [contents] - 2000
- [j9]Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen:
Viewpoint consistency in ODP. Comput. Networks 34(3): 503-537 (2000) - [c15]John Derrick, Eerke A. Boiten:
Refinement of objects and operations in Object-Z. FMOODS 2000: 257-277 - [c14]Chris Taylor, John Derrick, Eerke A. Boiten:
A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM 2000: 177-188 - [c13]Eerke A. Boiten, John Derrick:
Liberating Data Refinement. MPC 2000: 144-166 - [c12]Ralph Miarka, Eerke A. Boiten, John Derrick:
Guards, Preconditions, and Refinement in Z. ZB 2000: 286-303 - 1999
- [j8]John Derrick, Eerke A. Boiten:
Calculating upward and downward simulations of state-based specifications. Inf. Softw. Technol. 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. Verification Reliab. 9(1): 27-50 (1999) - [c11]John Derrick, Eerke A. Boiten:
Non-atomic Refinement in Z. World Congress on Formal Methods 1999: 1477-1496 - [c10]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 Aspects Comput. 10(2): 125-159 (1998) - [c9]Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman:
Consistency of Partial Process Specifications. AMAST 1998: 248-262 - [c8]John Derrick, Eerke A. Boiten:
Testing Refinements by Refining Tests. ZUM 1998: 265-283 - 1997
- [c7]Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen:
Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664 - [c6]Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten:
Disjunction of LOTOS Specifications. FORTE 1997: 177-192 - [c5]John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen:
Weak Refinement in Z. ZUM 1997: 369-388 - 1996
- [c4]Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen:
Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306 - [c3]John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen:
Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516 - [c2]Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen:
Issues in multiparadigm viewpoint specification. ISAW/Viewpoints@FSE 1996: 162-166 - 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)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-29 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint