Jakob Mund

17 papers A 3B 1C 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Databricks Lakeguard: Supporting Fine-grained Access Control and Multi-user Capabilities for Apache Spark Workloads.
SIGMOD Conference Companion
Martin Grund, Stefania Leone, Herman Van Hövell, Sven Wagner-Boysen, Sebastian Hillig, Hyukjin Kwon, David Lewis, Jakob Mund, Polo-Francois Poli, Lionel Montrieux, Othon Crelier, Xiao Li, Reynold Xin, Matei Zaharia, Michalis Petropoulos, Thanos Papathanasiou
2019 J jnl
Artefacts in software engineering: a fundamental positioning.
Softw. Syst. Model.
Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer
2019 — ch.
Formal Verification of Evolutionary Changes.
Managed Software Evolution
Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl
2018 J jnl
Artefacts in Software Engineering: What are they after all?
CoRR
Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer
2018 J jnl
Towards verified continuous integration in the engineering of automated production systems.
Autom.
Jakob Mund, Safa Bougouffa, Iman Badr, Birgit Vogel-Heuser
2017 A conf
Does Goal-Oriented Requirements Engineering Achieve Its Goal?
RE
Alistair Mavin, Philip Wilkinson, Sabine Teufl, Henning Femmer, Jonas Eckhardt, Jakob Mund
2017 J jnl
Does Quality of Requirements Specifications matter? Combined Results of Two Empirical Studies.
CoRR
Jakob Mund, Henning Femmer, Daniel Méndez Fernández, Jonas Eckhardt
2017 C conf
Model-based availability analysis for automated production systems: a case study.
MEMOCODE
Jakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha, Birgit Vogel-Heuser
2015 C conf
Coupling simulation and model checking to examine selected mechanical constraints of automated production systems.
INDIN
Birgit Vogel-Heuser, Jens Folmer, Thomas Aicher, Jakob Mund, Sebastian Rehberger
2015 A conf
Does Quality of Requirements Specifications Matter? Combined Results of Two Empirical Studies.
ESEM
Jakob Mund, Daniel Méndez Fernández, Henning Femmer, Jonas Eckhardt
2015 — conf
It's the Activities, Stupid! A New Perspective on RE Quality.
RET@ICSE
Henning Femmer, Jakob Mund, Daniel Méndez Fernández
2015 C conf
Towards interdisciplinary variability modeling for automated production systems: Opportunities and challenges when applying delta modeling: A case study.
INDIN
Birgit Vogel-Heuser, Jakob Mund, Matthias Kowal, Christoph Legat, Jens Folmer, Sabine Teufl, Ina Schaefer
2014 — conf
Formal Technical Process Specification and Verification for Automated Production Systems.
SAM
Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl, Birgit Vogel-Heuser
2014 A conf
In quest for requirements engineering oracles: dependent variables and measurements for (good) RE.
EASE
Daniel Méndez Fernández, Jakob Mund, Henning Femmer, Antonio Vetrò
2014 J jnl
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.
Autom.
Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy, Birgit Vogel-Heuser
2013 B conf
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.
ATVA
Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho
2012 — ch.
Logical Viewpoint.
Model-Based Engineering of Embedded Systems
Sebastian Eder, Jakob Mund, Andreas Vogelsang