@inproceedings{SchaeferBBDT10,
  title = {Delta-Oriented Programming of Software Product Lines},
  author = {Ina Schaefer and Lorenzo Bettini and Viviana Bono and Ferruccio Damiani and Nico Tanzarella},
  year = {2010},
  doi = {10.1007/978-3-642-15579-6_6},
  url = {http://dx.doi.org/10.1007/978-3-642-15579-6_6},
  tags = {object-oriented programming, software product lines, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/SchaeferBBDT10},
  cites = {0},
  citedby = {0},
  pages = {77-91},
  booktitle = {SPLC},
}

@inproceedings{SchaeferP08,
  title = {Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems},
  author = {Ina Schaefer and Arnd Poetzsch-Heffter},
  year = {2008},
  doi = {10.1109/SEFM.2008.16},
  url = {http://dx.doi.org/10.1109/SEFM.2008.16},
  tags = {rule-based, composition},
  researchr = {https://researchr.org/publication/SchaeferP08},
  cites = {0},
  citedby = {0},
  pages = {95-104},
  booktitle = {SEFM},
}

@inproceedings{Clarke-GPCE-2010,
  title = {Abstract Delta Modeling},
  author = {Dave Clarke and Michiel Helvensteijn and Ina Schaefer},
  year = {2010},
  tags = {meta-model, modeling, Meta-Environment, model deltas},
  researchr = {https://researchr.org/publication/Clarke-GPCE-2010},
  cites = {0},
  citedby = {0},
  booktitle = {GPCE},
}

@article{HutterMSS07,
  title = {Security of multi-agent systems: A case study on comparison shopping},
  author = {Dieter Hutter and Heiko Mantel and Ina Schaefer and Axel Schairer},
  year = {2007},
  doi = {10.1016/j.jal.2005.12.015},
  url = {http://dx.doi.org/10.1016/j.jal.2005.12.015},
  tags = {case study, security},
  researchr = {https://researchr.org/publication/HutterMSS07},
  cites = {0},
  citedby = {0},
  journal = {japll},
  volume = {5},
  number = {2},
  pages = {303-332},
}

@inproceedings{SchaeferBCA10,
  title = {1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010)},
  author = {Ina Schaefer and Martin Becker and Ralf Carbon and Sven Apel},
  year = {2010},
  doi = {10.1007/978-3-642-15579-6_64},
  url = {http://dx.doi.org/10.1007/978-3-642-15579-6_64},
  tags = {software engineering, software product line, product line},
  researchr = {https://researchr.org/publication/SchaeferBCA10},
  cites = {0},
  citedby = {0},
  pages = {526},
  booktitle = {SPLC},
}

@inproceedings{TSKS:VAST11,
  title = {Proof Composition for Deductive Verification of Software Product Lines},
  author = {Thomas Thüm and Ina Schaefer and Martin Kuhlemann and Sven  Apel},
  year = {2011},
  tags = {software product lines, Variability-Aware Analysis, composition, analysis, context-aware},
  researchr = {https://researchr.org/publication/TSKS%3AVAST11},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST)},
}

@inproceedings{ThScAp-:GPCE12,
  title = {Family-Based Deductive Verification of Software Product Lines},
  author = {Thomas Thüm and Ina Schaefer and Sven  Apel and Martin Hentschel},
  year = {2012},
  month = {SEP},
  url = {http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/ThScAp+:GPCE12.pdf},
  tags = {rule-based, software product lines},
  researchr = {https://researchr.org/publication/ThScAp-%3AGPCE12},
  cites = {0},
  citedby = {0},
  pages = {11-20},
  booktitle = {International Conference on Generative Programming and Component Engineering},
}

@inproceedings{Schaefer10-1,
  title = {Variability Modelling for Model-Driven Development of Software Product Lines},
  author = {Ina Schaefer},
  year = {2010},
  url = {http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf},
  tags = {software product lines, meta-model, model-driven development, Meta-Environment},
  researchr = {https://researchr.org/publication/Schaefer10-1},
  cites = {0},
  citedby = {0},
  pages = {85-92},
  booktitle = {vamos},
}

@inproceedings{Schaefer10-0,
  title = {Modeling and Analyzing Diversity - Description of EternalS Task Force 1},
  author = {Ina Schaefer},
  year = {2010},
  doi = {10.1007/978-3-642-16561-0_7},
  url = {http://dx.doi.org/10.1007/978-3-642-16561-0_7},
  tags = {modeling},
  researchr = {https://researchr.org/publication/Schaefer10-0},
  cites = {0},
  citedby = {0},
  pages = {23-25},
  booktitle = {ISoLA},
}

@inproceedings{BauerSTW06,
  title = {Specification and Verification of Dynamic Communication Systems},
  author = {Jörg Bauer and Ina Schaefer and Tobe Toben and Bernd Westphal},
  year = {2006},
  doi = {10.1109/ACSD.2006.29},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.29},
  researchr = {https://researchr.org/publication/BauerSTW06},
  cites = {0},
  citedby = {0},
  pages = {189-200},
  booktitle = {acsd},
}

@inproceedings{BlechSP07,
  title = {Translation Validation of System Abstractions},
  author = {Jan Olaf Blech and Ina Schaefer and Arnd Poetzsch-Heffter},
  year = {2007},
  doi = {10.1007/978-3-540-77395-5_12},
  url = {http://dx.doi.org/10.1007/978-3-540-77395-5_12},
  tags = {translation, abstraction},
  researchr = {https://researchr.org/publication/BlechSP07},
  cites = {0},
  citedby = {0},
  pages = {139-150},
  booktitle = {rv},
}

@inproceedings{AdlerSSV07,
  title = {From Model-Based Design to Formal Verification of Adaptive Embedded Systems},
  author = {Rasmus Adler and Ina Schaefer and Tobias Schüle and Eric Vecchié},
  year = {2007},
  doi = {10.1007/978-3-540-76650-6_6},
  url = {http://dx.doi.org/10.1007/978-3-540-76650-6_6},
  tags = {rule-based, design},
  researchr = {https://researchr.org/publication/AdlerSSV07},
  cites = {0},
  citedby = {0},
  pages = {76-95},
  booktitle = {icfem},
}

@inproceedings{BettiniDS10,
  title = {Implementing software product lines using traits},
  author = {Lorenzo Bettini and Ferruccio Damiani and Ina Schaefer},
  year = {2010},
  doi = {10.1145/1774088.1774530},
  url = {http://doi.acm.org/10.1145/1774088.1774530},
  tags = {software product lines, Variability-Aware Analysis, analysis, context-aware},
  researchr = {https://researchr.org/publication/BettiniDS10},
  cites = {0},
  citedby = {0},
  pages = {2096-2102},
  booktitle = {SAC},
}

@inproceedings{PodelskiSW05,
  title = {Summaries for While Programs with Recursion},
  author = {Andreas Podelski and Ina Schaefer and Silke Wagner},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3444&spage=94},
  researchr = {https://researchr.org/publication/PodelskiSW05},
  cites = {0},
  citedby = {0},
  pages = {94-107},
  booktitle = {ESOP},
}

@techreport{TAK-12,
  title = {Analysis Strategies for Software Product Lines},
  author = {Thomas Thüm and Sven  Apel and Christian Kästner and Martin Kuhlemann and Ina Schaefer and Gunter  Saake},
  year = {2012},
  month = {APR},
  url = {http://www.cs.uni-magdeburg.de/inf_media/downloads/forschung/technical_reports_und_preprints/2012/04_2012.pdf},
  tags = {software product lines, analysis},
  researchr = {https://researchr.org/publication/TAK-12},
  cites = {0},
  citedby = {0},
  institution = {School of Computer Science, University of Magdeburg},
  number = {FIN-004-2012},
  address = {Germany},
}

@inproceedings{SchaeferP06,
  title = {Using Abstraction in Modular Verification of Synchronous Adaptive Systems},
  author = {Ina Schaefer and Arnd Poetzsch-Heffter},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2006/699},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/SchaeferP06},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@inproceedings{TSK-:FASE12,
  title = {Applying Design by Contract to Feature-Oriented Programming},
  author = {Thomas Thüm and Ina Schaefer and Martin Kuhlemann and Sven  Apel and Gunter  Saake},
  year = {2012},
  month = {MAR},
  url = {http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/TSK+:FASE12.pdf},
  tags = {object-oriented programming, contracts, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/TSK-%3AFASE12},
  cites = {0},
  citedby = {0},
  pages = {255-269},
  booktitle = {Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE)},
}

@inproceedings{SchaeferP06:0,
  title = {Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems},
  author = {Ina Schaefer and Arnd Poetzsch-Heffter},
  year = {2006},
  doi = {10.1007/978-3-540-49823-0_49},
  url = {http://dx.doi.org/10.1007/978-3-540-49823-0_49},
  researchr = {https://researchr.org/publication/SchaeferP06%3A0},
  cites = {0},
  citedby = {0},
  pages = {584-585},
  booktitle = {sss},
}