Bernard Lambeau
Bernard Lambeau
Adresse e-mail validée de uclouvain.be
Titre
Citée par
Citée par
Année
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
1562005
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
1172006
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
662008
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
502013
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
412009
State-merging DFA induction algorithms with mandatory merge constraints
B Lambeau, C Damas, P Dupont
International Colloquium on Grammatical Inference, 139-153, 2008
302008
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
212010
Analyzing critical decision-based processes
C Damas, B Lambeau, A van Lamsweerde
IEEE Transactions on Software Engineering 40 (4), 338-365, 2014
92014
Modeling car crash management with KAOS
A Cailliau, C Damas, B Lambeau, A van Lamsweerde
2013 3rd International Workshop on Comparing Requirements Modeling …, 2013
92013
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
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
Process execution and enactment in medical environments
B Lambeau, C Damas, A van Lamsweerde
Software Engineering in Health Care, 145-161, 2014
32014
Generating Process Models in Multi-View Environments.
C Damas, B Lambeau, A van Lamsweerde
Dependable Software Systems Engineering, 105-127, 2015
22015
Carpooling, a vehicle routing approach
C Mulders, B Lambeau
Université catholique de Louvain, Thesis submitted for the Master in …, 2012
22012
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20