Marsha Chechik

Cited by

	All	Since 2019
Citations	8452	2773
h-index	49	27
i10-index	165	88

580

290

145

435

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202462 72 116 103 133 174 183 295 285 299 313 384 432 439 494 575 562 516 496 494 461 417 458 436

Public access

View all

27 articles

11 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
Alessio Di SandroSoftware Engineer, University of TorontoVerified email at cs.toronto.edu
Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonVerified email at dc.uba.ar
Sahar Kokaly, Ph.D., P.Eng.General Motors Canada, McMaster UniversityVerified email at kokaly.com
Yi LiNanyang Technological UniversityVerified email at ntu.edu.sg
Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerified email at gsd.uwaterloo.ca
Jocelyn SimmondsAssociate Professor, Computer Science Department, University of ChileVerified email at dcc.uchile.cl
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Ramy ShahinUniversity of TorontoVerified email at cs.toronto.edu
Daniel StrüberChalmers | University of Gothenburg, Radboud University NijmegenVerified email at danielstrueber.de
Gabriele TaentzerPhilipps-Universität MarburgVerified email at mathematik.uni-marburg.de
Chenguang ZhuResearch Scientist, Meta AIVerified email at meta.com
Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerified email at rub.de
Pamela ZaveAT&T Labs--ResearchVerified email at research.att.com

Marsha Chechik

Professor of Computer Science, University of Toronto

Verified email at cs.toronto.edu - Homepage

software engineering software verification modeling formal methods assurance and dependability


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	381	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	283	2003
A framework for multi-valued reasoning over inconsistent viewpoints S Easterbrook, M Chechik Proceedings of the 23rd International Conference on Software Engineering …, 2001	229	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	218	2006
A survey of feature location techniques J Rubin, M Chechik Domain Engineering: Product Lines, Languages, and Conceptual Models, 29-58, 2013	208	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	204	2015
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	199	2012
Merging partial behavioural models S Uchitel, M Chechik ACM SIGSOFT Software Engineering Notes 29 (6), 43-52, 2004	182	2004
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	178	2013
Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014	170	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	148	2008
Combining related products into product lines J Rubin, M Chechik International Conference on Fundamental Approaches to Software Engineering …, 2012	134	2012
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	132	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	122	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	115	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	112	2007
Managing requirements uncertainty with partial models R Salay, M Chechik, J Horkoff, AD Sandro Requirements Engineering 18, 107-128, 2013	111	2013
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	111	2008
N-way model merging J Rubin, M Chechik proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	109	2013
Model-checking over multi-valued logics M Chechik, S Easterbrook, V Petrovykh FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001	103	2001

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