Institute of Software Engineering and Programming Languages

2023

666.
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
May 2023
File:pdfhttp://www.transformation-tool-contest.eu/TTC_2023_paper_4.pdf
665.
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
664.
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), Page 83-84
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Kuiter-Tseitin.pdf
663.
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), Page 39-40
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Bittner.pdf
662.
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), Page 85-86
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Kuiter-variED.pdf
661.
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), Page 51-52
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Feichtinger.pdf
660.
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), Page 129-130
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Young.pdf
659.
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), Page 109-110
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Schultheiss.pdf
658.
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
2023
DOI:10.1016/j.jss.2023.111716
657.
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), Page 13-22
Publisher: ACM, New York, NY, USA
January 2023
DOI:10.1145/3571788.3571793
ISBN:9798400700019
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-VaMoS-Schultheiss.pdf
656.

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
Publisher: ACM, New York, NY, USA
January 2023
ISBN:9798400700019
655.
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)
January 2023
Publisher: Springer
DOI:10.1007/s10664-022-10265-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-EMSE-Sundermann.pdf
654.
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
2023
DOI:10.1145/3578244.3583727

2022

653.
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)
Publisher: ACM, New York, NY, USA
December 2022
DOI:10.1145/3564719.3568695
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-GPCE-Hentze.pdf
652.
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)
November 2022
Publisher: Springer
DOI:10.1007/s10664-022-10217-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-EMSE-Young.pdf
651.
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
650.
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 System Modeling (SoSyM)
November 2022
Publisher: Springer
DOI:10.1007/s10270-022-01062-5
File:pdfhttps://seg.inf.unibe.ch/papers/SBB%2B_SoSyM22.pdf
649.
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), Page 196-208
Publisher: ACM, New York, NY, USA
November 2022
DOI:10.1145/3540250.3549108
ISBN:9781450394130
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ESECFSE-Bittner.pdf
648.
Runge, Tobias; Bordis, Tabea; Potanin, Alex; Thüm, Thomas; Schaefer, Ina
Flexible Correct-by-Construction Programming
Technical Report arXiv:2205.15180
November 2022
DOI:10.48550/arXiv.2205.15180
File:https://arxiv.org/abs/2205.15180
647.
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), Page 110:1-110:13
Publisher: ACM, New York, NY, USA
October 2022
DOI:10.1145/3551349.3556938
ISBN:9781450394758
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ASE-Kuiter.pdf
646.
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), Page 322-333
Publisher: IEEE, Washington, DC, USA
October 2022
DOI:10.1145/3550355.3552411
ISBN:9781450394666
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-MODELS-Hentze.pdf
645.
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
October 2022
DOI:10.1145/3550356.3561555
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), Page 269-280
Publisher: IEEE, Piscataway, NJ, USA
October 2022
DOI:10.1109/ICSME55016.2022.00032
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ICSME-Schultheiss.pdf
643.
Pietron, Jakob; Funk, Lenard; Tichy, Matthias
Improving the Comprehension of Evolving Graphical Models
2022 Working Conference on Software Visualization (VISSOFT)
October 2022
DOI:10.1109/VISSOFT55257.2022.00018
642.
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), Page 260:1
Publisher: ACM, New York, NY, USA
September 2022
DOI:10.1145/3546932.3547024
ISBN:9781450394437
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Sundermann.pdf
641.
Höppner, Stefan; Tichy, Matthias
The Impact of Model Transformation Language Features on Quality Properties of MTLs: A Study Protocol
from Registered Reports
Empirical Software Engineering & Measures
Helsinki
September 2022
DOI:10.48550/arXiv.2209.06570
640.
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), Page 67-78
Publisher: ACM, New York, NY, USA
September 2022
DOI:10.1145/3546932.3546990
ISBN:9781450394437
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Feichtinger.pdf
639.
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), Page 38-41
Publisher: ACM, New York, NY, USA
September 2022
DOI:10.1145/3503229.3547033
ISBN:9781450392068
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Linsbauer.pdf
638.
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), Page 54-57
Publisher: ACM, New York, NY, USA
September 2022
DOI:10.1145/3503229.3547032
ISBN:9781450392068
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Hess.pdf
637.
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
Publisher: Springer Nature
DOI:10.1007/s10664-022-10194-7
636.
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
July 2022
File:http://ceur-ws.org/Vol-3250/fpvmpaper1.pdf
635.
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
June 2022
DOI:10.1007/s10270-022-01010-3
634.
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), Page 131-150
Publisher: Springer, Cham, Switzerland
June 2022
DOI:10.1007/978-3-031-08679-3_9
ISBN:978-3-031-08679-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-FORTE-Runge.pdf
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), Page 231-236
Publisher: ACM, New York, NY, USA
June 2022
DOI:10.1145/3530019.3534084
ISBN:9781450396134
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-EASE-Schultheiss.pdf
632.
Neumüller, Denis; Tichy, Matthias
Towards Detecting Algorithm Implementations in Code Bases
24. Workshop Software-Reengineering und -Evolution (WSRE)
May 2022
File:pdfhttps://fg-sre.gi.de/fileadmin/FG/SRE/wsre2022/WSRE2022_Proceedings.pdf
631.
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
May 2022
DOI:10.48550/arXiv.2205.15180
File:https://arxiv.org/pdf/2205.15180
630.
Runge, Tobias; Potanin, Alex; Thüm, Thomas; Schaefer, Ina
Traits for Correct-by-Construction Programming
Technical Report arXiv:2204.05644
April 2022
File:https://arxiv.org/abs/2204.05644
629.
Nieke, Michael; Sampaio, Gabriela; Thüm, Thomas; Seidl, Christoph; Teixeira, Leopoldo; Schaefer, Ina
Guiding the Evolution of Product-Line Configurations
Software and System Modeling (SoSyM) :225-247
February 2022
DOI:https://link.springer.com/article/10.1007/s10270-021-00906-w
File:pdfhttps://link.springer.com/content/pdf/10.1007/s10270-021-00906-w.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)
February 2022
DOI:10.1016/j.jss.2021.111094
627.
Bittner, Paul Maximilian; Schultheiß, Alexander; Thüm, Thomas; Kehrer, Timo; Young, Jeffrey M.; Linsbauer, Lukas
Feature Trace Recording - Summary
Proc. Software Engineering (SE), Page 19-20
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2022
DOI:10.18420/se2022-ws-002
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SE-Bittner.pdf
626.
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), Page 83-84
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2022
DOI:10.18420/se2022-ws-028
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SE-Schultheiss.pdf
625.
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
February 2022
DOI:10.18420/se2022-ws-012
624.
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
June 2022
DOI:10.1109/IV51971.2022.9827097
File:/fileadmin/website_uni_ulm/iui.inst.170/publications/IV2022_Paper_ThirtyOneChallenges_Final_AcceptedVersion_CitationAdded.pdf
623.
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
622.
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
Publisher: Springer International Publishing
2022
DOI:https://doi.org/10.1007/978-3-031-04115-0_6
ISBN:978-3-031-04115-0
621.
Ananieva, Sofia; Greiner, Sandra; Krueger, Jacob; Linsbauer, Lukas; Gruener, Sten; Kehrer, Timo; Kuehn, Thomas; Seidl, Christoph; Reussner, Ralf
Unified Operations for Variability in Space and Time
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
2022
DOI:10.1145/3510466.3510483
620.
Ananieva, Sofia; Greiner, Sandra; Kehrer, Timo; Krüger, Jacob; Kühn, Thomas; Linsbauer, Lukas; Grüner, Sten; Koziolek, Anne; Lönn, Henrik; Ramesh, S.; Reussner, Ralf H.
A Conceptual Model for Unifying Variability in Space and Time: Rationale, Validation, and Illustrative Applications
Empirical Software Engineering (EMSE) :101
2022
Publisher: Springer
DOI:10.1007/s10664-021-10097-z
619.
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

2021

618.
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), Page 101-116
Publisher: Springer, Berlin, Heidelberg, Germany
November 2021
DOI:10.1007/978-3-030-91550-6_8
ISBN:978-3-030-91549-0
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-FMTea-Runge.pdf
617.
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), Page 1-12
Publisher: IEEE, Washington, DC, USA
October 2021
DOI:10.1109/MODELS50736.2021.00010
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-MODELS-Schultheiss.pdf
616.
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), Page 131-135
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3474452
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Hess.pdf
615.
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), Page 64-74
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3471148
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Krieter.pdf
614.
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), Page 41-44
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461002.3473073
ISBN:9781450384704
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Pett.pdf
613.
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), Page 136-147
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3471145
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Sundermann.pdf
612.
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
Publisher: Springer Nature
DOI:10.1007/s10270-021-00937-3
611.
Thüm, Thomas
Keynote: Where Are My Constraints and What Do They Constrain?
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page XVIII
Publisher: ACM, New York, NY, USA
September 2021
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Thuem.pdf
610.

Fourth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2021)
In Thomas Thüm and Philippe Collet and Mathieu Acher, Editor
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3473056
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Thuem.pdf
609.
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), Page 73-79
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461002.3473940
ISBN:9781450384704
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-MODEVAR-Sundermann.pdf
608.
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), Page 1007-1020
Publisher: ACM, New York, NY, USA
August 2021
DOI:10.1145/3468264.3468531
ISBN:9781450385626
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-ESECFSE-Bittner.pdf
607.
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)
July 2021
606.
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)
June 2021
605.
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
June 2021
File:pdfhttp://ceur-ws.org/Vol-2999/fpvmdata4mdepaper3.pdf
604.

Special Issue on Configurable Systems in Empirical Software Engineering (EMSE)
In Laurence Duchien and Paul Grünbacher and Thomas Thüm, Editor
May 2021
DOI:10.1007/s10664-021-09964-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-EMSE-Duchien.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), Page 124-129
Publisher: IEEE, Piscataway, NJ, USA
May 2021
DOI:10.1109/FormaliSE52586.2021.00018
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-FormaliSE-Knueppel.pdf
602.
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), Page 21-25
Publisher: IEEE, Piscataway, NJ, USA
May 2021
DOI:10.1109/ICSE-NIER52604.2021.00013
ISBN:978-1-6654-0140-1
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-ICSE-Kehrer.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)
March 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
March 2021
Publisher: Springer
DOI:10.1007/s10664-020-09892-x
598.
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)
Publisher: ACM, New York, NY, USA
February 2021
DOI:10.1145/3442391.3442404
ISBN:9781450388245
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Sundermann.pdf
597.
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
February 2021
DOI:10.18420/SE2021_11
596.
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), Page 93-94
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2021
DOI:10.18420/SE2021_34
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SE-Runge.pdf
595.
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)
Publisher: ACM, New York, NY, USA
February 2021
DOI:10.1145/3442391.3442410
ISBN:9781450388245
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Pett.pdf
594.
Groner, Raffaela; Beaucamp, Luis; Tichy, Matthias; Becker, Steffen
An Exploratory Study on Performance Engineering in Model Transformations (extended abstract)
Software Engineering (SE) 2021
February 2021
DOI:10.18420/SE2021_14
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), Page 67-68
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2021
DOI:10.18420/SE2021_22
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SE-Knueppel.pdf
592.
Götz, Stefan; Tichy, Matthias; Kehrer, Timo
Dedicated Model Transformation Languages vs. General-Purpose Languages: A Historical Perspective on ATL vs. Java
MODELSWARD'21
February 2021
DOI:10.5220/0010340801220135
591.
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)
Publisher: ACM, New York, NY, USA
February 2021
DOI:10.1145/3442391.3442406
ISBN:9781450388245
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Hentze.pdf
590.
Juhnke, Katharina
Improving the Quality of Automotive Test Case Specifications
Ulm University, Germany
2021
DOI:10.18725/OPARU-35558
589.
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
588.
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
June 2021
DOI:10.5381/jot.2021.20.3.a5

2020

587.
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
Page 122-148
Publisher: Springer, Cham, Switzerland
December 2020
122-148
DOI:10.1007/978-3-030-64354-6_5
ISBN:978-3-030-64354-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-Knueppel.pdf
586.
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)
Publisher: ACM, New York, NY, USA
November 2020
DOI:10.1145/3385956.3418965
File:https://graphics.tu-bs.de/publications/muhlhausen2020temporal
585.
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
October 2020
DOI:10.1145/3417990.3419490
584.
Young, Jeffrey M.; Walkingshaw, Eric; Thüm, Thomas
Variational Satisfiability Solving
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3382025.3414965
ISBN:9781450375696
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Young.pdf
583.
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)
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3382025.3414972
ISBN:9781450375696
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Schultheiss.pdf
582.
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), Page 44-54
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3372020.3391565
ISBN:9781450370714
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-FormaliSE-Runge.pdf
581.
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), Page 56-64
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3382026.3425769
ISBN:9781450375702
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VariVolution-Nieke.pdf
580.
Krieter, Sebastian
Large-Scale T-Wise Interaction Sampling Using YASA
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 29:1-29:4
Publisher: ACM
October 2020
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
October 2020
DOI:10.1145/3417990.3421401
578.
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.
October 2020
DOI:10.1145/3417990.3422000
577.
Thüm, Thomas
A BDD for Linux? The Knowledge Compilation Challenge for Variability
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3382025.3414943
ISBN:9781450375696
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Thuem.pdf
576.
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), Page 1-12
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3382025.3414955
ISBN:9781450375696
575.
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.
October 2020
DOI:10.1145/3365438.3410950
574.
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
573.
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), Page 388-405
Publisher: Springer, Cham, Switzerland
August 2020
DOI:10.1007/978-3-030-54997-8_25
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-REFINE-Runge.pdf
572.
Götz, Stefan; Tichy, Matthias
Investigating the Origins of Complexity and Expressiveness in ATL Transformations
Journal of Object Technology, 19 :12:1-21
July 2020
DOI:10.5381/jot.2020.19.2.a12
File:pdfhttp://www.jot.fm/issues/issue_2020_02/article12.pdf
571.
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)
July 2020
Publisher: Springer Nature
DOI:10.1007/s10270-020-00815-4
File:https://rdcu.be/b5A6X
570.
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), Page 660-661
Publisher: IEEE, Piscataway, NJ, USA
May 2020
DOI:10.1109/VRW50115.2020.00181
ISBN:978-1-7281-6532-5
File:https://graphics.tu-bs.de/publications/bertel2020depth
569.
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), Page 203-223
Publisher: Springer, Berlin, Heidelberg, Germany
April 2020
DOI:10.1007/978-3-030-45234-6_10
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-FASE-Knueppel.pdf
568.
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), Page 13:1-13:2
Publisher: ACM
February 2020
DOI:10.1145/3377024.3377046
567.
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)
Publisher: ACM, New York, NY, USA
February 2020
DOI:10.1145/3377024.3377036
ISBN:9781450375016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sprey.pdf
566.
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)
Publisher: ACM, New York, NY, USA
February 2020
DOI:10.1145/3377024.3377025
ISBN:9781450375016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sundermann.pdf
565.
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)
Publisher: ACM, New York, NY, USA
February 2020
DOI:10.1145/3377024.3377038
ISBN:9781450375016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Bordis.pdf
564.
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)
Publisher: ACM, New York, NY, USA
February 2020
DOI:10.1145/3377024.3377042
ISBN:9781450375016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Krieter.pdf
563.
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
Publisher: Springer
DOI:10.1007/s11219-020-09523-0
562.
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)
July 2020
File:pdfhttp://ceur-ws.org/Vol-2707/mde4iotpaper1.pdf

2019

561.
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
December 2019
DOI:10.1145/3366610.3368098
560.
Witte, Thomas; Tichy, Matthias
A Hybrid Editor for Fast Robot Mission Prototyping
Proc. of the 1st International Workshop on Explainable Software
November 2019
559.
Witte, Thomas; Tichy, Matthias
Code Manipulation through Interactive Markers in a Live Preview
November 2019
558.
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
557.
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), Page 36:1-36:8
Publisher: ACM
September 2019
DOI:10.1145/3336294.3336308
556.

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
Publisher: ACM, New York, NY, USA
September 2019
ISBN:978-1-4503-7138-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2019/2019-proceedings-Berger.pdf
555.
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), Page 78-83
Publisher: ACM, New York, NY, USA
September 2019
DOI:10.1145/3336294.3336322
ISBN:9781450371384
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPLC-Pett.pdf
554.
Thüm, Thomas; Seidl, Christoph; Schaefer, Ina
On Language Levels for Feature Modeling Notations
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 158-161
Publisher: ACM, New York, NY, USA
September 2019
DOI:10.1145/3307630.3342404
ISBN:9781450366687
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-MODEVAR-Thuem.pdf
553.

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
Publisher: ACM, New York, NY, USA
September 2019
ISBN:978-1-4503-6668-7
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2019/2019-proceedings-Cetina.pdf
552.
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
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/HuFaMo2019_Stegmaier_Insights.pdf
551.
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), Page 57-64
Publisher: ACM, New York, NY, USA
September 2019
DOI:10.1145/3307630.3342414
ISBN:9781450366687
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-VariVolution-Thuem.pdf
550.
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), Page 25
Publisher: ACM, New York, NY, USA
September 2019
DOI:10.1145/3336294.3342374
ISBN:9781450371384
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPLC-Thuem.pdf
549.
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), Page 127-144
Publisher: Springer, Berlin, Heidelberg, Germany
September 2019
DOI:10.1007/978-3-030-30446-1_7
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SEFM-Bittner.pdf
548.
Krieter, Sebastian
Enabling Efficient Automated Configuration Generation and Management
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 93:1-93:7
Publisher: ACM
September 2019
547.
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
546.
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
545.
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
544.
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
July 2019
543.
Thüm, Thomas; Knüppel, Alexander; Krüger, Stefan; Bolle, Stefanie; Schaefer, Ina
Feature-Oriented Contract Composition
J. Systems and Software (JSS) :83-107
June 2019
Publisher: Elsevier Science Inc.
ISSN: 0164-1212
DOI:10.1016/j.jss.2019.01.044
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-JSS-Thuem.pdf
542.
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
Page 175-206
Publisher: Springer, Cham, Switzerland
June 2019
175-206
DOI:10.1007/978-3-030-13499-0_8
ISBN:978-3-030-13499-0
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPP1593-Thuem.pdf
541.
Jung, Reiner; Märtin, Lukas; Johanssen, Jan Ole; Paech, Barbara; Lochau, Malte; Thüm, Thomas; Schneider, Kurt; Tichy, Matthias; Ulbrich, Mattias
Addressed Challenges
Page 21-36
Publisher: Springer, Cham, Switzerland
June 2019
21-36
DOI:10.1007/978-3-030-13499-0_3
ISBN:978-3-030-13499-0
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPP1593-Jung.pdf
540.
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), Page 25-42
Publisher: Springer, Cham, Switzerland
April 2019
DOI:10.1007/978-3-030-16722-6_2
ISBN:978-3-030-16722-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-FASE-Runge.pdf
539.
Bittner, Paul Maximilian; Tauscher, Jan-Philipp; Grogorick, Steve; Magnor, Marcus
Evaluation of Optimised Centres of Rotation Skinning
April 2019
File:https://graphics.tu-bs.de/publications/bittner2019evaluation
538.
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), Page 1794-1800
Publisher: IEEE, Piscataway, NJ, USA
March 2019
DOI:10.1109/VR.2019.8797858
File:https://graphics.tu-bs.de/publications/tauscher2019immersive
537.
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), Page 1780-1783
Publisher: IEEE, Piscataway, NJ, USA
March 2019
DOI:10.1109/VR.2019.8797902
ISBN:978-1-7281-1377-7
File:https://graphics.tu-bs.de/publications/grogorick2019gaze
536.
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), Page 77-78
Publisher: Gesellschaft für Informatik
February 2019
DOI:10.18420/se2019-20
ISBN:978-3-88579-686-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SE-Krieter.pdf
535.
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), Page 165-166
Publisher: Gesellschaft für Informatik
February 2019
DOI:10.18420/se2019-51
ISBN:978-3-88579-686-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SE-Knueppel.pdf
534.
Al-Hajjaji, Mustafa; Thüm, Thomas; Lochau, Malte; Meinicke, Jens; Saake, Gunter
Effective Product-Line Testing Using Similarity-Based Product Prioritization
Software and System Modeling (SoSyM) :499-521
February 2019
Publisher: Springer
ISSN: 1619-1366
DOI:10.1007/s10270-016-0569-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SoSyM-Al-Hajjaji.pdf
533.
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), Page 9:1-9:9
Publisher: ACM
February 2019
DOI:10.1145/3302333.3302340
532.
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
January 2019
Publisher: Elsevier Science Inc.
ISSN: 0164-1212
DOI:10.1016/j.jss.2018.09.090
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-JSS-Lity.pdf
531.
Frühwirth, Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity
Journal Fundamenta Informaticae
2019
Publisher: IOS Press

2018

530.
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
December 2018
DOI:10.1016/j.cl.2018.01.003
529.
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), Page 188-201
Publisher: ACM, New York, NY, USA
November 2018
DOI:10.1145/3278122.3278123
ISBN:978-1-4503-6045-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-GPCE-Nieke.pdf
528.
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), Page 159-175
Publisher: Springer, Cham, Switzerland
November 2018
DOI:10.1007/978-3-030-03427-6_15
ISBN:978-3-030-03426-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ISoLA-Knueppel.pdf
527.
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), Page 119-133
Publisher: ACM, New York, NY, USA
November 2018
DOI:10.1145/3278122.3278130
ISBN:978-1-4503-6045-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-GPCE-Ruland.pdf
526.
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), Page 53-70
November 2018
DOI:10.4204/EPTCS.284.5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-FIDE-Knueppel.pdf
525.
Groner, Raffaela; Gylstorff, Sophie; Tichy, Matthias
Monitoring the Execution of Declarative Model Transformations
9th Symposium on Software Performance, Hildesheim, Germany
November 2018
File:pdfhttps://www.performance-symposium.org/fileadmin/user_upload/palladio-conference/2018/papers/GronerGylstorffTichy.pdf
524.
Wagner, Stefan; Tichy, Matthias; Felderer, Michael; Leue, Stefan
Verlässliche Software im 21. Jahrhundert
Informatik Spektrum
September 2018
523.
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
October 2018
File:pdfhttp://ceur-ws.org/Vol-2245/mdetools_paper_4.pdf
522.
Frühwirth, Thom
The Computer Art of Mason's Mark Design with VanDeGraphGenerator
Publisher: BOD
October 2018
ISBN:9783752842975
File:https://books.google.de/books?id=w3hoDwAAQBAJ
521.
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
File:https://arxiv.org/abs/1702.01606
520.
Kögel, Stefan; Tichy, Matthias
A Dataset of EMF Models from Eclipse Projects
Publisher: Open Access Repositorium der Universität Ulm
September 2018
DOI:10.18725/OPARU-9850
519.
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
File:https://arxiv.org/abs/1808.07788
518.
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), Page 284-288
September 2018
517.
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), Page 1-13
Publisher: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3233035
ISBN:978-1-4503-6464-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Varshosaz.pdf
516.
Thüm, Thomas; Krieter, Sebastian; Schaefer, Ina
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators
Proc. Configuration Workshop (ConfWS), Page 1-8
Publisher: RWTH Aachen University, Aachen, Germany
September 2018
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-CONFWS-Thuem.pdf
515.
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
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/masonmarks-final0.pdf
514.
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), Page 299-299
Publisher: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3233053
ISBN:978-1-4503-6464-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Thuem.pdf
513.
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), Page 179-–189
Publisher: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3233050
ISBN:9781450364645
File:https://doi.org/10.1145/3233027.3233050
512.
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
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/Nogatz-draft.pdf
511.
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), Page 48-51
Publisher: ACM, New York, NY, USA
September 2018
DOI:10.1145/3236405.3237201
ISBN:978-1-4503-5945-0
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-VariVolution-Nieke.pdf
510.
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), Page 251-256
Publisher: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3236403
ISBN:978-1-4503-6464-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Krueger.pdf
509.
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 PapersVolume10997, Page 37--52
DECLARE 2017
Würzburg
17.-22.09.2017
In Dietmar Seipel, Michael Hanus, Salvador Abreu, Editor
Publisher: Springer
September 2018
DOI:10.1007/978-3-030-00801-7_3
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-just-impl-final-full.pdf
508.
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
507.
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
July 2018
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_rbac-chr-final.pdf
506.
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
July 2018
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_masonmarks-short-final.pdf
505.
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), Page 342-361
Publisher: Springer, Berlin, Heidelberg, Germany
July 2018
DOI:10.1007/978-3-319-94821-8_20
ISBN:978-3-319-94820-1
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ITP-Knueppel.pdf
504.
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
July 2018
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/gall_lpop2018.pdf
503.
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
July 2018
502.
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
June 2018
File:http://www.ice-conference.org/Home.aspx
501.
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
June 2018
500.
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), Page 5-8
Publisher: ACM
May 2018
DOI:10.1145/3183399.3183425
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ICSE-Krieter.pdf
499.
Gall, Daniel; Frühwirth, Thom
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
In Gallagher J., Sulzmann M., Editor, Functional and Logic ProgrammingVolume10818fromLecture Notes in Computer Science, Page 116-131
Fourteenth International Symposium on Functional and Logic Programming 2018 (FLOPS 2018)
Nagoya, Japan
In Gallagher J., Sulzmann M., Editor
Publisher: Springer
May 2018
DOI:10.1007/978-3-319-90686-7_8
File:https://arxiv.org/abs/1802.03381
498.
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), Page 898-909
Publisher: ACM, New York, NY, USA
May 2018
DOI:10.1145/3180155.3180159
ISBN:978-1-4503-5638-1
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ICSE-Krieter.pdf
497.
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
May 2018
DOI:10.1145/3183377.3183388
File:/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ICSE2018_Stegmaier_OptimizingCompilerForGameBoy.pdf
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
May 2018
DOI:10.1145/3183440.3195070
495.
Liebel, Grischa; Tichy, Matthias; Knauss, Eric
Use, Potential, and Showstoppers of Models in Automotive Requirements Engineering
Journal of Software and Systems Modeling
May 2018
494.
Witte, Thomas; Tichy, Matthias
Checking Consistency of Robot Software Architectures in ROS
2018 IEEE/ACM 1st International Workshop on Robotics Software Engineering (RoSE)
May 2018
493.
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
File:https://doi.org/10.1145/3185768.3186305
492.
Börger, Egon; Raschke, Alexander
Modeling Companion for Software Practitioners
Publisher: Springer-Verlag Berlin Heidelberg
April 2018
DOI:10.1007/978-3-662-56641-1
File:https://www.springer.com/de/book/9783662566398
491.
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), Page 23-33
Publisher: IEEE Computer Society
April 2018
DOI:10.1109/IC2E.2018.00024
490.
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), Page 2058-2065
Publisher: ACM
April 2018
DOI:10.1145/3167132.3167353
489.
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
File:https://www.journals.elsevier.com/journal-of-systems-and-software/
488.
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
March 2018
File:pdfhttp://ceur-ws.org/Vol-2066/seerts2018paper02.pdf
487.
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), Page 53-54
Publisher: Gesellschaft für Informatik
March 2018
ISBN:978-3-88579-673-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SE-Knueppel.pdf
486.
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), Page 27-34
Publisher: ACM, New York, NY, USA
February 2018
DOI:10.1145/3168365.3168369
ISBN:978-1-4503-5398-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-VaMoS-Lity.pdf
485.
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), Page 19-26
Publisher: ACM, New York, NY, USA
February 2018
DOI:10.1145/3168365.3170426
ISBN:9781450353984
File:https://doi.org/10.1145/3168365.3170426
484.
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), Page 11-18
Publisher: ACM, New York, NY, USA
February 2018
DOI:10.1145/3168365.3168379
ISBN:978-1-4503-5398-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-VaMoS-Carvalho.pdf
483.
Thüm, Thomas; Krieter, Sebastian; Leich, Thomas
Feature Modeling and Development with FeatureIDE
Proc. Modellierung, Page 297-298
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2018
ISBN:978-3-88579-674-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-Modellierung-Thuem.pdf
482.
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), Page 97-104
Publisher: ACM, New York, NY, USA
February 2018
DOI:10.1145/3168365.3168373
ISBN:9781450353984
File:https://doi.org/10.1145/3168365.3168373
481.
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
480.

Constraint Handling Rules – Compilation, Execution, and Analysis
In Thom Frühwirth and Frank Raiser, Editor
Publisher: BOD
2018
ISBN:978-3746069050
File:https://books.google.de/books?id=WVdHDwAAQBAJ&hl=en&dq=isbn:374606905X
479.
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)Volume10855
LOPSTR 2017
Namur, Belgium
In Fabio Fioravanti and John P. Gallagher, Editor
Publisher: Springer
2018
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-justifications-lopstr-lncs-0.pdf

2017

478.
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), Page 19-35
Publisher: Springer, Cham, Switzerland
November 2017
DOI:10.1007/978-3-319-68690-5_2
ISBN:978-3-319-68690-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-ICFEM-Benduhn.pdf
477.
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
476.
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
October 2017
File:http://arxiv.org/abs/1706.07946
475.
Bittner, Paul Maximilian
Evaluation of Skinning Techniques for Skeletal Animation in MonSteR
Bachelor's Thesis
TU Braunschweig, Germany
September 2017
474.
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
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/fruehwirth/publications/2017_fru_inap.pdf
473.
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), Page 291-302
Publisher: ACM, New York, NY, USA
September 2017
DOI:10.1145/3106237.3106252
ISBN:978-1-4503-5105-8
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-ESECFSE-Knueppel.pdf
472.
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
471.
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), Page 237-241
Publisher: ACM
September 2017
DOI:10.1145/3106195.3106217
470.
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
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/richter_gall_fru_inap_2017.pdf
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), Page 42-45
Publisher: ACM, New York, NY, USA
September 2017
DOI:10.1145/3109729.3109751
ISBN:978-1-4503-5119-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-SPLC-Krieter.pdf
468.
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
File:http://dx.doi.org/10.1002/spe.2522
467.
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
July 2017
DOI:10.1007/978-3-319-61470-0_12
466.
Kowal, Matthias; Ananieva, Sofia; Thüm, Thomas; Schaefer, Ina
Supporting the Development of Interdisciplinary Product Lines in the Manufacturing Domain
World Congress of the International Federation of Automatic Control (IFAC) :4336-4341
July 2017
ISSN: 2405-8963
DOI:10.1016/j.ifacol.2017.08.870
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-IFAC-Kowal.pdf
465.
Tichy, Matthias; Beaucamp, Luis; Kögel, Stefan
Towards Debugging the Matching of Henshin Model Transformations Rules
1st International Workshop on Debugging in Model-Driven Engineering (MDEbug), Austin, Texas
July 2017
File:pdfhttps://msdl.uantwerpen.be/conferences/MDEbug/wp-content/uploads/2017/08/MDEbug_2017_paper_2.pdf
464.
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
July 2017
463.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
CHR-Graph: A Platform for Animating Tree and Graph Algorithms
Poster at the 21st International Conference Information Visualisation (iV2017),
21st International Conference Information Visualisation (iV2017)
London, UK
July 2017
July 2017
DOI:10.1109/iV.2017.58
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-graph.pdf
462.
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 2017Volume10364fromLecture 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
Publisher: Springer
July 2017
DOI:10.1007/978-3-319-61252-2_9
File:http://arxiv.org/pdf/1705.08392
461.
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
July 2017
DOI:10.1109/iV.2017.59
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/interaction_detection.pdf
460.
Erb, Benjamin; Meißner, Dominik; Pietron, Jakob; Kargl, Frank
Chronograph: A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs
, VolumeDEBS '17 Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems
June 2017
DOI:10.1145/3093742.3093913
459.
Besker, Terese; Martini, Antonio; Bosch, Jan; Tichy, Matthias
An investigation of Technical Debt in Automated Production Systems
Proceedings of the Ninth International Workshop on Managing Technical Debt (held in conjunction with XP2017), Cologne, Germany
May 2017
DOI:10.1145/3120459.3120466
458.
Al-Hajjaji, Mustafa; Lity, Sascha; Lachmann, Remo; Thüm, Thomas; Schaefer, Ina; Saake, Gunter
Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing
Proc. Int'l Workshop on Variability and Complexity in Software Design (VACE), Page 34-40
Publisher: IEEE, Piscataway, NJ, USA
May 2017
DOI:10.1109/VACE.2017..8
ISBN:978-1-5386-2803-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-VACE-Al-Hajjaji.pdf
457.
Erb, Benjamin; Meißner, Dominik; Habiger, Gerhard; Pietron, Jakob; Kargl, Frank
Consistent retrospective snapshots in distributed event-sourced systems
, Volume2017 International Conference on Networked Systems (NetSys)
March 2017
DOI:10.1109/NetSys.2017.7903947
456.
Nassal, Alexander; Tichy, Matthias
Ein Framework zur Erstellung von Planspielen zur Softwaretechnik
15. Workshop für Software Engineering im Unterricht der Hochschulen, Hannover, 22-23. Februar 2017
February 2017
File:pdfhttp://ceur-ws.org/Vol-1790/paper06.pdf
455.
Liebel, Grischa; Anjorin, Anthony; Knauss, Eric; Lorber, Florian; Tichy, Matthias
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry
5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal,
February 2017
DOI:10.5220/0006205604270434
File:https://www.researchgate.net/publication/314522017_Modelling_Behavioural_Requirements_and_Alignment_with_Verification_in_the_Embedded_Industry
454.
Schröter, Reimar; Krieter, Sebastian; Thüm, Thomas; Benduhn, Fabian; Saake, Gunter
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces
Proc. Software Engineering (SE), Page 129-130
Publisher: Gesellschaft für Informatik
February 2017
ISBN:978-3-88579-661-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-SE-Schroeter.pdf
453.
Lity, Sascha; Al-Hajjaji, Mustafa; Thüm, Thomas; Schaefer, Ina
Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-line Analysis
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 60-67
Publisher: ACM, New York, NY, USA
January 2017
DOI:10.1145/3023956.3023961
ISBN:978-1-4503-4811-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-VaMoS-Lity.pdf
452.

Proceedings of the 21st International Systems and Software Product Line Conference (SPLC) - Volume B
In Maurice ter Beek and Walter Cazzola and Oscar Diaz and Marcello La Rosa and Roberto Lopez-Herrejon and Thomas Thüm and Javier Troya and Antonio Ruiz-Cortes and David Benavides, Editor
Publisher: ACM, New York, NY, USA
2017
DOI:10.1145/3109729
ISBN:978-1-4503-5119-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2017/2017-proceedings-Beek.pdf
451.
Meinicke, Jens; Thüm, Thomas; Schröter, Reimar; Benduhn, Fabian; Leich, Thomas; Saake, Gunter
Mastering Software Variability with FeatureIDE
Publisher: Springer, Berlin, Heidelberg, Germany
2017
DOI:10.1007/978-3-319-61443-4
ISBN:978-3-319-61442-7

2016

450.
Heß, Tobias
The Valued Workflow Satisfiability Problem and Its Solving With an Evolutionary Algorithm
Bachelor's Thesis
University of Ulm, Germany
November 2016
449.
Al-Hajjaji, Mustafa; Meinicke, Jens; Krieter, Sebastian; Schröter, Reimar; Thüm, Thomas; Leich, Thomas; Saake, Gunter
Tool Demo: Testing Configurable Systems with FeatureIDE
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 173-177
Publisher: ACM, New York, NY, USA
October 2016
DOI:10.1145/2993236.2993254
ISBN:978-1-4503-4446-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GPCE-Al-Hajjaji-Demo.pdf
448.
Thüm, Thomas
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen
Ausgezeichnete Informatikdissertationen 2015, Page 299-308
Publisher: Gesellschaft für Informatik, Bonn, Germany
October 2016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GI-Thuem.pdf
447.
Holthusen, Sönke; Nieke, Michael; Thüm, Thomas; Schaefer, Ina
Proof-Carrying Apps: Contract-Based Deployment-Time Verification
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Page 839-855
Publisher: Springer, Berlin, Heidelberg, Germany
October 2016
DOI:10.1007/978-3-319-47166-2_58
ISBN:978-3-319-47166-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ISoLA-Holthusen.pdf
446.
Liebel, Grischa; Tichy, Matthias; Knauss, Eric; Ljungkrantz, Oscar; Stieglbauer, Gerald
Organisation and communication problems in automotive requirements engineering
Requirements Engineering
October 2016
DOI:10.1007/s00766-016-0261-7
File:pdfhttp://link.springer.com/content/pdf/10.1007%2Fs00766-016-0261-7.pdf
445.
Al-Hajjaji, Mustafa; Krieter, Sebastian; Thüm, Thomas; Lochau, Malte; Saake, Gunter
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 144-155
Publisher: ACM, New York, NY, USA
October 2016
DOI:10.1145/2993236.2993253
ISBN:978-1-4503-4446-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GPCE-Al-Hajjaji.pdf
444.
Kögel, Stefan; Tichy, Matthias; Groner, Raffaela
Automatic Change Recommendation of Models and Meta Models Based on Change Histories
ME 2016 – Models and Evolution Workshop Proceedings (MODELS 2016), Saint-Malo, France
October 2016
File:pdfhttp://ceur-ws.org/Vol-1706/paper3.pdf
443.
Kowal, Matthias; Ananieva, Sofia; Thüm, Thomas
Explaining Anomalies in Feature Models
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 132-143
Publisher: ACM, New York, NY, USA
October 2016
DOI:10.1145/2993236.2993248
ISBN:978-1-4503-4446-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GPCE-Kowal.pdf
442.
Ananieva, Sofia; Kowal, Matthias; Thüm, Thomas; Schaefer, Ina
Implicit Constraints in Partial Feature Models
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Page 18-27
Publisher: ACM, New York, NY, USA
October 2016
DOI:10.1145/3001867.3001870
ISBN:978-1-4503-4647-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-FOSD-Ananieva.pdf
441.
Thüm, Thomas; Leich, Thomas; Krieter, Sebastian
Clean Your Variable Code with FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 308-308
Publisher: ACM, New York, NY, USA
September 2016
DOI:10.1145/2934466.2956655
ISBN:978-1-4503-4050-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Thuem-Tutorial.pdf
440.
Krieter, Sebastian; Schröter, Reimar; Thüm, Thomas; Fenske, Wolfram; Saake, Gunter
Comparing Algorithms for Efficient Feature-Model Slicing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 60-64
Publisher: ACM, New York, NY, USA
September 2016
DOI:10.1145/2934466.2934477
ISBN:978-1-4503-4050-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Krieter.pdf
439.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom; Gall, Daniel
Animating Cognitive Models and Architectures: A Rule-based Approach
The 2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, Germany
Global Conference on Artificial Intelligence
Berlin
September 2016
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/CGAI_submit.pdf
438.
Pfofe, Tristan; Thüm, Thomas; Schulze, Sandro; Fenske, Wolfram; Schaefer, Ina
Synchronizing Software Variants with VariantSync
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 329-332
Publisher: ACM, New York, NY, USA
September 2016
DOI:10.1145/2934466.2962726
ISBN:978-1-4503-4050-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Pfofe.pdf
437.
Thüm, Thomas; Ribeiro, Marcio; Schröter, Reimar; Siegmund, Janet; Dalton, Francisco
Product-Line Maintenance with Emergent Contract Interfaces
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 134-143
Publisher: ACM, New York, NY, USA
September 2016
DOI:10.1145/2934466.2934471
ISBN:978-1-4503-4050-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Thuem.pdf
436.
Meinicke, Jens; Wong, Chu-Pan; Kästner, Christian; Thüm, Thomas; Saake, Gunter
On Essential Configuration Complexity: Measuring Interactions In Highly-Configurable Systems
Proc. Int'l Conf. on Automated Software Engineering (ASE), Page 483-494
Publisher: ACM, New York, NY, USA
September 2016
DOI:10.1145/2970276.2970322
ISBN:978-1-4503-3845-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ASE-Meinicke.pdf
435.
Kowal, Matthias; Ananieva, Sofia; Thüm, Thomas
Explaining Anomalies in Feature Models (Technical Report)
Germany
Technical Report 2016-01
August 2016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-TR-Kowal.pdf
434.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
A Rule Based Approach to teach Mathematics using Animation
RuleML 2016 Challenge of the 10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016.
July 2016
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/math-chr-ruleml-2016.pdf
433.
Breckel, Alexander; Tichy, Matthias
Live Programming with Code Portals
Workshop on Live Programming Systems (LIVE'16), Rome, Italy
July 2016
File:pdfhttp://conf.researchr.org/getImage/live-2016/orig/LIVE_2016_paper_5.pdf
432.
Frühwirth, Thom
Why Can't You Behave? Non-Termination Analysis of Direct Recursive Rules with Constraints
10th International Web Rule Symposium (RuleML 2016), New York, USA, July
July 2016
DOI:10.1007/978-3-319-42019-6_14
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/thom-ruleml-2016-full.pdf
431.
Gall, Daniel; Frühwirth, Thom
Translation of Cognitive Models from ACT-R to Constraint Handling Rules
10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016
July 2016
DOI:10.1007/978-3-319-42019-6_15
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/gall-ruleml2016-final.pdf
430.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
A Rule-based Approach for Animating Java Algorithms
20th International Conference Information Visualisation (iV2016), Lisbon, Portugal, July 2016.
July 2016
DOI:10.1109/IV.2016.55
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/nada-iv2016-final.pdf
429.
Pereira, Juliana Alves; Matuszyk, Pawel; Krieter, Sebastian; Spiliopoulou, Myra; Saake, Gunter
A Feature-Based Personalized Recommender System for Product-Line Configuration
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE)
Publisher: ACM, New York, NY, USA
June 2016
DOI:10.1145/2993236.2993249
File:https://doi.org/10.1145/2993236.2993249
428.
Lity, Sascha; Morbach, Thomas; Thüm, Thomas; Schaefer, Ina
Applying Incremental Model Slicing to Product-Line Regression Testing
Proc. Int'l Conf. on Software Reuse (ICSR), Page 3-19
Publisher: Springer, Berlin, Heidelberg, Germany
June 2016
DOI:10.1007/978-3-319-35122-3_1
ISBN:978-3-319-35122-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ICSR-Lity.pdf
427.
Pereira, Juliana Alves; Krieter, Sebastian; Meinicke, Jens; Schröter, Reimar; Saake, Gunter; Leich, Thomas
FeatureIDE: Scalable Product Configuration of Variable Systems
Proc. Int'l Conf. on Software Reuse (ICSR), Page 397-401
Publisher: Springer, Berlin, Heidelberg, Germany
June 2016
426.
Kögel, Stefan; Cüppers, Joscha; Tichy, Matthias
ClickyEvaluation: A Step‐by‐Step Evaluator for Functional Programming Expressions
2nd European Conference of Software Engineering Education (ECSEE), 30 June and 1 July 2016, Seeon Monastery, Germany
June 2016
425.
Breckel, Alexander; Tichy, Matthias
Inline: Now You’re Coding with Portals
Tool Demonstration, Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
May 2016
DOI:10.1109/ICPC.2016.7503743
424.
Breckel, Alexander; Tichy, Matthias
Embedding Programming Context into Source Code
Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
May 2016
DOI:10.1109/ICPC.2016.7503732
423.
Dausend, Marcel; Raschke, Alexander
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
Science of Computer Programming
May 2016
DOI:10.1016/j.scico.2016.04.007
422.
Nassal, Alexander; Tichy, Matthias
Modeling Human Behavior for Software Engineering Simulation Games
Proceedings of the Fifth International Workshop on Games and Software Engineering (GAS2016 @ICSE), Austin, Texas, U.S.A.
May 2016
DOI:10.1145/2896958.2896961
421.
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael
Unified Syntax for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
May 2016
DOI:10.1007/978-3-319-33600-8_14
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UASM.pdf
420.
Stegmaier, Michael; Dausend, Marcel; Raschke, Alexander; Tichy, Matthias
A Universal Control Construct for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
May 2016
DOI:10.1007/978-3-319-33600-8_2
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UCC.pdf
419.
Meinicke, Jens; Thüm, Thomas; Schröter, Reimar; Krieter, Sebastian; Benduhn, Fabian; Saake, Gunter; Leich, Thomas
FeatureIDE: Taming the Preprocessor Wilderness
Proc. Int'l Conf. on Software Engineering (ICSE), Page 629-632
Publisher: ACM, New York, NY, USA
May 2016
DOI:10.1145/2889160.2889175
ISBN:978-1-4503-4205-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ICSE-Meinicke.pdf
418.
Schink, Hagen; Siegmund, Janet; Schröter, Reimar; Thüm, Thomas; Saake, Gunter
A Study on Tool Support for Refactoring in Database Applications
Softwaretechnik-Trends
May 2016
ISSN: 0720-8928
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-WSRE-Schink.pdf
417.
Schröter, Reimar; Krieter, Sebastian; Thüm, Thomas; Benduhn, Fabian; Saake, Gunter
Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems
Proc. Int'l Conf. on Software Engineering (ICSE), Page 667-678
Publisher: ACM, New York, NY, USA
May 2016
DOI:10.1145/2884781.2884823
ISBN:978-1-4503-3900-1
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ICSE-Schroeter.pdf
BibTeX download