I'm interested in behavioural models and formal scenario notations. Especially MSC variants with trigger and partial behavioural models such as Modal Transition System (MTS).
Currently I'm working on synthesis of Modal Transition Systems from triggered scenarios.
Publications:
Existential Live Sequence Charts Revisited. German Sibay, Sebastian Uchitel, Víctor A. Braberman. 30th IEEE/ACM International Conference on Software Engineering (ICSE), Leipzig, 2008.