Marsha Chećhik - Concepedia

Author

Marsha Chećhik

Also Known As

Blazy, Sandrine, Chechik Marsha, Chechik, M., Chechik, Marsha, Hutchison, David, M. Chechik, Marsha Chechik, Marsha Chećhik, Raskin, Jean-FranÃ§ois, Rutle, Adrian

345

Publications

6.6K

Citations

H-Index

153

Concepts

All Affiliations

University of Toronto IBM Research - Haifa Carnegie Mellon University Universidad de Buenos Aires University of Waterloo

About

Marsha Chećhik is an author at University of Toronto specializing in engineering, computer science, and systems engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	35	85	3.9K
2	Business	4	4	120
3	Language Studies	4	4	75
4	Education	1	1	40
5	Law	1	1	13

Marsha Chećhik

101

Publications

4.2K

Citations

H-Index

Page 1

	Year	Citations
Matching and Merging of Statecharts Specifications Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chećhik, Proceedings/Proceedings - International Conference on Software Engineering EngineeringVerificationMerge OperatorSemantic WebFormal Verification	2007	246
Multi-valued symbolic model-checking Marsha Chećhik, Benet Devereux, Steve Easterbrook, ACM Transactions on Software Engineering and Methodology EngineeringVerificationComputer-aided VerificationModel CheckingModel Verification	2003	187
A framework for multi-valued reasoning over inconsistent viewpoints Steve Easterbrook, Marsha Chećhik International Conference on Software Engineering EngineeringModel-based ReasoningVerificationSoftware EngineeringModel Checking	2001	157
What is a feature? Thorsten Berger, Daniela Lettner, Julia Rubin, Software MaintenanceEngineeringSoftware EngineeringSoftware ReuseIntelligent Systems	2015	143
Managing cloned variants Julia Rubin, Krzysztof Czarnecki, Marsha Chećhik Software MaintenanceEngineeringIndustrial EngineeringData DeduplicationSoftware Engineering	2013	134
A manifesto for model merging Greg Brunet, Marsha Chećhik, Steve Easterbrook, Algebraic OperatorEngineeringSoftware EngineeringSemantic WebSoftware Analysis	2006	127
Synthesis of Partial Behavior Models from Properties and Scenarios Sebastián Uchitel, Greg Brunet, Marsha Chećhik IEEE Transactions on Software Engineering EngineeringModeling MethodSoftware Development ArtifactsRequirement ModelingSoftware Engineering	2008	126
Merging partial behavioural models Sebastián Uchitel, Marsha Chećhik EngineeringSoftware EngineeringComprehensive Operational ModelsSoftware AnalysisModel Composition	2004	123
Partial models: towards modeling and reasoning with uncertainty Michalis Famelis, Rick Salay, Marsha Chećhik International Conference on Software Engineering Software MaintenanceEngineeringModel-based ReasoningSoftware EngineeringUncertain Reasoning	2012	119
Symbolic optimization with SMT solvers Yi Li, Aws Albarghouthi, Zachary Kincaid, Mathematical ProgrammingLarge-scale Global OptimizationProgram CheckingEngineeringVerification	2014	119

Page 1