DIME: a programming-less modeling environment for web applications S Boßelmann, M Frohme, D Kopetzki, M Lybecait, S Naujokat, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 95 | 2016 |
Active continuous quality control S Windmüller, J Neubauer, B Steffen, F Howar, O Bauer Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013 | 61 | 2013 |
Prototype-driven development of web applications with DyWA J Neubauer, M Frohme, B Steffen, T Margaria Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 53 | 2014 |
Higher-order process modeling: product-lining, variability modeling and beyond J Neubauer, B Steffen, T Margaria arXiv preprint arXiv:1309.5143, 2013 | 32 | 2013 |
Risk-based testing via active continuous quality control J Neubauer, S Windmüller, B Steffen International Journal on Software Tools for Technology Transfer 16, 569-591, 2014 | 28 | 2014 |
Model driven design of secure high assurance systems: an introduction to the open platform from the user perspective S Boßelmann, J Neubauer, S Naujokat, B Steffen Proceedings of the International Conference on Security and Management (SAM …, 2016 | 27 | 2016 |
Plug & Play Higher-Order Process Integration J Neubauer, B Steffen IEEE, 2013 | 25 | 2013 |
Meta-level reuse for mastering domain specialization S Naujokat, J Neubauer, T Margaria, B Steffen Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 23 | 2016 |
Reusing System States by Active Learning Algorithms O Bauer, J Neubauer, B Steffen, F Howar Eternal Systems, 61-78, 2012 | 20 | 2012 |
ALEX: mixed-mode learning of web applications at ease A Bainczyk, A Schieweck, M Isberner, T Margaria, J Neubauer, B Steffen Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 19 | 2016 |
Simplicity‐first model‐based plug‐in development S Naujokat, J Neubauer, AL Lamprecht, B Steffen, S Jörges, T Margaria Software: Practice and Experience 44 (3), 277-297, 2014 | 19 | 2014 |
Design for verifiability: the OCS case study J Neubauer, T Margaria, B Steffen Formal methods for industrial critical systems: a survey of applications …, 2012 | 17 | 2012 |
Higher-Order Process Engineering J Neubauer TU Dortmund, Germany, 2014 | 16* | 2014 |
Second-order servification J Neubauer, B Steffen Software Business. From Physical Products to Software Services and Solutions …, 2013 | 14 | 2013 |
On the use of XMDD in software development education AL Lamprecht, T Margaria, J Neubauer 2015 IEEE 39th Annual Computer Software and Applications Conference 2, 835-844, 2015 | 13 | 2015 |
Automated continuous quality assurance J Neubauer, B Steffen, O Bauer, S Windmüller, M Merten, T Margaria, ... 2012 First International Workshop on Formal Methods in Software Engineering …, 2012 | 13 | 2012 |
Securing C/C++ applications with a SEcube™-based model-driven approach F Gossen, J Neubauer, B Steffen 2017 12th International Conference on Design & Technology of Integrated …, 2017 | 12 | 2017 |
Simple management of high assurance data in long-lived interdisciplinary healthcare research: a proposal T Margaria, BD Floyd, R Gonzalez Camargo, AL Lamprecht, J Neubauer, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 10 | 2014 |
A model-driven and generative approach to holistic security F Gossen, T Margaria, J Neubauer, B Steffen Resilience of Cyber-Physical Systems: From Risk Modelling to Threat …, 2019 | 8 | 2019 |
Higher-Order Process Engineering: The Technical Background J Neubauer | 7 | 2014 |