Marsha Chechik

Cited by

	All	Since 2018
Citations	7862	2697
h-index	47	27
i10-index	154	86

580

290

145

435

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202365 72 117 100 134 170 184 303 283 306 291 392 443 434 497 575 564 490 496 481 467 426 323

Public access

View all

21 articles

8 articles

available

not available

Based on funding mandates

Co-authors

Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Rick SalayUniversity of WaterlooVerified email at gsd.uwaterloo.ca
Julia RubinUniversity of British ColumbiaVerified email at ubc.ca
Steve EasterbrookProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Shiva NejatiEECS / University of OttawaVerified email at uottawa.ca
Mehrdad (Mike) SabetzadehEECS / University of OttawaVerified email at uottawa.ca
Michalis FamelisUniversité de MontréalVerified email at iro.umontreal.ca
Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonVerified email at dc.uba.ar
Alessio Di SandroSoftware Engineer, University of TorontoVerified email at cs.toronto.edu
Sahar (Abughannam) Kokaly, Ph.D.General Motors Canada, McMaster UniversityVerified email at kokaly.com
Yi LiNanyang Technological UniversityVerified email at ntu.edu.sg
Jocelyn SimmondsUniversidad de ChileVerified email at dcc.uchile.cl
Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerified email at gsd.uwaterloo.ca
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Daniel StrüberChalmers | University of Gothenburg, Radboud University NijmegenVerified email at danielstrueber.de
Ramy ShahinUniversity of TorontoVerified email at cs.toronto.edu
Gabriele TaentzerPhilipps-Universität MarburgVerified email at mathematik.uni-marburg.de
Chenguang ZhuResearch Scientist, Meta AIVerified email at meta.com
Pamela ZaveAT&T Labs--ResearchVerified email at research.att.com
Dario FischbeinVerified email at imperial.ac.uk

Marsha Chechik

Professor of Computer Science, University of Toronto

Verified email at cs.toronto.edu - Homepage

software engineering software verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	377	2007
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	268	2003
A framework for multi-valued reasoning over inconsistent viewpoints S Easterbrook, M Chechik Proceedings of the 23rd International Conference on Software Engineering …, 2001	226	2001
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	203	2006
A survey of feature location techniques J Rubin, M Chechik Domain Engineering: Product Lines, Languages, and Conceptual Models, 29-58, 2013	190	2013
Merging partial behavioural models S Uchitel, M Chechik ACM SIGSOFT Software Engineering Notes 29 (6), 43-52, 2004	187	2004
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	180	2012
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	179	2015
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	164	2013
Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014	163	2014
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	142	2008
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification A Albarghouthi, Y Li, A Gurfinkel, M Chechik Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012	128	2012
Combining related products into product lines J Rubin, M Chechik International Conference on Fundamental Approaches to Software Engineering …, 2012	127	2012
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	118	2007
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	113	2009
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	109	2007
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	106	2008
Managing requirements uncertainty with partial models R Salay, M Chechik, J Horkoff, AD Sandro Requirements Engineering 18, 107-128, 2013	102	2013
N-way model merging J Rubin, M Chechik proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	101	2013
Multi-valued model checking via classical model checking A Gurfinkel, M Chechik International conference on concurrency theory, 266-280, 2003	98	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors