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.
(2009)
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)
Merging partial behavioural models
Sebastian Uchitel;Marsha Chechik.
foundations of software engineering (2004)
Partial models: towards modeling and reasoning with uncertainty
Michalis Famelis;Rick Salay;Marsha Chechik.
international conference on software engineering (2012)
A Survey of Feature Location Techniques
Julia Rubin;Julia Rubin;Marsha Chechik.
Domain Engineering, Product Lines, Languages, and Conceptual Models (2013)
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)
Managing cloned variants: a framework and experience
Julia Rubin;Krzysztof Czarnecki;Marsha Chechik.
software product lines (2013)
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:
University of Waterloo
University of Toronto
University of Buenos Aires
Philipp University of Marburg
University of Waterloo
RWTH Aachen University
McMaster University
McMaster University
Johannes Kepler University of Linz
Chalmers University of Technology
University of Cambridge
RMIT University
University of Hong Kong
Eindhoven University of Technology
University of Science and Technology of China
King Khalid University
Nanjing University
Leibniz Association
Aarhus University
Babraham Institute
Case Western Reserve University
Brown University
Spanish National Research Council
Max Planck Society
National Cheng Kung University
Florida State University