 | 2009 |
|---|
| 5 |       | Christophe Damas,
Bernard Lambeau,
Francois Roucoux,
Axel van Lamsweerde:
Analyzing critical process models through behavior model synthesis.
ICSE 2009: 441-451 |
| 2008 |
|---|
| 4 | | Bernard Lambeau,
Christophe Damas,
Pierre Dupont:
State-Merging DFA Induction Algorithms with Mandatory Merge Constraints.
ICGI 2008: 139-153 |
| 3 | | Pierre Dupont,
Bernard Lambeau,
Christophe Damas,
Axel van Lamsweerde:
The QSM Algorithm and its Application to Software Behavior Model Induction.
Applied Artificial Intelligence 22(1&2): 77-115 (2008) |
| 2006 |
|---|
| 2 | | Christophe Damas,
Bernard Lambeau,
Axel van Lamsweerde:
Scenarios, goals, and state machines: a win-win partnership for model synthesis.
SIGSOFT FSE 2006: 197-207 |
| 2005 |
|---|
| 1 | | Christophe Damas,
Bernard Lambeau,
Pierre Dupont,
Axel van Lamsweerde:
Generating Annotated Behavior Models from End-User Scenarios.
IEEE Trans. Software Eng. 31(12): 1056-1073 (2005) |
