Login / Signup
Jakob Mund
Publication Activity (10 Years)
Years Active: 2013-2019
Publications (10 Years): 6
Top Topics
Dependent Variables
Software Engineering
Production System
Uci Datasets
Top Venues
CoRR
INDIN
Autom.
ESEM
</>
Publications
</>
Daniel Méndez Fernández
,
Wolfgang Böhm
,
Andreas Vogelsang
,
Jakob Mund
,
Manfred Broy
,
Marco Kuhrmann
,
Thorsten Weyer
Artefacts in software engineering: a fundamental positioning.
Softw. Syst. Model.
18 (5) (2019)
Daniel Méndez Fernández
,
Wolfgang Böhm
,
Andreas Vogelsang
,
Jakob Mund
,
Manfred Broy
,
Marco Kuhrmann
,
Thorsten Weyer
Artefacts in Software Engineering: What are they after all?
CoRR
(2018)
Jakob Mund
,
Safa Bougouffa
,
Iman Badr
,
Birgit Vogel-Heuser
Towards verified continuous integration in the engineering of automated production systems.
Autom.
66 (10) (2018)
Alistair Mavin
,
Philip Wilkinson
,
Sabine Teufl
,
Henning Femmer
,
Jonas Eckhardt
,
Jakob Mund
Does Goal-Oriented Requirements Engineering Achieve Its Goal?
RE
(2017)
Jakob Mund
,
Henning Femmer
,
Daniel Méndez Fernández
,
Jonas Eckhardt
Does Quality of Requirements Specifications matter? Combined Results of Two Empirical Studies.
CoRR
(2017)
Jakob Mund
,
Maximilian Junker
,
Safa Bougouffa
,
Suhyun Cha
,
Birgit Vogel-Heuser
Model-based availability analysis for automated production systems: a case study.
MEMOCODE
(2017)
Birgit Vogel-Heuser
,
Jakob Mund
,
Matthias Kowal
,
Christoph Legat
,
Jens Folmer
,
Sabine Teufl
,
Ina Schaefer
Towards interdisciplinary variability modeling for automated production systems: Opportunities and challenges when applying delta modeling: A case study.
INDIN
(2015)
Henning Femmer
,
Jakob Mund
,
Daniel Méndez Fernández
It's the Activities, Stupid! A New Perspective on RE Quality.
RET@ICSE
(2015)
Jakob Mund
,
Daniel Méndez Fernández
,
Henning Femmer
,
Jonas Eckhardt
Does Quality of Requirements Specifications Matter? Combined Results of Two Empirical Studies.
ESEM
(2015)
Birgit Vogel-Heuser
,
Jens Folmer
,
Thomas Aicher
,
Jakob Mund
,
Sebastian Rehberger
Coupling simulation and model checking to examine selected mechanical constraints of automated production systems.
INDIN
(2015)
Daniel Méndez Fernández
,
Jakob Mund
,
Henning Femmer
,
Antonio Vetrò
In quest for requirements engineering oracles: dependent variables and measurements for (good) RE.
EASE
(2014)
Christoph Legat
,
Jakob Mund
,
Alarico Campetelli
,
Georg Hackenberg
,
Jens Folmer
,
Daniel Schütz
,
Manfred Broy
,
Birgit Vogel-Heuser
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.
Autom.
62 (11) (2014)
Georg Hackenberg
,
Alarico Campetelli
,
Christoph Legat
,
Jakob Mund
,
Sabine Teufl
,
Birgit Vogel-Heuser
Formal Technical Process Specification and Verification for Automated Production Systems.
SAM
(2014)
Jakob Mund
,
Ralf Huuck
,
Ansgar Fehnker
,
Cyrille Artho
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.
ATVA
(2013)