Jakob Mund - RankMe

17 papers A 3B 1C 3Journal 5Unranked 3

Year	Rank	Type	Title / 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