TY - GEN
AU - Seutter, Janina
ID - 33885
TI - Online Reviews in B2B Markets: A Qualitative Study on the Underlying Motives
ER -
TY - CONF
AU - Padalkin, Andreas
AU - Scheideler, Christian
AU - Warner, Daniel
ED - Ouldridge, Thomas E.
ED - Wickham, Shelley F. J.
ID - 32602
SN - 1868-8969
T2 - 28th International Conference on DNA Computing and Molecular Programming (DNA 28)
TI - The Structural Power of Reconfigurable Circuits in the Amoebot Model
VL - 238
ER -
TY - CONF
AU - Kostitsyna, Irina
AU - Scheideler, Christian
AU - Warner, Daniel
ED - Ouldridge, Thomas E.
ED - Wickham, Shelley F. J.
ID - 32603
SN - 1868-8969
T2 - 28th International Conference on DNA Computing and Molecular Programming (DNA 28)
TI - Fault-Tolerant Shape Formation in the Amoebot Model
VL - 238
ER -
TY - GEN
AU - Seutter, Janina
ID - 30916
T2 - Proceedings of the 30th European Conference on Information Systems (ECIS)
TI - Online Reviews in B2B Markets: A Qualitative Study of Underlying Motivations
ER -
TY - GEN
AU - Poniatowski, Martin
ID - 31062
T2 - Proceedings of the 28th Americas Conference on Information Systems (AMCIS)
TI - How the Display of the Transaction Count Affects the Purchase Intention
ER -
TY - JOUR
AB - AbstractMany critical codebases are written in C, and most of them use preprocessor directives to encode variability, effectively encoding software product lines. These preprocessor directives, however, challenge any static code analysis. SPLlift, a previously presented approach for analyzing software product lines, is limited to Java programs that use a rather simple feature encoding and to analysis problems with a finite and ideally small domain. Other approaches that allow the analysis of real-world C software product lines use special-purpose analyses, preventing the reuse of existing analysis infrastructures and ignoring the progress made by the static analysis community. This work presents VarAlyzer, a novel static analysis approach for software product lines. VarAlyzer first transforms preprocessor constructs to plain C while preserving their variability and semantics. It then solves any given distributive analysis problem on transformed product lines in a variability-aware manner. VarAlyzer ’s analysis results are annotated with feature constraints that encode in which configurations each result holds. Our experiments with 95 compilation units of OpenSSL show that applying VarAlyzer enables one to conduct inter-procedural, flow-, field- and context-sensitive data-flow analyses on entire product lines for the first time, outperforming the product-based approach for highly-configurable systems.
AU - Schubert, Philipp
AU - Gazzillo, Paul
AU - Patterson, Zach
AU - Braha, Julian
AU - Schiebel, Fabian
AU - Hermann, Ben
AU - Wei, Shiyi
AU - Bodden, Eric
ID - 30511
IS - 1
JF - Automated Software Engineering
KW - inter-procedural static analysis
KW - software product lines
KW - preprocessor
KW - LLVM
KW - C/C++
SN - 0928-8910
TI - Static data-flow analysis for software product lines in C
VL - 29
ER -
TY - CONF
AU - Vorbohle, Christian
AU - Kundisch, Dennis
ID - 30939
T2 - Proceedings of the 30th European Conference on Information Systems (ECIS)
TI - Overcoming Silos: A Review of Business Model Modeling Languages for Business Ecosystems
ER -
TY - GEN
AU - Althaus, Maike
AU - Poniatowski, Martin
AU - Kundisch, Dennis
ID - 30734
TI - Tackling Crises Together? - An Econometric Analysis of Charitable Crowdfunding During the COVID-19 Pandemic
ER -
TY - GEN
AU - Vorbohle, Christian
AU - Kundisch, Dennis
ID - 30212
TI - Key Properties of Sustainable Business Ecosystem Relationships
ER -
TY - CONF
AU - Grieger, Nicole
AU - Seutter, Janina
AU - Kundisch, Dennis
ID - 28999
T2 - Tagungsband der 17. Internationalen Tagung Wirtschaftsinformatik 2022
TI - Rollercoaster of Emotions – A Semantic Analysis of Fundraising Campaigns over the Course of the Covid-19 Pandemic
ER -