| 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 | 100 | 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 | 67 | 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 | 60 | 2014 |
| Higher-order process modeling: product-lining, variability modeling and beyond J Neubauer, B Steffen, T Margaria arXiv preprint arXiv:1309.5143, 2013 | 34 | 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 | 29 | 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 |
| 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 | 26 | 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 |
| 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 | 19 | 2015 |
| 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 | 18 | 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 | 18 | 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 | 17 | 2017 |
| 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 | 16 | 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 | 15 | 2019 |
| 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 | 15 | 2012 |
| Second-order servification J Neubauer, B Steffen Software Business. From Physical Products to Software Services and Solutions …, 2013 | 14 | 2013 |
| 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 | 10 | 2013 |
Bernhard SteffenProfessor für Informatik, TU DortmundAdresse e-mail validée de cs.uni-dortmund.de