UVLS-Reference-Cited by-同舟云学术

UVLS

Published:2023-08-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B
language:
Short-container-title:

Author:

Loth Jacob¹^ORCID,Sundermann Chico¹^ORCID,Schrull Tobias¹^ORCID,Brugger Thilo¹^ORCID,Rieg Felix¹^ORCID,Thüm Thomas¹^ORCID

Affiliation:

1. University of Ulm, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3579028.3609014

Reference14 articles.

1. FAMILIAR: A domain-specific language for large scale management of feature models

2. Maurice H. ter Beek , Klaus Schmid, and Holger Eichelberger. 2019 . Textual Variability Modeling Languages: An Overview and Considerations. In SPLC. ACM , 151---157. Maurice H. ter Beek, Klaus Schmid, and Holger Eichelberger. 2019. Textual Variability Modeling Languages: An Overview and Considerations. In SPLC. ACM, 151---157.

3. David Benavides , Rick Rabiser , Don Batory , and Mathieu Acher . 2019 . First International Workshop on Languages for Modelling Variability (MODEVAR 2019). In SPLC. 323--323. David Benavides, Rick Rabiser, Don Batory, and Mathieu Acher. 2019. First International Workshop on Languages for Modelling Variability (MODEVAR 2019). In SPLC. 323--323.

4. David Benavides , Sergio Segura , Pablo Trinidad , and Antonio Ruiz-Cortés . 2007 . FAMA: Tooling a Framework for the Automated Analysis of Feature Models. In VaMoS. Technical Report 2007-01, Lero, 129--134. David Benavides, Sergio Segura, Pablo Trinidad, and Antonio Ruiz-Cortés. 2007. FAMA: Tooling a Framework for the Automated Analysis of Feature Models. In VaMoS. Technical Report 2007-01, Lero, 129--134.

5. Leonardo De Moura and Nikolaj Bjørner . 2008. Z3: An Efficient SMT solver . In TACAS. Springer , 337--340. Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: An Efficient SMT solver. In TACAS. Springer, 337--340.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking;28th ACM International Systems and Software Product Line Conference;2024-09-02

2. Generating Feature Models with UVL's Full Expressiveness;28th ACM International Systems and Software Product Line Conference;2024-09-02

3. Second Tutorial on the Universal Variability Language;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A;2023-08-28