An Approach to Formal Verification of Free-Flight Separation. - Sebastian Eder; Graeme Smith 001 (SASO Workshops, 2010)

Logical Viewpoint. - Sebastian Eder; Jakob Mund; Andreas Vogelsang (Model-Based Engineering of Embedded Systems, 2012)

Functional Viewpoint. - Andreas Vogelsang; Sebastian Eder; Martin Feilkas; Daniel Ratiu (Model-Based Engineering of Embedded Systems, 2012)

Can clone detection support test comprehension? - Benedikt Hauptmann; Maximilian Junker; Sebastian Eder; Elmar Jürgens; Rudolf Vaas (ICPC, 2012)

Did we test our changes? Assessing alignment between tests and development in practice. - Sebastian Eder; Benedikt Hauptmann; Maximilian Junker; Elmar Jürgens; Rudolf Vaas; Karl-Heinz Prommer (AST, 2013)

Hunting for smells in natural language tests. - Benedikt Hauptmann; Maximilian Junker; Sebastian Eder; Lars Heinemann; Rudolf Vaas; Peter Braun (ICSE, 2013)

Selecting manual regression test cases automatically using trace link recovery and change coverage. - Sebastian Eder; Benedikt Hauptmann; Maximilian Junker; Rudolf Vaas; Karl-Heinz Prommer (AST, 2014)

Which Features Do My Users (Not) Use? - Sebastian Eder; Henning Femmer; Benedikt Hauptmann; Maximilian Junker (ICSME, 2014)

An expert-based cost estimation model for system test execution. - Benedikt Hauptmann; Maximilian Junker; Sebastian Eder; Christian Amann; Rudolf Vaas (ICSSP, 2014)

Prioritizing maintainability defects based on refactoring recommendations. - Daniela Steidl; Sebastian Eder (ICPC, 2014)

Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach. - Andreas Vogelsang; Sebastian Eder; Georg Hackenberg; Maximilian Junker; Sabine Teufl (MODELSWARD, 2014)

How Much Does Unused Code Matter for Maintenance? - Sebastian Eder; Maximilian Junker; Benedikt Hauptmann; Elmar Jürgens; Rudolf Vaas; Karl-Heinz Prommer (Software Engineering, 2014)

Configuring Latent Semantic Indexing for Requirements Tracing. - Sebastian Eder; Henning Femmer; Benedikt Hauptmann; Maximilian Junker (RET@ICSE, 2015)

Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re. - Maximilian Junker; Manfred Broy; Benedikt Hauptmann; Wolfgang Böhm 002; Henning Femmer; Sebastian Eder; Elmar Jürgens; Rainer Janßen; Rudolf Vaas (SER&IP@ICSE, 2015)

Understanding changes in use cases: A case study. - Mohammad R. Basirati; Henning Femmer; Sebastian Eder; Martin Fritzsche; Alexander Widera (RE, 2015)

Quality Assurance of Requirements Artifacts in Practice: A Case Study and a Process Proposal. - Henning Femmer; Benedikt Hauptmann; Sebastian Eder; Dagmar Moser (PROFES, 2016)

Combining Clone Detection and Latent Semantic Indexing to Detect Re-implementations. - Veronika Bauer; Tobias Volke; Sebastian Eder (IWSC, 2016)

Exploiting Execution Profiles in Software Maintenance and Test (Die Verwendung von Ausführungsprotokollen in der Softwarewartung und im Softwaretest) - Sebastian Eder (2016)

Rapid quality assurance with Requirements Smells. - Henning Femmer; Daniel Méndez Fernández; Stefan Wagner 001; Sebastian Eder (J. Syst. Softw., 2017)

Automated test-design from requirements: the Specmate tool. - Dietmar Freudenstein; Jeannette Radduenz; Maximilian Junker; Sebastian Eder; Benedikt Hauptmann (RET@ICSE, 2018)

Semantic Similarities in Natural Language Requirements. - Henning Femmer; Axel Müller 003; Sebastian Eder (SWQD, 2020)

Trusted Artificial Intelligence: Towards Certification of Machine Learning Applications. - Philip Matthias Winter; Sebastian Eder; Johannes Weissenböck; Christoph Schwald; Thomas Doms; Tom Vogt; Sepp Hochreiter; Bernhard Nessler (CoRR, 2021)