Christophe Damas

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Inter Organizational

Business Process

Top Venues

Empir. Softw. Eng.

IEEE Trans. Software Eng.

Catholic University of Louvain, Louvain-la-Neuve, Belgium (PHD)

Education History

Catholic University of Louvain, Louvain-la-Neuve, Belgium

PHD

Publications

Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Analyzing Critical Decision-Based Processes. IEEE Trans. Software Eng. 40 (4) (2014)
Bernard Lambeau, Christophe Damas, Axel van Lamsweerde
Process Execution and Enactment in Medical Environments. FHIES/SEHC (2014)
Neil Walkinshaw, Bernard Lambeau, Christophe Damas, Kirill Bogdanov, Pierre Dupont
STAMINA: a competition to encourage the development and assessment of software model inference techniques. Empir. Softw. Eng. 18 (4) (2013)
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Transformation operators for easier engineering of medical process models. SEHC@ICSE (2013)
Christophe Damas, Bernard Lambeau, François Roucoux, Axel van Lamsweerde
Analyzing critical process models through behavior model synthesis. ICSE (2009)
Pierre Dupont, Bernard Lambeau, Christophe Damas, Axel van Lamsweerde
The QSM Algorithm and its Application to Software Behavior Model Induction. Appl. Artif. Intell. 22 (1&2) (2008)
Bernard Lambeau, Christophe Damas, Pierre Dupont
State-Merging DFA Induction Algorithms with Mandatory Merge Constraints. ICGI (2008)
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Scenarios, goals, and state machines: a win-win partnership for model synthesis. SIGSOFT FSE (2006)
Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde
Generating Annotated Behavior Models from End-User Scenarios. IEEE Trans. Software Eng. 31 (12) (2005)