Marsha Chechik

Cited by

	All	Since 2016
Citations	6857	2803
h-index	45	26
i10-index	138	78

620

310

155

465

20012002200320042005200620072008200920102011201220132014201520162017201820192020202160 81 113 93 134 159 191 321 285 305 290 388 451 441 529 567 608 518 531 495 80

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 Ottawa and SnT / University of LuxembourgVerified email at uottawa.ca
Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonVerified email at dc.uba.ar
Michalis FamelisUniversité de MontréalVerified email at iro.umontreal.ca
Alessio Di SandroSoftware Engineer, University of TorontoVerified email at cs.toronto.edu
Yi LiNanyang Technological UniversityVerified email at ntu.edu.sg
Sahar (Abughannam) Kokaly, Ph.D.General Motors Canada, McMaster UniversityVerified email at kokaly.com
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
Shai Ben-DavidUniverity of Waterloo, CanadaVerified email at uwaterloo.ca
Daniel StrüberRadboud University Nijmegen, NetherlandsVerified email at ru.nl
Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerified email at rub.de
Gabriele TaentzerPhilipps-Universität MarburgVerified email at mathematik.uni-marburg.de
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	357	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	243	2003
An exploratory study of cloning in industrial software product lines Y Dubinsky, J Rubin, T Berger, S Duszynski, M Becker, K Czarnecki 2013 17th European Conference on Software Maintenance and Reengineering, 25-34, 2013	230	2013
A framework for multi-valued reasoning over inconsistent viewpoints S Easterbrook, M Chechik Proceedings of the 23rd International Conference on Software Engineering …, 2001	208	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	190	2006
Merging partial behavioural models S Uchitel, M Chechik ACM SIGSOFT Software Engineering Notes 29 (6), 43-52, 2004	190	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	149	2012
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	136	2008
Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014	129	2014
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	124	2013
A survey of feature location techniques J Rubin, M Chechik Domain Engineering, 29-58, 2013	123	2013
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	121	2015
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	112	2007
Combining related products into product lines J Rubin, M Chechik International Conference on Fundamental Approaches to Software Engineering …, 2012	111	2012
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	108	2012
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	104	2009
A buffer overflow benchmark for software model checkers K Ku, TE Hart, M Chechik, D Lie Proceedings of the twenty-second IEEE/ACM international conference on …, 2007	98	2007
Model-checking over multi-valued logics M Chechik, S Easterbrook, V Petrovykh International Symposium of Formal Methods Europe, 72-98, 2001	94	2001
Behaviour model synthesis from properties and scenarios S Uchitel, G Brunet, M Chechik 29th International Conference on Software Engineering (ICSE'07), 34-43, 2007	93	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	89	2008

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

Upload PDF

Follow this author

Cited by

Co-authors