The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Poppleton: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Richard Banach, Michael Poppleton
    Retrenchment: An Engineering Variation on Refinement. [Citation Graph (0, 0)][DBLP]
    B, 1998, pp:129-147 [Conf]
  2. Letu Yang, Michael Poppleton
    Automatic Translation from Combined B and CSP Specification to Java Programs. [Citation Graph (0, 0)][DBLP]
    B, 2007, pp:64-78 [Conf]
  3. Richard Banach, Michael Poppleton
    Retrenchment. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1864-1865 [Conf]
  4. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
    Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:382-398 [Conf]
  5. Michael Poppleton, Richard Banach
    Structuring Retrenchments in B by Decomposition. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:814-833 [Conf]
  6. Michael Poppleton, Richard Banach
    Requirements Validation by Lifting Retrenchments in B. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2004, pp:87-96 [Conf]
  7. Richard Banach, Michael Poppleton
    Fragmented Retrenchment, Concurrency and Fairness. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:143-0 [Conf]
  8. Richard Banach, Michael Poppleton
    Retrenchment and Punctured Simulation. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:457-476 [Conf]
  9. Michael Poppleton
    The Single Transferable Voting System: Functional Decomposition in Formal Specification. [Citation Graph (0, 0)][DBLP]
    IWFM, 1997, pp:- [Conf]
  10. Michael Poppleton, Richard Banach
    Retrenchment: Extending Refinement for Continuous and Control Systems. [Citation Graph (0, 0)][DBLP]
    IWFM, 2000, pp:- [Conf]
  11. Michael Poppleton, Richard Banach
    Retrenchment: Extending the Reach of Refinement. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:158-165 [Conf]
  12. Richard Banach, Michael Poppleton
    Retrenchment, Refinement, and Simulation. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:304-323 [Conf]
  13. Michael Poppleton, Richard Banach
    Controlling Control Systems: An Application of Evolving Retrenchment. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:42-61 [Conf]
  14. Colin Snook, Michael Poppleton, Ian Johnson
    Towards a Method for Rigorous Development of Generic Requirements Patterns. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:326-342 [Conf]
  15. Richard Banach, Michael Poppleton, Susan Stepney
    Retrenching the Purse: Finite Exception Logs, and Validating the Small. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:234-248 [Conf]
  16. Richard Banach, Michael Poppleton
    Sharp Retrenchment, Modulated Refinement and Simulation. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:5, pp:498-540 [Journal]
  17. Richard Banach, Michael Poppleton
    Retrenching partial requirements into system definitions: a simple feature interaction case study. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2003, v:8, n:4, pp:266-288 [Journal]
  18. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
    Retrenchment and the Mondex Electronic Purse. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:41-48 [Conf]
  19. Michael Poppleton
    Towards Feature-Oriented Specification and Development with Event-B. [Citation Graph (0, 0)][DBLP]
    REFSQ, 2007, pp:367-381 [Conf]
  20. Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney
    Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:77, n:1-2, pp:29-69 [Journal]
  21. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
    Engineering and theoretical underpinnings of retrenchment. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:67, n:2-3, pp:301-329 [Journal]

  22. The Composition of Event-B Models. [Citation Graph (, )][DBLP]


  23. A Basis for Feature-Oriented Modelling in Event-B. [Citation Graph (, )][DBLP]


  24. Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. [Citation Graph (, )][DBLP]


  25. JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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