Bibliothèqueèque fr2009 Université catholique de Louvaininfo-portail@uclouvain.beImproving the Model Checking of Strategies under Partial Observability and Fairness Constraints Simon Busard, Assistant de recherche en INGI, sous la supervision du Professeur Charles Pecheur. Cet article a été présenté au "16th International Conference on Formal Engineering Methods, ICFEM 2014" à Luxembourg.Wed, 19 Nov 2014 12:12:37 UTIntegrating Exceptions in Goal Models Antoine Cailliau, Research Assistant INGI, under the supervision of Professor Axel van Lamsweerde. This paper will be presented next august in Sweden at 22nd IEEE International Requirements Engineering Conference (, 28 May 2014 09:00:40 UTMetamodeling for Method EngineeringThu, 30 Oct 2014 22:37:41 UT