Bernard Lambeau
Bernard Lambeau
Verified email at uclouvain.be
Title
Cited by
Cited by
Year
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
1742005
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
1302006
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
752008
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
542013
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
432009
State-merging DFA induction algorithms with mandatory merge constraints
B Lambeau, C Damas, P Dupont
International Colloquium on Grammatical Inference, 139-153, 2008
322008
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
242010
Modeling car crash management with KAOS
A Cailliau, C Damas, B Lambeau, A van Lamsweerde
2013 3rd International Workshop on Comparing Requirements Modeling …, 2013
102013
Analyzing critical decision-based processes
C Damas, B Lambeau, A van Lamsweerde
IEEE Transactions on Software Engineering 40 (4), 338-365, 2014
92014
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
82013
Process execution and enactment in medical environments
B Lambeau, C Damas, A van Lamsweerde
Software Engineering in Health Care, 145-161, 2014
42014
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
32017
Carpooling, a vehicle routing approach
C Mulders, B Lambeau
Université catholique de Louvain, Thesis submitted for the Master in …, 2012
32012
Generating Process Models in Multi-View Environments.
C Damas, B Lambeau, A van Lamsweerde
Dependable Software Systems Engineering, 105-127, 2015
22015
Synthesizing Multi-View Models of Software Systems
B Lambeau
Universite catholique de Louvain, 2011
12011
COOL: a Car pOOLing support system
C Damas, B Lambeau, A van Lamsweerde
Technical report, Université catholique de Louvain, 2010
12010
Quality of Care Driven Scheduling of Clinical Pathways Under Resource and Ethical Constraints
F Roucoux, B Lambeau
Enterprise Information Systems: 19th International Conference, ICEIS 2017 …, 2018
2018
Quality of Care Driven Scheduling of Clinical Pathways Under Resource and Ethical Constraints
C Ponsard, R De Landtsheer, Y Guyot, F Roucoux, B Lambeau
International Conference on Enterprise Information Systems, 162-186, 2017
2017
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
The system can't perform the operation now. Try again later.
Articles 1–20