Logical Viewpoint. - Sebastian Eder; Jakob Mund; Andreas Vogelsang (Model-Based Engineering of Embedded Systems, 2012)

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. - Jakob Mund; Ralf Huuck; Ansgar Fehnker; Cyrille Artho (ATVA, 2013)

In quest for requirements engineering oracles: dependent variables and measurements for (good) RE. - Daniel Méndez Fernández; Jakob Mund; Henning Femmer; Antonio Vetrò (EASE, 2014)

Formal Technical Process Specification and Verification for Automated Production Systems. - Georg Hackenberg; Alarico Campetelli; Christoph Legat; Jakob Mund; Sabine Teufl; Birgit Vogel-Heuser (SAM, 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)

Does Quality of Requirements Specifications Matter? Combined Results of Two Empirical Studies. - Jakob Mund; Daniel Méndez Fernández; Henning Femmer; Jonas Eckhardt (ESEM, 2015)

It's the Activities, Stupid! A New Perspective on RE Quality. - Henning Femmer; Jakob Mund; Daniel Méndez Fernández (RET@ICSE, 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 (INDIN, 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 (INDIN, 2015)

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

Does Goal-Oriented Requirements Engineering Achieve Its Goal? - Alistair Mavin; Philip Wilkinson; Sabine Teufl; Henning Femmer; Jonas Eckhardt; Jakob Mund (RE, 2017)

Towards verified continuous integration in the engineering of automated production systems. - Jakob Mund; Safa Bougouffa; Iman Badr; Birgit Vogel-Heuser (Autom., 2018)

Artefacts in Software Engineering: What are they after all? - Daniel Méndez Fernández; Wolfgang Böhm 002; Andreas Vogelsang; Jakob Mund; Manfred Broy; Marco Kuhrmann; Thorsten Weyer (CoRR, 2018)

Formal Verification of Evolutionary Changes. - Bernhard Beckert; Jakob Mund; Mattias Ulbrich; Alexander Weigl (Managed Software Evolution, 2019)

Artefacts in software engineering: a fundamental positioning. - Daniel Méndez Fernández; Wolfgang Böhm 002; Andreas Vogelsang; Jakob Mund; Manfred Broy; Marco Kuhrmann; Thorsten Weyer (Softw. Syst. Model., 2019)

Databricks Lakeguard: Supporting Fine-grained Access Control and Multi-user Capabilities for Apache Spark Workloads. - 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; et al. (SIGMOD Conference Companion, 2025)