Stefan Naujokat
Title
Cited by
Cited by
Year
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
782017
Loose programming with PROPHETS
S Naujokat, AL Lamprecht, B Steffen
International Conference on Fundamental Approaches to Software Engineering …, 2012
682012
Semantics-based composition of EMBOSS services
AL Lamprecht, S Naujokat, T Margaria, B Steffen
Journal of biomedical semantics 2 (Suppl 1), S5, 2011
632011
Synthesis-based loose programming
AL Lamprecht, S Naujokat, T Margaria, B Steffen
2010 Seventh International Conference on the Quality of Information and …, 2010
632010
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
552016
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
372014
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
322019
Archimedean points: the essence for mastering change
B Steffen, S Naujokat
Transactions on Foundations for Mastering Change I, 22-46, 2016
312016
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
222010
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
Variability Management Beyond Feature Models
AL Lamprecht, S Naujokat, I Schaefer
IEEE, 2013
212013
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
202014
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
182016
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
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
172007
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
162009
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
152013
Pyro: Generating Domain-Specific Collaborative Online Modeling Environments
P Zweihoff, S Naujokat, B Steffen
International Conference on Fundamental Approaches to Software Engineering …, 2019
132019
DSLs for decision services: a tutorial introduction to language-driven engineering
F Gossen, T Margaria, A Murtovi, S Naujokat, B Steffen
International Symposium on Leveraging Applications of Formal Methods, 546-564, 2018
132018
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
122016
The system can't perform the operation now. Try again later.
Articles 1–20