|
Search the dblp DataBase
Christophe Damas:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Scenarios, goals, and state machines: a win-win partnership for model synthesis. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 2006, pp:197-207 [Conf]
- Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde
Generating Annotated Behavior Models from End-User Scenarios. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2005, v:31, n:12, pp:1056-1073 [Journal]
State-Merging DFA Induction Algorithms with Mandatory Merge Constraints. [Citation Graph (, )][DBLP]
Analyzing critical process models through behavior model synthesis. [Citation Graph (, )][DBLP]
The QSM Algorithm and its Application to Software Behavior Model Induction. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|