| Generating annotated behavior models from end-user scenarios C Damas, B Lambeau, P Dupont, A Van Lamsweerde IEEE Transactions on Software Engineering 31 (12), 1056-1073, 2005 | 174 | 2005 |
| Scenarios, goals, and state machines: a win-win partnership for model synthesis C Damas, B Lambeau, A Van Lamsweerde Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006 | 143 | 2006 |
| The QSM algorithm and its application to software behavior model induction P Dupont, B Lambeau, C Damas, A Lamsweerde Applied artificial intelligence 22 (1-2), 77-115, 2008 | 85 | 2008 |
| STAMINA: a competition to encourage the development and assessment of software model inference techniques N Walkinshaw, B Lambeau, C Damas, K Bogdanov, P Dupont Empirical software engineering 18 (4), 791-824, 2013 | 63 | 2013 |
| Analyzing critical process models through behavior model synthesis C Damas, B Lambeau, F Roucoux, A Van Lamsweerde 2009 IEEE 31st International Conference on Software Engineering, 441-451, 2009 | 46 | 2009 |
| State-merging DFA induction algorithms with mandatory merge constraints B Lambeau, C Damas, P Dupont International Colloquium on Grammatical Inference, 139-153, 2008 | 37 | 2008 |
| A framework for the competitive evaluation of model inference techniques N Walkinshaw, K Bogdanov, C Damas, B Lambeau, P Dupont Proceedings of the First International Workshop on Model Inference In …, 2010 | 29 | 2010 |
| Analyzing critical decision-based processes C Damas, B Lambeau, A van Lamsweerde IEEE Transactions on Software Engineering 40 (4), 338-365, 2014 | 10 | 2014 |
| Modeling car crash management with KAOS A Cailliau, C Damas, B Lambeau, A van Lamsweerde 2013 3rd International Workshop on Comparing Requirements Modeling …, 2013 | 10 | 2013 |
| Transformation operators for easier engineering of medical process models C Damas, B Lambeau, A van Lamsweerde 2013 5th International Workshop on Software Engineering in Health Care (SEHC …, 2013 | 9 | 2013 |
| Process execution and enactment in medical environments B Lambeau, C Damas, A van Lamsweerde Software Engineering in Health Care: 4th International Symposium, FHIES 2014 …, 2017 | 5 | 2017 |
| Generating process models in multi-view environments C Damas, B Lambeau, A van Lamsweerde Dependable Software Systems Engineering, 105-127, 2015 | 2 | 2015 |
| Analyzing multi-view models of software systems. C Damas Catholic University of Louvain, Louvain-la-Neuve, Belgium, 2011 | 2 | 2011 |
| COOL: a Car pOOLing support system C Damas, B Lambeau, A van Lamsweerde Technical report, Université catholique de Louvain, 2010 | 1 | 2010 |
Bernard LambeauICTEAM, EPL, Université catholique de LouvainVerified email at uclouvain.be
