forked from SoftVarE-Group/BibTags
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathliterature-cleaned.bib
17803 lines (16074 loc) · 603 KB
/
literature-cleaned.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
@mastersthesis{Schiessl22,
author = {Schiessl, Dominik},
title = {{An Incremental \#SAT Solver for Efficient Analysis of Feature Models}},
school = UniUlm,
type = {Master's Thesis},
typo3Tags = {SupervisorCS, SupervisorTT},
year = 2022,
note = {To appear}
}
@mastersthesis{Raab22,
author = {Raab, Heiko},
title = {{Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses}},
school = UniUlm,
type = {Bachelor's Thesis},
typo3Tags = {SupervisorCS, SupervisorTT},
year = 2022,
note = {To appear}
}
@mastersthesis{Tschada21,
author = {Tschada, Marcel},
title = {{Generating Taxonomies of Feature-Model Anomalies}},
school = TUBraunschweig,
type = {Bachelor's Thesis},
typo3Tags = {SupervisorTT},
year = 2021,
note = {To appear}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2022 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% will not be published
@mastersthesis{Kistner22,
author = {Kistner, Konstantin},
title = {{Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams}},
school = UniUlm,
type = {Bachelor's Thesis},
typo3Tags = {SupervisorTH, SupervisorTT},
year = 2022
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2021 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@mastersthesis{Witschel21,
author = {Witschel, Tim},
title = {{Generating Optimized Samples with Attributed Feature Models}},
school = TUBraunschweig,
type = {Master's Thesis},
typo3Tags = {SupervisorTT},
year = 2021
}
@mastersthesis{WitschelProject21,
author = {Witschel, Tim},
title = {{Analyzing Sampling Stability of Highly Configurable Systems}},
school = TUBraunschweig,
type = {Project Thesis},
typo3Tags = {SupervisorTT},
year = 2021
}
% issue and pages still missing, maybe because it is open access
@article{NST+:SoSyM21,
author = {Nieke, Michael and Sampaio, Gabriela and Th{\"u}m, Thomas and Seidl, Christoph and Teixeira, Leopoldo and Schaefer, Ina},
title = {{Guiding the Evolution of Product-Line Configurations}},
journal = SoSyM,
pages = {1--23},
year = 2021
}
@inproceedings{KTS:FormaliSE21,
author = {Kn\"{u}ppel, Alexander and Th\"{u}m, Thomas and Schaefer, Ina},
title = {{GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers}},
booktitle = FormaliSE,
pages = {124--129},
publisher = IEEE,
year = 2021
}
@mastersthesis{Netzer21,
author = {Timo Netzer},
title = {{Development of a Parallelized BDD Library in Rust}},
school = UniUlm,
type = {Bachelor's Thesis},
typo3Tags = {SupervisorTH, SupervisorTT},
year = 2021
}
@mastersthesis{Viegener21,
author = {Viegener, S\"{o}ren},
title = {{Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin}},
school = UniUlm,
type = {Bachelor's Thesis},
typo3Tags = {SupervisorTT, SupervisorPB, VariantSyncPub},
year = 2021
}
@proceedings{TCA:SPLC21,
editor = {Th{\"{u}}m, Thomas and Collet, Philippe and Acher, Mathieu},
title = {{Fourth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2021)}},
booktitle= SPLC,
pages = {205--205},
publisher= ACM,
tt-tags = {Editorial},
year= 2021
}
@inproceedings{HST:SPLC21,
author = {He{\ss}, Tobias and Sundermann, Chico and Th{\"u}m, Thomas},
title = {{On the Scalability of Building Binary Decision Diagrams for Current Feature Models}},
booktitle = SPLC,
publisher = ACM,
pages = {131--135},
numpages = {5},
typo3Tags = {OBDDimal},
year = 2021
}
@inproceedings{SHE+:MODEVAR21,
author = {Sundermann, Chico and He{\ss}, Tobias and Engelhardt, Dominik and Arens, Rahel and Herschel, Johannes and Jedelhauser, Kevin and Jutz, Benedikt and Krieter, Sebastian and Schaefer, Ina},
title = {{Integration of UVL in FeatureIDE}},
year = 2021,
publisher = ACM,
booktitle = MODEVAR,
numpages = {7},
pages = {73--79}
}
@inproceedings{KAN+:SPLC21,
author = {Krieter, Sebastian and Arens, Rahel and Nieke, Michael and Sundermann, Chico and He{\ss}, Tobias and Th{\"u}m, Thomas and Seidl, Christoph},
title = {{Incremental Construction of Modal Implication Graphs for Evolving Feature Models}},
booktitle = SPLC,
publisher = ACM,
pages = {64--74},
numpages = {11},
year = 2021
}
@inproceedings{SFE+:SPLC21,
author = {Sundermann, Chico and Feichtinger, Kevin and Engelhardt, Dominik and Rabiser, Rick and Th{\"u}m, Thomas},
title = {{Yet Another Textual Variability Language? A Community Effort Towards a Unified Language}},
booktitle = SPLC,
pages = {136--147},
numpages = {12},
publisher = ACM,
year = 2021
}
@inproceedings{PKT+:SPLC21,
author = {Pett, Tobias and Krieter, Sebastian and Th{\"u}m, Thomas and Lochau, Malte and Schaefer, Ina},
title = {{AutoSMP: An Evaluation Platform for Sampling Algorithms}},
booktitle = SPLC,
pages = {41--44},
numpages = {4},
publisher = ACM,
year = 2021
}
@inproceedings{BST+:ESECFSE21,
author = {Paul Maximilian Bittner and Alexander Schulthei\ss{} and Thomas Th{\"{u}}m and Timo Kehrer and Jeffrey M. Young and Lukas Linsbauer},
title = {{Feature Trace Recording}},
booktitle = ESECFSE,
publisher = ACM,
year = 2021,
pages = {1007--1020},
numpages = {14},
keywords = {feature traceability, disciplined annotations, clone-and-own, feature location, software product lines},
pb-tags = {VariantSync, VariantSyncNew},
typo3Tags = {VariantSyncPub}
}
@mastersthesis{Arens21,
author = {Arens, Rahel},
title = {{Incremental Construction of Modal Implication Graphs for Feature-Model Evolution}},
school = TUBraunschweig,
type = {Bachelor's Thesis},
typo3Tags = {SupervisorTT},
year = 2021
}
@inproceedings{MSB+:ICSE21,
author = {Wardah Mahmood and Daniel Strueber and Thorsten Berger and Ralf Laemmel and Mukelabai Mukelabai},
title = {{Seamless Variability Management With the Virtual Platform}},
booktitle = ICSE,
publisher = IEEE,
pages = {1658--1670},
pb-tags = {VariantSync, VariantSyncNew},
year = 2021,
}
@phdthesis{Y21,
author = {Jeffrey M. Young},
title = {{Variational Satisfiability Solving}},
school = {Oregon State University},
year = 2021,
}
@inproceedings{KTSB:ICSE21,
author = {Timo Kehrer and Thomas Th{\"{u}}m and Alexander Schulthei\ss{} and Paul Maximilian Bittner},
title = {{Bridging the Gap Between Clone-and-Own and Software Product Lines}},
booktitle = ICSE,
pages = {21--25},
typo3Tags = {VariantSyncPub},
pb-tags = {VariantSync},
publisher = IEEE,
year = 2021
}
@article{DGT:EMSE21,
author = {Laurence Duchien and Paul Gr{\"{u}}nbacher and Thomas Th{\"{u}}m},
title = {{Foreword to the Special Issue on Configurable Systems}},
journal = EMSE,
volume = {26},
number = {4},
pages = {72},
tt-tags = {Editorial},
year = 2021,
}
% seems to have no pages. Maybe just an online article?
@article{QVR+:JSEP21,
author = {Quinton, Clement and Vierhauser, Michael and Rabiser, Rick and Baresi, Luciano and Grünbacher, Paul and Schuhmayer, Christian},
title = {{Evolution in Dynamic Software Product Lines}},
journal = JSEP,
volume = {33},
number = {2},
keywords = {dynamic software product lines, evolution, consistency},
numpages = {5},
year = 2021
}
@inproceedings{FSRR:VaMoS21,
author = {Feichtinger, Kevin and St\"{o}bich, Johann and Romano, Dario and Rabiser, Rick},
title = {{TRAVART: An Approach for Transforming Variability Models}},
articleno = {8},
numpages = {10},
keywords = {decision models, feature models, Software product lines, orthogonal variability models, variability modeling},
booktitle = VaMoS20,
publisher = ACM,
year = 2021
}
@inproceedings{MLA+:VaMoS21,
author = {Michelon, Gabriela Karoline and Linsbauer, Lukas and Assun\c{c}\~{a}o, Wesley K.G. and Fischer, Stefan and Egyed, Alexander},
title = {{A Hybrid Feature Location Technique for Re-Engineering Single Systems into Software Product Lines}},
publisher = ACM,
booktitle = VaMoS20,
articleno = {11},
numpages = {9},
keywords = {traceability, runtime monitoring, feature location, software reuse},
year = 2021,
}
@article{KKK+:EMSE21,
author = {Elias Kuiter and Sebastian Krieter and Jacob Kr{\"u}ger and Gunter Saake and Thomas Leich},
title = {{variED: An Editor for Collaborative, Real-Time Feature Modeling}},
journal = EMSE,
publisher = Springer,
volume = 26,
number = 2,
pages = {24},
tt-tags = {Feature Modeling Tool,Collaborative Feature Modeling},
year = 2021
}
% no pages given
@article{EPPC:IST21,
author = {Jorge Echeverr{\'{\i}}a and Francisca P{\'{e}}rez and Jos{\'{e}} Ignacio Panach and Carlos Cetina},
title = {{An Empirical Study of Performance Using Clone {\&} Own and Software Product Lines in an Industrial Context}},
journal = IST,
volume = 130,
publisher = Elsevier,
articleno = {106444},
pb-tags = {VariantSync, VariantSyncNew, pbtoread},
year = 2021
}
@inproceedings{RSC+:SE21,
author = {Runge, Tobias and Schaefer, Ina and Cleophas, Loek and Th{\"u}m, Thomas and Kourie, Derrick and Watson, Bruce W.},
title = {{Tool Support for Correctness-by-Construction}},
booktitle = SE,
publisher = GI,
pages = {93--94},
year = 2021,
note = {To appear}
}
@inproceedings{KJN+:SE21,
author = {Alexander Kn{\"{u}}ppel and Inga Jatzkowski and Marcus Nolte and Thomas Th{\"{u}}m and Tobias Runge and Ina Schaefer},
title = {{Skill-Based Verification of Cyber-Physical Systems}},
booktitle = SE,
publisher = GI,
pages = {67--68},
year = 2021
}
@inproceedings{PKR+:VaMoS21,
author = {Pett, Tobias and Krieter, Sebastian and Runge, Tobias and Th\"{u}m, Thomas and Lochau, Malte and Schaefer, Ina},
title = {{Stability of Product-Line Sampling in Continuous Integration}},
booktitle = VaMoS20,
articleno = {18},
numpages = {9},
keywords = {sampling, product lines, product-line evolution},
tt-tags = {Product Sampling,CI},
tc-tags = {classified by Thomas,sample-based analysis,specification independent,implementation independent,program,subsumed by none},
sampling-tags = {evaluation,testing efficiency,testing,compares Random/Chvatal/ICPL/Incling/YASA},
publisher = ACM,
year = 2021
}
@inproceedings{HPTS:VaMoS21,
author = {Hentze, Marc and Pett, Tobias and Th\"{u}m, Thomas and Schaefer, Ina},
title = {{Hyper Explanations for Feature-Model Defect Analysis}},
booktitle = VaMoS20,
articleno = {14},
numpages = {9},
keywords = {prioritization of defects, feature model defects, disabled features, defect explanations, hyper explanations},
tt-tags = {Feature-Model Analysis,FeatureIDE,VW},
tc-tags = {classified by Thomas,feature-model analysis,family-based analysis,implementation independent,specification independent},
publisher = ACM,
year = 2021
}
@inproceedings{SNB+:VaMoS21,
author = {Sundermann, Chico and Nieke, Michael and Bittner, Paul Maximilian and He{\ss}, Tobias and Th\"{u}m, Thomas and Schaefer, Ina},
title = {{Applications of \#SAT Solvers on Feature Models}},
booktitle = VaMoS20,
articleno = {12},
numpages = {10},
keywords = {Feature-Model Analysis, Feature Models, \#SAT Applications, \#SAT, Product Lines, Configuration Counting, Model Counting},
tt-tags = {Feature-Model Analysis},
tc-tags = {classified by Thomas,feature-model analysis,family-based analysis,implementation independent,specification independent},
typo3Tags = {VariantSyncPub},
publisher = ACM,
year = 2021
}
@inproceedings{SL:VaMoS21,
author = {Sobernig, Stefan and Lessenich, Olaf},
title = {{V1e: A Kernel for Domain-Specific Textual Variability Modelling Languages}},
year = 2021,
booktitle = VaMoS20,
publisher = ACM,
articleno = {4},
numpages = {7},
keywords = {language product line, modelling framework, language family, language kernel, domain-specific modelling, variability modelling},
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2020 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@mastersthesis{Westphal20,
author = {Westphal, Paul},
title = {{Deriving Subset Software Product Lines Using Partial Configurations with FeatureIDE}},
school = TUBraunschweig,
type = {Bachelor's Thesis},
typo3Tags = {SupervisorTT},
year = 2020
}
@mastersthesis{Sprey20,
author = {Sprey, Joshua},
title = {{Automated Comparison of Product Sampling Algorithms}},
school = TUBraunschweig,
type = {Master's Thesis},
typo3Tags = {SupervisorTT},
year = 2020
}
@mastersthesis{Mund20,
author = {Mund, Niklas},
title = {{Continuous T-Wise Coverage}},
school = TUBraunschweig,
type = {Master's Thesis},
typo3Tags = {SupervisorTT},
year = 2020
}
% will not be published
@mastersthesis{Hess20,
author = {Tobias He{\ss}},
title = {{Binary Decision Diagrams for the Analysis of Large Feature Models}},
school = UniUlm,
type = {Master's Thesis},
typo3Tags = {SupervisorTT},
year = 2020
}
% formerly known as DLP:ICTAC2020
@inproceedings{DLP:ICTAC20,
title = {{On Two Characterizations of Feature Models}},
author = {Damiani, Ferruccio and Lienhardt, Michael and Paolini, Luca},
booktitle = ICTAC,
pages = {103--122},
publisher = Springer,
year = 2020,
editor = {Pun, Violet Ka I. and Stolz, Volker and Simao, Adenilso},
series = LNCS,
tt-tags = {Compositional Feature Modeling},
}
% formerly known as AGK+:SPLC2020
@inproceedings{AGK+:SPLC20,
title = {{A Conceptual Model for Unifying Variability in Space and Time}},
author = {Ananieva, Sofia and Greiner, Sandra and K\"{u}hn, Thomas and Kr\"{u}ger, Jacob and Linsbauer, Lukas and Gr\"{u}ner, Sten and Kehrer, Timo and Klare, Heiko and Koziolek, Anne and L\"{o}nn, Henrik and Krieter, Sebastian and Seidl, Christoph and Ramesh, S. and Reussner, Ralf and Westfechtel, Bernhard},
booktitle = SPLC,
pages = {1--12},
articleno = {15},
numpages = {12},
publisher = ACM,
keywords = {variability, revision management, product lines, version control},
year = 2020
}
@article{JPWL:CoRR20,
author = {Monika Jaskolka and Vera Pantelic and Alan Wassyng and Mark Lawford},
title = {{Supporting Modularity in Simulink Models}},
journal = CoRR,
volume = {abs/2007.10120},
year = 2020,
archivePrefix = {arXiv},
eprint = {2007.10120},
}
% could not identify chapter no
@inbook{KKT+20,
author = {Kn{\"u}ppel, Alexander and Kr{\"u}ger, Stefan and Th{\"u}m, Thomas and Bubel, Richard and Krieter, Sebastian and Bodden, Eric and Schaefer, Ina},
title = {{Using Abstract Contracts for Verifying Evolving Features and Their Interactions}},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY},
publisher = Springer,
pages = {122--148},
year = 2020
}
@inproceedings{BLK:ESECFSE20,
author = {Baranov, Eduard and Legay, Axel and Meel, Kuldeep S.},
title = {{Baital: An Adaptive Weighted Sampling Approach for Improved t-Wise Coverage}},
publisher = ACM,
booktitle = ESECFSE,
pages = {1114--1126},
numpages = {13},
keywords = {Weighted sampling, Configurable software, t-wise coverage},
year = 2020
}
@inproceedings{MOL+:SPLC20,
author = {Michelon, Gabriela Karoline and Obermann, David and Linsbauer, Lukas and Assun\c{c}\~{a}o, Wesley Klewerton Guez and Gr\"{u}nbacher, Paul and Egyed, Alexander},
title = {{Locating Feature Revisions in Software Systems Evolving in Space and Time}},
publisher = ACM,
booktitle = SPLC,
articleno = {14},
numpages = {11},
keywords = {repository mining, variants, feature location, feature revisions},
year = 2020,
}
@inproceedings{MOA+:SPLC20,
author = {Michelon, Gabriela Karoline and Obermann, David and Assun\c{c}\~{a}o, Wesley Klewerton Guez and Linsbauer, Lukas and Gr\"{u}nbacher, Paul and Egyed, Alexander},
title = {{Mining Feature Revisions in Highly-Configurable Software Systems}},
publisher = ACM,
booktitle = SPLC,
pages = {74--78},
numpages = {5},
keywords = {version control systems, software product lines, repository mining, preprocessors, feature evolution, system evolution},
pb-tags = {pbtoread},
year = 2020
}
@inproceedings{M:SPLC20,
author = {Michelon, Gabriela Karoline},
title = {{Evolving System Families in Space and Time}},
year = 2020,
publisher = ACM,
booktitle = SPLC,
pages = {104–-111},
numpages = {8},
keywords = {version control systems, software product lines, software evolution, feature-oriented software development},
pb-tags = {pbtoread, VariantSync, VariantSyncNew}
}
@inproceedings{FR:MODEVAR20,
author = {Feichtinger, Kevin and Rabiser, Rick},
title = {{Towards Transforming Variability Models: Usage Scenarios, Required Capabilities and Challenges}},
year = 2020,
publisher = ACM,
booktitle = MODEVAR,
pages = {44–-51},
numpages = {8},
keywords = {feature models, variability modeling, Software product lines, decision models},
series = {SPLC '20}
}
@mastersthesis{Engelhardt20,
author = {Engelhardt, Dominik},
title = {{Towards a Universal Variability Language}},
school = TUBraunschweig,
type = {Master's Thesis},
typo3Tags = {SupervisorTT},
year = 2020
}
@mastersthesis{Sundermann20,
author = {Chico Sundermann},
title = {{Applications of \#SAT Solvers on Product Lines}},
school = TUBraunschweig,
type = {Master's Thesis},
typo3Tags = {SupervisorTT},
year = 2020
}
@inproceedings{HFGB:SPLC2020,
author = {Heradio, Ruben and Fern{\'a}ndez-Amor{\'o}s, David and Galindo, Jos{\'e} Antonio and Benavides, David},
title = {{Uniform and Scalable SAT-Sampling for Configurable Systems}},
booktitle = SPLC,
pages = {17:1--17:11},
year = 2020,
publisher = ACM,
}
@inproceedings{KB:VAMOS2020,
author = {Kr\"{u}ger, Jacob and Berger, Thorsten},
title = {{Activities and Costs of Re-Engineering Cloned Variants Into an Integrated Platform}},
publisher = ACM,
booktitle = VaMoS20,
articleno = 21,
numpages = 10,
keywords = {clone & own, software product lines, empirical study, re-engineering},
pb-tags = {VariantSync, VariantSyncNew, pbtoread},
year = 2020
}
@inproceedings{KB:ESECFSE20,
title = {An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse},
author = {Kr{\"u}ger, Jacob and Berger, Thorsten},
booktitle = ESECFSE,
publisher = ACM,
pages = {432--444},
numpages = 13,
year = 2020,
pb-tags = {VariantSync, VariantSyncNew, literature study},
}
@inproceedings{MKK+:VRST20,
author = {M\"uhlhausen, Moritz and Kappel, Moritz and Kassubeck, Marc and Bittner, Paul Maximilian and Castillo, Susana and Magnor, Marcus},
title = {{Temporal Consistent Motion Parallax for Omnidirectional Stereo Panorama Video}},
booktitle = VRST,
publisher = ACM,
year = 2020,
pb-tags = {ICG},
}
@inproceedings{BMK+:VR20,
author = {Bertel, Tobias and M\"uhlhausen, Moritz and Kappel, Moritz and Bittner, Paul Maximilian and Richardt, Christian and Magnor, Marcus},
title = {{Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography}},
booktitle = VR,
publisher = IEEE,
pages = {660--661},
year = 2020,
pb-tags = {ICG},
}
@inproceedings{useNST+:SoSyM21,
author = {Nieke, Michael and Sampaio, Gabriela and Th\"um, Thomas and Seidl, Christoph and Teixeira, Leopoldo and Schaefer, Ina},
title = {{GuyDance: Guiding Configuration Updates for Product-Line Evolution}},
booktitle = VariVolution,
pages = {56--64},
keywords = {configuration, software product line, evolution},
publisher = ACM,
year = 2020
}
@inproceedings{FAR:SPLC20,
author = {Fritsch, Claudia and Abt, Richard and Renz, Burkhardt},
title = {{The Benefits of a Feature Model in Banking}},
booktitle = SPLC,
articleno = {9},
numpages = {11},
keywords = {feature modeling, experience report, document generation, software product line engineering, retail loans, partial configuration, mass customization},
tt-tags = {feature modeling,FeatureIDE,KfW},
publisher = ACM,
year = 2020
}
@inproceedings{LDJM:ICSE20,
author = {Lienhardt, Michael and Damiani, Ferruccio and Johnsen, Einer Broch and Mauro, Jacopo},
title = {{Lazy Product Discovery in Huge Configuration Spaces}},
booktitle = ICSE,
pages = {1509--1521},
keywords = {composition, configurable software, variability modeling, feature models, Linux distribution, software product lines},
publisher = ACM,
tt-tags = {Compositional Feature Modeling},
year = 2020
}
@inproceedings{YWT:SPLC20,
author = {Young, Jeffrey M. and Walkingshaw, Eric and Th\"{u}m, Thomas},
title = {{Variational Satisfiability Solving}},
booktitle = SPLC,
articleno = {18},
numpages = {12},
keywords = {variation, choice calculus, satisfiability solving, software product lines},
publisher = ACM,
typo3Tags = {VariantSyncPub},
year = 2020
}
@inproceedings{SBKT:SPLC20,
author = {Schulthei\ss{}, Alexander and Bittner, Paul Maximilian and Kehrer, Timo and Th\"{u}m, Thomas},
title = {{On the Use of Product-Line Variants as Experimental Subjects for Clone-and-Own Research: A Case Study}},
booktitle = SPLC,
articleno = {27},
numpages = {6},
keywords = {experimental evaluation, clone-and-own, model matching},
publisher = ACM,
typo3Tags = {VariantSyncPub},
year = 2020
}
@inproceedings{T:SPLC20,
author = {Th\"{u}m, Thomas},
title = {{A BDD for Linux? The Knowledge Compilation Challenge for Variability}},
booktitle = SPLC,
articleno = {16},
numpages = {6},
keywords = {product configuration, decision models, software product line, knownledge compilation, binary decision diagrams, satisfiability solving, configurable system, software configuration, feature models, artificial intelligence},
publisher = ACM,
year = 2020
}
@inproceedings{FHS:CP20,
author = {Fichte, Johannes K. and Hecher, Markus and Szeider, Stefan},
title = {{A Time Leap Challenge for SAT-Solving}},
booktitle = CP,
editor = {Simonis, Helmut},
publisher = Springer,
pages = {267--285},
tt-tags = {SAT},
year = 2020
}
@inproceedings{RKTS:FormaliSE20,
author = {Runge, Tobias and Kn\"{u}ppel, Alexander and Th\"{u}m, Thomas and Schaefer, Ina},
title = {{Lattice-Based Information Flow Control-by-Construction for Security-by-Design}},
booktitle = FormaliSE,
pages = {44--54},
keywords = {correctness-by-construction, security-by-design, information flow control},
publisher = ACM,
year = 2020
}
@article{FBAH20,
author = {Fern{\'a}ndez-Amor{\'o}s, David and Bra, Sergio and Aranda-Escol{\'a}stico, Ernesto and Heradio, Ruben},
title = {{Using Extended Logical Primitives for Efficient BDD Building}},
journal = {Mathematics},
volume = {8},
number = {8},
pages = {1253:1--1253:17},
year = {2020},
publisher = {Multidisciplinary Digital Publishing Institute},
tt-tags = {Feature-Model Analysis,BDD}
}
@inproceedings{RTC+:REFINE20,
author = {Tobias Runge and Thomas Th\"{u}m and Loek Cleophas and Ina Schaefer and Bruce W. Watson},
title = {{Comparing Correctness-by-Construction with Post-Hoc Verification -- A Qualitative User Study}},
booktitle = REFINE,
publisher = Springer,
pages = {388--405},
year = 2020,
}
@inproceedings{PAM+:ICPE20,
author = {Juliana Alves Pereira and Mathieu Acher and Hugo Martib and Jean-Marc J{\'e}z{\'e}quel},
title = {{Sampling Effect on Performance Prediction of Configurable Systems: A Case Study}},
booktitle = ICPE,
pages = {277--288},
sampling-tags = {evaluation, effectiveness, open-source tool, non-functional properties, compares Coverage-based/Solver-based/Randomized solver-based/Distance-based/Diversified distance-based/Random, JS20},
publisher = ACM,
year = 2020
}
@article{BLLV:TSE20,
author = {ter Beek, Maurice H. and Legay, Axel and Lluch Lafuente, Alberto and Vandin, Andrea},
title = {{A Framework for Quantitative Modeling and Analysis of Highly (Re)Configurable Systems}},
journal = TSE,
publisher = IEEE,
volume = {46},
number = {3},
pages = {321--345},
keywords = {Probabilistic logic;Model checking;Tools;Analytical models;Runtime;Computational modeling;DSL},
tt-tags = {SPL Model Checking,reqex,DSPL},
tc-tags = {classified by Thomas+Maurice,statistical model checking,unoptimized product-based analysis,family-based implementation,specification independent,design,tool,evaluation,no proof,QFLan,MultiVeSta},
year = 2020
}
@inproceedings{KJN+:FASE20,
author = {Alexander Kn{\"{u}}ppel and Inga Jatzkowski and Marcus Nolte and Thomas Th{\"{u}}m and Tobias Runge and Ina Schaefer},
title = {{Skill-Based Verification of Cyber-Physical Systems}},
booktitle = FASE,
editor = {Heike Wehrheim and Jordi Cabot},
series = LNCS,
volume = {12076},
pages = {203--223},
publisher = Springer,
year = 2020
}
% no pages given
@article{AVL:IST20,
author = {Wesley K. G. Assun{\c{c}}{\~{a}}o and Silvia R. Vergilio and Roberto E. Lopez{-}Herrejon},
title = {{Automatic Extraction of Product Line Architecture and Feature Models from UML Class Diagram Variants}},
journal = IST,
volume = {117},
articleno = {106198},
publisher = Elsevier,
year = 2020
}
@inproceedings{SSS:VaMoS2020,
author = {Schlie, Alexander and Schulze, Sandro and Schaefer, Ina},
title = {{Recovering Variability Information from Source Code of Clone-and-Own Software Systems}},
booktitle = VaMoS20,
pages = {1--9},
year = 2020,
publisher = ACM,
articleno = {19},
numpages = {9},
keywords = {150% model, clone-and-own, source code, recovering, variability}
}
@mastersthesis{Bittner20,
author = {Bittner, Paul Maximilian},
title = {{Semi-Automated Inference of Feature Traceability During Software Development}},
school = TUBraunschweig,
type = {Master's Thesis},
keywords = {Feature Mapping Recording; Clone-and-Own; Semantic AST},
typo3Tags = {SupervisorTT, VariantSyncMT},
year = 2020
}
@inproceedings{KTS+:VaMoS20,
author = {Krieter, Sebastian and Th\"{u}m, Thomas and Schulze, Sandro and Saake, Gunter and Leich, Thomas},
title = {{YASA: Yet Another Sampling Algorithm}},
booktitle = VaMoS20,
articleno = 4,
numpages = 10,
keywords = {configurable system, product-based testing, T-wise sampling, software product lines},
publisher = ACM,
tt-tags = {Product Sampling},
tc-tags = {classified by Thomas,testing,sample-based analysis,specification independent,implementation independent,program,subsumed by none},
sampling-tags = {name = YASA,feature model,expert knowledge,greedy,t-wise coverage,evaluation,sampling efficiency,testing efficiency,open-source tool,testing,compared to Chvatal/ICPL/IncLing,usage of FeatureIDE/Sat4J,SAT,JS20},
year = 2020
}
@inproceedings{BRK+:VaMoS20,
author = {Bordis, Tabea and Runge, Tobias and Kn\"{u}ppel, Alexander and Th\"{u}m, Thomas and Schaefer, Ina},
title = {{Variational Correctness-by-Construction}},
booktitle = VaMoS20,
articleno = 7,
numpages = 9,
keywords = {correctness-by-construction, design-by-contract, variational software, deductive verification, formal methods},
publisher = ACM,
tt-tags = {design by contract,feature orientation},
tc-tags = {classified by Thomas,theorem proving,optimized product-based analysis,feature modules,composition-based implementation,feature-based specification,source code,subsumed by none},
year = 2020
}
@inproceedings{SSK+:VaMoS20,
author = {Sprey, Joshua and Sundermann, Chico and Krieter, Sebastian and Nieke, Michael and Mauro, Jacopo and Th\"{u}m, Thomas and Schaefer, Ina},
title = {{SMT-Based Variability Analyses in FeatureIDE}},
booktitle = VaMoS20,
articleno = 6,
numpages = 9,
keywords = {variability analysis, SAT analysis, SAT, preprocessor analysis, configuration analysis, attribute optimization, SMT, SAT vs SMT, SMT analysis, feature attributes, feature models, feature model analysis},
publisher = ACM,
tt-tags = {SMT,feature-model analysis,family-based analysis},
tc-tags = {classified by Thomas,feature-model analysis,family-based analysis,implementation independent,specification independent},
year = 2020
}
@inproceedings{STS:VaMoS20,
author = {Sundermann, Chico and Th\"{u}m, Thomas and Schaefer, Ina},
title = {{Evaluating \#SAT Solvers on Industrial Feature Models}},
booktitle = VaMoS20,
articleno = 3,
numpages = 9,
keywords = {configuration counting, model counting, configurable systems, \#SAT, feature models, product lines},
publisher = ACM,
tt-tags = {BDD,Feature-Model Analysis,Model Counting,Knowledge Compilation},
tc-tags = {classified by Thomas,feature-model analysis,family-based analysis,implementation independent,specification independent},
year = 2020
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2019 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@mastersthesis{Sprey19,
author = {Sprey, Joshua},
title = {{SMT-Based Variability Analyses in FeatureIDE}},
school = TUBraunschweig,
type = {Project Thesis},
typo3Tags = {SupervisorTT},
year = 2019
}
@mastersthesis{Sundermann19,
author = {Sundermann, Chico},
title = {{Evaluating \#SAT-Solvers on Industrial Feature Models}},
school = TUBraunschweig,
type = {Project Thesis},
typo3Tags = {SupervisorTT},
year = 2019
}
@article{LML:SCP19,
author = {Lars Luthmann and Stephan Mennicke and Malte Lochau},
title = {{Unifying Modal Interface Theories and Compositional Input/Output Conformance Testing}},
journal = SCP,
volume = {172},
pages = {27--47},
year = 2019
}
@inproceedings{HNL+:GPCE19,
author = {Hinterreiter, Daniel and Nieke, Michael and Linsbauer, Lukas and Seidl, Christoph and Pr\"{a}hofer, Herbert and Gr\"{u}nbacher, Paul},
title = {{Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze, and Replay Software Product Line Evolution}},
year = 2019,
publisher = ACM,
booktitle = GPCE13,
pages = {115--128}
}
@article{RTM:JSS19,
title = {{Software Product Lines and Variability Modeling: A Tertiary Study}},
author = {Raatikainen, Mikko and Tiihonen, Juha and Männistö, Tomi},
journal = JSS,
volume = {149},
pages = {485-510},
year = 2019,
keywords = {Software product line, Variability, Variability modeling, Systematic literature review, Mapping study, Tertiary study}
}
@article{AAG+:SQJ19,
title={{Modeling Variability in the Video Domain: Language and Experience Report}},
author={Alf{\'e}rez, Mauricio and Acher, Mathieu and Galindo, Jos{\'e} A and Baudry, Benoit and Benavides, David},
journal= SQJ,
volume={27},
number={1},
pages={307--347},
year= 2019,
publisher= Springer,
}
@inproceedings{MLAE:SPLC19,
author = {Michelon, Gabriela Karoline and Linsbauer, Lukas and Assun\c{c}\~{a}o, Wesley K. G. and Egyed, Alexander},
title = {{Comparison-Based Feature Location in ArgoUML Variants}},
publisher = ACM,
booktitle = SPLC,
pages = {93–97},
numpages = {5},
keywords = {software product lines, variants, clones, traceability, reuse, feature location},
pb-tags = {pbtoread},
year = 2019,
}
@article{BBCW:SoSyM19,
author = {Hugo Bruneli{\`{e}}re and Erik Burger and Jordi Cabot and Manuel Wimmer},
title = {{A Feature-Based Survey of Model View Approaches}},
journal = SoSyM,
volume = {18},
number = {3},
pages = {1931--1952},
tt-tags = {Multi-View Modeling},
year = 2019
}
@article{GGL+:IST19,
author = {Antonio Garmendia and Esther Guerra and Juan de Lara and Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and Dimitris S. Kolovos},
title = {{Scaling-Up Domain-Specific Modelling Languages Through Modularity Services}},
journal = IST,
volume = {115},
pages = {97--118},
year = 2019,
}
@inproceedings{FBS:SAT19,
author = {Fazekas, Katalin and Biere, Armin and Scholl, Christoph},
editor = {Janota, Mikol{\'a}{\v{s}} and Lynce, In{\^e}s},
title = {{Incremental Inprocessing in SAT Solving}},
booktitle = SAT,
publisher = Springer,
pages = {136--154},
year = 2019
}
@article{DMG:EMSE19,
author = {Alexandre Decan and Tom Mens and Philippe Grosjean},
title = {{An Empirical Comparison of Dependency Network Evolution in Seven Software Packaging Ecosystems}},
journal = EMSE,
volume = {24},
number = {1},
pages = {381--416},
year = 2019
}
@inproceedings{IM:IJCAI19,
author = {Masakazu Ishihata and Takanori Maehara},
title = {{Exact Bernoulli Scan Statistics Using Binary Decision Diagrams}},
booktitle = IJCAI,
pages = {5737--5743},
publisher = AAAIpress,
year = 2019,
kc-tags = {TdZDD}
}
@inproceedings{SRSM:IJCAI19,
title = {{GANAK: A Scalable Probabilistic Exact Model Counter}},
author = {Sharma, Shubham and Roy, Subhajit and Soos, Mate and Meel, Kuldeep S},
booktitle = IJCAI,
publisher = AAAIpress,
volume = {19},
pages = {1169--1176},
year = 2019
}
@inproceedings{CEB+:SANER19,
author = {Muslim Chochlov and Michael English and Jim Buckley and Daniel Ilie and Maria Scanlon},
title = {{Identifying Feature Clones: An Industrial Case Study}},
booktitle = SANER,
pages = {544--548},
publisher = IEEE,
year = 2019,
}
@inproceedings{CFM:VaMoS19,
author = {Cruz, Daniel and Figueiredo, Eduardo and Martinez, Jabier},
title = {{A Literature Review and Comparison of Three Feature Location Techniques Using ArgoUML-SPL}},
publisher = ACM,
booktitle = VaMoS,
articleno = {16},
numpages = {10},
keywords = {benchmark, variability mining, feature location, reverse engineering, software product lines},
year = 2019,
pb-tags = {pbtoread}
}
@incollection{BG19,
author = {Boreale, Michele and Gorla, Daniele},
title = {{Approximate Model Counting, Sparse XOR Constraints and Minimum Distance}},
booktitle = {{The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy}},
pages = {363--378},
publisher = Springer,
year = 2019
}
@inproceedings{HFME:ICSE19,
author = {Heradio, Ruben and Fern{\'a}ndez-Amor{\'o}s, David and Mayr-Dorn, Christoph and Egyed, Alexander},
title = {{Supporting the Statistical Analysis of Variability Models}},
booktitle = ICSE,
pages = {843--853},
publisher = IEEE,
year = 2019
}
@article{KMW+:JSS19,
author = {Jacob Kr{\"{u}}ger and Mukelabai Mukelabai and Wanzi Gu and Hui Shen and Regina Hebig and Thorsten Berger},
title = {{Where is my Feature and What is it About? A Case Study on Recovering Feature Facets}},
journal = JSS,
volume = {152},
pages = {239--253},
pb-tags = {VariantSync, VariantSyncNew, pbtoread},
year = 2019
}
@incollection{KBL19,
author = {Jacob Kr{\"{u}}ger and Thorsten Berger and Thomas Leich},
title = {{Features and How to Find Them: A Survey of Manual Feature Location}},
booktitle = {Software Engineering for Variability Intensive Systems - Foundations and Applications},
pages = {153--172},
publisher = {Auerbach Publications / Taylor {\&} Francis},
pb-tags = {VariantSync, VariantSyncNew, pbtoread},
year = 2019
}
@inproceedings{KCB+:ESECFSE19,
author = {Kr\"{u}ger, Jacob and \c{C}al\i{}kl\i{}, G\"{u}l and Berger, Thorsten and Leich, Thomas and Saake, Gunter},
title = {{Effects of Explicit Feature Traceability on Program Comprehension}},
publisher = ACM,
booktitle = ESECFSE,
pages = {338–-349},
numpages = {12},
keywords = {Software maintenance, Program comprehension, Separation of concerns, Feature traceability},
pb-tags = {VariantSync, VariantSyncNew, feature traceability, pbtoread},
year = 2019
}
@inproceedings{AFH+:SODA19,
author = {Antoniadis, Antonios and Fleszar, Krzysztof and Hoeksma, Ruben and Schewior, Kevin},
title = {{A PTAS for Euclidean TSP With Hyperplane Neighborhoods}},
booktitle = SODA,