Concepedia

Marsha Chećhik

MC

101

Publications

4.2K

Citations

35

H-Index

2001

Active since

Affiliations

University of Toronto(Current)

IBM Research - Haifa

Carnegie Mellon University

Universidad de Buenos Aires

University of Waterloo

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

Top concepts

EngineeringComputer ScienceSoftware AnalysisSystems EngineeringSoftware EngineeringFormal MethodsSoftware DesignFormal VerificationAutomated ReasoningProgram Analysis

Publications per year

2001–2024

101

Publications

101

Matching and Merging of Statecharts Specifications

Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chećhik et al. · Proceedings/Proceedings - International Conference on Software Engineering · 2007 · 246 citations

Engineering, Verification, Merge Operator +21

Multi-valued symbolic model-checking

Marsha Chećhik, Benet Devereux, Steve Easterbrook et al. · ACM Transactions on Software Engineering and Methodology · 2003 · 187 citations

Engineering, Verification, Computer-aided Verification +19

A framework for multi-valued reasoning over inconsistent viewpoints

Steve Easterbrook, Marsha Chećhik · International Conference on Software Engineering · 2001 · 157 citations

Engineering, Model-based Reasoning, Verification +19

What is a feature?

Thorsten Berger, Daniela Lettner, Julia Rubin et al. · 2015 · 143 citations

Software Maintenance, Engineering, Software Engineering +21

Managing cloned variants

Julia Rubin, Krzysztof Czarnecki, Marsha Chećhik · 2013 · 134 citations

Software Maintenance, Engineering, Industrial Engineering +22

Rows per page

1–5 of 101