Autor der Publikation

Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling.

, , , und . FormaliSE@ICSE, Seite 23-32. ACM, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A domain-specific language for managing feature models., , , und . SAC, Seite 1333-1340. ACM, (2011)A formal modeling and analysis framework for software product line of preemptive real-time systems., , , , und . SAC, Seite 1562-1565. ACM, (2016)Support for reverse engineering and maintaining feature models., , , , und . VaMoS, Seite 20:1-20:8. ACM, (2013)Assessing product line derivation operators applied to Java source code: an empirical study., , , , und . SPLC, Seite 36-45. ACM, (2015)Machine learning and configurable systems: a gentle introduction., , , und . SPLC (A), Seite 40:1. ACM, (2020)Towards Leveraging Tests to Identify Impacts of Metamodel and Code Co-evolution., , , und . CAiSE Forum, Volume 477 von Lecture Notes in Business Information Processing, Seite 129-137. Springer, (2023)Separation of concerns in feature modeling: support and applications., , , und . AOSD, Seite 1-12. ACM, (2012)Languages and tools for managing feature models., , , , und . PLEASE@ICSE, Seite 25-28. IEEE/ACM, (2012)On the Benefits and Limits of Incremental Build of Software Configurations: An Exploratory Study., , , und . ICSE, Seite 1584-1596. ACM, (2022)SPLTea 2014: First International Workshop on Software Product Line Teaching., , und . SPLC, Seite 352. ACM, (2014)