Author:
Ben-David Shoham,Sterin Baruch,Atlee Joanne M.,Beidu Sandy
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
2. Preventing Feature Interaction with Optimization Algorithms;UML-Based Software Product Line Engineering with SMarty;2022-09-28
3. Incremental design-space model checking via reusable reachable state approximations;Formal Methods in System Design;2021-11
4. A BDD for Linux?;Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A;2020-10-19
5. Generalized abstraction-refinement for game-based CTL lifted model checking;Theoretical Computer Science;2020-10