Author of the publication

An SMT-based approach to automated configuration.

, , , and . SMT@IJCAR, volume 20 of EPiC Series in Computing, page 109-119. EasyChair, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SMT-LIB Sequences and Regular Expressions., , , and . SMT@IJCAR, volume 20 of EPiC Series in Computing, page 77-87. EasyChair, (2012)Federated Health Recommender System., , , , , and . HEALTHINF, page 439-444. SCITEPRESS, (2023)A formal semantics for feature cardinalities in feature diagrams., , , and . VaMoS, page 82-89. ACM, (2011)An SMT-based approach to automated configuration., , , and . SMT@IJCAR, volume 20 of EPiC Series in Computing, page 109-119. EasyChair, (2012)Next-generation model-based variability management: languages and tools., , and . SPLC (2), page 276-277. ACM, (2012)Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies., , , , and . SLE, volume 6563 of Lecture Notes in Computer Science, page 337-356. Springer, (2010)Languages and tools for managing feature models., , , , and . PLEASE@ICSE, page 25-28. IEEE/ACM, (2012)An Operational Model of Variable Business Process., , and . ICEIS (3), page 162-172. SciTePress, (2015)Guiding Cloud Developers to Build Energy Aware Applications., , and . ICSOFT (Selected Papers), volume 586 of Communications in Computer and Information Science, page 397-414. Springer, (2015)VASCO: Variability Specification in Business Process Models., , and . ICEIS (Revised Selected Papers), volume 241 of Lecture Notes in Business Information Processing, page 612-632. Springer, (2015)