Follow
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
1412006
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
862008
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
602013
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
442009
State-merging DFA induction algorithms with mandatory merge constraints
B Lambeau, C Damas, P Dupont
International Colloquium on Grammatical Inference, 139-153, 2008
362008
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
292010
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: 4th International Symposium, FHIES 2014 …, 2017
52017
Carpooling, a vehicle routing approach
C Mulders, B Lambeau
Université catholique de Louvain, Thesis submitted for the Master in …, 2012
52012
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20