|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei |
A Survey on Event-B Decomposition.  |
ECEASST  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Renato Silva, Carine Pascal, Thai Son Hoang, Michael Butler |
Decomposition tool for event-B. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Hudon, Thai Son Hoang |
Development of Control Systems Guided by Models of their Environment. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thai Son Hoang, Jean-Raymond Abrial |
Reasoning about Liveness Properties in Event-B. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emre Yilmaz, Thai Son Hoang |
Development of Rabin's Choice Coordination Algorithm in Event-B. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thai Son Hoang, Jean-Raymond Abrial |
Event-B Decomposition for Parallel Programs. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial |
Developing topology discovery in Event-B. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thai Son Hoang, Andreas Furst, Jean-Raymond Abrial |
Event-B Patterns and Their Tool Support. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial |
Developing Topology Discovery in Event-B. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Raymond Abrial, Thai Son Hoang |
Using Design Patterns in Formal Methods: An Event-B Approach. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hallerstede, Thai Son Hoang |
Qualitative Probabilistic Modelling in Event-B. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne |
Tank monitoring: a pAMN case study. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Probabilistic B, Probabilistic predicate transformers, Formal methods, Refinement |
| 1 | Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne |
Tank Monitoring: A pAMN Case Study. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan |
Development via Refinement in Probabilistic B - Foundation and Case Study. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial |
The Challenge of Probabilistic Event B - Extended Abstract. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Annabelle McIver, Carroll Morgan, Thai Son Hoang |
Probabilistic Termination in B. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan |
Probabilistic Invariants for Probabilistic Machines. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions |
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")