Stefan Naujokat
Title
Cited by
Cited by
Year
Semantics-based composition of EMBOSS services
AL Lamprecht, S Naujokat, T Margaria, B Steffen
Journal of biomedical semantics 2 (Suppl 1), S5, 2011
602011
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
592017
Loose programming with PROPHETS
S Naujokat, AL Lamprecht, B Steffen
International Conference on Fundamental Approaches to Software Engineering …, 2012
582012
Synthesis-based loose programming
AL Lamprecht, S Naujokat, T Margaria, B Steffen
2010 Seventh International Conference on the Quality of Information and …, 2010
532010
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 (5), 465-479, 2014
322014
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
272016
Archimedean points: the essence for mastering change
B Steffen, S Naujokat
Transactions on Foundations for Mastering Change I, 22-46, 2016
272016
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
212016
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
212010
Language-driven engineering: from general-purpose to purpose-specific languages
B Steffen, F Gossen, S Naujokat, T Margaria
Computing and Software Science, 311-344, 2019
202019
Variability Management Beyond Feature Models
AL Lamprecht, S Naujokat, I Schaefer
IEEE, 2013
202013
Domain-specific code generator modeling: a case study for multi-faceted concurrent systems
S Naujokat, LM Traonouez, M Isberner, B Steffen, A Legay
International Symposium On Leveraging Applications of Formal Methods …, 2014
192014
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
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
172016
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
162007
Automatic generation of the SWS-challenge mediator with jABC/ABC
T Margaria, M Bakera, C Kubczak, S Naujokat, B Steffen
Semantic Web Services Challenge, 119-138, 2009
152009
Property-driven benchmark generation
B Steffen, M Isberner, S Naujokat, T Margaria, M Geske
International SPIN Workshop on Model Checking of Software, 341-357, 2013
142013
Simplicity principles for plug-in development: the jABC approach
S Naujokat, AL Lamprecht, B Steffen, S Jörges, T Margaria
2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI), 7-12, 2012
112012
Tailored generation of concurrent benchmarks
B Steffen, F Howar, M Isberner, S Naujokat, T Margaria
International Journal on Software Tools for Technology Transfer 16 (5), 543-558, 2014
102014
A Fully Model-Based Approach to Software Development for Industrial Centrifuges
N Wortmann, M Michel, S Naujokat
International Symposium on Leveraging Applications of Formal Methods, 774-783, 2016
92016
The system can't perform the operation now. Try again later.
Articles 1–20