H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 43 Citations 6,420 190 World Ranking 4013 National Ranking 176

Research.com Recognitions

Awards & Achievements

2018 - ACM Distinguished Member

Overview

What is she best known for?

The fields of study she is best known for:

  • Programming language
  • Software
  • Algorithm

Marsha Chechik mainly investigates Theoretical computer science, Model checking, Programming language, Algorithm and Software. Her Theoretical computer science study combines topics in areas such as Semantics, Formal specification and Software verification. Her research ties Temporal logic and Model checking together.

Her study in the field of Specification language, Concurrency, Witness and Yet another also crosses realms of Property. The study incorporates disciplines such as Classical logic, Code and Spurious relationship in addition to Algorithm. Her Software study incorporates themes from Buffer overflow and Benchmark.

Her most cited work include:

  • Matching and Merging of Statecharts Specifications (236 citations)
  • A framework for multi-valued reasoning over inconsistent viewpoints (154 citations)
  • Multi-valued symbolic model-checking (153 citations)

What are the main themes of her work throughout her whole career to date?

The scientist’s investigation covers issues in Theoretical computer science, Software, Programming language, Software engineering and Model checking. She combines subjects such as Algorithm and Formal specification with her study of Theoretical computer science. Her research investigates the connection between Software and topics such as Artificial intelligence that intersect with issues in Machine learning.

Her Software engineering research includes themes of Systems engineering, Software requirements, Software development process, Event and Software requirements specification. Her work in the fields of Model checking, such as Kripke structure, intersects with other areas such as Property. Her Software development research is multidisciplinary, incorporating perspectives in Software system and Data mining.

She most often published in these fields:

  • Theoretical computer science (27.84%)
  • Software (23.92%)
  • Programming language (21.96%)

What were the highlights of her more recent work (between 2018-2021)?

  • Software (23.92%)
  • Programming language (21.96%)
  • Product (4.71%)

In recent papers she was focusing on the following fields of study:

Her primary areas of study are Software, Programming language, Product, Software system and Datalog. Her study in the fields of Software development under the domain of Software overlaps with other disciplines such as Systematic review. Her Software development research incorporates elements of Thesaurus and Adaptation.

Her research in Programming language intersects with topics in Slicing and Information and Computer Science. Her work in the fields of Software configuration management overlaps with other areas such as Set. The Correctness study combines topics in areas such as Distributed computing, Model checking, Formal specification, Iterative and incremental development and Iterative design.

Between 2018 and 2021, her most popular works were:

  • Managing design-time uncertainty (13 citations)
  • Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191) (7 citations)
  • Lifting Datalog-based analyses to software product lines (6 citations)

In her most recent research, the most cited papers focused on:

  • Programming language
  • Software
  • Algorithm

Software, Software system, Model management, ENCODE and Software development process are her primary areas of study. Her Software study integrates concerns from other disciplines, such as Safety case, Dependability and Certification. Her study in Software system is interdisciplinary in nature, drawing from both Mathematical proof and Software development.

She connects Model management with Systems engineering in her study.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Top Publications

Matching and Merging of Statecharts Specifications

Shiva Nejati;Mehrdad Sabetzadeh;Marsha Chechik;Steve Easterbrook.
international conference on software engineering (2007)

369 Citations

Multi-valued symbolic model-checking

Marsha Chechik;Benet Devereux;Steve Easterbrook;Arie Gurfinkel.
ACM Transactions on Software Engineering and Methodology (2003)

253 Citations

A framework for multi-valued reasoning over inconsistent viewpoints

Steve Easterbrook;Marsha Chechik.
international conference on software engineering (2001)

214 Citations

Concur 2008 - Concurrency Theory

Franck van Breugel;Marsha Chechik.
(2009)

214 Citations

Merging partial behavioural models

Sebastian Uchitel;Marsha Chechik.
foundations of software engineering (2004)

195 Citations

A manifesto for model merging

Greg Brunet;Marsha Chechik;Steve Easterbrook;Shiva Nejati.
Proceedings of the 2006 international workshop on Global integrated model management (2006)

194 Citations

Partial models: towards modeling and reasoning with uncertainty

Michalis Famelis;Rick Salay;Marsha Chechik.
international conference on software engineering (2012)

154 Citations

Synthesis of Partial Behavior Models from Properties and Scenarios

S. Uchitel;G. Brunet;M. Chechik.
IEEE Transactions on Software Engineering (2009)

141 Citations

Symbolic optimization with SMT solvers

Yi Li;Aws Albarghouthi;Zachary Kincaid;Arie Gurfinkel.
symposium on principles of programming languages (2014)

135 Citations

Managing cloned variants: a framework and experience

Julia Rubin;Krzysztof Czarnecki;Marsha Chechik.
software product lines (2013)

133 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

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

Contact us

Top Scientists Citing Marsha Chechik

Sebastian Uchitel

Sebastian Uchitel

University of Buenos Aires

Publications: 39

Alexander Egyed

Alexander Egyed

Johannes Kepler University of Linz

Publications: 33

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 30

Gunter Saake

Gunter Saake

Otto-von-Guericke University Magdeburg

Publications: 29

Orna Kupferman

Orna Kupferman

Hebrew University of Jerusalem

Publications: 26

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 25

Paul Grünbacher

Paul Grünbacher

Johannes Kepler University of Linz

Publications: 21

Nobuko Yoshida

Nobuko Yoshida

Imperial College London

Publications: 20

Dániel Varró

Dániel Varró

McGill University

Publications: 20

Dirk Beyer

Dirk Beyer

Ludwig-Maximilians-Universität München

Publications: 19

Jeff Kramer

Jeff Kramer

Imperial College London

Publications: 18

Juan de Lara

Juan de Lara

Autonomous University of Madrid

Publications: 17

Krzysztof Czarnecki

Krzysztof Czarnecki

University of Waterloo

Publications: 17

Kohei Honda

Kohei Honda

Queen Mary University of London

Publications: 15

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 15

Something went wrong. Please try again later.