Follow
Johannes Neubauer
Johannes Neubauer
Postdoctoral researcher in computer science, TU Dortmund
Verified email at cs.tu-dortmund.de
Title
Cited by
Cited by
Year
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
1012016
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
672013
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
592014
Higher-order process modeling: product-lining, variability modeling and beyond
J Neubauer, B Steffen, T Margaria
arXiv preprint arXiv:1309.5143, 2013
342013
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
292014
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
272016
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
252016
Plug & Play Higher-Order Process Integration
J Neubauer, B Steffen
IEEE, 2013
252013
Meta-level reuse for mastering domain specialization
S Naujokat, J Neubauer, T Margaria, B Steffen
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
232016
Reusing System States by Active Learning Algorithms
O Bauer, J Neubauer, B Steffen, F Howar
Eternal Systems, 61-78, 2012
202012
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
182015
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
182014
Design for verifiability: the OCS case study
J Neubauer, T Margaria, B Steffen
Formal methods for industrial critical systems: a survey of applications …, 2012
182012
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
162017
Higher-Order Process Engineering
J Neubauer
TU Dortmund, Germany, 2014
16*2014
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
162014
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
152012
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
142019
Second-order servification
J Neubauer, B Steffen
Software Business. From Physical Products to Software Services and Solutions …, 2013
142013
Design for verifiability: the OCS case study, Chapter 8
J Neubauer, T Margaria, B Steffen
Formal methods for industrial critical systems: a survey of applications …, 2013
92013
The system can't perform the operation now. Try again later.
Articles 1–20