Travelled to:
1 × Canada
1 × USA
Collaborated with:
B.Lambeau A.v.Lamsweerde F.Roucoux
Talks about:
model (3) synthesi (2) win (2) partnership (1) scenario (1) behavior (1) process (1) machin (1) critic (1) analyz (1)
Person: Christophe Damas
DBLP: Damas:Christophe
Contributed to:
Wrote 2 papers:
- ICSE-2009-DamasLRL #behaviour #modelling #process #synthesis
- Analyzing critical process models through behavior model synthesis (CD, BL, FR, AvL), pp. 441–451.
- FSE-2006-DamasLL #state machine #synthesis
- Scenarios, goals, and state machines: a win-win partnership for model synthesis (CD, BL, AvL), pp. 197–207.