Jakob Mund

According to our database, Jakob Mund authored at least 15 papers between 2012 and 2019.

Collaborative distances:

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

2019

Artefacts in software engineering: a fundamental positioning.

Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer

Softw. Syst. Model., 2019

Formal Verification of Evolutionary Changes.

Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl

Proceedings of the Managed Software Evolution., 2019

2018

Artefacts in Software Engineering: What are they after all?

Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer

CoRR, 2018

Towards verified continuous integration in the engineering of automated production systems.

Jakob Mund, Safa Bougouffa, Iman Badr, Birgit Vogel-Heuser

Autom., 2018

2017

Does Goal-Oriented Requirements Engineering Achieve Its Goal?

Alistair Mavin, Philip Wilkinson, Sabine Teufl, Henning Femmer, Jonas Eckhardt, Jakob Mund

Proceedings of the 25th IEEE International Requirements Engineering Conference, 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

2015

Towards interdisciplinary variability modeling for automated production systems: Opportunities and challenges when applying delta modeling: A case study.

Birgit Vogel-Heuser, Jakob Mund, Matthias Kowal, Christoph Legat, Jens Folmer, Sabine Teufl, Ina Schaefer

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Coupling simulation and model checking to examine selected mechanical constraints of automated production systems.

Birgit Vogel-Heuser, Jens Folmer, Thomas Aicher, Jakob Mund, Sebastian Rehberger

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

It's the Activities, Stupid! A New Perspective on RE Quality.

Henning Femmer, Jakob Mund, Daniel Méndez Fernández

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

Does Quality of Requirements Specifications Matter? Combined Results of Two Empirical Studies.

Jakob Mund, Daniel Méndez Fernández, Henning Femmer, Jonas Eckhardt

Proceedings of the 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2015

2014

Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.

Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy, Birgit Vogel-Heuser

Autom., 2014

Formal Technical Process Specification and Verification for Automated Production Systems.

Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl, Birgit Vogel-Heuser

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

In quest for requirements engineering oracles: dependent variables and measurements for (good) RE.

Daniel Méndez Fernández, Jakob Mund, Henning Femmer, Antonio Vetrò

Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014

2013

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.

Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Logical Viewpoint.

Sebastian Eder, Jakob Mund, Andreas Vogelsang

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012