Jakob Mund
Title
Cited by
Cited by
Year
Interface behavior modeling for automatic verification of industrial automation systems' functional conformance
C Legat, J Mund, A Campetelli, G Hackenberg, J Folmer, D Schütz, ...
at-Automatisierungstechnik 62 (11), 815-825, 2014
302014
It's the activities, stupid! a new perspective on RE quality
H Femmer, J Mund, DM Fernández
2015 IEEE/ACM 2nd International Workshop on Requirements Engineering and …, 2015
212015
Does goal-oriented requirements engineering achieve its goal?
A Mavin, P Wilkinson, S Teufl, H Femmer, J Eckhardt, J Mund
2017 IEEE 25th International Requirements Engineering Conference (RE), 174-183, 2017
182017
Does quality of requirements specifications matter? combined results of two empirical studies
J Mund, DM Fernandez, H Femmer, J Eckhardt
2015 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2015
162015
Formal technical process specification and verification for automated production systems
G Hackenberg, A Campetelli, C Legat, J Mund, S Teufl, B Vogel-Heuser
International Conference on System Analysis and Modeling, 287-303, 2014
142014
In quest for requirements engineering oracles: dependent variables and measurements for (good) RE
DM Fernández, J Mund, H Femmer, A Vetrò
Proceedings of the 18th International Conference on Evaluation and …, 2014
92014
Artefacts in software engineering: a fundamental positioning
DM Fernández, W Böhm, A Vogelsang, J Mund, M Broy, M Kuhrmann, ...
Software & Systems Modeling 18 (5), 2777-2786, 2019
82019
Artefacts in Software Engineering: What are they after all?
DM Fernández, W Böhm, A Vogelsang, J Mund, M Broy, M Kuhrmann, ...
International Journal on Software and Systems Modeling, 2018
62018
Coupling simulation and model checking to examine selected mechanical constraints of automated production systems
B Vogel-Heuser, J Folmer, T Aicher, J Mund, S Rehberger
2015 IEEE 13th International Conference on Industrial Informatics (INDIN), 37-42, 2015
62015
Towards interdisciplinary variability modeling for automated production systems: Opportunities and challenges when applying delta modeling: A case study
B Vogel-Heuser, J Mund, M Kowal, C Legat, J Folmer, S Teufl, I Schaefer
2015 IEEE 13th International Conference on Industrial Informatics (INDIN …, 2015
62015
Imomesa–abschlussbericht
G Hackenberg, C Richter, M Zäh
6*2015
In quest for requirements engineering oracles: dependent variables and measurements for (good) RE
D Méndez Fernández, J Mund, H Femmer, A Vetro
Proceedings of the 18th international conference on evaluation and …, 2014
62014
Model-based availability analysis for automated production systems: a case study
J Mund, M Junker, S Bougouffa, S Cha, B Vogel-Heuser
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
32017
The quest for precision: a layered approach for data race detection in static analysis
J Mund, R Huuck, A Fehnker, C Artho
Automated Technology for Verification and Analysis, 516-525, 2013
32013
Logical Viewpoint
S Eder, J Mund, A Vogelsang
Model-Based Engineering of Embedded Systems, 85-93, 2012
32012
Towards interdisciplinary variability modeling for automated production systems
B Vogel-Heuser, J Mund, M Kowal, C Legat, J Folmer, S Teufl, I Schaefer
13th International Conference on Industrial Informatics (INDIN), 2015
22015
Towards verified continuous integration in the engineering of automated production systems
J Mund, S Bougouffa, I Badr, B Vogel-Heuser
at-Automatisierungstechnik 66 (10), 784-794, 2018
12018
Quality Assessment of Requirement Specifications using Metrics–A Research Proposal–
J Mund
IDoESE'13 Baltimore, 0
1
Formal Verification of Evolutionary Changes
B Beckert, J Mund, M Ulbrich, A Weigl
Managed Software Evolution, 309-332, 2019
2019
Towards Continuous Integration in Model-Based Engineering of Automated Production Systems
J Mund, I Badr, S Bougouffa, B Vogel-Heuser
2017
The system can't perform the operation now. Try again later.
Articles 1–20