Travelled to:1 × Finland
1 × Germany
1 × Italy
1 × United Kingdom
1 × Vietnam
Collaborated with:J.Abrial A.Fürst S.Hudon S.Hallerstede D.A.Basin H.Kuruma K.Desai N.Sato K.Miyazaki
Talks about:event (4) probabilist (1) discoveri (1) progress (1) topolog (1) support (1) pattern (1) generat (1) develop (1) concern (1)
Person: Thai Son Hoang
DBLP: Hoang:Thai_Son
Contributed to:
201420132009
20092007Wrote 5 papers:
- IFM-2014-FurstHBDSM #code generation
- Code Generation for Event-B (AF, TSH, DAB, KD, NS, KM), pp. 323–338.
- IFM-2013-HudonH #design
- Systems Design Guided by Progress Concerns (SH, TSH), pp. 16–30.
- IFM-2009-HoangKBA
- Developing Topology Discovery in Event-B (TSH, HK, DAB, JRA), pp. 1–19.
- SEFM-2009-HoangFA #tool support
- Event-B Patterns and Their Tool Support (TSH, AF, JRA), pp. 210–219.
- IFM-2007-HallerstedeH #modelling #probability
- Qualitative Probabilistic Modelling in Event-B (SH, TSH), pp. 293–312.