Concepedia

Stefan Naujokat

SN

10

Publications

330

Citations

10

H-Index

2007

Active since

Affiliations

TU Dortmund University(Current)

University of Potsdam

Stefan Naujokat is an author at TU Dortmund University specializing in engineering, computer science, and software engineering.

Top concepts

EngineeringComputer ScienceSoftware EngineeringDesignSoftware DesignProgram AnalysisFormal MethodsSoftware AnalysisFormal VerificationSystems Engineering

Publications per year

2007–2017

10

Publications

10

CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools

Stefan Naujokat, Michael Lybecait, Dawid Kopetzki et al. · International Journal on Software Tools for Technology Transfer · 2017 · 83 citations

Full Generation, Engineering, Visual Programming Language +15

Semantics-based composition of EMBOSS services

Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria et al. · Journal of Biomedical Semantics · 2011 · 65 citations · Full text

Synthesis-Based Loose Programming

Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria et al. · 2010 · 58 citations

Engineering, Verification, Software Engineering +21

Property-driven benchmark generation: synthesizing programs of realistic structure

Bernhard Steffen, Malte Isberner, Stefan Naujokat et al. · International Journal on Software Tools for Technology Transfer · 2014 · 35 citations

Benchmarking Tool, Engineering, Program Analysis +10

Constraint-Guided Workflow Composition Based on the EDAM Ontology

Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen et al. · Nature Precedings · 2010 · 19 citations · Full text

Rows per page

1–5 of 10