دنبال کردن
Marsha Chechik
Marsha Chechik
Professor of Computer Science, University of Toronto
ایمیل تأیید شده در cs.toronto.edu - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
Matching and merging of statecharts specifications‏
S Nejati, M Sabetzadeh, M Chechik, S Easterbrook, P Zave‏
29th International Conference on Software Engineering (ICSE'07), 54-64, 2007‏
3802007
Multi-valued symbolic model-checking‏
M Chechik, B Devereux, S Easterbrook, A Gurfinkel‏
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (4), 371-408, 2003‏
2852003
A framework for multi-valued reasoning over inconsistent viewpoints‏
S Easterbrook, M Chechik‏
Proceedings of the 23rd International Conference on Software Engineering …, 2001‏
2282001
A survey of feature location techniques‏
J Rubin, M Chechik‏
Domain Engineering: Product Lines, Languages, and Conceptual Models, 29-58, 2013‏
2142013
What is a feature? a qualitative study of features in industrial software product lines‏
T Berger, D Lettner, J Rubin, P Grünbacher, A Silva, M Becker, M Chechik, ...‏
Proceedings of the 19th international conference on software product line, 16-25, 2015‏
2122015
A manifesto for model merging‏
G Brunet, M Chechik, S Easterbrook, S Nejati, N Niu, M Sabetzadeh‏
Proceedings of the 2006 international workshop on Global integrated model …, 2006‏
2092006
Partial models: Towards modeling and reasoning with uncertainty‏
M Famelis, R Salay, M Chechik‏
2012 34th International Conference on Software Engineering (ICSE), 573-583, 2012‏
2022012
Merging partial behavioural models‏
S Uchitel, M Chechik‏
ACM SIGSOFT Software Engineering Notes 29 (6), 43-52, 2004‏
1822004
Managing cloned variants: a framework and experience‏
J Rubin, K Czarnecki, M Chechik‏
Proceedings of the 17th international software product line conference, 101-110, 2013‏
1782013
Symbolic optimization with SMT solvers‏
Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik‏
ACM SIGPLAN Notices 49 (1), 607-618, 2014‏
1672014
Synthesis of partial behavior models from properties and scenarios‏
S Uchitel, G Brunet, M Chechik‏
IEEE Transactions on Software Engineering 35 (3), 384-406, 2008‏
1462008
Combining related products into product lines‏
J Rubin, M Chechik‏
International Conference on Fundamental Approaches to Software Engineering …, 2012‏
1362012
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification‏
A Albarghouthi, Y Li, A Gurfinkel, M Chechik‏
International Conference on Computer Aided Verification, 672-678, 2012‏
1342012
Consistency checking of conceptual models via model merging‏
M Sabetzadeh, S Nejati, S Liaskos, S Easterbrook, M Chechik‏
15th IEEE International Requirements Engineering Conference (RE 2007), 221-230, 2007‏
1212007
MTSA: The modal transition system analyser‏
N D'Ippolito, D Fischbein, M Chechik, S Uchitel‏
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008‏
1172008
Runtime monitoring of web service conversations‏
J Simmonds, Y Gan, M Chechik, S Nejati, B O'Farrell, E Litani, ...‏
IEEE Transactions on Services Computing 2 (3), 223-244, 2009‏
1162009
A buffer overflow benchmark for software model checkers‏
K Ku, TE Hart, M Chechik, D Lie‏
Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007‏
1122007
Managing requirements uncertainty with partial models‏
R Salay, M Chechik, J Horkoff, AD Sandro‏
Requirements Engineering 18, 107-128, 2013‏
1112013
N-way model merging‏
J Rubin, M Chechik‏
proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013‏
1092013
Multi-valued model checking via classical model checking‏
A Gurfinkel, M Chechik‏
International conference on concurrency theory, 266-280, 2003‏
1052003
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20