D-Index & Metrics Best Publications

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 44 Citations 6,728 245 World Ranking 4853 National Ranking 214

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.

Best Publications

Matching and Merging of Statecharts Specifications

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

375 Citations

Multi-valued symbolic model-checking

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

263 Citations

A framework for multi-valued reasoning over inconsistent viewpoints

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

220 Citations

Concur 2008 - Concurrency Theory

Franck van Breugel;Marsha Chechik.
(2009)

209 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)

199 Citations

Merging partial behavioural models

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

198 Citations

Partial models: towards modeling and reasoning with uncertainty

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

162 Citations

A Survey of Feature Location Techniques

Julia Rubin;Julia Rubin;Marsha Chechik.
Domain Engineering, Product Lines, Languages, and Conceptual Models (2013)

154 Citations

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

Thorsten Berger;Daniela Lettner;Julia Rubin;Paul Grünbacher.
software product lines (2015)

151 Citations

Managing cloned variants: a framework and experience

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

147 Citations

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

Contact us

Best 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

Arie Gurfinkel

Arie Gurfinkel

University of Waterloo

Publications: 24

Paul Grünbacher

Paul Grünbacher

Johannes Kepler University of Linz

Publications: 21

Dániel Varró

Dániel Varró

Linköping University

Publications: 20

Nobuko Yoshida

Nobuko Yoshida

University of Oxford

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

Trending Scientists

F Stajano

F Stajano

University of Cambridge

Timothy Bartram

Timothy Bartram

RMIT University

Zhigang Tao

Zhigang Tao

University of Hong Kong

Wmp Wil van der Aalst

Wmp Wil van der Aalst

Eindhoven University of Technology

Yongdong Zhang

Yongdong Zhang

University of Science and Technology of China

Irfan Anjum Badruddin

Irfan Anjum Badruddin

King Khalid University

Hai-Liang Zhu

Hai-Liang Zhu

Nanjing University

Edith Mäder

Edith Mäder

Leibniz Association

Signe Normand

Signe Normand

Aarhus University

Nicholas T. Ktistakis

Nicholas T. Ktistakis

Babraham Institute

Jacek Skowronski

Jacek Skowronski

Case Western Reserve University

Jack R. Wands

Jack R. Wands

Brown University

Luis Rivas

Luis Rivas

Spanish National Research Council

Lucia Melloni

Lucia Melloni

Max Planck Society

Trai Ming Yeh

Trai Ming Yeh

National Cheng Kung University

Jon S. Bailey

Jon S. Bailey

Florida State University

Something went wrong. Please try again later.