Simulating a Flash File System with CoreASM and Eclipse. - Dominik Haneberg; Maximilian Junker; Gerhard Schellhorn; Wolfgang Reif; Gidon Ernst (GI-Jahrestagung, 2011)

SMT-Based False Positive Elimination in Static Program Analysis. - Maximilian Junker; Ralf Huuck; Ansgar Fehnker; Alexander Knapp (ICFEM, 2012)

A rigorous approach to availability modeling. - Maximilian Junker; Philipp Neubeck (MiSE, 2012)

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

Using edge bundle views for clone visualization. - Benedikt Hauptmann; Veronika Bauer; Maximilian Junker (IWSC, 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)

A formal systems engineering approach in practice: an experience report. - Wolfgang Böhm 002; Maximilian Junker; Andreas Vogelsang; Sabine Teufl; Ralf Pinger; Karsten Rahn (SER&IPs, 2014)

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)

Exploiting Behavior Models for Availability Analysis of Interactive Systems. - Maximilian Junker (ISSRE Workshops, 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)

Siemens Rail - Industrial Case Study: Model-based Development of a Train Guard MT Function. - Wolfgang Böhm 002; Maximilian Junker (Software Engineering & Management, 2015)

A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study. - Alarico Campetelli; Maximilian Junker; Birthe Böhm; Maria Davidich; Vasileios Koutsoumpas; Xiuna Zhu; Jan Christoph Wehrstedt (Software Engineering (Workshops), 2015)

Characterizing Implicit Communal Components as Technical Debt in Automotive Software Systems. - Andreas Vogelsang; Henning Femmer; Maximilian Junker (WICSA, 2016)

Specification and Analysis of Availability for Software-Intensive Systems. - Maximilian Junker (2016)

Model-based availability analysis for automated production systems: a case study. - Jakob Mund; Maximilian Junker; Safa Bougouffa; Suhyun Cha; Birgit Vogel-Heuser (MEMOCODE, 2017)

Initial Investigations on the Influence of Requirement Smells on Test-Case Design. - Armin Beer; Maximilian Junker; Henning Femmer; Michael Felderer (RE Workshops, 2017)

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

Automated Generation of Test Models from Semi-Structured Requirements. - Jannik Fischbach; Maximilian Junker; Andreas Vogelsang; Dietmar Freudenstein (RE Workshops, 2019)

Automatic Extraction of Cause-Effect-Relations from Requirements Artifacts. - Julian Frattini; Maximilian Junker; Michael Unterkalmsteiner; Daniel Méndez 001 (ASE, 2020)

Specmate: Automated Creation of Test Cases from Acceptance Criteria. - Jannik Fischbach; Andreas Vogelsang; Dominik Spies; Andreas Wehrle; Maximilian Junker; Dietmar Freudenstein (Software Engineering, 2021)

Modeling an Anomaly Detection System with SpesML. - Maximilian Junker; Henning Femmer (Modellierung (Workshops), 2022)