| 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 | 173 | 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 |
| Carpooling, a vehicle routing approach C Mulders, B Lambeau Université catholique de Louvain, Thesis submitted for the Master in …, 2012 | 5 | 2012 |
| Decision Making Support in the Scheduling of Chemotherapy Coping with Quality of Care, Resources and Ethical Constraints. C Ponsard, R De Landtsheer, Y Guyot, F Roucoux, B Lambeau ICEIS (1), 460-470, 2017 | 3 | 2017 |
| Generating process models in multi-view environments C Damas, B Lambeau, A van Lamsweerde Dependable Software Systems Engineering, 105-127, 2015 | 2 | 2015 |
| Synthesizing Multi-View Models of Software Systems B Lambeau Universite catholique de Louvain, 2011 | 1 | 2011 |
| COOL: a Car pOOLing support system C Damas, B Lambeau, A van Lamsweerde Technical report, Université catholique de Louvain, 2010 | 1 | 2010 |
| Quality of Care Driven Scheduling of Clinical Pathways Under Resource and Ethical Constraints C Ponsard, R De Landtsheer, Y Guyot, F Roucoux, B Lambeau Enterprise Information Systems: 19th International Conference, ICEIS 2017 …, 2018 | | 2018 |
| Managing the Evolution of Information Systems with Intensional Views D Colpaert, K Mens, B Lambeau BENEVOL 2014, 2014 | | 2014 |
| " Contributions fonctionnelles à JALF: l’algèbre relationnelle en Java AF Van Swieten, A Hirwa, B Lambeau | | |
| Richer types for relational database systems: an investigation T Yan, B Lambeau, Y Deville | | |
Axel van LamsweerdeProfessor Emeritus, ICTEAM Institute, EPL, Université catholique de LouvainVerified email at uclouvain.be
