The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thai Son Hoang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
    Probabilistic Invariants for Probabilistic Machines. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:240-259 [Conf]
  2. Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
    Development via Refinement in Probabilistic B - Foundation and Case Study. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:355-373 [Conf]
  3. Annabelle McIver, Carroll Morgan, Thai Son Hoang
    Probabilistic Termination in B. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:216-239 [Conf]
  4. Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial
    The Challenge of Probabilistic Event B - Extended Abstract. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:162-171 [Conf]
  5. Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
    Tank Monitoring: A pAMN Case Study. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:183-204 [Journal]
  6. Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
    Tank monitoring: a pAMN case study. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:3, pp:308-328 [Journal]
  7. Stefan Hallerstede, Thai Son Hoang
    Qualitative Probabilistic Modelling in Event-B. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:293-312 [Conf]

  8. Event-B Decomposition for Parallel Programs. [Citation Graph (, )][DBLP]


  9. Using Design Patterns in Formal Methods: An Event-B Approach. [Citation Graph (, )][DBLP]


  10. Developing Topology Discovery in Event-B. [Citation Graph (, )][DBLP]


  11. Event-B Patterns and Their Tool Support. [Citation Graph (, )][DBLP]


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