Maximilian Junker

According to our database, Maximilian Junker authored at least 27 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Modeling an Anomaly Detection System with SpesML.

Maximilian Junker, Henning Femmer

Proceedings of the Modellierung 2022 - Workshop Proceedings, Hamburg, Germany, June 27, 2022

2021

Specmate: Automated Creation of Test Cases from Acceptance Criteria.

Jannik Fischbach, Andreas Vogelsang, Dominik Spies, Andreas Wehrle, Maximilian Junker, Dietmar Freudenstein

Proceedings of the Software Engineering 2021, 2021

2020

Automatic Extraction of Cause-Effect-Relations from Requirements Artifacts.

Julian Frattini, Maximilian Junker, Michael Unterkalmsteiner, Daniel Méndez

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Automated Generation of Test Models from Semi-Structured Requirements.

Jannik Fischbach, Maximilian Junker, Andreas Vogelsang, Dietmar Freudenstein

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

2018

Automated test-design from requirements: the Specmate tool.

Dietmar Freudenstein, Jeannette Radduenz, Maximilian Junker, Sebastian Eder, Benedikt Hauptmann

Proceedings of the 5th International Workshop on Requirements Engineering and Testing, 2018

2017

Initial Investigations on the Influence of Requirement Smells on Test-Case Design.

Armin Beer, Maximilian Junker, Henning Femmer, Michael Felderer

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Model-based availability analysis for automated production systems: a case study.

Jakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha, Birgit Vogel-Heuser

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2016

Specification and Analysis of Availability for Software-Intensive Systems.

Maximilian Junker

PhD thesis, 2016

Characterizing Implicit Communal Components as Technical Debt in Automotive Software Systems.

Andreas Vogelsang, Henning Femmer, Maximilian Junker

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

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

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

Siemens Rail - Industrial Case Study: Model-based Development of a Train Guard MT Function.

Wolfgang Böhm, Maximilian Junker

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 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, Henning Femmer, Sebastian Eder, Elmar Jürgens, Rainer Janßen, Rudolf Vaas

Proceedings of the 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2015

Configuring Latent Semantic Indexing for Requirements Tracing.

Sebastian Eder, Henning Femmer, Benedikt Hauptmann, Maximilian Junker

Proceedings of the 2nd IEEE/ACM International Workshop on Requirements Engineering and Testing, 2015

2014

How Much Does Unused Code Matter for Maintenance?

Sebastian Eder, Maximilian Junker, Benedikt Hauptmann, Elmar Jürgens, Rudolf Vaas, Karl-Heinz Prommer

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach.

Andreas Vogelsang, Sebastian Eder, Georg Hackenberg, Maximilian Junker, Sabine Teufl

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Exploiting Behavior Models for Availability Analysis of Interactive Systems.

Maximilian Junker

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

An expert-based cost estimation model for system test execution.

Benedikt Hauptmann, Maximilian Junker, Sebastian Eder, Christian Amann, Rudolf Vaas

Proceedings of the International Conference on Software and Systems Process 2014, 2014

Which Features Do My Users (Not) Use?

Sebastian Eder, Henning Femmer, Benedikt Hauptmann, Maximilian Junker

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 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

Proceedings of the 9th International Workshop on Automation of Software Test, 2014

A formal systems engineering approach in practice: an experience report.

Wolfgang Böhm, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger, Karsten Rahn

Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices, 2014

2013

Hunting for smells in natural language tests.

Benedikt Hauptmann, Maximilian Junker, Sebastian Eder, Lars Heinemann, Rudolf Vaas, Peter Braun

Proceedings of the 35th International Conference on Software Engineering, 2013

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

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

2012

Using edge bundle views for clone visualization.

Benedikt Hauptmann, Veronika Bauer, Maximilian Junker

Proceedings of the Proceeding of the 6th International Workshop on Software Clones, 2012

Can clone detection support test comprehension?

Benedikt Hauptmann, Maximilian Junker, Sebastian Eder, Elmar Jürgens, Rudolf Vaas

Proceedings of the IEEE 20th International Conference on Program Comprehension, 2012

A rigorous approach to availability modeling.

Maximilian Junker, Philipp Neubeck

Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

SMT-Based False Positive Elimination in Static Program Analysis.

Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp

Proceedings of the Formal Methods and Software Engineering, 2012

2011

Simulating a Flash File System with CoreASM and Eclipse.

Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011