Christophe Damas

According to our database, Christophe Damas authored at least 11 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Generating Process Models in Multi-View Environments.

Christophe Damas, Bernard Lambeau, Axel van Lamsweerde

Proceedings of the Dependable Software Systems Engineering, 2015

2014

Analyzing Critical Decision-Based Processes.

Christophe Damas, Bernard Lambeau, Axel van Lamsweerde

IEEE Trans. Software Eng., 2014

Process Execution and Enactment in Medical Environments.

Bernard Lambeau, Christophe Damas, Axel van Lamsweerde

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

2013

STAMINA: a competition to encourage the development and assessment of software model inference techniques.

Neil Walkinshaw, Bernard Lambeau, Christophe Damas, Kirill Bogdanov, Pierre Dupont

Empir. Softw. Eng., 2013

Transformation operators for easier engineering of medical process models.

Christophe Damas, Bernard Lambeau, Axel van Lamsweerde

Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

2011

Analyzing multi-view models of software systems.

Christophe Damas

PhD thesis, 2011

2009

Analyzing critical process models through behavior model synthesis.

Christophe Damas, Bernard Lambeau, François Roucoux, Axel van Lamsweerde

Proceedings of the 31st International Conference on Software Engineering, 2009

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

State-Merging DFA Induction Algorithms with Mandatory Merge Constraints.

Bernard Lambeau, Christophe Damas, Pierre Dupont

Proceedings of the Grammatical Inference: Algorithms and Applications, 2008

2006

Scenarios, goals, and state machines: a win-win partnership for model synthesis.

Christophe Damas, Bernard Lambeau, Axel van Lamsweerde

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

2005

Generating Annotated Behavior Models from End-User Scenarios.

Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde

IEEE Trans. Software Eng., 2005