Christophe Damas
Christophe Damas
Institut Paul Lambin
Adresse e-mail validée de ipl.be
Titre
Citée par
Citée par
Année
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
1612005
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
1182006
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
662008
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
512013
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
412009
State-merging DFA induction algorithms with mandatory merge constraints
B Lambeau, C Damas, P Dupont
International Colloquium on Grammatical Inference, 139-153, 2008
312008
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
212010
Analyzing critical decision-based processes
C Damas, B Lambeau, A van Lamsweerde
IEEE Transactions on Software Engineering 40 (4), 338-365, 2014
92014
Modeling car crash management with KAOS
A Cailliau, C Damas, B Lambeau, A van Lamsweerde
2013 3rd International Workshop on Comparing Requirements Modeling …, 2013
92013
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, 145-161, 2014
32014
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–14