World's Best Scientists 2026 revealed!
Marsha Chechik

Marsha Chechik

D-Index & Metrics

Computer Science

D-Index
46
Citations
8060
World Ranking
6877
National Ranking
278

Research.com Recognitions

  • 2018 - ACM Distinguished Member

Overview

Marsha Chechik is affiliated with the University of Toronto in Canada. Their primary field of research is Computer Science, with a focus on Software, Artificial Intelligence, Safety, Risk, Reliability and Quality, Information Systems, and Computational Theory and Mathematics.

The scientist's work covers a range of main research topics, including:

  • Safety Systems Engineering in Autonomy
  • Software Reliability and Analysis Research
  • Advanced Software Engineering Methodologies
  • Model-Driven Software Engineering Techniques
  • Formal Methods in Verification
  • Risk and Safety Analysis
  • Software Engineering Research

Marsha Chechik's recent publications demonstrate contributions to software engineering, safety, and model-based reasoning. Selected papers include:

  • "If a human can see it, so should your system," 2022, Proceedings of the 44th International Conference on Software Engineering
  • "Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems," 2022, Journal of Systems and Software
  • "Property Satisfiability Analysis for Product Lines of Modelling Languages," 2020, IEEE Transactions on Software Engineering
  • "Formal reasoning for analyzing goal models that evolve over time," 2021, Requirements Engineering
  • "The ForeMoSt approach to building valid model-based safety arguments," 2022, Software & Systems Modeling

The frequent venues where this scientist publishes include:

  • arXiv (Cornell University)
  • Software & Systems Modeling
  • IEEE Transactions on Software Engineering
  • Journal of Systems and Software
  • Electronic Proceedings in Theoretical Computer Science

Marsha Chechik has also contributed to academic books, notably publishing "Formal Methods" in 2023 through Springer Science+Business Media.

Collaboration is a significant aspect of their research, with frequent coauthors including:

  • Torin Viger
  • Ramy Shahin
  • Lina Marsso
  • Alessio Di Sandro
  • Logan Murphy

In recognition of their contributions to the field, Marsha Chechik was awarded the ACM Distinguished Member status in 2018.

Best Publications

  • Matching and Merging of Statecharts Specifications

    Shiva Nejati;Mehrdad Sabetzadeh;Marsha Chechik;Steve Easterbrook

  • Multi-valued symbolic model-checking

    Marsha Chechik;Benet Devereux;Steve Easterbrook;Arie Gurfinkel

  • A framework for multi-valued reasoning over inconsistent viewpoints

    Steve Easterbrook;Marsha Chechik

  • Concur 2008 - Concurrency Theory

    Franck van Breugel;Marsha Chechik

  • A manifesto for model merging

    Greg Brunet;Marsha Chechik;Steve Easterbrook;Shiva Nejati

  • Merging partial behavioural models

    Sebastian Uchitel;Marsha Chechik

  • What is a feature?: a qualitative study of features in industrial software product lines

    Thorsten Berger;Daniela Lettner;Julia Rubin;Paul Grünbacher

  • A Survey of Feature Location Techniques

    Julia Rubin;Julia Rubin;Marsha Chechik

  • Managing cloned variants: a framework and experience

    Julia Rubin;Krzysztof Czarnecki;Marsha Chechik

  • Partial models: towards modeling and reasoning with uncertainty

    Michalis Famelis;Rick Salay;Marsha Chechik

  • Symbolic optimization with SMT solvers

    Yi Li;Aws Albarghouthi;Zachary Kincaid;Arie Gurfinkel

  • Synthesis of Partial Behavior Models from Properties and Scenarios

    S. Uchitel;G. Brunet;M. Chechik

  • UFO: a framework for abstractionand interpolation-based software verification

    Aws Albarghouthi;Yi Li;Arie Gurfinkel;Marsha Chechik

  • Combining related products into product lines

    Julia Rubin;Marsha Chechik

  • Consistency Checking of Conceptual Models via Model Merging

    M. Sabetzadeh;S. Nejati;S. Liaskos;S. Easterbrook

  • Runtime Monitoring of Web Service Conversations

    J. Simmonds;Yuan Gan;M. Chechik;S. Nejati

  • MTSA: The Modal Transition System Analyser

    N. D'Ippolito;D. Fischbein;M. Chechik;S. Uchitel

  • A buffer overflow benchmark for software model checkers

    Kelvin Ku;Thomas E. Hart;Marsha Chechik;David Lie

  • Model-Checking over Multi-valued Logics

    Marsha Chechik;Steve Easterbrook;Victor Petrovykh

  • Runtime monitoring of web service conversations

    Yuan Gan;Marsha Chechik;Shiva Nejati;Jon Bennett

  • CEUR Workshop Proceedings

    Rick Salay;Steffen Zschaler;Marsha Chechik

Frequent Co-Authors

Arie Gurfinkel
Arie Gurfinkel University of Waterloo
Steve Easterbrook
Steve Easterbrook University of Toronto
Sebastian Uchitel
Sebastian Uchitel University of Buenos Aires
Mehrdad Sabetzadeh
Mehrdad Sabetzadeh University of Ottawa
Gabriele Taentzer
Gabriele Taentzer Philipp University of Marburg
Bernhard Rumpe
Bernhard Rumpe RWTH Aachen University
Krzysztof Czarnecki
Krzysztof Czarnecki University of Waterloo
Paul Grünbacher
Paul Grünbacher Johannes Kepler University of Linz
Richard F. Paige
Richard F. Paige McMaster University
Fabiano Dalpiaz
Fabiano Dalpiaz Utrecht University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA can open doors to multiple online degree options and career pathways. Students seeking to specialize may consider programs such as cybersecurity online degrees, which focus on protecting digital assets and are increasingly in demand across industries.

For those interested in management roles or infrastructure projects, construction management courses offer expertise in overseeing complex building projects. Likewise, learners passionate about law, public safety, or policy may benefit from a cheap criminal justice degree, which can lead to a range of roles in the justice system.

For students drawn to numbers and business operations, an accounting degree online cheap is another practical option that can lead to careers in finance and management. With accessible online formats and a focus on affordability, these paths can help students tailor their studies to diverse career goals within the broader field of computer science.

Best Scientists Citing Marsha Chechik

Trending Scientists