Ina Schaefer

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer: Compositional type checking of delta-oriented software product lines. Acta Inf. 50(2): 77-122 (2013)

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco: TraitRecordJ: A programming language with traits and records. Sci. Comput. Program. 78(5): 521-541 (2013)

Arne Haber, Carsten Kolassa, Peter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer: First-class variability modeling in Matlab/Simulink. VaMoS 2013: 4

Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, Ina Schaefer: The PLA model: on the combination of product-line analyses. VaMoS 2013: 14

Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela: Software diversity: state of the art and perspectives. STTT 14(5): 477-495 (2012)

Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen: A constraint-based variability modeling framework. STTT 14(5): 511-530 (2012)

Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake: Applying Design by Contract to Feature-Oriented Programming. FASE 2012: 255-269

Ferruccio Damiani, Luca Padovani, Ina Schaefer: A formal foundation for dynamic delta-oriented software product lines. GPCE 2012: 1-10

Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel: Family-based deductive verification of software product lines. GPCE 2012: 11-20

Reiner Hähnle, Ina Schaefer: Adaptable and Evolving Software for Eternal Systems - (Track Summary). ISoLA (1) 2012: 1-3

Reiner Hähnle, Ina Schaefer: A Liskov Principle for Delta-Oriented Programming. ISoLA (1) 2012: 32-46

Ina Schaefer, Malte Lochau, Martin Leucker: Approaches for Mastering Change. ISoLA (1) 2012: 127-130

Ferruccio Damiani, Ina Schaefer: Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. ISoLA (1) 2012: 193-207

Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer: Evolving Delta-Oriented Software Product Line Architectures. Monterey Workshop 2012: 183-208

Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu: A transformational proof system for delta-oriented programming. SPLC (2) 2012: 53-60

Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong: Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. SPLC (1) 2012: 286-287

Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity: Incremental Model-Based Testing of Delta-Oriented Software Product Lines. TAP 2012: 67-82

Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga: Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511). Dagstuhl Reports 2(12): 64-88 (2012)

Ina Schaefer, Reiner Hähnle: Formal Methods in Software Product Line Engineering. IEEE Computer 44(2): 82-85 (2011)

Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani: Compositional type-checking for delta-oriented programming. AOSD 2011: 43-56

Arne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer: Delta-oriented architectural variability using MontiCore. ECSA Companion Volume 2011: 6

Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen: Synthesis-Based Variability Control: Correctness by Construction. FMCO 2011: 69-88

Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong: HATS Abstract Behavioral Specification: The Architectural View. FMCO 2011: 109-132

Peter Y. H. Wong, Nikolay Diakov, Ina Schaefer: Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study. FoVeOOS 2011: 49-66

Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel: Proof Composition for Deductive Verification of Software Product Lines. ICST Workshops 2011: 270-277

Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer: Delta Modeling for Software Architectures. MBEES 2011: 1-10

Ina Schaefer, Anna-Lena Lamprecht, Tiziana Margaria: Constraint-oriented Variability Modeling. SEW 2011: 77-83

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM 2011: 417-457

Ferruccio Damiani, Ina Schaefer: Dynamic delta-oriented programming. SPLC Workshops 2011: 34

Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer, Frank van der Linden: Hierarchical Variability Modeling for Software Architectures. SPLC 2011: 150-159

Ina Schaefer, Isabel John, Klaus Schmid (Eds.): Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. Workshop Proceedings (Volume 2). ACM 2011, isbn 978-1-4503-0789-5

Rasmus Adler, Ina Schaefer, Mario Trapp, Arnd Poetzsch-Heffter: Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. ACM Trans. Embedded Comput. Syst. 10(2): 20 (2010)

Ina Schaefer, Dilian Gurov, Siavash Soleimanifard: Compositional Algorithmic Verification of Software Product Lines. FMCO 2010: 184-203

Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte: Variability Modelling in the ABS Language. FMCO 2010: 204-224

Daniel Bruns, Vladimir Klebanov, Ina Schaefer: Verification of Software Product Lines with Delta-Oriented Slicing. FoVeOOS 2010: 61-75

Dave Clarke, Michiel Helvensteijn, Ina Schaefer: Abstract delta modeling. GPCE 2010: 13-22

Ina Schaefer, Ferruccio Damiani: Pure delta-oriented programming. FOSD 2010: 49-56

Ina Schaefer: Modeling and Analyzing Diversity - Description of EternalS Task Force 1. ISoLA (2) 2010: 23-25

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco: A prototypical Java-like language with records and traits. PPPJ 2010: 129-138

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer: Implementing software product lines using traits. SAC 2010: 2096-2102

Ina Schaefer, Ralf Carbon: First International Workshop on Formal Methods in Software Product Line Engineering. SPLC Workshops 2010: 71-72

Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella: Delta-Oriented Programming of Software Product Lines. SPLC 2010: 77-91

Ina Schaefer, Martin Becker, Ralf Carbon, Sven Apel: 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). SPLC 2010: 526

Ina Schaefer: Variability Modelling for Model-Driven Development of Software Product Lines. VaMoS 2010: 85-92

Ina Schaefer, Arnd Poetzsch-Heffter: Model-based verification of adaptive embedded systems under environment constraints. SIGBED Review 6(3): 9 (2009)

Ina Schaefer: Integrating formal verification into the model-based development of adaptive embedded systems. University of Kaiserslautern 2008, isbn 978-3-89963-862-2, pp. 1-276

Ina Schaefer, Arnd Poetzsch-Heffter: Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. SEFM 2008: 95-104

Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer: Security of multi-agent systems: A case study on comparison shopping. J. Applied Logic 5(2): 303-332 (2007)

Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié: From Model-Based Design to Formal Verification of Adaptive Embedded Systems. ICFEM 2007: 76-95

Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter: Translation Validation of System Abstractions. RV 2007: 139-150

Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal: Specification and Verification of Dynamic Communication Systems. ACSD 2006: 189-200

Ina Schaefer, Arnd Poetzsch-Heffter: Using Abstraction in Modular Verification of Synchronous Adaptive Systems. Trustworthy Software 2006

Ina Schaefer, Arnd Poetzsch-Heffter: Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. SSS 2006: 584-585

Andreas Podelski, Ina Schaefer, Silke Wagner: Summaries for While Programs with Recursion. ESOP 2005: 94-107