2018 - ACM Distinguished Member
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.
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.
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.
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.
Matching and Merging of Statecharts Specifications
Shiva Nejati;Mehrdad Sabetzadeh;Marsha Chechik;Steve Easterbrook.
international conference on software engineering (2007)
Multi-valued symbolic model-checking
Marsha Chechik;Benet Devereux;Steve Easterbrook;Arie Gurfinkel.
ACM Transactions on Software Engineering and Methodology (2003)
A framework for multi-valued reasoning over inconsistent viewpoints
Steve Easterbrook;Marsha Chechik.
international conference on software engineering (2001)
Concur 2008 - Concurrency Theory
Franck van Breugel;Marsha Chechik.
Merging partial behavioural models
Sebastian Uchitel;Marsha Chechik.
foundations of software engineering (2004)
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)
Partial models: towards modeling and reasoning with uncertainty
Michalis Famelis;Rick Salay;Marsha Chechik.
international conference on software engineering (2012)
Synthesis of Partial Behavior Models from Properties and Scenarios
S. Uchitel;G. Brunet;M. Chechik.
IEEE Transactions on Software Engineering (2009)
Symbolic optimization with SMT solvers
Yi Li;Aws Albarghouthi;Zachary Kincaid;Arie Gurfinkel.
symposium on principles of programming languages (2014)
Managing cloned variants: a framework and experience
Julia Rubin;Krzysztof Czarnecki;Marsha Chechik.
software product lines (2013)
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.
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: