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

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)