Thai Son Hoang

	2011
18		Thai Son Hoang, Jean-Raymond Abrial: Reasoning about Liveness Properties in Event-B. ICFEM 2011: 456-471
17		Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei: A Survey on Event-B Decomposition. ECEASST 46: (2011)
16		Simon Hudon, Thai Son Hoang: Development of Control Systems Guided by Models of their Environment. Electr. Notes Theor. Comput. Sci. 280: 57-68 (2011)
15		Renato Silva, Carine Pascal, Thai Son Hoang, Michael Butler: Decomposition tool for event-B. Softw., Pract. Exper. 41(2): 199-208 (2011)
	2010
14		Thai Son Hoang, Jean-Raymond Abrial: Event-B Decomposition for Parallel Programs. ASM 2010: 319-333
13		Emre Yilmaz, Thai Son Hoang: Development of Rabin's Choice Coordination Algorithm in Event-B. ECEASST 35: (2010)
12		Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6): 447-466 (2010)
	2009
11		Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial: Developing Topology Discovery in Event-B. IFM 2009: 1-19
10		Thai Son Hoang, Andreas Furst, Jean-Raymond Abrial: Event-B Patterns and Their Tool Support. SEFM 2009: 210-219
9		Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial: Developing topology discovery in Event-B. Sci. Comput. Program. 74(11-12): 879-899 (2009)
	2008
8		Jean-Raymond Abrial, Thai Son Hoang: Using Design Patterns in Formal Methods: An Event-B Approach. ICTAC 2008: 1-2
	2007
7		Stefan Hallerstede, Thai Son Hoang: Qualitative Probabilistic Modelling in Event-B. IFM 2007: 293-312
	2006
6		Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne: Tank monitoring: a pAMN case study. Formal Asp. Comput. 18(3): 308-328 (2006)
	2005
5		Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial: The Challenge of Probabilistic Event B - Extended Abstract. ZB 2005: 162-171
4		Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan: Development via Refinement in Probabilistic B - Foundation and Case Study. ZB 2005: 355-373
3		Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne: Tank Monitoring: A pAMN Case Study. Electr. Notes Theor. Comput. Sci. 137(2): 183-204 (2005)
	2003
2		Annabelle McIver, Carroll Morgan, Thai Son Hoang: Probabilistic Termination in B. ZB 2003: 216-239
1		Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan: Probabilistic Invariants for Probabilistic Machines. ZB 2003: 240-259

Coauthor Index

1	Jean-Raymond Abrial	[5] [8] [9] [10] [11] [12] [14] [18]
2	David A. Basin	[9] [11]
3	Michael Butler	[15]
4	Michael J. Butler	[12]
5	Andreas Furst	[10]
6	Stefan Hallerstede	[7] [12]
7	Simon Hudon	[16]
8	Alexei Iliasov	[17]
9	Zhendong Jin	[1] [4]
10	Hironobu Kuruma	[9] [11]
11	Annabelle McIver (A. K. McIver)	[1] [2] [4]
12	Farhad Mehta	[12]
13	Carroll Morgan (Carroll C. Morgan)	[1] [2] [4] [5]
14	Carine Pascal	[15]
15	Ken Robinson (Kenneth Arthur Robinson)	[1] [3] [4] [6]
16	Steve A. Schneider (Steve Schneider)	[3] [6]
17	Renato Silva	[15] [17]
18	Helen Treharne	[3] [6]
19	Laurent Voisin	[12]
20	Wei Wei	[17]
21	Emre Yilmaz	[13]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page