The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eerke A. Boiten: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marius C. Bujorianu, Eerke A. Boiten
    Towards Correspondence Carrying Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:57-71 [Conf]
  2. Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman
    Consistency of Partial Process Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:248-262 [Conf]
  3. John Derrick, Eerke A. Boiten
    Recent Advances in Refinement. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:33-56 [Conf]
  4. Eerke A. Boiten
    Parsing in ISBES. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:423-433 [Conf]
  5. Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
    Viewpoint Consistency in Z and LOTOS: A Case Study. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:644-664 [Conf]
  6. Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
    Consistency and Refinement for Partial Specification in Z. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:287-306 [Conf]
  7. John Derrick, Eerke A. Boiten
    Non-atomic Refinement in Z. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1477-1496 [Conf]
  8. John Derrick, Eerke A. Boiten
    Refinement of objects and operations in Object-Z. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:257-0 [Conf]
  9. Chris Taylor, Eerke A. Boiten, John Derrick
    Interpreting ODP Viewpoint Specification: Observations from a Case Study. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:61-76 [Conf]
  10. John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen
    Comparing LOTOS and Z Refinement Relations. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:501-516 [Conf]
  11. Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten
    Disjunction of LOTOS Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:177-192 [Conf]
  12. Chris Taylor, John Derrick, Eerke A. Boiten
    A Case Study in Partial Specification: Consistency and Refinement for Object-Z. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:177-0 [Conf]
  13. John Derrick, Eerke A. Boiten
    Specifying Component and Context Specification Using Promotion. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:293-312 [Conf]
  14. Eerke A. Boiten, John Derrick
    Liberating Data Refinement. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:144-166 [Conf]
  15. John Derrick, Eerke A. Boiten
    Testing Refinements by Refining Tests. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:265-283 [Conf]
  16. John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
    Weak Refinement in Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:369-388 [Conf]
  17. Eerke A. Boiten
    Loose Specification and Refinement in Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:226-241 [Conf]
  18. Eerke A. Boiten, John Derrick
    Formal Program Development with Approximations. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:374-392 [Conf]
  19. Ralph Miarka, Eerke A. Boiten, John Derrick
    Guards, Preconditions, and Refinement in Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:286-303 [Conf]
  20. Ralph Miarka, John Derrick, Eerke A. Boiten
    Handling Inconsistencies in Z Using Quasi-Classical Logic. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:204-225 [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:547-554 [Journal]
  22. Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen
    Viewpoint consistency in ODP. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2000, v:34, n:3, pp:503-537 [Journal]
  23. Eerke A. Boiten, John Derrick
    Unifying concurrent and relational refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  24. John Derrick, Eerke A. Boiten
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:1-3 [Journal]
  25. John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  26. John Derrick, Eerke A. Boiten
    Combining Component Specifications in Object-Z and CSP. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:2, pp:111-127 [Journal]
  27. John Derrick, Eerke A. Boiten
    Relational Concurrent Refinement. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:2-3, pp:182-214 [Journal]
  28. John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
    Specifying and Refining Internal Operations in Z. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:2, pp:125-159 [Journal]
  29. Eerke A. Boiten, John Derrick, Graeme Smith
    Guest Editorial Integrated Formal Methods. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:4, pp:389-389 [Journal]
  30. Eerke A. Boiten, Michael Butler
    Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:3, pp:263- [Journal]
  31. Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick
    A Formal Framework for Viewpoint Consistency. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:2, pp:111-166 [Journal]
  32. Chris Taylor, Eerke A. Boiten, John Derrick
    ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 2002, v:149, n:2, pp:57-63 [Journal]
  33. John Derrick, Eerke A. Boiten
    Calculating upward and downward simulations of state-based specifications. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:13, pp:917-923 [Journal]
  34. 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. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:3, pp:131-136 [Journal]
  35. Eerke A. Boiten
    "Concepts in Programming Languages" by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:6, pp:1087-1088 [Journal]
  36. Eerke A. Boiten
    Improving Recursive Functions by Inverting the Order of Evaluation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1992, v:18, n:2, pp:139-179 [Journal]
  37. Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
    Constructive Consistency Checking for Partial Specification in Z. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:35, n:1, pp:29-75 [Journal]
  38. Eerke A. Boiten, Bernhard Möller
    Foreword. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:51, n:1-2, pp:1-2 [Journal]
  39. Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen
    Strategies for Consistency Checking Based on Unification. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:33, n:3, pp:261-298 [Journal]
  40. John Derrick, Eerke A. Boiten
    Testing Refinements of State-based Formal Specifications. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1999, v:9, n:1, pp:27-50 [Journal]
  41. Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:1- [Journal]
  42. John Derrick, Eerke A. Boiten
    Relational Concurrent Refinement with Internal Operations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:35-53 [Journal]

  43. From ABZ to Cryptography. [Citation Graph (, )][DBLP]


  44. Modelling Divergence in Relational Concurrent Refinement. [Citation Graph (, )][DBLP]


  45. The Logic of Large Enough. [Citation Graph (, )][DBLP]


  46. Reduction and Refinement. [Citation Graph (, )][DBLP]


  47. Preface. [Citation Graph (, )][DBLP]


  48. Preface. [Citation Graph (, )][DBLP]


  49. More Relational Concurrent Refinement: Traces and Partial Relations. [Citation Graph (, )][DBLP]


  50. Relational Concurrent Refinement: Automata. [Citation Graph (, )][DBLP]


  51. Preface. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002