Johannes Neubauer
Johannes Neubauer
Postdoctoral researcher in computer science, TU Dortmund
Bestätigte E-Mail-Adresse bei cs.tu-dortmund.de
TitelZitiert vonJahr
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
312013
Prototype-driven development of web applications with dywa
J Neubauer, M Frohme, B Steffen, T Margaria
International Symposium On Leveraging Applications of Formal Methods …, 2014
222014
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond
J Neubauer, B Steffen, T Margaria
arXiv preprint arXiv:1309.5143, 2013
202013
Plug & Play Higher-Order Process Integration
J Neubauer, B Steffen
IEEE, 2013
202013
Reusing System States by Active Learning Algorithms
O Bauer, J Neubauer, B Steffen, F Howar
Eternal Systems, 61-78, 2012
192012
DIME: a programming-less modeling environment for web applications
S Boßelmann, M Frohme, D Kopetzki, M Lybecait, S Naujokat, ...
International Symposium on Leveraging Applications of Formal Methods, 809-832, 2016
172016
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
172016
Risk-based testing via active continuous quality control
J Neubauer, S Windmüller, B Steffen
International Journal on Software Tools for Technology Transfer 16 (5), 569-591, 2014
162014
Meta-level reuse for mastering domain specialization
S Naujokat, J Neubauer, T Margaria, B Steffen
International Symposium on Leveraging Applications of Formal Methods, 218-237, 2016
142016
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
122014
Design for Verifiability: The OCS Case Study
J Neubauer, T Margaria, B Steffen
Formal Methods for Industrial Critical Systems: A Survey of Applications …, 2011
112011
Higher-Order Process Engineering
J Neubauer
TU Dortmund, Germany, 2014
10*2014
Higher-Order Process Engineering: The Technical Background
J Neubauer
102014
Second-order servification
J Neubauer, B Steffen
International Conference of Software Business, 13-25, 2013
102013
Simple management of high assurance data in long-lived interdisciplinary healthcare research: A proposal
T Margaria, BD Floyd, RG Camargo, AL Lamprecht, J Neubauer, ...
International Symposium On Leveraging Applications of Formal Methods …, 2014
72014
Automated continuous quality assurance
J Neubauer, B Steffen, O Bauer, S Windmüller, M Merten, T Margaria, ...
Software Engineering: Rigorous and Agile Approaches (FormSERA), 2012 Formal …, 2012
72012
ALEX: mixed-mode learning of web applications at ease
A Bainczyk, A Schieweck, M Isberner, T Margaria, J Neubauer, B Steffen
International Symposium on Leveraging Applications of Formal Methods, 655-671, 2016
52016
Securing C/C++ applications with a SEcube™-based model-driven approach
F Gossen, J Neubauer, B Steffen
Design & Technology of Integrated Systems In Nanoscale Era (DTIS), 2017 12th …, 2017
42017
On the Use of XMDD in Software Development Education
AL Lamprecht, T Margaria, J Neubauer
Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th …, 2015
32015
Simplified Validation of Emergent Systems through Automata Learning-Based Testing
B Steffen, J Neubauer
Software Engineering Workshop (SEW), 2011 34th IEEE, 84-91, 2011
32011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20