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.
