Johannes Neubauer

According to our database, Johannes Neubauer authored at least 23 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Language-Driven Engineering An Interdisciplinary Software Development Paradigm.

Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff

CoRR, 2024

2019

A Model-Driven and Generative Approach to Holistic Security.

Frederik Gossen, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen

Proceedings of the Resilience of Cyber-Physical Systems, 2019

2017

Securing C/C++ applications with a SEcube™-based model-driven approach.

Frederik Gossen, Johannes Neubauer, Bernhard Steffen

Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017

2016

Meta-Level Reuse for Mastering Domain Specialization.

Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

DIME: A Programming-Less Modeling Environment for Web Applications.

Steve Boßelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

ALEX: Mixed-Mode Learning of Web Applications at Ease.

Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Higher-Order Process Engineering in the context of Active Continuous Quality Control.

Johannes Neubauer

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

On the Use of XMDD in Software Development Education.

Anna-Lena Lamprecht, Tiziana Margaria, Johannes Neubauer

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Higher order process engineering.

Johannes Neubauer

PhD thesis, 2014

Risk-based testing via active continuous quality control.

Johannes Neubauer, Stephan Windmüller, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., 2014

Simplicity-first model-based plug-in development.

Stefan Naujokat, Johannes Neubauer, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges, Tiziana Margaria

Softw. Pract. Exp., 2014

Learning-Based Cross-Platform Conformance Testing.

Johannes Neubauer, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2014

Prototype-Driven Development of Web Applications with DyWA.

Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal.

Tiziana Margaria, Barry D. Floyd, Rodolfo Gonzalez Camargo, Anna-Lena Lamprecht, Johannes Neubauer, Marilia Seelaender

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Guided Domain-Specific Tailoring of jABC4.

Dennis Kühn, Johannes Neubauer

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2014

Model-Driven Active Automata Learning with LearnLib Studio.

Oliver Bauer, Johannes Neubauer, Malte Isberner

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2014

2013

Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond.

Johannes Neubauer, Bernhard Steffen, Tiziana Margaria

Proceedings of the Semantics, 2013

Plug-and-Play Higher-Order Process Integration.

Johannes Neubauer, Bernhard Steffen

Computer, 2013

Second-Order Servification.

Johannes Neubauer, Bernhard Steffen

Proceedings of the Software Business. From Physical Products to Software Services and Solutions, 2013

Active continuous quality control.

Stephan Windmüller, Johannes Neubauer, Bernhard Steffen, Falk Howar, Oliver Bauer

Proceedings of the CBSE'13, 2013

2012

Automated continuous quality assurance.

Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

2011

Simplified Validation of Emergent Systems through Automata Learning-Based Testing.

Bernhard Steffen, Johannes Neubauer

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Reusing System States by Active Learning Algorithms.

Oliver Bauer, Johannes Neubauer, Bernhard Steffen, Falk Howar

Proceedings of the Eternal Systems - First International Workshop, 2011