Author:
Fischbein Dario,Uchitel Sebastian,Braberman Victor
Cited by
58 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings;28th ACM International Systems and Software Product Line Conference;2024-09-02
2. Family-based Model Checking using Probabilistic Model Checker PRISM;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04
3. Variability-aware Behavioural Learning;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B;2023-08-28
4. Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions;Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems;2022-02-23
5. Efficient static analysis and verification of featured transition systems;Empirical Software Engineering;2021-10-23