Follow
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
1322017
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
1012016
Loose programming with PROPHETS
S Naujokat, AL Lamprecht, B Steffen
International Conference on Fundamental Approaches to Software Engineering …, 2012
882012
Synthesis-based loose programming
AL Lamprecht, S Naujokat, T Margaria, B Steffen
2010 Seventh International Conference on the Quality of Information and …, 2010
832010
Semantics-based composition of EMBOSS services
AL Lamprecht, S Naujokat, T Margaria, B Steffen
Journal of biomedical semantics 2 (Suppl 1), S5, 2011
762011
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
652019
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
412014
Archimedean points: the essence for mastering change
B Steffen, S Naujokat
Transactions on Foundations for Mastering Change I, 22-46, 2016
392016
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
312014
Pyro: generating domain-specific collaborative online modeling environments
P Zweihoff, S Naujokat, B Steffen
Fundamental Approaches to Software Engineering: 22nd International …, 2019
302019
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
282018
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
272016
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
262018
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
262010
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
252016
Variability Management Beyond Feature Models
AL Lamprecht, S Naujokat, I Schaefer
IEEE, 2013
252013
Meta-level reuse for mastering domain specialization
S Naujokat, J Neubauer, T Margaria, B Steffen
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
232016
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
192007
High-level frameworks for the specification and verification of scheduling problems
M Chadli, JH Kim, KG Larsen, A Legay, S Naujokat, B Steffen, ...
International Journal on Software Tools for Technology Transfer, 1-26, 2017
182017
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
The system can't perform the operation now. Try again later.
Articles 1–20