diff --git a/MYabrv.bib b/MYabrv.bib index 63466626..bb881e00 100644 --- a/MYabrv.bib +++ b/MYabrv.bib @@ -213,6 +213,7 @@ @String{SF @String{SMT = "Proc.\ Int'l Workshop on Satisfiability Modulo Theories (SMT)"} @String{SPLAT = "Proc.\ Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT)"} @String{SPLatools = "Proc.\ Workshop on Software Product Line Analysis Tools (SPLat)"} +@String{SPLTea = "Proc.\ Int'l Workshop on Software Product Line Teaching (SPLTea)"} @String{SVMPD = "Proc.\ Int'l Workshop on Software Variability Management for Product Derivation - Towards Tool Support (SVMPD)"} @String{SWESE = "Proc.\ Workshop on Semantic Web Enabled Software Engineering (SWESE)"} @String{VACE = "Proc.\ Int'l Workshop on Variability and Complexity in Software Design (VACE)"} @@ -278,6 +279,7 @@ @String{Algorithmica @String{AIEDAM = "Artif.\ Intell.\ Eng.\ Des.\ Anal.\ Manuf.\ (AIEDAM)"} @String{AAI = "Advances in Artificial Intelligence"} @String{AIJ = "Artificial Intelligence (AIJ)"} +@String{AIR = "Artificial Intelligence Review (AIR)"} @String{AMAI = "Annals of Mathematics and Artificial Intelligence (AMAI)"} @String{AMS = "Trans.\ American Mathematical Society (AMS)"} @String{AS = "Applied Sciences"} diff --git a/MYshort.bib b/MYshort.bib index daddcf2e..8adb564e 100644 --- a/MYshort.bib +++ b/MYshort.bib @@ -215,6 +215,7 @@ @String{SF @String{SMT = "SMT"} @String{SPLAT = "SPLAT"} @String{SPLatools = "SPLat"} +@String{SPLTea = "SPLTea"} @String{SVMPD = "SVMPD"} @String{SWESE = "SWESE"} @String{VACE = "VACE"} @@ -277,6 +278,7 @@ @String{AAI @String{Algorithmica = "Algorithmica"} @String{AIEDAM = "AIEDAM"} @String{AIJ = "AIJ"} +@String{AIR = "AIR"} @String{AMAI = "AMAI"} @String{AMS = "AMS"} @String{AS = "Applied Sciences"} diff --git a/literature.bib b/literature.bib index c5cf0067..4d63a544 100644 --- a/literature.bib +++ b/literature.bib @@ -948,6 +948,9 @@ @article{SKH+:AMAI23 author = {Sundermann, Chico and Kuiter, Elias and He{\ss}, Tobias and Raab, Heiko and Krieter, Sebastian and Th{\"{u}}m, Thomas}, title = {{On the Benefits of Knowledge Compilation for Feature-Model Analyses}}, journal = AMAI, + volume = 92, + number = 5, + pages = {1013--1050}, publisher = Springer, typo3Tags = {FMCounting}, doi = {10.1007/s10472-023-09906-6}, @@ -4468,6 +4471,143 @@ @inproceedings{STS:VaMoS20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2019 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@inproceedings{SH:FM19, + author = {Dominic Steinh\"{o}fel and Reiner H\"{a}hnle}, + title = {{Abstract Execution}}, + booktitle = FM, + publisher = Springer, + address = BerlinHeidelberg, + pages = {319--336}, + doi = {10.1007/978-3-030-30942-8_20}, + year = 2019 +} + +@misc{UNESCO:19, + author = {United Nations Educational, Scientific and Cultural Organization (UNESCO)}, + title = {{Recommendation on Open Educational Resources (OER)}}, + note = {Accessed: 2024-03-18}, + year = 2019, + howpublished = {Website: \url{https://www.unesco.org/en/legal-affairs/recommendation-open-educational-resources-oer}} +} + +@inproceedings{LKL:SPLC19, + author = {Ludwig, Kai and Kr{\"u}ger, Jacob and Leich, Thomas}, + title = {{Covert and Phantom Features in Annotations: Do They Impact Variability Analysis?}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {218--230}, + doi = {10.1145/3336294.3336296}, + year = 2019 +} + +@inproceedings{MTC:SPLC19, + author = {Johann Mortara and Xhevahire T\"{e}rnava and Philippe Collet}, + title = {{symfinder: A Toolchain for the Identification and Visualization of Object-Oriented Variability Implementations}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {5--8}, + doi = {10.1145/3307630.3342394}, + year = 2019 +} + +@article{MSRB:IST19, + author = {Marques, Ma{\'{i}}ra and Simmonds, Jocelyn and Rossel, Pedro O. and Bastarrica, Mar{\'{i}}a Cecilia}, + title = {{Software Product Line Evolution: A Systematic Literature Review}}, + journal = IST, + volume = {105}, + issn = {0950-5849}, + pages = {190--208}, + doi = {10.1016/j.infsof.2018.08.014}, + year = 2019 +} + +@inproceedings{NKSB:ESECFSE19, + author = {Ne{\v{s}}i{\'{c}}, Damir and Kr{\"u}ger, Jacob and St{\u{a}}nciulescu, Stefan and Berger, Thorsten}, + title = {{Principles of Feature Modeling}}, + booktitle = ESECFSE, + publisher = ACM, + address = NY, + pages = {62--73}, + doi = {10.1145/3338906.3338974}, + year = 2019 +} + +@inproceedings{CCP+:SPLTea19, + author = {Chavarriaga, Jaime and Casallas, Rubby and Parra, Carlos and Henao-Mej\'{\i}a, Martha Cecilia and Calle-Archila, Carlos Ricardo}, + title = {{Nine Years of Courses on Software Product Lines at Universidad de los Andes, Colombia}}, + booktitle = SPLTea, + publisher = ACM, + address = NY, + location = Paris, + pages = {130--133}, + isbn = {9781450366687}, + doi = {10.1145/3307630.3342415}, + year = 2019 +} + +@inproceedings{DLKB:SPLC19, + author = {Debbiche, Jamel and Lignell, Oskar and Kr{\"u}ger, Jacob and Berger, Thorsten}, + title = {{Migrating Java-Based Apo-Games into a Composition-Based Software Product Line}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {98--102}, + doi = {10.1145/3336294.3342361}, + year = 2019 +} + +@inproceedings{GW:ICSE19, + author = {Gazzillo, Paul and Wei, Shiyi}, + title = {{Conditional Compilation is Dead, Long Live Conditional Compilation!}}, + booktitle = ICSE, + publisher = IEEE, + address = Piscataway, + year = 2019, + pages = {105--108}, + doi = {10.1109/ICSE-NIER.2019.00035} +} + +@article{AAAM:AIR19, + author = {Alouneh, Sahel and Abed, Sa{\rq}ed and {Al Shayeji}, Mohammad H. and Mesleh, Raed}, + title = {{A Comprehensive Study and Analysis on SAT-Solvers: Advances, Usages and Achievements}}, + journal = AIR, + publisher = Springer, + volume = 52, + number = 4, + pages = {2575--2601}, + doi = {10.1007/s10462-018-9628-0}, + year = 2019, + ek-tags = {satisfiability, structure} +} + +@inproceedings{ANKB:SPLC19, + author = {{\AA}kesson, Jonas and Nilsson, Sebastian and Kr{\"u}ger, Jacob and Berger, Thorsten}, + title = {{Migrating the Android Apo-Games Into an Annotation-Based Software Product Line}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {103--107}, + doi = {10.1145/3336294.3342362}, + year = 2019 +} + +@proceedings{SPLTea19, + editor = {Acher, Mathieu and Rabiser, Rick and Lopez-Herrejon, Roberto E.}, + title = {{Fourth International Workshop on Software Product Line Teaching (SPLTea 2019)}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + location = Paris, + pages = {322}, + isbn = {9781450371384}, + doi = {10.1145/3336294.3342363}, + url = {https://doi.org/10.1145/3336294.3342363}, + year = 2019, + month = SEP +} + @inproceedings{SMK+:SPLC19, author = {Daniel Str{\"{u}}ber and Mukelabai Mukelabai and Jacob Kr{\"{u}}ger and Stefan Fischer and Lukas Linsbauer and Jabier Martinez and Thorsten Berger}, title = {{Facing the Truth: Benchmarking the Techniques for the Evolution of Variant-Rich Systems}}, @@ -5707,6 +5847,62 @@ @article{BCKW:Dagstuhl19 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2018 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@proceedings{SPLTea18, + editor = {Acher, Mathieu and Rabiser, Rick and Lopez-Herrejon, Roberto E.}, + title = {{SPLTea 2018: Third International Workshop on Software Product Line Teaching}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + location = Gothenburg, + pages = {322}, + isbn = {9781450371384}, + doi = {10.1145/3233027.3241370}, + year = 2018, + month = SEP +} + +@inproceedings{ASR:SPLC18, + author = {Al-Hajjaji, Mustafa and Schulze, Michael and Ryssel, Uwe}, + title = {{Similarity Analysis of Product-Line Variants}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + location = Gothenburg, + pages = {226--235}, + isbn = {9781450371384}, + doi = {10.1145/3233027.3233044}, + year = 2018, + month = SEP +} + +@inproceedings{BCF:SPLC18, + author = {Beuche, Danilo and Chale-Gongora, Hugo Guillermo and Fogdal, Thomas}, + title = {{International Workshop on Documentation of Industrial Product Line Examples}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + location = Gothenburg, + pages = {295}, + isbn = {9781450371384}, + doi = {10.1145/3233027.3241373}, + year = 2018, + month = SEP +} + +@inproceedings{BEK+:SPLC18, + author = {Butting, Arvid and Eikermann, Robert and Kautz, Oliver and Rumpe, Bernhard and Wortmann, Andreas}, + title = {{Modeling Language Variability With Reusable Language Components}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + location = Gothenburg, + pages = {65--75}, + isbn = {9781450371384}, + doi = {10.1145/3233027.3233037}, + year = 2018, + month = SEP +} + @inproceedings{KES:ICSEC18, author = {Christian Kr{\"{o}}her and Sascha El{-}Sharkawy and Klaus Schmid}, title = {{KernelHaven: An Experimentation Workbench for Analyzing Software Product Lines}},