Institute of Software Engineering and Programming Languages

2024

710.
Sihler, Florian; Tichy, Matthias
flowR: A Static Program Slicer for R
ASE '24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (Tool Demonstrations)
Oktober 2024
DOI:10.1145/3691620.3695359
709.
Sihler, Florian
Improving the Comprehension of R Programs by Hybrid Dataflow Analysis
ASE '24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (Doctoral Symposium)
Oktober 2024
DOI:10.1145/3691620.3695603
708.
Exelmans, Joeri; Pietron, Jakob; Raschke, Alexander; Vangheluwe, Hans
A Virtual Global Monorepo of Immutable Linked Data
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
September 2024
DOI:10.1145/3652620.3688222
707.
Sundermann, Chico; Brancaccio, Vincenzo Francesco; Kuiter, Elias; Krieter, Sebastian; Heß, Tobias; Thüm, Thomas
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 54-65
Herausgeber: ACM, New York, NY, USA
September 2024
DOI:10.1145/3646548.3672590
706.
Pietron, Jakob; Jutz, Benedikt; Raschke, Alexander; Tichy, Matthias
EditQL: A Textual Query Language for Evolving Models
ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS'24)
September 2024
DOI:10.1145/3640310.3674101
705.
Sundermann, Chico; Heß, Tobias; Sundermann, Rahel; Kuiter, Elias; Krieter, Sebastian; Thüm, Thomas
Generating Feature Models with UVL's Full Expressiveness
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Seite 61-65
Herausgeber: ACM, New York, NY, USA
September 2024
DOI:10.1145/3646548.3676602
704.
Greiner, Sandra; Schultheiß, Alexander; Bittner, Paul Maximilian; Thüm, Thomas; Kehrer, Timo
Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 84-95
Herausgeber: ACM, New York, NY, USA
September 2024
DOI:10.1145/3646548.3672593
ISBN:9798400705939
703.
Heß, Tobias; Karrer, Simon; Ostheimer, Lukas
Multi-Version Decision Propagation for Configuring Feature Models in Space and Time
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 88-92
Herausgeber: ACM, New York, NY, USA
September 2024
DOI:10.1145/3646548.3676550
ISBN:9798400705939
702.
Pett, Tobias; Krieter, Sebastian; Thüm, Thomas; Schaefer, Ina
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 47-53
Herausgeber: ACM, New York, NY, USA
September 2024
DOI:10.1145/3646548.3672589
ISBN:9798400705939
701.
Sundermann, Chico; Kuiter, Elias; Heß, Tobias; Raab, Heiko; Krieter, Sebastian; Thüm, Thomas
On the Benefits of Knowledge Compilation for Feature-Model Analyses (Journal First)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 217
Herausgeber: ACM, New York, NY, USA
September 2024
DOI:10.1145/3646548.3676540
700.

SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference
In Maxime Cordy and Daniel Strüber and Monica Pinto and Iris Groher and Deepak Dhungana and Jacob Krüger and Juliana Alves Pereira and Mathieu Acher and Thomas Thüm and Maurice ter Beek and Jessie Galasso-Carbonnel and Paolo Arcaini and Mohammad Reza Mousavi and Xhevahire Ternava and Jose Galindo and Tao Yue and Lidia Fuentes and Jose Miguel Horcas, Editor
Herausgeber: ACM, New York, NY, USA
September 2024
ISBN:9798400705939
699.
Heß, Tobias; Semmler, Sean Niklas; Sundermann, Chico; Toran, Jacobo; Thüm, Thomas
Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 136-147
Herausgeber: ACM, New York, NY, USA
September 2024
DOI:10.1145/3646548.3672598
ISBN:9798400705939
698.
Bittner, Paul Maximilian; Schultheiß, Alexander; Moosherr, Benjamin; Kehrer, Timo; Thüm, Thomas
Variability-Aware Differencing with DiffDetective
Companion Proc. Int'l Conference on the Foundations of Software Engineering (FSE Companion), Seite 632-636
Herausgeber: ACM, New York, NY, USA
Juli 2024
DOI:10.1145/3663529.3663813
ISBN:9798400706585
697.
Neumüller, Denis; Sihler, Florian; Straub, Raphael; Tichy, Matthias
Exploring the Effectiveness of Abstract Syntax Tree Patterns for Algorithm Recognition
4. International Conference on Code Quality (ICCQ)
Juni 2024
DOI:10.1109/ICCQ60895.2024.10576984
ISBN:979-8-3503-6646-4
696.
Exelmans, Joeri; Pietron, Jakob; Raschke, Alexander; Vangheluwe, Hans; Tichy, Matthias
Improving Collaborative Modeling by an Operation-Based Versioning Approach
Software Engineering 2024
März 2024
DOI:10.18420/sw2024_7
695.
Groner, Raffaela; Bellmann, Peter; Höppner, Stefan; Thiam, Patrick; Schwenker, Friedhelm; Tichy, Matthias
Predicting the Performance of ATL Model Transformations
Software Engineering 2024
März 2024
DOI:10.18420/sw2024_4
694.
Sundermann, Chico; Heß, Tobias; Nieke, Michael; Bittner, Paul Maximilian; Young, Jeffrey M.; Thüm, Thomas; Schaefer, Ina
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces - Summary
Proc. Software Engineering (SE), Seite 67-68
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2024
DOI:10.18420/sw2024_18
ISBN:978-3-88579-737-1
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-SE-Sundermann.pdf
693.
Güthing, Lukas; Bittner, Paul Maximilian; Schaefer, Ina; Thüm, Thomas
Explaining Edits to Variability Annotations in Evolving Software Product Lines
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 93-102
Herausgeber: ACM, New York, NY, USA
Februar 2024
DOI:10.1145/3634713.3634725
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Guething.pdf
692.
Greiner, Sandra; Schmid, Klaus; Berger, Thorsten; Krieter, Sebastian; Meixner, Kristof
Generative AI and Software Variability - A Research Vision
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 71-76
Herausgeber: ACM, New York, NY, USA
Februar 2024
DOI:10.1145/3634713.3634722
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Greiner.pdf
691.
Kuiter, Elias; Heß, Tobias; Sundermann, Chico; Krieter, Sebastian; Thüm, Thomas; Saake, Gunter
How Easy Is SAT-Based Analysis of a Feature Model?
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 149-151
Herausgeber: ACM, New York, NY, USA
Februar 2024
DOI:10.1145/3634713.3634733
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Kuiter.pdf
690.
Böhm, Sabrina; Krieter, Sebastian; Heß, Tobias; Thüm, Thomas; Lochau, Malte
Incremental Identification of T-Wise Feature Interactions
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 27-36
Herausgeber: ACM, New York, NY, USA
Februar 2024
DOI:10.1145/3634713.3634715
ISBN:9798400708770
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Boehm.pdf
689.

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
In Jessie Galasso-Carbonnel and Chico Sundermann, Editor
Februar 2024
Datei:https://arxiv.org/abs/2402.15511
688.
Heß, Tobias; Schmidt, Tim Jannik; Ostheimer, Lukas; Krieter, Sebastian; Thüm, Thomas
UnWise: High T-Wise Coverage From Uniform Sampling
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 37-45
Herausgeber: ACM, New York, NY, USA
Februar 2024
DOI:10.1145/3634713.3634716
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Hess.pdf
687.
Heß, Tobias; Ostheimer, Lukas; Betz, Tobias; Karrer, Simon; Schmidt, Tim Jannik; Coquet, Pierre; Semmler, Sean; Thüm, Thomas
variability.dev: Towards an Online Toolbox for Feature Modeling
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR) (To Appear)
Februar 2024
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-MODEVAR-Hess.pdf
686.
Sundermann, Chico; Loth, Jacob; Thüm, Thomas
Efficient Slicing of Feature Models via Projected d-DNNF Compilation
Proc. Int'l Conf. on Automated Software Engineering (ASE) (To Appear)
Herausgeber: ACM, New York, NY, USA
2024
685.
Sihler, Florian; Pietzschmann, Lukas; Straub, Raphael; Tichy, Matthias; Diera, Andor; Dahou, Abdelhalim
On the Anatomy of Real-World R Code for Static Analysis
21st International Conference on Mining Software Repositories (MSR '24)
Januar 2024
DOI:10.1145/3643991.3644911
Datei:pdfhttps://arxiv.org/pdf/2401.16228.pdf
684.
Bittner, Paul Maximilian; Schultheiß, Alexander; Moosherr, Benjamin; Young, Jeffrey M.; Teixeira, Leopoldo; Walkingshaw, Eric; Ataei, Parisa; Thüm, Thomas
On the Expressive Power of Languages for Static Variability
Proceedings of the ACM on Programming Languages (PACMPL) OOPSLA2
2024
Herausgeber: ACM
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-OOPSLA-Bittner.pdf
683.
Sundermann, Chico; Raab, Heiko; Heß, Tobias; Thüm, Thomas; Schaefer, Ina
Reusing d-DNNFs for Efficient Feature-Model Counting
Trans. on Software Engineering and Methodology (TOSEM) (To Appear)
2024
Herausgeber: ACM
682.
Romero-Organvidez, David; Galindo, Jose A; Sundermann, Chico; Horcas, Jose-Miguel; Benavides, David
UVLHub: A Feature Model Data Repository Using UVL and Open Science Principles
J. Systems and Software (JSS) (To Appear)
2024
Herausgeber: Elsevier Science Inc.

2023

681.
Bottner, Laura; Hermann, Artur; Eppler, Jeremias; Thüm, Thomas; Kargl, Frank
Evaluation of Free and Open Source Tools for Automated Software Composition Analysis
Proc. 7th ACM Computer Science in Cars Symposium (CSCS), Seite 3:1-3:11
Herausgeber: ACM, New York, NY, USA
Dezember 2023
DOI:10.1145/3631204.3631862
ISBN:9798400704543
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-CSCS-Bottner.pdf
680.
Sundermann, Chico; Kuiter, Elias; Heß, Tobias; Raab, Heiko; Krieter, Sebastian; Thüm, Thomas
On the Benefits of Knowledge Compilation for Feature-Model Analyses
Annals of Mathematics and Artificial Intelligence (AMAI)
November 2023
Herausgeber: Springer
DOI:10.1007/s10472-023-09906-6
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-AMAI-Sundermann.pdf
679.
Pietron, Jakob; Raschke, Alexander; Exelmans, Joeri; Tichy, Matthias
Collaboration And Versioning Framework – a Systematic Top-Down Approach
2nd International Hands-on Workshop on Collaborative Modeling (HoWCoM),, co-located with MODELS'23, Västerås, Sweden
Oktober 2023
DOI:10.1109/MODELS-C59198.2023.00124
678.
Pietron, Jakob; Raab, Heiko; Tichy, Matthias
Efficient Caching for Operation-based Versioning
16th Workshop on Models and Evolution (ME) 2023, co-located with MODELS'23, Västerås, Sweden
Oktober 2023
DOI:10.1109/MODELS-C59198.2023.00152
677.
Rechenberger, Sascha; Frühwirth, Thom
FreeCHR: An Algebraic Framework for CHR Embeddings
7th International Joint Conference on Rules and Reasoning (RuleML+RR '23), Oslo, Norway
Oktober 2023
DOI:10.1007/978-3-031-45072-3_14
ISBN:978-3-031-45072-3
676.
Diera, Andor; Dahou, Abdelhalim; Galke, Lukas; Karl, Fabian; Sihler, Florian; Scherp, Ansgar
GenCodeSearchNet: A Benchmark Test Suite for Evaluating Generalization in Programming Language Understanding
GenBench 2023 Workshop
Oktober 2023
DOI:10.48550/arXiv.2311.09707
675.
Schultheiß, Alexander; Bittner, Paul Maximilian; Boll, Alexander; Grunske, Lars; Thüm, Thomas; Kehrer, Timo
RaQuN: A Generic and Scalable N-Way Model Matching Algorithm
Software and Systems Modeling (SoSyM) :1495-1517
Oktober 2023
Herausgeber: Springer
DOI:10.1007/s10270-022-01062-5
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SoSyM-Schultheiss.pdf
674.
Pekaric, Irdin; Groner, Raffaela; Witte, Thomas; Adigun, Jubril Gbolahan; Raschke, Alexander; Felderer, Michael; Tichy, Matthias
A Systematic Review on Security and Safety of Self-adaptive Systems
Journal of Systems and Software
September 2023
DOI:10.1016/j.jss.2023.111716
673.
Krieter, Sebastian; Feichtinger, Kevin; Galindo, Jose A.; Benavides, David; Rabiser, Rick; Sundermann, Chico; Thüm, Thomas
Second Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 273
Herausgeber: ACM, New York, NY, USA
September 2023
DOI:10.1145/3579027.3609002
ISBN:9798400700910
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Krieter.pdf
672.
Exelmans, Joeri; Pietron, Jakob; Raschke, Alexander; Vangheluwe, Hans; Tichy, Matthias
A new versioning approach for collaboration in blended modeling
Journal of Computer Languages
August 2023
DOI:10.1016/j.cola.2023.101221
671.
Pett, Tobias; Heß, Tobias; Krieter, Sebastian; Thüm, Thomas; Schaefer, Ina
Continuous T-Wise Coverage
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 87-98
Herausgeber: ACM, New York, NY, USA
August 2023
DOI:10.1145/3579027.3608980
ISBN:9798400700910
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Pett.pdf
670.
Sundermann, Chico; Vill, Stefan; Thüm, Thomas; Feichtinger, Kevin; Agarwal, Prankur; Rabiser, Rick; Galindo, Jose A.; Benavides, David
UVLParser: Extending UVL With Language Levels and Conversion Strategies
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 39-42
Herausgeber: ACM, New York, NY, USA
August 2023
DOI:10.1145/3579028.3609013
ISBN:9798400700927
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Sundermann.pdf
669.
Loth, Jacob; Sundermann, Chico; Schrull, Tobias; Brugger, Thilo; Rieg, Felix; Thüm, Thomas
UVLS: A Language Server Protocol for UVL
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 43-46
Herausgeber: ACM, New York, NY, USA
August 2023
DOI:10.1145/3579028.3609014
ISBN:9798400700927
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Loth.pdf
668.
Krieter, Sebastian; Krüger, Jacob; Leich, Thomas; Saake, Gunter
VariantInc: Automatically Pruning and Integrating Versioned Software Variants
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 129-140
Herausgeber: ACM, New York, NY, USA
August 2023
DOI:10.1145/3579027.3608984
ISBN:9798400700910
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Krieter.pdf
667.
Bittner, Paul Maximilian; Schultheiß, Alexander; Greiner, Sandra; Moosherr, Benjamin; Krieter, Sebastian; Tinnes, Christof; Kehrer, Timo; Thüm, Thomas
Views on Edits to Variational Software
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 141-152
Herausgeber: ACM, New York, NY, USA
August 2023
DOI:10.1145/3579027.3608985
ISBN:9798400700910
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Bittner.pdf
666.
Sihler, Florian; Pietron, Jakob; Tichy, Matthias
One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS
Journal of Object Technology
Juli 2023
DOI:10.5381/jot.2023.22.2.a2
665.
Runge, Tobias; Bordis, Tabea; Potanin, Alex; Thüm, Thomas; Schaefer, Ina
Flexible Correct-by-Construction Programming
Logical Methods in Computer Science (LMCS) :16:1-16:36
Juni 2023
DOI:10.46298/lmcs-19(2:16)2023
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-LMCS-Runge.pdf
664.
Greiner, Sandra; Höppner, Stefan; Jouault, Frédéric; Le Calvar, Théo; Clavreul, Mickael
Incremental MTL vs. GPLs: Class into Relational Database Schema
Transformation Tool Contest'23
Mai 2023
Datei:pdfhttp://www.transformation-tool-contest.eu/TTC_2023_paper_4.pdf
663.
Stiess, Sarah Sophie; Höppner, Stefan; Becker, Steffen; Tichy, Matthias
Event-base Simulation for Transient System with Capture Replay to Predict Self-adaptive Systems (Work in Progress Paper)
14th ACM/SPEC International Conference on Performance Engineering (ICPE)
2023
April 2023
DOI:10.1145/3578245.3585029
662.
Groner, Raffaela; Bellmann, Peter; Höppner, Stefan; Thiam, Patrick; Schwenker, Friedhelm; Tichy, Matthias
Predicting the Performance of ATL Model Transformations
Proceedings of the 2023 ACM/SPEC International Conference on Performance Engineering
April 2023
DOI:10.1145/3578244.3583727
661.
Sundermann, Chico; Raab, Heiko; Heß, Tobias; Thüm, Thomas; Schaefer, Ina
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Technical Report arXiv:2303.12383
März 2023
DOI:10.48550/arXiv.2303.12383
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-TR-Sundermann.pdf
660.
Bittner, Paul Maximilian; Tinnes, Christof; Schultheiß, Alexander; Viegener, Sören; Kehrer, Timo; Thüm, Thomas
Classifying Edits to Variability in Source Code - Summary
Proc. Software Engineering (SE), Seite 39-40
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
ISBN:978-3-88579-726-5
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Bittner.pdf
659.
Feichtinger, Kevin; Sundermann, Chico; Thüm, Thomas; Rabiser, Rick
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations - Summary
Proc. Software Engineering (SE), Seite 51-52
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Feichtinger.pdf
658.
Schultheiß, Alexander; Bittner, Paul Maximilian; Thüm, Thomas; Kehrer, Timo
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary
Proc. Software Engineering (SE), Seite 109-110
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Schultheiss.pdf
657.
Kuiter, Elias; Krieter, Sebastian; Sundermann, Chico; Thüm, Thomas; Saake, Gunter
Tseitin or Not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses - Summary
Proc. Software Engineering (SE), Seite 83-84
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Kuiter-Tseitin.pdf
656.
Young, Jeffrey M.; Bittner, Paul Maximilian; Walkingshaw, Eric; Thüm, Thomas
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary
Proc. Software Engineering (SE), Seite 129-130
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Young.pdf
655.
Kuiter, Elias; Krieter, Sebastian; Krüger, Jacob; Saake, Gunter; Leich, Thomas
variED: An Editor for Collaborative, Real-Time Feature Modeling - Summary
Proc. Software Engineering (SE), Seite 85-86
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Kuiter-variED.pdf
654.
Schultheiß, Alexander; Bittner, Paul Maximilian; Greiner, Sandra; Kehrer, Timo
Benchmark Generation With VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 13-22
Herausgeber: ACM, New York, NY, USA
Januar 2023
DOI:10.1145/3571788.3571793
ISBN:9798400700019
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-VaMoS-Schultheiss.pdf
653.
Sundermann, Chico; Heß, Tobias; Nieke, Michael; Bittner, Paul Maximilian; Young, Jeffrey M.; Thüm, Thomas; Schaefer, Ina
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE) :38
Januar 2023
Herausgeber: Springer
DOI:10.1007/s10664-022-10265-9
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-EMSE-Sundermann.pdf
652.

VaMoS '23: Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems
In Myra Cohen and Thomas Thüm and Jacopo Mauro, Editor
Herausgeber: ACM, New York, NY, USA
Januar 2023
ISBN:9798400700019

2022

651.
Hentze, Marc; Pett, Tobias; Sundermann, Chico; Krieter, Sebastian; Thüm, Thomas; Schaefer, Ina
Generic Solution-Space Sampling for Multi-Domain Product Lines
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE)
Herausgeber: ACM, New York, NY, USA
Dezember 2022
DOI:10.1145/3564719.3568695
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-GPCE-Hentze.pdf
650.
Bittner, Paul Maximilian; Tinnes, Christof; Schultheiß, Alexander; Viegener, Sören; Kehrer, Timo; Thüm, Thomas
Classifying Edits to Variability in Source Code
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 196-208
Herausgeber: ACM, New York, NY, USA
November 2022
DOI:10.1145/3540250.3549108
ISBN:9781450394130
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ESECFSE-Bittner.pdf
649.
Runge, Tobias; Bordis, Tabea; Potanin, Alex; Thüm, Thomas; Schaefer, Ina
Flexible Correct-by-Construction Programming (Technical Report)
Technical Report arXiv:2211.15261
November 2022
DOI:10.48550/arXiv.2211.15261
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-TR-Runge-Flexible.pdf
648.
Höppner, Stefan; Stiess, Sarah Sophie; Ege, Florian; Tichy, Matthias
State Space Exploration for Planning Reconfigurations in Cloud-native Systems
13th Symposium on Software Performance
Stuttgart
November 2022
647.
Young, Jeffrey M.; Bittner, Paul Maximilian; Walkingshaw, Eric; Thüm, Thomas
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems
Empirical Software Engineering (EMSE) :53
November 2022
Herausgeber: Springer
DOI:10.1007/s10664-022-10217-3
646.
Höppner, Stefan; Ege, Florian; Stiess, Sarah Sophie; Tichy, Matthias; Becker, Steffen
Coordination and Explanation of Reconfigurations in Self-adaptive high-performance Systems
MODELS-C MoDDiT
Montreal
Oktober 2022
DOI:10.1145/3550356.3561555
645.
Pietron, Jakob; Funk, Lenard; Tichy, Matthias
Improving the Comprehension of Evolving Graphical Models
2022 Working Conference on Software Visualization (VISSOFT)
Oktober 2022
DOI:10.1109/VISSOFT55257.2022.00018
644.
Schultheiß, Alexander; Bittner, Paul Maximilian; Thüm, Thomas; Kehrer, Timo
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own
Proc. Int'l Conf. on Software Maintenance and Evolution (ICSME), Seite 269-280
Herausgeber: IEEE, Piscataway, NJ, USA
Oktober 2022
DOI:10.1109/ICSME55016.2022.00032
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ICSME-Schultheiss.pdf
643.
Hentze, Marc; Sundermann, Chico; Thüm, Thomas; Schaefer, Ina
Quantifying the Variability Mismatch Between Problem and Solution Space
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Seite 322-333
Herausgeber: IEEE, Washington, DC, USA
Oktober 2022
DOI:10.1145/3550355.3552411
ISBN:9781450394666
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-MODELS-Hentze.pdf
642.
Kuiter, Elias; Krieter, Sebastian; Sundermann, Chico; Thüm, Thomas; Saake, Gunter
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Proc. Int'l Conf. on Automated Software Engineering (ASE), Seite 110:1-110:13
Herausgeber: ACM, New York, NY, USA
Oktober 2022
DOI:10.1145/3551349.3556938
ISBN:9781450394758
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ASE-Kuiter.pdf
641.
Heß, Tobias; Müller, Tobias; Sundermann, Chico; Thüm, Thomas
ddueruem: A Wrapper for Feature-Model Analysis Tools
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 54-57
Herausgeber: ACM, New York, NY, USA
September 2022
DOI:10.1145/3503229.3547032
ISBN:9781450392068
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Hess.pdf
640.
Linsbauer, Lukas; Westphal, Paul; Bittner, Paul Maximilian; Krieter, Sebastian; Thüm, Thomas; Schaefer, Ina
Derivation of Subset Product Lines in FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 38-41
Herausgeber: ACM, New York, NY, USA
September 2022
DOI:10.1145/3503229.3547033
ISBN:9781450392068
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Linsbauer.pdf
639.
Feichtinger, Kevin; Sundermann, Chico; Thüm, Thomas; Rabiser, Rick
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 67-78
Herausgeber: ACM, New York, NY, USA
September 2022
DOI:10.1145/3546932.3546990
ISBN:9781450394437
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Feichtinger.pdf
638.
Höppner, Stefan; Tichy, Matthias
The Impact of Model Transformation Language Features on Quality Properties of MTLs: A Study Protocol
aus Registered Reports
Empirical Software Engineering & Measures
Helsinki
September 2022
DOI:10.48550/arXiv.2209.06570
637.
Sundermann, Chico; Feichtinger, Kevin; Galindo, Jose A.; Benavides, David; Rabiser, Rick; Krieter, Sebastian; Thüm, Thomas
Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 260:1
Herausgeber: ACM, New York, NY, USA
September 2022
DOI:10.1145/3546932.3547024
ISBN:9781450394437
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Sundermann.pdf
636.
Höppner, Stefan; Haas, Yves; Tichy, Matthias; Juhnke, Katharina
Advantages and disadvantages of (dedicated) model transformation languages: A Qualitative Interview Study
Empirical Software Engineering
August 2022
Herausgeber: Springer Nature
DOI:10.1007/s10664-022-10194-7
635.
Exelmans, Joeri; Pietron, Jakob; Raschke, Alexander; Vangheluwe, Hans; Tichy, Matthias
Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling
FPVM 2022: 2nd International Workshop on Foundations and Practice of Visual Modeling
Juli 2022
Datei:http://ceur-ws.org/Vol-3250/fpvmpaper1.pdf
634.
David, Istvan; Latifaj, Malvina; Pietron, Jakob; Zhang, Weixing; Ciccozzi, Federico; Malavolta, Ivano; Raschke, Alexander; Steghöfer, Jan-Philipp; Hebig, Regina
Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study
Journal of Software and Systems Modeling
Juni 2022
DOI:10.1007/s10270-022-01010-3
633.
Schultheiß, Alexander; Bittner, Paul Maximilian; El-Sharkawy, Sascha; Thüm, Thomas; Kehrer, Timo
Simulating the Evolution of Clone-and-Own Projects With VEVOS
Proc. Int'l Conf. on Evaluation Assessment in Software Engineering (EASE), Seite 231-236
Herausgeber: ACM, New York, NY, USA
Juni 2022
DOI:10.1145/3530019.3534084
ISBN:9781450396134
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-EASE-Schultheiss.pdf
632.
Runge, Tobias; Potanin, Alex; Thüm, Thomas; Schaefer, Ina
Traits: Correctness-by-Construction for Free
Proc. Int'l Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Seite 131-150
Herausgeber: Springer, Cham, Switzerland
Juni 2022
DOI:10.1007/978-3-031-08679-3_9
ISBN:978-3-031-08679-3
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-FORTE-Runge.pdf
631.
Neumüller, Denis; Tichy, Matthias
Towards Detecting Algorithm Implementations in Code Bases
24. Workshop Software-Reengineering und -Evolution (WSRE)
Mai 2022
Datei:pdfhttps://fg-sre.gi.de/fileadmin/FG/SRE/wsre2022/WSRE2022_Proceedings.pdf
630.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Ruland, Sebastian; Lochau, Malte; Saake, Gunter; Leich, Thomas
T-Wise Presence Condition Coverage and Sampling for Configurable Systems
Technical Report arXiv:2205.15180
Mai 2022
DOI:10.48550/arXiv.2205.15180
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-TR-Krieter.pdf
629.
Runge, Tobias; Potanin, Alex; Thüm, Thomas; Schaefer, Ina
Traits for Correct-by-Construction Programming
Technical Report arXiv:2204.05644
April 2022
DOI:10.48550/arXiv.2204.05644
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-TR-Runge-Traits.pdf
628.
Breckel, Alexander; Pietron, Jakob; Juhnke, Katharina; Sihler, Florian; Tichy, Matthias
A domain-specific language for modeling and analyzing solution spaces for technology roadmapping
Journal of Systems & Software (JSS)
Februar 2022
DOI:10.1016/j.jss.2021.111094
627.
Höppner, Stefan; Tichy, Matthias; Kehrer, Timo
Contrasting Dedicated Model Transformation Languages vs. General Purpose Languages: A Historical Perspective on ATL vs. Java based on Complexity and Size - Extended Abstract
Februar 2022
DOI:10.18420/se2022-ws-012
626.
Bittner, Paul Maximilian; Schultheiß, Alexander; Thüm, Thomas; Kehrer, Timo; Young, Jeffrey M.; Linsbauer, Lukas
Feature Trace Recording - Summary
Proc. Software Engineering (SE), Seite 19-20
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2022
DOI:10.18420/se2022-ws-002
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SE-Bittner.pdf
625.
Nieke, Michael; Sampaio, Gabriela; Thüm, Thomas; Seidl, Christoph; Teixeira, Leopoldo; Schaefer, Ina
Guiding the Evolution of Product-Line Configurations
Software and Systems Modeling (SoSyM) :225-247
Februar 2022
DOI:10.1007/s10270-021-00906-w
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SoSyM-Nieke.pdf
624.
Schultheiß, Alexander; Bittner, Paul Maximilian; Thüm, Thomas; Kehrer, Timo
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary
Proc. Software Engineering (SE), Seite 83-84
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2022
DOI:10.18420/se2022-ws-028
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SE-Schultheiss.pdf
623.
Juhnke, Katharina; Neumüller, Denis; Tichy, Matthias
A Quality Model and Checklists for Reviewing Automotive Test Case Specifications
Software Quality Days (SWQD 2022), Vienna, Austria
Herausgeber: Springer International Publishing
2022
DOI:https://doi.org/10.1007/978-3-031-04115-0_6
ISBN:978-3-031-04115-0
622.
Groner, Raffaela; Juhnke, Katharina; Höppner, Stefan; Tichy, Matthias; Becker, Steffen; Vijayshree, Vijayshree; Frank, Sebastian
A Survey on the Relevance of the Performance of Model Transformations (extended abstract)
Software Engineering (SE) 2022
2022
DOI:10.18420/se2022-ws-008
621.
Beringhoff, Felix; Greenyer, Joel; Roesener, Christian; Tichy, Matthias
Thirty-One Challenges in Testing Automated Vehicles: Interviews with Experts from Industry and Research
2022 IEEE Intelligent Vehicles Symposium (IV) (IV 2022)
Aachen, Germany
June 5-9, 2022
Juni 2022
DOI:10.1109/IV51971.2022.9827097
Datei:/fileadmin/website_uni_ulm/iui.inst.170/publications/IV2022_Paper_ThirtyOneChallenges_Final_AcceptedVersion_CitationAdded.pdf
620.
Witte, Thomas; Groner, Raffaela; Raschke, Alexander; Tichy, Matthias; Pekaric, Irdin; Felderer, Michael
Towards model co-evolution across self-adaptation steps for combined safety and security analysis
SEAMS '22: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems
2022
DOI:10.1145/3524844.3528062

2021

619.
Runge, Tobias; Bordis, Tabea; Thüm, Thomas; Schaefer, Ina
Teaching Correctness-by-Construction and Post-Hoc Verification - The Online Experience
Proc. Int'l Workshop and Tutorial on Formal Methods Teaching (FMTea), Seite 101-116
Herausgeber: Springer, Berlin, Heidelberg
November 2021
DOI:10.1007/978-3-030-91550-6_8
ISBN:978-3-030-91549-0
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-FMTea-Runge.pdf
618.
Schultheiß, Alexander; Bittner, Paul Maximilian; Grunske, Lars; Thüm, Thomas; Kehrer, Timo
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Seite 1-12
Herausgeber: IEEE, Washington, DC, USA
Oktober 2021
DOI:10.1109/MODELS50736.2021.00010
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-MODELS-Schultheiss.pdf
617.
Pett, Tobias; Krieter, Sebastian; Thüm, Thomas; Lochau, Malte; Schaefer, Ina
AutoSMP: An Evaluation Platform for Sampling Algorithms
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 41-44
Herausgeber: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461002.3473073
ISBN:9781450384704
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Pett.pdf
616.
Höppner, Stefan; Tichy, Matthias; Kehrer, Timo
Contrasting Dedicated Model Transformation Languages Versus General Purpose Languages: A Historical Perspective on ATL Versus Java Based on Complexity and Size
September 2021
Herausgeber: Springer Nature
DOI:10.1007/s10270-021-00937-3
615.

Fourth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2021)
In Thomas Thüm and Philippe Collet and Mathieu Acher, Editor
Herausgeber: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3473056
ISBN:9781450384698
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Thuem.pdf
614.
Krieter, Sebastian; Arens, Rahel; Nieke, Michael; Sundermann, Chico; Heß, Tobias; Thüm, Thomas; Seidl, Christoph
Incremental Construction of Modal Implication Graphs for Evolving Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 64-74
Herausgeber: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3471148
ISBN:9781450384698
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Krieter.pdf
613.
Sundermann, Chico; Heß, Tobias; Engelhardt, Dominik; Arens, Rahel; Herschel, Johannes; Jedelhauser, Kevin; Jutz, Benedikt; Krieter, Sebastian; Schaefer, Ina
Integration of UVL in FeatureIDE
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Seite 73-79
Herausgeber: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461002.3473940
ISBN:9781450384704
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-MODEVAR-Sundermann.pdf
612.
Thüm, Thomas
Keynote: Where Are My Constraints and What Do They Constrain?
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite XVIII
Herausgeber: ACM, New York, NY, USA
September 2021
ISBN:9781450384698
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Thuem.pdf
611.
Heß, Tobias; Sundermann, Chico; Thüm, Thomas
On the Scalability of Building Binary Decision Diagrams for Current Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 131-135
Herausgeber: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3474452
ISBN:9781450384698
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Hess.pdf
610.
Sundermann, Chico; Feichtinger, Kevin; Engelhardt, Dominik; Rabiser, Rick; Thüm, Thomas
Yet Another Textual Variability Language? A Community Effort Towards a Unified Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 136-147
Herausgeber: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3471145
ISBN:9781450384698
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Sundermann.pdf
609.
Bittner, Paul Maximilian; Schultheiß, Alexander; Thüm, Thomas; Kehrer, Timo; Young, Jeffrey M.; Linsbauer, Lukas
Feature Trace Recording
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 1007-1020
Herausgeber: ACM, New York, NY, USA
August 2021
DOI:10.1145/3468264.3468531
ISBN:9781450385626
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-ESECFSE-Bittner.pdf
608.
Ege, Florian; Tichy, Matthias
Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution
ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)
Juli 2021
607.
Netzer, Timo
Development of a Parallelized BDD Library in Rust
University of Ulm, Germany
Juli 2021
606.
Pietron, Jakob; Füg, Fabian; Tichy, Matthias
An Operation-based Versioning Approach For Synchronous and Asynchronous Collaboration in Graphical Modeling Tools
FPVM 2021: 1st International Workshop on Foundations and Practice of Visual Modeling, Bergen, Norway
Juni 2021
Datei:pdfhttp://ceur-ws.org/Vol-2999/fpvmdata4mdepaper3.pdf
605.
Heß, Alexander; Hauck, Franz J.; Mödinger, David; Pietron, Jakob; Tichy, Matthias; Domaschka, Jörg
Morpheus: A Degradation Framework for Resilient IoT Systems
MeSS'21: International workshop on MDE for Smart IoT Systems, Bergen, Norway (To Appear)
Juni 2021
604.
Kehrer, Timo; Thüm, Thomas; Schultheiß, Alexander; Bittner, Paul Maximilian
Bridging the Gap Between Clone-and-Own and Software Product Lines
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 21-25
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2021
DOI:10.1109/ICSE-NIER52604.2021.00013
ISBN:978-1-6654-0140-1
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-ICSE-Kehrer.pdf
603.
Knüppel, Alexander; Thüm, Thomas; Schaefer, Ina
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Seite 124-129
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2021
DOI:10.1109/FormaliSE52586.2021.00018
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-FormaliSE-Knueppel.pdf
602.

Special Issue on Configurable Systems in Empirical Software Engineering (EMSE)
In Laurence Duchien and Paul Grünbacher and Thomas Thüm, Editor
Mai 2021
DOI:10.1007/s10664-021-09964-6
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-EMSE-Duchien.pdf
601.
Stegmaier, Michael; Engel, Dominik; Olbrich, Jannik; Tichy, Matthias
Property-Based Testing for Visualization Development
The Gap between Visualization Research and Visualization Software (VisGap)
April 2021
DOI:10.2312/visgap.20211087
600.
Vogt, Andrea; Witte, Thomas; Tichy, Matthias; Seufert, Tina
Impact of a bidirectional 3D code pre-view on task performance and learning outcome
Conference of Experimental Psychologists (TeaP 2021)
März 2021
599.
Kuiter, Elias; Krieter, Sebastian; Krüger, Jacob; Saake, Gunter; Leich, Thomas
variED: An Editor for Collaborative, Real-Time Feature Modeling
Empirical Software Engineering (EMSE) :24
März 2021
Herausgeber: Springer
DOI:10.1007/s10664-020-09892-x
598.
Groner, Raffaela; Beaucamp, Luis; Tichy, Matthias; Becker, Steffen
An Exploratory Study on Performance Engineering in Model Transformations (extended abstract)
Software Engineering (SE) 2021
Februar 2021
DOI:10.18420/SE2021_14
597.
Sundermann, Chico; Nieke, Michael; Bittner, Paul Maximilian; Heß, Tobias; Thüm, Thomas; Schaefer, Ina
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2021
DOI:10.1145/3442391.3442404
ISBN:9781450388245
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Sundermann.pdf
596.
Götz, Stefan; Groner, Raffaela; Tichy, Matthias
Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review - Extended Abstract
Software Engineering (SE) 2021
Februar 2021
DOI:10.18420/SE2021_11
595.
Götz, Stefan; Tichy, Matthias; Kehrer, Timo
Dedicated Model Transformation Languages vs. General-Purpose Languages: A Historical Perspective on ATL vs. Java
MODELSWARD'21
Februar 2021
DOI:10.5220/0010340801220135
594.
Hentze, Marc; Pett, Tobias; Thüm, Thomas; Schaefer, Ina
Hyper Explanations for Feature-Model Defect Analysis
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2021
DOI:10.1145/3442391.3442406
ISBN:9781450388245
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Hentze.pdf
593.
Knüppel, Alexander; Jatzkowski, Inga; Nolte, Marcus; Thüm, Thomas; Runge, Tobias; Schaefer, Ina
Skill-Based Verification of Cyber-Physical Systems (Extended Abstract)
Proc. Software Engineering (SE), Seite 67-68
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2021
DOI:10.18420/SE2021_22
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SE-Knueppel.pdf
592.
Pett, Tobias; Krieter, Sebastian; Runge, Tobias; Thüm, Thomas; Lochau, Malte; Schaefer, Ina
Stability of Product-Line Sampling in Continuous Integration
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2021
DOI:10.1145/3442391.3442410
ISBN:9781450388245
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Pett.pdf
591.
Runge, Tobias; Schaefer, Ina; Cleophas, Loek; Thüm, Thomas; Kourie, Derrick; Watson, Bruce W.
Tool Support for Correctness-by-Construction (Extended Abstract)
Proc. Software Engineering (SE), Seite 93-94
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2021
DOI:10.18420/SE2021_34
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SE-Runge.pdf
590.
Groner, Raffaela; Juhnke, Katharina; Götz, Stefan; Tichy, Matthias; Becker, Steffen; Vijayshree, Vijayshree; Frank, Sebastian
A Survey on the Relevance of the Performance of Model Transformations
Journal of Object Technology
2021
DOI:10.5381/jot.2021.20.2.a5
589.
Juhnke, Katharina; Nikic, Alexander; Tichy, Matthias
Clustering Natural Language Test Case Instructions as Input for Deriving Automotive Testing DSLs
Journal of Object Technology (JOT), 20 (3), 5 :1-14
Juni 2021
DOI:10.5381/jot.2021.20.3.a5
588.
Juhnke, Katharina
Improving the Quality of Automotive Test Case Specifications
Ulm University, Germany
März 2021
DOI:10.18725/OPARU-35558
587.
Witte, Thomas; Tichy, Matthias
Inferred Interactive Controls Through Provenance Tracking of ROS Message Data
2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE)
2021
586.
Vogt, Andrea; Witte, Thomas; Tichy, Matthias; Seufert, Tina
Supportive Elements for Coherence Formation Increase Code Comprehension
EARLI 2021
European Association for Research on Learning and Instruction (EARLI)
2021

2020

585.
Knüppel, Alexander; Krüger, Stefan; Thüm, Thomas; Bubel, Richard; Krieter, Sebastian; Bodden, Eric; Schaefer, Ina
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
Seite 122-148
Herausgeber: Springer, Cham, Switzerland
Dezember 2020
122-148
DOI:10.1007/978-3-030-64354-6_5
ISBN:978-3-030-64354-6
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-Knueppel.pdf
584.
Mühlhausen, Moritz; Kappel, Moritz; Kassubeck, Marc; Bittner, Paul Maximilian; Castillo, Susana; Magnor, Marcus
Temporal Consistent Motion Parallax for Omnidirectional Stereo Panorama Video
Proc. ACM Symposium on Virtual Reality Software and Technology (VRST)
Herausgeber: ACM, New York, NY, USA
November 2020
DOI:10.1145/3385956.3418965
Datei:https://graphics.tu-bs.de/publications/muhlhausen2020temporal
583.
Thüm, Thomas
A BDD for Linux? The Knowledge Compilation Challenge for Variability
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
DOI:10.1145/3382025.3414943
ISBN:9781450375696
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Thuem.pdf
582.
Ananieva, Sofia; Greiner, Sandra; Kühn, Thomas; Krüger, Jacob; Linsbauer, Lukas; Grüner, Sten; Kehrer, Timo; Klare, Heiko; Koziolek, Anne; Lönn, Henrik; Krieter, Sebastian; Seidl, Christoph; Ramesh, S.; Reussner, Ralf; Westfechtel, Bernhard
A Conceptual Model for Unifying Variability in Space and Time
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 1-12
Herausgeber: ACM, New York, NY, USA
Oktober 2020
DOI:10.1145/3382025.3414955
ISBN:9781450375696
581.
Groner, Raffaela; Gylstorff, Sophie; Tichy, Matthias
A Profiler for the Matching Process of Henshin
Tool Demonstration. In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), October 18–23, 2020, Virtual Event, Canada.
Oktober 2020
DOI:10.1145/3417990.3422000
580.
Groner, Raffaela; Beaucamp, Luis; Tichy, Matthias; Becker, Steffen
An Exploratory Study on Performance Engineering in Model Transformations
In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), October 18–23, 2020, Virtual Event, Canada.
Oktober 2020
DOI:10.1145/3365438.3410950
579.
Nachreiner, Leander; Raschke, Alexander; Stegmaier, Michael; Tichy, Matthias
CouchEdit: A Relaxed Conformance Editing Approach
MLE ’20: 2nd International Workshop on Modeling Language Engineering and Execution
Oktober 2020
DOI:10.1145/3417990.3421401
578.
Pietron, Jakob
Enhancing Collaborative Modeling
In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), October 18–23, 2020, Virtual Event, Canada
Oktober 2020
DOI:10.1145/3417990.3419490
577.
Nieke, Michael; Sampaio, Gabriela; Thüm, Thomas; Seidl, Christoph; Teixeira, Leopoldo; Schaefer, Ina
GuyDance: Guiding Configuration Updates for Product-Line Evolution
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Seite 56-64
Herausgeber: ACM, New York, NY, USA
Oktober 2020
DOI:10.1145/3382026.3425769
ISBN:9781450375702
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VariVolution-Nieke.pdf
576.
Krieter, Sebastian
Large-Scale T-Wise Interaction Sampling Using YASA
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 29:1-29:4
Herausgeber: ACM
Oktober 2020
575.
Runge, Tobias; Knüppel, Alexander; Thüm, Thomas; Schaefer, Ina
Lattice-Based Information Flow Control-by-Construction for Security-by-Design
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Seite 44-54
Herausgeber: ACM, New York, NY, USA
Oktober 2020
DOI:10.1145/3372020.3391565
ISBN:9781450370714
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-FormaliSE-Runge.pdf
574.
Schultheiß, Alexander; Bittner, Paul Maximilian; Kehrer, Timo; Thüm, Thomas
On the Use of Product-Line Variants as Experimental Subjects for Clone-and-Own Research: A Case Study
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
DOI:10.1145/3382025.3414972
ISBN:9781450375696
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Schultheiss.pdf
573.
Young, Jeffrey M.; Walkingshaw, Eric; Thüm, Thomas
Variational Satisfiability Solving
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
DOI:10.1145/3382025.3414965
ISBN:9781450375696
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Young.pdf
572.
Frühwirth, Thom
Repeated Recursion Unfolding for Super-Linear Speedup within Bounds
Pre-Proceedings of the 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020)
September 2020
Datei:https://arxiv.org/abs/2009.05314
571.
Breckel, Alexander; Pietron, Jakob; Juhnke, Katharina; Tichy, Matthias
A Domain Specific Language and Interactive User Interface for Model-Driven Engineering of Technology Roadmaps
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2020), Portorož, Slovenia
August 2020
DOI:10.1109/SEAA51224.2020.00035
570.
Runge, Tobias; Thüm, Thomas; Cleophas, Loek; Schaefer, Ina; Watson, Bruce W.
Comparing Correctness-by-Construction With Post-Hoc Verification - A Qualitative User Study
Proc. Int'l Workshop on Refinement (REFINE), Seite 388-405
Herausgeber: Springer, Cham, Switzerland
August 2020
DOI:10.1007/978-3-030-54997-8_25
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-REFINE-Runge.pdf
569.
Götz, Stefan; Tichy, Matthias
Investigating the Origins of Complexity and Expressiveness in ATL Transformations
Journal of Object Technology, 19 :12:1-21
Juli 2020
DOI:10.5381/jot.2020.19.2.a12
Datei:pdfhttp://www.jot.fm/issues/issue_2020_02/article12.pdf
568.
Götz, Stefan; Tichy, Matthias; Groner, Raffaela
Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review
Software and Systems Modeling (SoSyM)
Juli 2020
Herausgeber: Springer Nature
DOI:10.1007/s10270-020-00815-4
Datei:https://rdcu.be/b5A6X
567.
Schultheiß, Alexander; Boll, Alexander; Kehrer, Timo
Comparison of Graph-based Model Transformation Rules
J. Object Technology (JOT) :3:1-21
Juli 2020
DOI:10.5381/JOT.2020.19.2.A3
566.
Bertel, Tobias; Mühlhausen, Moritz; Kappel, Moritz; Bittner, Paul Maximilian; Richardt, Christian; Magnor, Marcus
Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography
Proc. IEEE Virtual Reality Workshop (VR), Seite 660-661
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2020
DOI:10.1109/VRW50115.2020.00181
ISBN:978-1-7281-6532-5
Datei:https://graphics.tu-bs.de/publications/bertel2020depth
565.
Knüppel, Alexander; Jatzkowski, Inga; Nolte, Marcus; Thüm, Thomas; Runge, Tobias; Schaefer, Ina
Skill-Based Verification of Cyber-Physical Systems
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Seite 203-223
Herausgeber: Springer, Berlin, Heidelberg
April 2020
DOI:10.1007/978-3-030-45234-6_10
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-FASE-Knueppel.pdf
564.
Sundermann, Chico; Thüm, Thomas; Schaefer, Ina
Evaluating #SAT Solvers on Industrial Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
DOI:10.1145/3377024.3377025
ISBN:9781450375016
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sundermann.pdf
563.
Krüger, Jacob; Krieter, Sebastian; Saake, Gunter; Leich, Thomas
EXtracting Product Lines from vAriaNTs (EXPLANT)
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 13:1-13:2
Herausgeber: ACM
Februar 2020
DOI:10.1145/3377024.3377046
562.
Sprey, Joshua; Sundermann, Chico; Krieter, Sebastian; Nieke, Michael; Mauro, Jacopo; Thüm, Thomas; Schaefer, Ina
SMT-Based Variability Analyses in FeatureIDE
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
DOI:10.1145/3377024.3377036
ISBN:9781450375016
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sprey.pdf
561.
Bordis, Tabea; Runge, Tobias; Knüppel, Alexander; Thüm, Thomas; Schaefer, Ina
Variational Correctness-by-Construction
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
DOI:10.1145/3377024.3377038
ISBN:9781450375016
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Bordis.pdf
560.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Saake, Gunter; Leich, Thomas
YASA: Yet Another Sampling Algorithm
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
DOI:10.1145/3377024.3377042
ISBN:9781450375016
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Krieter.pdf
559.
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank
Challenges Concerning Test Case Specifications in Automotive Software Testing: Assessment of Frequency and Criticality
Software Quality Journal
November 2020
Herausgeber: Springer
DOI:10.1007/s11219-020-09523-0
558.
Tichy, Matthias; Pietron, Jakob; Mödinger, David; Juhnke, Katharina; Hauck, Franz J.
Experiences with an Internal DSL in the IoT Domain
Proceedings of the 4th International Workshop on Model-Driven Engineering for the Internet-of-Things (MDE4IoT 2020)
Juli 2020
Datei:pdfhttp://ceur-ws.org/Vol-2707/mde4iotpaper1.pdf

2019

557.
Domaschka, Jörg; Berger, Christian; Reiser, Hans P.; Eichhammer, Philipp; Griesinger, Frank; Pietron, Jakob; Tichy, Matthias; Hauck, Franz J.; Habiger, Gerhard
Sorrir: A resilient self-organizing middleware for iot applications [position paper]
M4IoT '19: Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things
Dezember 2019
DOI:10.1145/3366610.3368098
556.
Witte, Thomas; Tichy, Matthias
A Hybrid Editor for Fast Robot Mission Prototyping
Proc. of the 1st International Workshop on Explainable Software
November 2019
555.
Witte, Thomas; Tichy, Matthias
Code Manipulation through Interactive Markers in a Live Preview
November 2019
554.
Tichy, Matthias; Ege, Florian
A Proposal of Features to Support Analysis and Debugging of Declarative Model Transformations with Graphical Syntax by Embedded Visualizations
International Workshop on Modeling Language Engineering and Execution (MLE): The joint Fifth International Workshop on Executable Modeling (EXE) and Seventh International Workshop on the Globalization of Modeling Languages (GEMOC)
September 2019
553.
Ciccozzi, Federico; Tichy, Matthias; Vangheluwe, Hans; Weyns, Danny
Blended Modelling - What, why and how
First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems
September 2019
552.
Krieter, Sebastian
Enabling Efficient Automated Configuration Generation and Management
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 93:1-93:7
Herausgeber: ACM
September 2019
551.
Thüm, Thomas; Knüppel, Alexander; Krüger, Stefan; Bolle, Stefanie; Schaefer, Ina
Feature-Oriented Contract Composition (Extended Abstract)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 25
Herausgeber: ACM, New York, NY, USA
September 2019
DOI:10.1145/3336294.3342374
ISBN:9781450371384
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPLC-Thuem.pdf
550.
Kuiter, Elias; Krieter, Sebastian; Krüger, Jacob; Leich, Thomas; Saake, Gunter
Foundations of Collaborative, Real-Time Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 36:1-36:8
Herausgeber: ACM
September 2019
DOI:10.1145/3336294.3336308
549.
Stegmaier, Michael; Raschke, Alexander; Tichy, Matthias; Meßner, Eva-Maria; Hajian, Sara; Feldengut, Anna
Insights for Improving Diagram Editing Gained from an Empirical Study
Fourth International Workshop on Human Factors in Modeling
September 2019
DOI:10.1109/MODELS-C.2019.00063
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/HuFaMo2019_Stegmaier_Insights.pdf
548.
Thüm, Thomas; Seidl, Christoph; Schaefer, Ina
On Language Levels for Feature Modeling Notations
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Seite 158-161
Herausgeber: ACM, New York, NY, USA
September 2019
DOI:10.1145/3307630.3342404
ISBN:9781450366687
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-MODEVAR-Thuem.pdf
547.
Pett, Tobias; Thüm, Thomas; Runge, Tobias; Krieter, Sebastian; Lochau, Malte; Schaefer, Ina
Product Sampling for Product Lines: The Scalability Challenge
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 78-83
Herausgeber: ACM, New York, NY, USA
September 2019
DOI:10.1145/3336294.3336322
ISBN:9781450371384
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPLC-Pett.pdf
546.
Bittner, Paul Maximilian; Thüm, Thomas; Schaefer, Ina
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses
Proc. Int'l Conf. on Software Engineering and Formal Methods (SEFM), Seite 127-144
Herausgeber: Springer, Berlin, Heidelberg
September 2019
DOI:10.1007/978-3-030-30446-1_7
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SEFM-Bittner.pdf
545.

SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A
In Thorsten Berger and Philippe Collet and Laurence Duchien and Thomas Fogdal and Patrick Heymans and Timo Kehrer and Jabier Martinez and Raul Mazo and Leticia Montalvillo and Camille Salinesi and Xhevahire Ternava and Thomas Thüm and Tewfik Ziadi, Editor
Herausgeber: ACM, New York, NY, USA
September 2019
ISBN:978-1-4503-7138-4
544.

SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B
In Carlos Cetina and Oscar Diaz and Laurence Duchien and Marianne Huchard and Rick Rabiser and Camille Salinesi and Christoph Seidl and Xhevahire Ternava and Leopoldo Teixeira and Thomas Thüm and Tewfik Ziadi, Editor
Herausgeber: ACM, New York, NY, USA
September 2019
ISBN:978-1-4503-6668-7
543.
Thüm, Thomas; Teixeira, Leopoldo; Schmid, Klaus; Walkingshaw, Eric; Mukelabai, Mukelabai; Varshosaz, Mahsa; Botterweck, Goetz; Schaefer, Ina; Kehrer, Timo
Towards Efficient Analysis of Variation in Time and Space
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Seite 57-64
Herausgeber: ACM, New York, NY, USA
September 2019
DOI:10.1145/3307630.3342414
ISBN:9781450366687
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-VariVolution-Thuem.pdf
542.
Groner, Raffaela
User-Centered Performance Engineering of Model Transformations
ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Doctoral Symposium, Munich, Germany
September 2019
DOI:10.1109/MODELS-C.2019.00097
541.
Juhnke, Katharina; Tichy, Matthias
A Tailored Domain Analysis Method for Developing System-Specific Testing DSLs Enabling their Smooth Introduction in Automotive Practice
Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2019), Kallithea Chalkidiki, Greece
August 2019
DOI:10.1109/SEAA.2019.00011
540.
Hoppenstedt, Burkhard; Witte, Thomas; Ruof, Jona; Kammerer, Klaus; Tichy, Matthias; Reichert, Manfred; Pryss, Rüdiger
Debugging Quadrocopter Trajectories in Mixed Reality
AVR 2019: Augmented Reality, Virtual Reality, and Computer Graphics
Juli 2019
539.
Jung, Reiner; Märtin, Lukas; Johanssen, Jan Ole; Paech, Barbara; Lochau, Malte; Thüm, Thomas; Schneider, Kurt; Tichy, Matthias; Ulbrich, Mattias
Addressed Challenges
Seite 21-36
Herausgeber: Springer, Cham, Switzerland
Juni 2019
21-36
DOI:10.1007/978-3-030-13499-0_3
ISBN:978-3-030-13499-0
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPP1593-Jung.pdf
538.
Thüm, Thomas; Knüppel, Alexander; Krüger, Stefan; Bolle, Stefanie; Schaefer, Ina
Feature-Oriented Contract Composition
J. Systems and Software (JSS) :83-107
Juni 2019
Herausgeber: Elsevier Science Inc.
ISSN: 0164-1212
DOI:10.1016/j.jss.2019.01.044
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-JSS-Thuem.pdf
537.
Thüm, Thomas; Hoorn, Andre; Apel, Sven; Bürdek, Johannes; Getir, Sinem; Heinrich, Robert; Jung, Reiner; Kowal, Matthias; Lochau, Malte; Schaefer, Ina; Walter, Jürgen
Performance Analysis Strategies for Software Variants and Versions
Seite 175-206
Herausgeber: Springer, Cham, Switzerland
Juni 2019
175-206
DOI:10.1007/978-3-030-13499-0_8
ISBN:978-3-030-13499-0
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPP1593-Thuem.pdf
536.
Bittner, Paul Maximilian; Tauscher, Jan-Philipp; Grogorick, Steve; Magnor, Marcus
Evaluation of Optimised Centres of Rotation Skinning
April 2019
Datei:https://graphics.tu-bs.de/publications/bittner2019evaluation
535.
Runge, Tobias; Schaefer, Ina; Cleophas, Loek; Th??m, Thomas; Kourie, Derrick; Watson, Bruce W.
Tool Support for Correctness-by-Construction
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Seite 25-42
Herausgeber: Springer, Cham, Switzerland
April 2019
DOI:10.1007/978-3-030-16722-6_2
ISBN:978-3-030-16722-6
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-FASE-Runge.pdf
534.
Grogorick, Steve; Überheide, Matthias; Tauscher, Jan-Philipp; Bittner, Paul Maximilian; Magnor, Marcus
Gaze and Motion-Aware Real-Time Dome Projection System
Proc. IEEE Virtual Reality Workshop (VR), Seite 1780-1783
Herausgeber: IEEE, Piscataway, NJ, USA
März 2019
DOI:10.1109/VR.2019.8797902
ISBN:978-1-7281-1377-7
Datei:https://graphics.tu-bs.de/publications/grogorick2019gaze
533.
Tauscher, Jan-Philipp; Schottky, Fabian Wolf; Grogorick, Steve; Bittner, Paul Maximilian; Mustafa, Maryam; Magnor, Marcus
Immersive EEG: Evaluating Electroencephalography in Virtual Reality
Proc. IEEE Virtual Reality Workshop (VR), Seite 1794-1800
Herausgeber: IEEE, Piscataway, NJ, USA
März 2019
DOI:10.1109/VR.2019.8797858
Datei:https://graphics.tu-bs.de/publications/tauscher2019immersive
532.
Al-Hajjaji, Mustafa; Thüm, Thomas; Lochau, Malte; Meinicke, Jens; Saake, Gunter
Effective Product-Line Testing Using Similarity-Based Product Prioritization
Software and Systems Modeling (SoSyM) :499-521
Februar 2019
Herausgeber: Springer
ISSN: 1619-1366
DOI:10.1007/s10270-016-0569-2
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SoSyM-Al-Hajjaji.pdf
531.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Schröter, Reimar; Saake, Gunter
Propagating Configuration Decisions With Modal Implication Graphs (Extended Abstract)
Proc. Software Engineering (SE), Seite 77-78
Herausgeber: Gesellschaft für Informatik
Februar 2019
DOI:10.18420/se2019-20
ISBN:978-3-88579-686-2
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SE-Krieter.pdf
530.
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY (Extended Abstract)
Proc. Software Engineering (SE), Seite 165-166
Herausgeber: Gesellschaft für Informatik
Februar 2019
DOI:10.18420/se2019-51
ISBN:978-3-88579-686-2
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SE-Knueppel.pdf
529.
Krieter, Sebastian; Thiem, Tobias; Leich, Thomas
Using Dynamic Software Product Lines to Implement Adaptive SGX-Enabled Systems
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 9:1-9:9
Herausgeber: ACM
Februar 2019
DOI:10.1145/3302333.3302340
528.
Frühwirth, Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity
Journal Fundamenta Informaticae
2019
Herausgeber: IOS Press
527.
Lity, Sascha; Nieke, Manuel; Thüm, Thomas; Schaefer, Ina
Retest Test Selection for Product-Line Regression Testing of Variants and Versions of Variants
J. Systems and Software (JSS) :46-63
Januar 2019
Herausgeber: Elsevier Science Inc.
ISSN: 0164-1212
DOI:10.1016/j.jss.2018.09.090
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-JSS-Lity.pdf

2018

526.
Pereira, Juliana Alves; Pawel, Matuszyk; Krieter, Sebastian; Spiliopoulou, Myra; Saake, Gunter
Personalized Recommender Systems for Product-Line Configuration Processes
Comput. Lang. Syst. Struct. :451-471
Dezember 2018
DOI:10.1016/j.cl.2018.01.003
525.
Nieke, Michael; Mauro, Jacopo; Seidl, Christoph; Thüm, Thomas; Yu, Ingrid Chieh; Franzke, Felix
Anomaly Analyses for Feature-Model Evolution
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 188-201
Herausgeber: ACM, New York, NY, USA
November 2018
DOI:10.1145/3278122.3278123
ISBN:978-1-4503-6045-6
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-GPCE-Nieke.pdf
524.
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
Experience Report on Formally Verifying Parts of OpenJDK's API With KeY
Proc. Workshop on Formal Integrated Development Environment (F-IDE), Seite 53-70
November 2018
DOI:10.4204/EPTCS.284.5
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-FIDE-Knueppel.pdf
523.
Ruland, Sebastian; Luthmann, Lars; Bürdek, Johannes; Lity, Sascha; Thüm, Thomas; Lochau, Malte; Ribeiro, Marcio
Measuring Effectiveness of Sample-Based Product-Line Testing
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 119-133
Herausgeber: ACM, New York, NY, USA
November 2018
DOI:10.1145/3278122.3278130
ISBN:978-1-4503-6045-6
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-GPCE-Ruland.pdf
522.
Groner, Raffaela; Gylstorff, Sophie; Tichy, Matthias
Monitoring the Execution of Declarative Model Transformations
9th Symposium on Software Performance, Hildesheim, Germany
November 2018
Datei:pdfhttps://www.performance-symposium.org/fileadmin/user_upload/palladio-conference/2018/papers/GronerGylstorffTichy.pdf
521.
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
Scalability of Deductive Verification Depends on Method Call Treatment
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Seite 159-175
Herausgeber: Springer, Cham, Switzerland
November 2018
DOI:10.1007/978-3-030-03427-6_15
ISBN:978-3-030-03426-9
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ISoLA-Knueppel.pdf
520.
Pietron, Jakob; Raschke, Alexander; Stegmaier, Michael; Tichy, Matthias; Rukzio, Enrico
Study Design Template for Identifying Usability Issues in Graphical Modeling Tools
2nd Workshop on Tools for Model Driven Engineering (MDETools'18) at MODELS'18, Copenhagen
Oktober 2018
Datei:pdfhttp://ceur-ws.org/Vol-2245/mdetools_paper_4.pdf
519.
Frühwirth, Thom
The Computer Art of Mason's Mark Design with VanDeGraphGenerator
Herausgeber: BOD
Oktober 2018
ISBN:9783752842975
Datei:https://books.google.de/books?id=w3hoDwAAQBAJ
518.
Wagner, Stefan; Tichy, Matthias; Felderer, Michael; Leue, Stefan
Verlässliche Software im 21. Jahrhundert
Informatik Spektrum
September 2018
517.
Gall, Daniel; Frühwirth, Thom
An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules
ACM Transactions on Computational Logic (TOCL), 19 (3)
September 2018
DOI:10.1145/3218818
Datei:https://arxiv.org/abs/1702.01606
516.
Kögel, Stefan; Tichy, Matthias
A Dataset of EMF Models from Eclipse Projects
Herausgeber: Open Access Repositorium der Universität Ulm
September 2018
DOI:10.18725/OPARU-9850
515.
Frühwirth, Thom
Implementation of Logical Retraction in Constraint Handling Rules with Justifications (full version)
In Dietmar Seipel, Michael Hanus, Salvador Abreu, Editor, Declarative Programming and Knowledge Management, Proceedings of the Conference on Declarative Programming DECLARE 2017, Revised Selected PapersBand10997, Seite 37--52
DECLARE 2017
Würzburg
17.-22.09.2017
In Dietmar Seipel, Michael Hanus, Salvador Abreu, Editor
Herausgeber: Springer
September 2018
DOI:10.1007/978-3-030-00801-7_3
Datei:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-just-impl-final-full.pdf
514.
Varshosaz, Mahsa; Al-Hajjaji, Mustafa; Thüm, Thomas; Runge, Tobias; Mousavi, Mohammad Reza; Schaefer, Ina
A Classification of Product Sampling for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 1-13
Herausgeber: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3233035
ISBN:978-1-4503-6464-5
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Varshosaz.pdf
513.
Krüger, Jacob; Fenske, Wolfram; Thüm, Thomas; Aporius, Dirk; Saake, Gunter; Leich, Thomas
Apo-Games: A Case Study for Reverse Engineering Variability From Cloned Java Variants
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 251-256
Herausgeber: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3236403
ISBN:978-1-4503-6464-5
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Krueger.pdf
512.
Nieke, Michael; Seidl, Christoph; Thüm, Thomas
Back to the Future: Avoiding Paradoxes in Feature-Model Evolution
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Seite 48-51
Herausgeber: ACM, New York, NY, USA
September 2018
DOI:10.1145/3236405.3237201
ISBN:978-1-4503-5945-0
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-VariVolution-Nieke.pdf
511.
Nogatz, Falco; Frühwirth, Thom; Seipel, Dietmar
CHR.js: A CHR Implementation in JavaScript
Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 2018
2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
Luxembourg
September 2018
September 2018
Datei:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/Nogatz-draft.pdf
510.
Thüm, Thomas; Krieter, Sebastian; Leich, Thomas
Clean Your Variable Code With FeatureIDE (Second Edition)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 299-299
Herausgeber: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3233053
ISBN:978-1-4503-6464-5
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Thuem.pdf
509.
Frühwirth, Thom; Gall, Daniel
Exploring Parallel Execution Strategies for Constraint Handling Rules
26th International Workshop on Functional and Logic Programming, Frankfurt am Main, Germany
September 2018
Datei:https://arxiv.org/abs/1808.07788
508.
Kuiter, Elias; Krüger, Jacob; Krieter, Sebastian; Leich, Thomas; Saake, Gunter
Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 179-189
Herausgeber: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3233050
ISBN:9781450364645
507.
Kuiter, Elias; Krieter, Sebastian; Krüger, Jacob; Ludwig, Kai; Leich, Thomas; Saake, Gunter
PClocator: A Tool Suite to Automatically Identify Configurations for Code Locations
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 284-288
September 2018
506.
Thüm, Thomas; Krieter, Sebastian; Schaefer, Ina
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators
Proc. Configuration Workshop (ConfWS), Seite 1-8
Herausgeber: RWTH Aachen University, Aachen, Germany
September 2018
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-CONFWS-Thuem.pdf
505.
Frühwirth, Thom
Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Designs
Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
Luxembourg
September 2018
September 2018
Datei:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/masonmarks-final0.pdf
504.
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank
Challenges Concerning Test Case Specifications in Automotive Software Testing
Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018), Prague, Czech Republic
August 2018
DOI:10.1109/SEAA.2018.00015
503.
Frühwirth, Thom
A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
Workshop on Logic and Practice of Programming (LPoP 2018)
Oxford, UK
2018-07-18
Juli 2018
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_masonmarks-short-final.pdf
502.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
CHRvis: Syntax and Semantics
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
34th International Conference on Logic Programming (ICLP 2018)
Oxford, UK
July 2018
Juli 2018
501.
Gall, Daniel
Confluence Analysis of Cognitive Models with Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
Workshop on Logic and Practice of Programming (LPoP 2018)
Oxford, UK
2018-07-18
Juli 2018
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/gall_lpop2018.pdf
500.
Frühwirth, Thom
Security Policies in Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
Workshop on Logic and Practice of Programming (LPoP 2018)
Oxford, UK
2018-07-18
Juli 2018
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_rbac-chr-final.pdf
499.
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY
Proc. Inte'l Conf. on Interactive Theorem Proving (ITP), Seite 342-361
Herausgeber: Springer, Berlin, Heidelberg
Juli 2018
DOI:10.1007/978-3-319-94821-8_20
ISBN:978-3-319-94820-1
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ITP-Knueppel.pdf
498.
Gutbrod, Matthias; Münch, Jürgen; Tichy, Matthias
The Business Experiments Navigator (BEN) - An Approach for Validating Business Models with Experimentation
24th ICE/IEEE International Technology Management Conference (ICE 2018), Stuttgart, Germany
Juni 2018
Datei:http://www.ice-conference.org/Home.aspx
497.
Meißner, Dominik; Erb, Benjamin; Kargl, Frank; Tichy, Matthias
retro-λ: An Event-sourced Platform for Serverless Applications with Retroactive Computing Support
12th ACM International Conference on Distributed and Event-based Systems (DEBS 2018), Hamilton, New Zealand
Juni 2018
496.
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank
Challenges with Automotive Test Case Specifications
Poster Track of the 40th International Conference on Software Engineering (ICSE SEIP 2018), Gothenburg, Sweden
Mai 2018
DOI:10.1145/3183440.3195070
495.
Witte, Thomas; Tichy, Matthias
Checking Consistency of Robot Software Architectures in ROS
2018 IEEE/ACM 1st International Workshop on Robotics Software Engineering (RoSE)
Mai 2018
494.
Gall, Daniel; Frühwirth, Thom
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
In Gallagher J., Sulzmann M., Editor, Functional and Logic ProgrammingBand10818ausLecture Notes in Computer Science, Seite 116-131
Fourteenth International Symposium on Functional and Logic Programming 2018 (FLOPS 2018)
Nagoya, Japan
In Gallagher J., Sulzmann M., Editor
Herausgeber: Springer
Mai 2018
DOI:10.1007/978-3-319-90686-7_8
Datei:https://arxiv.org/abs/1802.03381
493.
Kögel, Stefan; Tichy, Matthias; Groner, Raffaela; Stegmaier, Michael; Götz, Stefan; Rechenberger, Sascha
Developing an Optimizing Compiler for the Game Boy as a Software Engineering Project
Software Engineering Education and Training Track of the 40th International Conference on Software Engineering (ICSE SEET 2018), Gothenburg, Sweden
Mai 2018
DOI:10.1145/3183377.3183388
Datei:/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ICSE2018_Stegmaier_OptimizingCompilerForGameBoy.pdf
492.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Schröter, Reimar; Saake, Gunter
Propagating Configuration Decisions With Modal Implication Graphs
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 898-909
Herausgeber: ACM, New York, NY, USA
Mai 2018
DOI:10.1145/3180155.3180159
ISBN:978-1-4503-5638-1
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ICSE-Krieter.pdf
491.
Krieter, Sebastian; Krüger, Jacob; Weichbrodt, Nico; Sartakov, Vasily A.; Kapitza, Rüdiger; Leich, Thomas
Towards Secure Dynamic Product Lines in the Cloud
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 5-8
Herausgeber: ACM
Mai 2018
DOI:10.1145/3183399.3183425
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ICSE-Krieter.pdf
490.
Liebel, Grischa; Tichy, Matthias; Knauss, Eric
Use, Potential, and Showstoppers of Models in Automotive Requirements Engineering
Journal of Software and Systems Modeling
Mai 2018
489.
Groner, Raffaela; Tichy, Matthias; Becker, Steffen
Towards Performance Engineering of Model Transformation
9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin, Germany
April 2018
DOI:10.1145/3185768.3186305
Datei:https://doi.org/10.1145/3185768.3186305
488.
Börger, Egon; Raschke, Alexander
Modeling Companion for Software Practitioners
Herausgeber: Springer-Verlag Berlin Heidelberg
April 2018
DOI:10.1007/978-3-662-56641-1
Datei:https://www.springer.com/de/book/9783662566398
487.
Sartakov, Vasily A.; Weichbrodt, Nico; Krieter, Sebastian; Leich, Thomas; Kapitza, Rüdiger
STANlite - A Database Engine for Secure Data Processing at Rack-Scale Level
IEEE International Conference on Cloud Engineering (IC2E), Seite 23-33
Herausgeber: IEEE Computer Society
April 2018
DOI:10.1109/IC2E.2018.00024
486.
Getir, Sinem; Grunske, Lars; van Hoorn, André; Kehrer, Timo; Noller, Yannic; Tichy, Matthias
Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models
Journal of Systems and Software
April 2018
DOI:10.1016/j.jss.2018.04.001
Datei:https://www.journals.elsevier.com/journal-of-systems-and-software/
485.
Pereira, Juliana Alves; Martinez, Jabier; Gurudu, Hari Kumar; Krieter, Sebastian; Saake, Gunter
Visual Guidance for Product Line Configuration Using Recommendations and Non-Functional Properties
Proc. ACM Symposium on Applied Computing (SAC), Seite 2058-2065
Herausgeber: ACM
April 2018
DOI:10.1145/3167132.3167353
484.
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank
Quality Indicators for Automotive Test Case Specifications
1st Workshop on Software Engineering for Applied Embedded Real-Time Systems (SEERTS 2018), Ulm, Germany
März 2018
Datei:pdfhttp://ceur-ws.org/Vol-2066/seerts2018paper02.pdf
483.
Knüppel, Alexander; Thüm, Thomas; Mennicke, Stephan; Meinicke, Jens; Schaefer, Ina
Is There a Mismatch Between Real-World Feature Models and Product-Line Research? (Extended Abstract)
Proc. Software Engineering (SE), Seite 53-54
Herausgeber: Gesellschaft für Informatik
März 2018
ISBN:978-3-88579-673-2
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SE-Knueppel.pdf
482.
Lity, Sascha; Nahrendorf, Sophia; Thüm, Thomas; Seidl, Christoph; Schaefer, Ina
175% Modeling for Product-Line Evolution of Domain Artifacts
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 27-34
Herausgeber: ACM, New York, NY, USA
Februar 2018
DOI:10.1145/3168365.3168369
ISBN:978-1-4503-5398-4
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-VaMoS-Lity.pdf
481.
Pereira, Juliana Alves; Schulze, Sandro; Krieter, Sebastian; Ribeiro, Marcio; Saake, Gunter
A Context-Aware Recommender System for Extended Software Product Line Configurations
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 97-104
Herausgeber: ACM, New York, NY, USA
Februar 2018
DOI:10.1145/3168365.3168373
ISBN:9781450353984
480.
Krieter, Sebastian; Krüger, Jacob; Leich, Thomas
Don't Worry About It: Managing Variability On-The-Fly
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 19-26
Herausgeber: ACM, New York, NY, USA
Februar 2018
DOI:10.1145/3168365.3170426
ISBN:9781450353984
479.
Carvalho, Luiz; Guimaraes, Marcio Augusto; Ribeiro, Marcio; Fernandes, Leonardo; Al-Hajjaji, Mustafa; Gheyi, Rohit; Thüm, Thomas
Equivalent Mutants in Configurable Systems: An Empirical Study
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 11-18
Herausgeber: ACM, New York, NY, USA
Februar 2018
DOI:10.1145/3168365.3168379
ISBN:978-1-4503-5398-4
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-VaMoS-Carvalho.pdf
478.
Thüm, Thomas; Krieter, Sebastian; Leich, Thomas
Feature Modeling and Development With FeatureIDE
Proc. Modellierung, Seite 297-298
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2018
ISBN:978-3-88579-674-9
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-Modellierung-Thuem.pdf
477.

Constraint Handling Rules – Compilation, Execution, and Analysis
In Thom Frühwirth and Frank Raiser, Editor
Herausgeber: BOD
2018
ISBN:978-3746069050
Datei:https://books.google.de/books?id=WVdHDwAAQBAJ&hl=en&dq=isbn:374606905X
476.
Frühwirth, Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
In Fabio Fioravanti and John P. Gallagher, Editor, Revised Selected Papers of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)Band10855
LOPSTR 2017
Namur, Belgium
In Fabio Fioravanti and John P. Gallagher, Editor
Herausgeber: Springer
2018
Datei:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-justifications-lopstr-lncs-0.pdf
475.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
Using Rules for the Visualization of Tableaux Proof Techniques for Propositional Logic
Proceedings of the 22nd International Conference Information Visualisation (iV2018)
22nd International Conference Information Visualisation (iV2018)
Salerno, Italy
July 2018
2018

2017

474.
Gutbrod, Matthias; Münch, Jürgen; Tichy, Matthias
How Do Software Startups Approach Experimentation? Empirical Results from a Qualitative Interview Study
18th International Conference on Product-Focused Software Process Improvement (Profes 2017)
November 2017
DOI:10.1007/978-3-319-69926-4_21
473.
Benduhn, Fabian; Thüm, Thomas; Schaefer, Ina; Saake, Gunter
Modularization of Refinement Steps for Agile Formal Methods
Proc. Int'l Conf. on Formal Engineering Methods (ICFEM), Seite 19-35
Herausgeber: Springer, Cham, Switzerland
November 2017
DOI:10.1007/978-3-319-68690-5_2
ISBN:978-3-319-68690-5
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-ICFEM-Benduhn.pdf
472.
Frühwirth, Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
Namur, Belgium
10-12 October 2017
Oktober 2017
Datei:http://arxiv.org/abs/1706.07946
471.
Richter, Frank; Gall, Daniel; Frühwirth, Thom
A Confluence Checker for Constraint Handling Rules with Persistent Constraints
Proceedings of the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
Würzburg
19th to 21st September 2017
September 2017
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/richter_gall_fru_inap_2017.pdf
470.
Krüger, Jacob; Nielebock, Sebastian; Krieter, Sebastian; Diedrich, Christian; Leich, Thomas; Saake, Gunter; Zug, Sebastian; Ortmeier, Frank
Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 237-241
Herausgeber: ACM
September 2017
DOI:10.1145/3106195.3106217
469.
Krieter, Sebastian; Pinnecke, Marcus; Krüger, Jacob; Sprey, Joshua; Sontag, Christopher; Thüm, Thomas; Leich, Thomas; Saake, Gunter
FeatureIDE: Empowering Third-Party Developers
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 42-45
Herausgeber: ACM, New York, NY, USA
September 2017
DOI:10.1145/3109729.3109751
ISBN:978-1-4503-5119-5
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-SPLC-Krieter.pdf
468.
Frühwirth, Thom
Implementation of Logical Retraction in Constraint Handling Rules with Justifications
Proceedings of the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
Würzburg
19th to 21st September 2017
September 2017
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/fruehwirth/publications/2017_fru_inap.pdf
467.
Knüppel, Alexander; Thüm, Thomas; Mennicke, Stephan; Meinicke, Jens; Schaefer, Ina
Is There a Mismatch Between Real-World Feature Models and Product-Line Research?
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 291-302
Herausgeber: ACM, New York, NY, USA
September 2017
DOI:10.1145/3106237.3106252
ISBN:978-1-4503-5105-8
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-ESECFSE-Knueppel.pdf
466.
Kögel, Stefan
Recommender system for model driven software development
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany,
September 2017
DOI:10.1145/3106237.3119874
465.
Staron, Miroslaw; Meding, Wilhelm; Tichy, Matthias; Bjurhede, Jonas; Giese, Holger; Söder, Ola
Industrial experiences from evolving measurement systems into self-healing systems for improved availability
Software: Practice and Experience
August 2017
DOI:10.1002/spe.2522
Datei:http://dx.doi.org/10.1002/spe.2522
464.
Strüber, Daniel; Born, Kristopher; Gill, Kanwal Daud; Groner, Raffaela; Kehrer, Timo; Ohrndorf, Manuel; Tichy, Matthias
Henshin: A Usability-Focused Framework for EMF Model Transformation Development
Proceedings of the 10th International Conference on Graph Transformation (ICGT 2017), Marburg, Germany
Juli 2017
DOI:10.1007/978-3-319-61470-0_12
463.
Gall, Daniel; Frühwirth, Thom
A Decidable Confluence Test for Cognitive Models in ACT-R
In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, Editor, Proceedings of RuleML+RR 2017Band10364ausLecture Notes in Computer Science
International Joint Conference on Rules and Reasoning (RuleML+RR 2017)
London, UK
July 2017
In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, Editor
Herausgeber: Springer
Juli 2017
DOI:10.1007/978-3-319-61252-2_9
Datei:http://arxiv.org/pdf/1705.08392
462.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
A Rule-Based Approach for Automatic Interaction Detection and Annotation
21st International Conference Information Visualisation (iV2017),
21st International Conference Information Visualisation (iV2017)
London, UK
July 2017
Juli 2017
DOI:10.1109/iV.2017.59
Datei:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/interaction_detection.pdf
461.
Bordeleau, Francis; Liebel, Grischa; Raschke, Alexander; Stieglbauer, Gerald; Tichy, Matthias
Challenges and Research Directions for Successfully Applying MDE Tools in Practice
Model-Driven Engineering Tools Challenge (MDETools'17), Austin, Texas
Juli 2017
BibTeX download