Stefan Naujokat
发表
Tiziana Margaria,
Bernhard Steffen,
Johannes Neubauer,
2016,
ISoLA.
Bernhard Steffen,
Anna-Lena Lamprecht,
Stefan Naujokat,
2011,
2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
Tiziana Margaria,
Bernhard Steffen,
Anna-Lena Lamprecht,
2012,
2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI).
Bernhard Steffen,
Johannes Neubauer,
Steve Boßelmann,
2016,
ISoLA.
Stefan Naujokat,
2012
.
Tiziana Margaria,
Frederik Gossen,
Bernhard Steffen,
2019,
Computing and Software Science.
Kim G. Larsen,
Axel Legay,
Bernhard Steffen,
2016,
FMICS-AVoCS.
Bernhard Steffen,
Stefan Naujokat,
B. Steffen,
2016,
LNCS Trans. Found. Mastering Chang..
Tiziana Margaria,
Bernhard Steffen,
Anna-Lena Lamprecht,
2010,
SWAT4LS.
Stefan Naujokat,
2012
.
Anna-Lena Lamprecht,
Ina Schaefer,
Stefan Naujokat,
2013,
Computer.
Tiziana Margaria,
Bernhard Steffen,
Malte Isberner,
2013,
SPIN.
Bernhard Steffen,
Stefan Naujokat,
Dawid Kopetzki,
2018,
International Journal on Software Tools for Technology Transfer.
Stefan Naujokat,
2017
.
Johannes Neubauer,
Stephan Windmüller,
Stefan Naujokat,
2007
.
Tiziana Margaria,
Bernhard Steffen,
Christian Kubczak,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Tiziana Margaria,
Bernhard Steffen,
Frederik Gossen,
2018,
ISoLA.
Tiziana Margaria,
Bernhard Steffen,
Anna-Lena Lamprecht,
2014,
Softw. Pract. Exp..
Tiziana Margaria,
Bernhard Steffen,
Malte Isberner,
2014,
International Journal on Software Tools for Technology Transfer.
Bernhard Steffen,
Stefan Naujokat,
Philip Zweihoff,
2019,
FASE.
Bernhard Steffen,
Stefan Naujokat,
Dawid Kopetzki,
2018,
ISoLA.
Bernhard Steffen,
Anna-Lena Lamprecht,
Stefan Naujokat,
2012,
FASE.
Tiziana Margaria,
Bernhard Steffen,
Christian Kubczak,
2009,
Semantic Web Services Challenge.
Tiziana Margaria,
Bernhard Steffen,
Anna-Lena Lamprecht,
2016,
ISoLA.
Tiziana Margaria,
Bernhard Steffen,
Anna-Lena Lamprecht,
2009,
SWAT4LS.
Tiziana Margaria,
Bernhard Steffen,
Anna-Lena Lamprecht,
2010,
2010 Seventh International Conference on the Quality of Information and Communications Technology.
Tiziana Margaria,
Bernhard Steffen,
Christian Kubczak,
2007,
2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops.
Tiziana Margaria,
Bernhard Steffen,
Malte Isberner,
2014,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Bernhard Steffen,
Louis-Marie Traonouez,
2014,
ISoLA.
Stefan Naujokat,
Nils Wortmann,
Malte Michel,
2016,
ISoLA.
Bernhard Steffen,
Steve Boßelmann,
Stefan Naujokat,
2018,
ISoLA.
Tiziana Margaria,
Bernhard Steffen,
Anna-Lena Lamprecht,
2011,
J. Biomed. Semant..
Kim G. Larsen,
Axel Legay,
Bernhard Steffen,
2017,
International Journal on Software Tools for Technology Transfer.
Stefan Naujokat,
Dawid Kopetzki,
Michael Lybecait,
2021,
International Journal on Software Tools for Technology Transfer.
Falk Howar,
Malte Mues,
Stefan Naujokat,
2021,
2021 Third International Workshop on Software Engineering Education for the Next Generation (SEENG).
Johannes Neubauer,
Steve Boßelmann,
Stefan Naujokat,
2016
.