| CINCO: A simplicity-driven approach to full generation of domain-specific graphical modeling tools S Naujokat, M Lybecait, D Kopetzki, B Steffen Int. Journal on Software Tools for Technology Transfer (STTT), Springer Verlag, 2017 | 125 | 2017 |
| 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 | 96 | 2016 |
| Loose programming with PROPHETS S Naujokat, AL Lamprecht, B Steffen International Conference on Fundamental Approaches to Software Engineering …, 2012 | 81 | 2012 |
| Synthesis-based loose programming AL Lamprecht, S Naujokat, T Margaria, B Steffen 2010 Seventh International Conference on the Quality of Information and …, 2010 | 77 | 2010 |
| Semantics-based composition of EMBOSS services AL Lamprecht, S Naujokat, T Margaria, B Steffen Journal of biomedical semantics 2 (Suppl 1), S5, 2011 | 70 | 2011 |
| Language-driven engineering: from general-purpose to purpose-specific languages B Steffen, F Gossen, S Naujokat, T Margaria Computing and Software Science: State of the Art and Perspectives, 311-344, 2019 | 57 | 2019 |
| Property-driven benchmark generation: synthesizing programs of realistic structure B Steffen, M Isberner, S Naujokat, T Margaria, M Geske International Journal on Software Tools for Technology Transfer 16, 465-479, 2014 | 40 | 2014 |
| Archimedean points: the essence for mastering change B Steffen, S Naujokat Transactions on Foundations for Mastering Change I, 22-46, 2016 | 39 | 2016 |
| Pyro: generating domain-specific collaborative online modeling environments P Zweihoff, S Naujokat, B Steffen Fundamental Approaches to Software Engineering: 22nd International …, 2019 | 28 | 2019 |
| Domain-specific code generator modeling: a case study for multi-faceted concurrent systems S Naujokat, LM Traonouez, M Isberner, B Steffen, A Legay Leveraging Applications of Formal Methods, Verification and Validation …, 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 |
| DSLs for decision services: a tutorial introduction to language-driven engineering F Gossen, T Margaria, A Murtovi, S Naujokat, B Steffen Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 25 | 2018 |
| Variability Management Beyond Feature Models AL Lamprecht, S Naujokat, I Schaefer IEEE, 2013 | 25 | 2013 |
| Constraint-guided workflow composition based on the EDAM ontology AL Lamprecht, S Naujokat, B Steffen, T Margaria Proc. of the Workshop on Semantic Web Applications and Tools for Life …, 2010 | 25 | 2010 |
| A tutorial introduction to graphical modeling and metamodeling with CINCO M Lybecait, D Kopetzki, P Zweihoff, A Fuhge, S Naujokat, B Steffen Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 23 | 2018 |
| 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 |
| A fully model-based approach to software development for industrial centrifuges N Wortmann, M Michel, S Naujokat Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 22 | 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 |
| Service-oriented mediation with jETI/jABC: Verification and export C Kubczak, T Margaria, B Steffen, S Naujokat 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and …, 2007 | 19 | 2007 |
| Automatic generation of the SWS-challenge mediator with jABC/ABC T Margaria, M Bakera, C Kubczak, S Naujokat, B Steffen Semantic Web Services Challenge: Results from the First Year, 119-138, 2009 | 17 | 2009 |
Bernhard SteffenProfessor für Informatik, TU Dortmund在 cs.uni-dortmund.de 的电子邮件经过验证
