| 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 | 30 | 2014 |
| 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 | 24 | 2015 |
| 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 | 23 | 2017 |
| 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 | 17 | 2015 |
| 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 | 14 | 2019 |
| 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 | 14 | 2014 |
| 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 | 9 | 2014 |
| 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 | 7 | 2018 |
| 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 | 7 | 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 | 7 | 2014 |
| 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 | 6 | 2015 |
| Logical Viewpoint S Eder, J Mund, A Vogelsang Model-Based Engineering of Embedded Systems, 85-93, 2012 | 5 | 2012 |
| 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 | 3 | 2017 |
| 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 | 2 | 2015 |
| 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 | 2 | 2013 |
| Formal Verification of Evolutionary Changes B Beckert, J Mund, M Ulbrich, A Weigl Managed Software Evolution, 309-332, 2019 | 1 | 2019 |
| 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 | 1 | 2018 |
| Cyber-physical manufacturing system Development: A test-driven design method and exploratory case study G Hackenberg, J Mund | 1 | 2016 |
| Quality Assessment of Requirement Specifications using Metrics–A Research Proposal– J Mund IDoESE'13 Baltimore, 0 | 1 | |
| Technischer J Mund, I Badr, S Bougouffa, B Vogel-Heuser | | |
Birgit Vogel-HeuserProfessor, Lehrstuhl für Automatisierung und Informationssysteme, Technische Universität MünchenVerified email at tum.de
