Generating Annotated Behavior Models from End-User Scenarios. - Christophe Damas; Bernard Lambeau; Pierre Dupont; Axel van Lamsweerde (IEEE Trans. Software Eng., 2005)

Scenarios, goals, and state machines: a win-win partnership for model synthesis. - Christophe Damas; Bernard Lambeau; Axel van Lamsweerde (SIGSOFT FSE, 2006)

State-Merging DFA Induction Algorithms with Mandatory Merge Constraints. - Bernard Lambeau; Christophe Damas; Pierre Dupont (ICGI, 2008)

The QSM Algorithm and its Application to Software Behavior Model Induction. - Pierre Dupont; Bernard Lambeau; Christophe Damas; Axel van Lamsweerde (Appl. Artif. Intell., 2008)

Analyzing critical process models through behavior model synthesis. - Christophe Damas; Bernard Lambeau; François Roucoux; Axel van Lamsweerde (ICSE, 2009)

Synthesizing multi-view models of software systems. - Bernard Lambeau (2011)

Transformation operators for easier engineering of medical process models. - Christophe Damas; Bernard Lambeau; Axel van Lamsweerde (SEHC@ICSE, 2013)

STAMINA: a competition to encourage the development and assessment of software model inference techniques. - Neil Walkinshaw; Bernard Lambeau; Christophe Damas; Kirill Bogdanov 002; Pierre Dupont (Empir. Softw. Eng., 2013)

Process Execution and Enactment in Medical Environments. - Bernard Lambeau; Christophe Damas; Axel van Lamsweerde (FHIES/SEHC, 2014)

Analyzing Critical Decision-Based Processes. - Christophe Damas; Bernard Lambeau; Axel van Lamsweerde (IEEE Trans. Software Eng., 2014)

Generating Process Models in Multi-View Environments. - Christophe Damas; Bernard Lambeau; Axel van Lamsweerde (Dependable Software Systems Engineering, 2015)

Decision Making Support in the Scheduling of Chemotherapy Coping with Quality of Care, Resources and Ethical Constraints. - Christophe Ponsard; Renaud De Landtsheer; Yoann Guyot; François Roucoux; Bernard Lambeau (ICEIS (1), 2017)

Quality of Care Driven Scheduling of Clinical Pathways Under Resource and Ethical Constraints. - Christophe Ponsard; Renaud De Landtsheer; Yoann Guyot; François Roucoux; Bernard Lambeau (ICEIS (Revised Selected Papers), 2017)