default search action

combined dblp search
author search
venue search
publication search

ask others

Ina Schaefer

Ina Schäfer

> Home > Persons

Person information

affiliation: Technische Universität Braunschweig

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c184]
- view
- export record
  dblp key:
  - conf/se/KnuppelJNRTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KnuppelJNRTS21
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer:
Skill-Based Verification of Cyber-Physical Systems. Software Engineering 2021: 67-68
[c183]
- view
- export record
  dblp key:
  - conf/se/RungeSCTKW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/RungeSCTKW21
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson:
Tool Support for Correctness-by-Construction. Software Engineering 2021: 93-94
[c182]
- view
- export record
  dblp key:
  - conf/se/EbelHSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/EbelHSV21
Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang:
18th Workshop on Automotive Software Engineering (ASE'21). Software Engineering 2021: 127-128
[c181]
- view
- export record
  dblp key:
  - conf/vamos/SundermannNBHTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/SundermannNBHTS21
Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer:
Applications of #SAT Solvers on Feature Models. VaMoS 2021: 12:1-12:10
[c180]
- view
- export record
  dblp key:
  - conf/vamos/HentzePTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/HentzePTS21
Marc Hentze, Tobias Pett, Thomas Thüm, Ina Schaefer:
Hyper Explanations for Feature-Model Defect Analysis. VaMoS 2021: 14:1-14:9
[c179]
- view
- export record
  dblp key:
  - conf/vamos/PettKRTLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/PettKRTLS21
Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer:
Stability of Product-Line Samplingin Continuous Integration. VaMoS 2021: 18:1-18:9
[e19]
- view
- export record
  dblp key:
  - conf/se/2021w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/2021w
Sebastian Götz, Lukas Linsbauer, Ina Schaefer, Andreas Wortmann:
Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021. CEUR Workshop Proceedings 2814, CEUR-WS.org 2021 [contents]
[e18]
- view
- export record
  dblp key:
  - conf/se/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/2021
Anne Koziolek, Ina Schaefer, Christoph Seidl:
Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell. LNI P-310, Gesellschaft für Informatik e.V. 2021, ISBN 978-3-88579-704-3 [contents]
2020
[c178]
- view
- export record
  dblp key:
  - conf/fase/KnuppelJNTRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KnuppelJNTRS20
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer:
Skill-Based Verification of Cyber-Physical Systems. FASE 2020: 203-223
[c177]
- view
- export record
  dblp key:
  - conf/gpce/BordisRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/BordisRS20
Tabea Bordis, Tobias Runge, Ina Schaefer:
Correctness-by-construction for feature-oriented software product lines. GPCE 2020: 22-34
[c176]
- view
- export record
  dblp key:
  - conf/icse/RungeKTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RungeKTS20
Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Lattice-Based Information Flow Control-by-Construction for Security-by-Design. FormaliSE@ICSE 2020: 44-54
[c175]
- view
- export record
  dblp key:
  - conf/ieem/FischerVHS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieem/FischerVHS20
J. Fischer, Birgit Vogel-Heuser, F. Haben, Ina Schaefer:
Reengineering Workflow for Planned Reuse of IEC 61131-3 Legacy Software. IEEM 2020: 1126-1130
[c174]
- view
- export record
  dblp key:
  - conf/isola/KnuppelRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KnuppelRS20
Alexander Knüppel, Tobias Runge, Ina Schaefer:
Scaling Correctness-by-Construction. ISoLA (1) 2020: 187-207
[c173]
- view
- export record
  dblp key:
  - conf/isola/BeekCLSW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekCLSW20
Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson:
X-by-Construction - Correctness Meets Probability. ISoLA (1) 2020: 211-215
[c172]
- view
- export record
  dblp key:
  - conf/isola/GurovHS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GurovHS20
Dilian Gurov, Paula Herber, Ina Schaefer:
Automated Verification of Embedded Control Software - Track Introduction. ISoLA (3) 2020: 235-239
[c171]
- view
- export record
  dblp key:
  - conf/models/PettES20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PettES20
Tobias Pett, Domenik Eichhorn, Ina Schaefer:
Risk-based compatibility analysis in automotive systems engineering. MODELS Companion 2020: 34:1-34:10
[c170]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/EbelHSV20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/EbelHSV20a
Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang:
ASE 2020 Preface. Software Engineering (Workshops) 2020
[c169]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/se/SchlieSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/SchlieSS20
Alexander Schlie, Sandro Schulze, Ina Schaefer:
Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. SE 2020: 131-132
[c168]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/se/EbelHSV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/EbelHSV20
Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang:
17. Workshop Automotive Software Engineering. SE 2020: 249-250
[c167]
- view
- export record
  dblp key:
  - conf/smc/FischerVWLLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/FischerVWLLS20
Juliane Fischer, Birgit Vogel-Heuser, Jan Wilch, Frieder Loch, Kathrin Land, Ina Schaefer:
Variability Visualization of IEC 61131-3 Legacy Software for Planned Reuse. SMC 2020: 3760-3767
[c166]
- view
- export record
  dblp key:
  - conf/splc/SchlieK0S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SchlieK0S20
Alexander Schlie, Alexander Knüppel, Christoph Seidl, Ina Schaefer:
Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink. SPLC (A) 2020: 7:1-7:12
[c165]
- view
- export record
  dblp key:
  - conf/splc/HoffN0SMDYS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/HoffN0SMDYS20
Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sæther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer:
Consistency-preserving evolution planning on feature models. SPLC (A) 2020: 8:1-8:12
[c164]
- view
- export record
  dblp key:
  - conf/splc/NiekeST0TS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/NiekeST0TS20
Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer:
GuyDance: Guiding Configuration Updates for Product-Line Evolution. SPLC (B) 2020: 56-64
[c163]
- view
- export record
  dblp key:
  - conf/vamos/SundermannTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/SundermannTS20
Chico Sundermann, Thomas Thüm, Ina Schaefer:
Evaluating #SAT solvers on industrial feature models. VaMoS 2020: 3:1-3:9
[c162]
- view
- export record
  dblp key:
  - conf/vamos/SpreySKNMTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/SpreySKNMTS20
Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer:
SMT-based variability analyses in FeatureIDE. VaMoS 2020: 6:1-6:9
[c161]
- view
- export record
  dblp key:
  - conf/vamos/BordisRKTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/BordisRKTS20
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Variational correctness-by-construction. VaMoS 2020: 7:1-7:9
[c160]
- view
- export record
  dblp key:
  - conf/vamos/SchlieSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/SchlieSS20
Alexander Schlie, Sandro Schulze, Ina Schaefer:
Recovering variability information from source code of clone-and-own software systems. VaMoS 2020: 19:1-19:9
[p5]
- view
- export record
  dblp key:
  - series/lncs/KnuppelKTBKBS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/KnuppelKTBKBS20
Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer:
Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY 2020: 122-148
[e17]
- view
- export record
  dblp key:
  - conf/splc/2020b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2020b
Rafael Capilla, Philippe Collet, Paul Gazzillo, Jacob Krüger, Roberto Erick Lopez-Herrejon, Sarah Nadi, Gilles Perrouin, Iris Reinhartz-Berger, Julia Rubin, Ina Schaefer:
SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume B. ACM 2020, ISBN 978-1-4503-7570-2 [contents]

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j30]
- view
- export record
  dblp key:
  - journals/ife/RumpeSSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ife/RumpeSSV19
Bernhard Rumpe, Ina Schaefer, Bernd-Holger Schlingloff, Andreas Vogelsang:
Special issue on engineering collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. 34(4): 173-175 (2019)
[j29]
- view
- export record
  dblp key:
  - journals/jss/LityNTS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/LityNTS19
Sascha Lity, Manuel Nieke, Thomas Thüm, Ina Schaefer:
Retest test selection for product-line regression testing of variants and versions of variants. J. Syst. Softw. 147: 46-63 (2019)
[j28]
- view
- export record
  dblp key:
  - journals/jss/ThumKKBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ThumKKBS19
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer:
Feature-oriented contract composition. J. Syst. Softw. 152: 83-107 (2019)
[c159]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/fase/RungeSCTKW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/RungeSCTKW19
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson:
Tool Support for Correctness-by-Construction. FASE 2019: 25-42
[c158]
- view
- export record
  dblp key:
  - conf/fm/RungeTCSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/RungeTCSW19
Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson:
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. FM Workshops (2) 2019: 388-405
[c157]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/se/HelkeSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/HelkeSV19
Steffen Helke, Ina Schaefer, Andreas Vogelsang:
16. Workshop Automotive Software Engineering. SE/SWM 2019: 31-32
[c156]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/se/KnuppelTPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KnuppelTPS19
Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer:
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. SE/SWM 2019: 165-166
[c155]
- view
- export record
  dblp key:
  - conf/sefm/BittnerTS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BittnerTS19
Paul Maximilian Bittner, Thomas Thüm, Ina Schaefer:
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. SEFM 2019: 127-144
[c154]
- view
- export record
  dblp key:
  - conf/smc/BougouffaVFSL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/BougouffaVFSL19
Safa Bougouffa, Birgit Vogel-Heuser, Juliane Fischer, Ina Schaefer, Huaxia Li:
Visualization of Variability Analysis of Control Software From Industrial Automation Systems. SMC 2019: 3357-3364
[c153]
- view
- export record
  dblp key:
  - conf/splc/ThumKKBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumKKBS19
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer:
Feature-oriented contract composition. SPLC (A) 2019: 5:1
[c152]
- view
- export record
  dblp key:
  - conf/splc/PettTRKLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/PettTRKLS19
Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer:
Product sampling for product lines: the scalability challenge. SPLC (A) 2019: 14:1-14:6
[c151]
- view
- export record
  dblp key:
  - conf/splc/ThumTSWMVBSK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumTSWMVBSK19
Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer:
Towards efficient analysis of variation in time and space. SPLC (B) 2019: 69:1-69:8
[c150]
- view
- export record
  dblp key:
  - conf/splc/RosiakUSSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/RosiakUSSS19
Kamil Rosiak, Oliver Urbaniak, Alexander Schlie, Christoph Seidl, Ina Schaefer:
Analyzing variability in 25 years of industrial legacy software: an experience report. SPLC (B) 2019: 70:1-70:8
[c149]
- view
- export record
  dblp key:
  - conf/splc/ThumSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumSS19
Thomas Thüm, Christoph Seidl, Ina Schaefer:
On language levels for feature modeling notations. SPLC (B) 2019: 83:1-83:4
[c148]
- view
- export record
  dblp key:
  - conf/splc/SchlieRUSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SchlieRUSV19
Alexander Schlie, Kamil Rosiak, Oliver Urbaniak, Ina Schaefer, Birgit Vogel-Heuser:
Analyzing variability in automation software with the variability analysis toolkit. SPLC (B) 2019: 89:1-89:8
[p4]
- view
- export record
  dblp key:
  - books/sp/19/SeidlWS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/19/SeidlWS19
Christoph Seidl, David Wille, Ina Schaefer:
Software Reuse: From Cloned Variants to Managed Software Product Lines. Automotive Systems and Software Engineering 2019: 77-108
[p3]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - books/sp/19/ThumHABGHJKLSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/19/ThumHABGHJKLSW19
Thomas Thüm, André van Hoorn, Sven Apel, Johannes Bürdek, Sinem Getir, Robert Heinrich, Reiner Jung, Matthias Kowal, Malte Lochau, Ina Schaefer, Jürgen Walter:
Performance Analysis Strategies for Software Variants and Versions. Managed Software Evolution 2019: 175-206
[p2]
- view
- export record
  dblp key:
  - books/sp/19/SchlieSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/19/SchlieSS19
Alexander Schlie, Christoph Seidl, Ina Schaefer:
Reengineering Variants of MATLAB/Simulink Software Systems. Security and Quality in Cyber-Physical Systems Engineering 2019: 267-301
[e16]
- view
- export record
  dblp key:
  - conf/gpce/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/2019
Ina Schaefer, Christoph Reichenbach, Tijs van der Storm:
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019, Athens, Greece, October 21-22, 2019. ACM 2019, ISBN 978-1-4503-6980-0 [contents]
[e15]
- view
- export record
  dblp key:
  - conf/se/2019w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/2019w
Stephan Krusche, Kurt Schneider, Marco Kuhrmann, Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders, Steffen Helke, Ina Schaefer, Andreas Vogelsang, Björn Annighöfer, Andreas Schweiger, Marina Reich, André van Hoorn:
Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019. CEUR Workshop Proceedings 2308, CEUR-WS.org 2019 [contents]
2018
[j27]
- view
- export record
  dblp key:
  - journals/acta/DamianiPSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/DamianiPSS18
Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl:
A core calculus for dynamic delta-oriented programming. Acta Informatica 55(4): 269-307 (2018)
[j26]
- view
- export record
  dblp key:
  - journals/at/SchlieBFSV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/at/SchlieBFSV18
Alexander Schlie, Safa Bougouffa, Juliane Fischer, Ina Schaefer, Birgit Vogel-Heuser:
Change analysis on evolving PLC software in automated production systems. Autom. 66(10): 806-818 (2018)
[j25]
- view
- export record
  dblp key:
  - journals/scp/WilleBCSBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/WilleBCSBS18
David Wille, Önder Babur, Loek Cleophas, Christoph Seidl, Mark van den Brand, Ina Schaefer:
Improving custom-tailored variability mining using outlier and cluster detection. Sci. Comput. Program. 163: 62-84 (2018)
[j24]
- view
- export record
  dblp key:
  - journals/scp/CleophasSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CleophasSW18
Loek Cleophas, Ina Schaefer, Bruce W. Watson:
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017). Sci. Comput. Program. 166: 1-2 (2018)
[j23]
- view
- export record
  dblp key:
  - journals/sosym/LuddeckeSSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LuddeckeSSS18
Daniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer:
Modeling context-aware and intention-aware in-car infotainment systems - Concepts and modeling processes. Softw. Syst. Model. 17(3): 973-987 (2018)
[c147]
- view
- export record
  dblp key:
  - conf/birthday/Schaefer18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Schaefer18
Ina Schaefer:
A Personal History of Delta Modelling. Principled Software Development 2018: 241-250
[c146]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/cascon/WehlingWSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/WehlingWSS08
Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer:
Reducing variability of technically related software systems in large-scale IT landscapes. CASCON 2018: 224-235
[c145]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/confws/ThumKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/confws/ThumKS18
Thomas Thüm, Sebastian Krieter, Ina Schaefer:
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators. ConfWS 2018: 1-8
[c144]
- view
- export record
  dblp key:
  - conf/icsm/SchlieSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/SchlieSS18
Alexander Schlie, Sandro Schulze, Ina Schaefer:
Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. ICSME 2018: 160-171
[c143]
- view
- export record
  dblp key:
  - conf/icsm/FischerBSSV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/FischerBSSV18
Juliane Fischer, Safa Bougouffa, Alexander Schlie, Ina Schaefer, Birgit Vogel-Heuser:
A Qualitative Study of Variability Management of Control Software for Industrial Automation Systems. ICSME 2018: 615-624
[c142]
- view
- export record
  dblp key:
  - conf/ictac/BerglundS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BerglundS18
Martin Berglund, Ina Schaefer:
An Automata-Based View on Configurability and Uncertainty. ICTAC 2018: 80-98
[c141]
- view
- export record
  dblp key:
  - conf/isola/KnuppelTPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KnuppelTPS18
Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer:
Scalability of Deductive Verification Depends on Method Call Treatment. ISoLA (4) 2018: 159-175
[c140]
- view
- export record
  dblp key:
  - conf/isola/BeekCSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekCSW18
Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson:
X-by-Construction. ISoLA (1) 2018: 359-364
[c139]
- view
- export record
  dblp key:
  - conf/isola/SchaeferRKCKW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SchaeferRKCKW18
Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson:
Towards Confidentiality-by-Construction. ISoLA (1) 2018: 502-515
[c138]
- view
- export record
  dblp key:
  - conf/itp/KnuppelTPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/KnuppelTPS18
Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer:
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. ITP 2018: 342-361
[c137]
- view
- export record
  dblp key:
  - conf/modelsward/SchusterSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/SchusterSS18
Sven Schuster, Christoph Seidl, Ina Schaefer:
Detecting and Describing Variability-Aware Design Patterns in Feature-Oriented Software Product Lines. MODELSWARD 2018: 731-742
[c136]
- view
  - electronic edition @ gi.de
  - no references & citations available
- export record
  dblp key:
  - conf/se/KnuppelTMMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KnuppelTMMS18
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer:
Is There a Mismatch between Real-World Feature Models and Product-Line Research? Software Engineering 2018: 53-54
[c135]
- view
- export record
  dblp key:
  - conf/splc/VarshosazATRMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/VarshosazATRMS18
Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer:
A classification of product sampling for software product lines. SPLC 2018: 1-13
[c134]
- view
- export record
  dblp key:
  - conf/splc/SeidlSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SeidlSS18
Christoph Seidl, Sven Schuster, Ina Schaefer:
Generative software product line development using variability-aware design patterns. SPLC 2018: 246
[c133]
- view
- export record
  dblp key:
  - conf/vamos/LityNTSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/LityNTSS18
Sascha Lity, Sophia Nahrendorf, Thomas Thüm, Christoph Seidl, Ina Schaefer:
175% Modeling for Product-Line Evolution of Domain Artifacts. VaMoS 2018: 27-34
[c132]
- view
- export record
  dblp key:
  - journals/corr/abs-1811-10818
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10818
Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer:
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. F-IDE@FLoC 2018: 53-70
[e14]
- view
- export record
  dblp key:
  - conf/birthday/2018poetzsch
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2018poetzsch
Peter Müller, Ina Schaefer:
Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Springer 2018, ISBN 978-3-319-98046-1 [contents]
[e13]
- view
- export record
  dblp key:
  - conf/modellierung/2018w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modellierung/2018w
Ina Schaefer, Loek Cleophas, Michael Felderer, Steffen Becker, Wolfgang Böhm, Dirk Fahland, Hans-Georg Fill, Robert Heinrich, Kathrin Kirchner, Michael Köhler-Bußmeier, Marco Konersmann, Heinrich C. Mayr, Daniel Moldt, Andreas Oberweis, Felix Reher, Matthias Riebisch, Stefan Sauer, Holger Schlingloff, Bernhard Thalheim, Andreas Vogelsang, Rüdiger Weißbach, Thorsten Weyer:
Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018. CEUR Workshop Proceedings 2060, CEUR-WS.org 2018 [contents]
[e12]
- view
- export record
  dblp key:
  - conf/modellierung/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modellierung/2018
Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez, Christoph Seidl:
Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany. LNI P-280, Gesellschaft für Informatik e.V. 2018, ISBN 978-3-88579-674-9 [contents]
[e11]
- view
- export record
  dblp key:
  - conf/sefm/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/2018
Einar Broch Johnsen, Ina Schaefer:
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10886, Springer 2018, ISBN 978-3-319-92969-9 [contents]
2017
[j22]
- view
- export record
  dblp key:
  - journals/cl/SeidlSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/SeidlSS17
Christoph Seidl, Sven Schuster, Ina Schaefer:
Generative software product line development using variability-aware design patterns. Comput. Lang. Syst. Struct. 48: 89-111 (2017)
[j21]
- view
- export record
  dblp key:
  - journals/jss/SchaeferS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/SchaeferS17
Ina Schaefer, Ioannis Stamelos:
Introduction to the Special Issue on "International Conference on Software Reuse 2015". J. Syst. Softw. 131: 323-324 (2017)
[c131]
- view
- export record
  dblp key:
  - conf/gecco/LachmannFNSSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LachmannFNSSS17
Remo Lachmann, Michael Felderer, Manuel Nieke, Sandro Schulze, Christoph Seidl, Ina Schaefer:
Multi-objective black-box test case selection for system testing. GECCO 2017: 1311-1318
[c130]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/gi/WehlingS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/WehlingS17
Kenny Wehling, Ina Schaefer:
Towards an Expert System for Identifying and Reducing Unnecessary Complexity of IT Architectures. GI-Jahrestagung 2017: 1523-1529
[c129]
- view
- export record
  dblp key:
  - conf/icfem/BenduhnTSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BenduhnTSS17
Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake:
Modularization of Refinement Steps for Agile Formal Methods. ICFEM 2017: 19-35
[c128]
- view
- export record
  dblp key:
  - conf/icsa/WehlingWSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/WehlingWSS17
Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer:
Decision Support for Reducing Unnecessary IT Complexity of Application Architectures. ICSA Workshops 2017: 161-168
[c127]
- view
- export record
  dblp key:
  - conf/icse/Al-HajjajiLLTSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Al-HajjajiLLTSS17
Mustafa Al-Hajjaji, Sascha Lity, Remo Lachmann, Thomas Thüm, Ina Schaefer, Gunter Saake:
Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing. VACE@ICSE 2017: 34-40
[c126]
- view
- export record
  dblp key:
  - conf/icsr/SchlieWCS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/SchlieWCS17
Alexander Schlie, David Wille, Loek Cleophas, Ina Schaefer:
Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis. ICSR 2017: 77-94
[c125]
- view
- export record
  dblp key:
  - conf/ifm/DamianiLMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DamianiLMS17
Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer:
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. IFM 2017: 111-126
[c124]
- view
- export record
  dblp key:
  - conf/oopsla/WehlingWSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/WehlingWSS17
Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer:
Automated recommendations for reducing unnecessary variability of technology architectures. FOSD@SPLASH 2017: 1-10
[c123]
- view
- export record
  dblp key:
  - conf/oopsla/SchusterSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/SchusterSS17
Sven Schuster, Christoph Seidl, Ina Schaefer:
Towards a development process for maturing Delta-oriented software product lines. FOSD@SPLASH 2017: 41-50
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KnuppelTMMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KnuppelTMMS17
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer:
Is there a mismatch between real-world feature models and product-line research? ESEC/SIGSOFT FSE 2017: 291-302
[c121]
- view
- export record
  dblp key:
  - conf/splc/WilleWSPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/WilleWSPS17
David Wille, Kenny Wehling, Christoph Seidl, Martin Pluchator, Ina Schaefer:
Variability Mining of Technical Architectures. SPLC (A) 2017: 39-48
[c120]
- view
- export record
  dblp key:
  - conf/splc/SchlieWSCS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SchlieWSCS17
Alexander Schlie, David Wille, Sandro Schulze, Loek Cleophas, Ina Schaefer:
Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation. SPLC (A) 2017: 215-224
[c119]
- view
  - electronic edition @ stringology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/stringology/RungeSCW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stringology/RungeSCW17
Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce W. Watson:
Many-MADFAct: Concurrently Constructing MADFAs. Stringology 2017: 126-142
[c118]
- view
- export record
  dblp key:
  - conf/vamos/LachmannBLSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/LachmannBLSS17
Remo Lachmann, Simon Beddig, Sascha Lity, Sandro Schulze, Ina Schaefer:
Risk-based integration testing of software product lines. VaMoS 2017: 52-59
[c117]
- view
- export record
  dblp key:
  - conf/vamos/LityATS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/LityATS17
Sascha Lity, Mustafa Al-Hajjaji, Thomas Thüm, Ina Schaefer:
Optimizing product orders using graph algorithms for improving incremental product-line analysis. VaMoS 2017: 60-67
[e10]
- view
- export record
  dblp key:
  - conf/vamos/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/2017
Maurice H. ter Beek, Norbert Siegmund, Ina Schaefer:
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2017, Eindhoven, Netherlands, February 1-3, 2017. ACM 2017, ISBN 978-1-4503-4811-9 [contents]
2016
[j20]
- view
- export record
  dblp key:
  - journals/fomac/BubelDHJOSY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/BubelDHJOSY16
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu:
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1: 130-156 (2016)
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/jlp/BeekCS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BeekCS16
Maurice H. ter Beek, Dave Clarke, Ina Schaefer:
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering. J. Log. Algebraic Methods Program. 85(1): 123-124 (2016)
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/jlp/RheinTSLA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/RheinTSLA16
Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel:
Variability encoding: From compile-time to load-time variability. J. Log. Algebraic Methods Program. 85(1): 125-145 (2016)
[c116]
- view
- export record
  dblp key:
  - conf/icmla/LachmannSNSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmla/LachmannSNSS16
Remo Lachmann, Sandro Schulze, Manuel Nieke, Christoph Seidl, Ina Schaefer:
System-Level Test Case Prioritization Using Machine Learning. ICMLA 2016: 361-368
[c115]
- view
- export record
  dblp key:
  - conf/icsr/LityMTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/LityMTS16
Sascha Lity, Thomas Morbach, Thomas Thüm, Ina Schaefer:
Applying Incremental Model Slicing to Product-Line Regression Testing. ICSR 2016: 3-19
[c114]
- view
- export record
  dblp key:
  - conf/icsr/SchaeferSCW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/SchaeferSCW16
Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson:
Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering. ICSR 2016: 63-70
[c113]
- view
- export record
  dblp key:
  - conf/isola/WilleTSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WilleTSSS16
David Wille, Michael Tiede, Sandro Schulze, Christoph Seidl, Ina Schaefer:
Identifying Variability in Object-Oriented Code Using Model-Based Code Mining. ISoLA (2) 2016: 547-562
[c112]
- view
- export record
  dblp key:
  - conf/isola/BeekHS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekHS16
Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer:
Correctness-by-Construction and Post-hoc Verification: Friends or Foes? ISoLA (1) 2016: 723-729
[c111]
- view
- export record
  dblp key:
  - conf/isola/WatsonKSC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WatsonKSC16
Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas:
Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? ISoLA (1) 2016: 730-748
[c110]
- view
- export record
  dblp key:
  - conf/isola/CleophasKPSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CleophasKPSW16
Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson:
Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families. ISoLA (1) 2016: 766-783
[c109]
- view
- export record
  dblp key:
  - conf/isola/HolthusenNTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HolthusenNTS16
Sönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer:
Proof-Carrying Apps: Contract-Based Deployment-Time Verification. ISoLA (1) 2016: 839-855
[c108]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/modellierung/SeidlWS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modellierung/SeidlWS16
Christoph Seidl, Tim Winkelmann, Ina Schaefer:
A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages. Modellierung 2016: 157-172
[c107]
- view
- export record
  dblp key:
  - conf/oopsla/LachmannLAFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/LachmannLAFS16
Remo Lachmann, Sascha Lity, Mustafa Al-Hajjaji, Franz Fürchtegott, Ina Schaefer:
Fine-grained test case prioritization for integration testing of delta-oriented software product lines. FOSD@SPLASH 2016: 1-10
[c106]
- view
- export record
  dblp key:
  - conf/oopsla/SchusterNS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/SchusterNS16
Sven Schuster, Michael Nieke, Ina Schaefer:
Name resolution strategies in variability realization languages for software product lines. FOSD@SPLASH 2016: 11-17
[c105]
- view
- export record
  dblp key:
  - conf/oopsla/AnanievaKTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/AnanievaKTS16
Sofia Ananieva, Matthias Kowal, Thomas Thüm, Ina Schaefer:
Implicit constraints in partial feature models. FOSD@SPLASH 2016: 18-27
[c104]
- view
- export record
  dblp key:
  - conf/oopsla/LityKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/LityKS16
Sascha Lity, Matthias Kowal, Ina Schaefer:
Higher-order delta modeling for software product line evolution. FOSD@SPLASH 2016: 39-48
[c103]
- view
- export record
  dblp key:
  - conf/oopsla/WilleSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/WilleSS16
David Wille, Sandro Schulze, Ina Schaefer:
Variability mining of state charts. FOSD@SPLASH 2016: 63-73
[c102]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/KrallS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KrallS16
Andreas Krall, Ina Schaefer:
Vorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016). Software Engineering (Workshops) 2016: 1-2
[c101]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/KowalTTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KowalTTS16
Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer:
Scaling size and parameter spaces in variability-aware software performance models. Software Engineering 2016: 33-34
[c100]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/WinkelmannKSSDS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/WinkelmannKSSDS16
Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer:
Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts. Software Engineering (Workshops) 2016: 40-54
[c99]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/Vogel-HeuserFST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Vogel-HeuserFST16
Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer, Matthias Tichy:
Evolution of software in automated production systems: challenges and research directions. Software Engineering 2016: 107-108
[c98]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/KrallS16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KrallS16a
Andreas Krall, Ina Schaefer:
ATPS 2016: 9. Arbeitstagung Programmiersprachen. Software Engineering 2016: 119-120
[c97]
- view
- export record
  dblp key:
  - conf/splc/PfofeTSFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/PfofeTSFS16
Tristan Pfofe, Thomas Thüm, Sandro Schulze, Wolfram Fenske, Ina Schaefer:
Synchronizing software variants with variantsync. SPLC 2016: 329-332
[c96]
- view
- export record
  dblp key:
  - conf/wcre/WilleSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/WilleSSS16
David Wille, Sandro Schulze, Christoph Seidl, Ina Schaefer:
Custom-Tailored Variability Mining for Block-Based Languages. SANER 2016: 271-282
[c95]
- view
- export record
  dblp key:
  - journals/corr/HolthusenQSSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HolthusenQSSW16
Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner:
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates. PrePost@IFM 2016: 31-45
[c94]
- view
- export record
  dblp key:
  - journals/corr/KowalS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KowalS16
Matthias Kowal, Ina Schaefer:
Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems. FMSPLE 2016: 32-45
[p1]
- view
- export record
  dblp key:
  - books/sp/16/SchaeferHHJKMMRRSSSSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/SchaeferHHJKMMRRSSSSW16
Ina Schaefer, André Heuer, Michael Himsolt, Tobias Jäger, Tobias Kaufmann, Christian Manz, Reinhold May, Christian Reuter, Bernhard Rumpe, Holger Schlingloff, Sebastian Schröck, Christoph Schulze, Michael Schulze, Stephan Weißleder:
Variant Management and Reuse. Advanced Model-Based Engineering of Embedded Systems 2016: 197-222
[e9]
- view
- export record
  dblp key:
  - conf/gpce/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/2016
Bernd Fischer, Ina Schaefer:
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, Amsterdam, The Netherlands, October 31 - November 1, 2016. ACM 2016, ISBN 978-1-4503-4446-3 [contents]
[e8]
- view
- export record
  dblp key:
  - conf/se/2016w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/2016w
Wolf Zimmermann, Lukas Alperowitz, Bernd Brügge, Jörn Fahsel, Andrea Herrmann, Anne Hoffmann, Andreas Krall, Dieter Landes, Horst Lichter, Dirk Riehle, Ina Schaefer, Constantin Scheuermann, Alexander Schlaefer, Sibylle Schupp, Andreas Seitz, Andreas Steffens, André Stollenwerk, Rüdiger Weißbach:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016. CEUR Workshop Proceedings 1559, CEUR-WS.org 2016 [contents]
[e7]
- view
- export record
  dblp key:
  - conf/vamos/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/2016
Ina Schaefer, Vander Alves, Eduardo Santana de Almeida:
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016. ACM 2016, ISBN 978-1-4503-4019-9 [contents]
2015
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jss/Vogel-HeuserFST15
- ask others