Follow
Christophe Damas
Christophe Damas
Institut Paul Lambin
Verified email at ipl.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
1422006
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
852008
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
622013
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
432009
State-merging DFA induction algorithms with mandatory merge constraints
B Lambeau, C Damas, P Dupont
International Colloquium on Grammatical Inference, 139-153, 2008
372008
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
302010
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
Generating Process Models in Multi-View Environments.
C Damas, B Lambeau, A van Lamsweerde
Dependable Software Systems Engineering, 105-127, 2015
22015
Analyzing multi-view models of software systems.
C Damas
Catholic University of Louvain, Louvain-la-Neuve, Belgium, 2011
22011
COOL: a Car pOOLing support system
C Damas, B Lambeau, A van Lamsweerde
Technical report, Université catholique de Louvain, 2010
12010
The system can't perform the operation now. Try again later.
Articles 1–14