Author: Marsha Chechik

Publications

Co-authors

Shiva Nejati

1

Sotirios Liaskos

1

Steve M. Easterbrook

2

Productive Colleagues

Mehrdad Sabetzadeh

4

Sotirios Liaskos

6

Steve M. Easterbrook

24

Publications

Easterbrook, Steve M., Chechik, Marsha (2002): Guest Editorial: Special Issue on Model Checking in Requirements Engineering. In Requir. Eng., 7 (4) pp. 221-224. https://dx.doi.org/10.1007/s007660200017

Paun, Dimitrie O., Chechik, Marsha (1999): Events in Linear-Time Properties. In: 4th IEEE International Symposium on Requirements Engineering RE 99 7-11 June, 1999, Limerick, Ireland. pp. 123-132. https://csdl.computer.org/comp/proceedings/re/1999/0188/00/01880123abs.htm

Sabetzadeh, Mehrdad, Nejati, Shiva, Liaskos, Sotirios, Easterbrook, Steve M., Chechik, Marsha (2007): Consistency Checking of Conceptual Models via Model Merging. In: 15th IEEE International Requirements Engineering Conference RE 2007 October 15-19th, 2007, New Delhi, India. pp. 221-230. https://dx.doi.org/10.1109/RE.2007.18