Bernard Lambeau

Bernard Lambeau

Université Catholique de Louvain - Louvain-la-Neuve / Belgium
Engineering & Technology / Computer Science
AD Scientific Index ID: 1396733
Catholic University of Louvain
person_outline Bernard Lambeau's MOST POPULAR ARTICLES
1-) Generating annotated behavior models from end-user scenariosC Damas, B Lambeau, P Dupont, A Van LamsweerdeIEEE Transactions on Software Engineering 31 (12), 1056-1073, 20051722005
2-) Scenarios, goals, and state machines: a win-win partnership for model synthesisC Damas, B Lambeau, A Van LamsweerdeProceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 20061362006
3-) The QSM algorithm and its application to software behavior model inductionP Dupont, B Lambeau, C Damas, A LamsweerdeApplied Artificial Intelligence 22 (1-2), 77-115, 2008792008
4-) STAMINA: a competition to encourage the development and assessment of software model inference techniquesN Walkinshaw, B Lambeau, C Damas, K Bogdanov, P DupontEmpirical software engineering 18 (4), 791-824, 2013632013
5-) Analyzing critical process models through behavior model synthesisC Damas, B Lambeau, F Roucoux, A Van Lamsweerde2009 IEEE 31st International Conference on Software Engineering, 441-451, 2009462009