Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marsha Chechik
Matching and Merging of Variant Feature Specifications
IEEE Transactions on Software Engineering
Software
Exploring Inconsistencies Between Modal Transition Systems
Software and Systems Modeling
Modeling
Software
Simulation
Splitting Models Using Information Retrieval and Model Crawling Techniques
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Language Independent Refinement Using Partial Modeling
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Optimization With SMT Solvers
Client-Specific Equivalence Checking
Finding State Solutions to Temporal Logic Queries
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Checking Software Using Precise Abstractions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Checking Over Multi-Valued Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Finding Environment Guarantees
