Stefan Naujokat

According to our database, Stefan Naujokat authored at least 39 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Language-Driven Engineering An Interdisciplinary Software Development Paradigm.

Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff

CoRR, 2024

Tree-Based Scenario Classification - A Formal Framework for Measuring Domain Coverage When Testing Autonomous Systems.

Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems.

Till Schallau, Dominik Mäckel, Stefan Naujokat, Falk Howar

Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024

2023

Tree-Based Scenario Classification: A Formal Framework for Coverage Analysis on Test Drives of Autonomous Vehicles.

Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar

CoRR, 2023

2022

Validating Behavioral Requirements, Conditions, and Rules of Autonomous Systems with Scenario-Based Testing.

Till Schallau, Stefan Naujokat

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022

Aligning the learning experience in a project-based course: lessons learned from the redesign of a programming lab.

Malte Mauritz, Stefan Naujokat, Christian Riest, Till Schallau

Proceedings of the 4th International Workshop on Software Engineering Education for the Next Generation, 2022

2021

Towards language-to-language transformation.

Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., 2021

Preface.

Sven Jörges, Anna-Lena Lamprecht, Anila Mjeda, Stefan Naujokat

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2021

Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education.

Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau

Proceedings of the 3rd International Workshop on Software Engineering Education for the Next Generation, 2021

2019

Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages.

Bernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Pyro: Generating Domain-Specific Collaborative Online Modeling Environments.

Philip Zweihoff, Stefan Naujokat, Bernhard Steffen

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

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

Stefan Naujokat, Michael Lybecait, Dawid Kopetzki, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., 2018

High-level frameworks for the specification and verification of scheduling problems.

Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez

Int. J. Softw. Tools Technol. Transf., 2018

A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO.

Michael Lybecait, Dawid Kopetzki, Philip Zweihoff, Annika Fuhge, Stefan Naujokat, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering.

Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

On the Difficulty of Drawing the Line.

Steve Boßelmann, Stefan Naujokat, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

Heavy meta: Model-driven domain-specific generation of generative domain-specific modeling tools.

Stefan Naujokat

PhD thesis, 2017

2016

Archimedean Points: The Essence for Mastering Change.

Bernhard Steffen, Stefan Naujokat

LNCS Trans. Found. Mastering Chang., 2016

A Fully Model-Based Approach to Software Development for Industrial Centrifuges.

Nils Wortmann, Malte Michel, Stefan Naujokat

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Meta-Level Reuse for Mastering Domain Specialization.

Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Synthesis from a Practical Perspective.

Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

DIME: A Programming-Less Modeling Environment for Web Applications.

Steve Boßelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.

Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2014

Property-driven benchmark generation: synthesizing programs of realistic structure.

Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske

Int. J. Softw. Tools Technol. Transf., 2014

Tailored generation of concurrent benchmarks.

Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria

Int. J. Softw. Tools Technol. Transf., 2014

Simplicity-first model-based plug-in development.

Stefan Naujokat, Johannes Neubauer, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges, Tiziana Margaria

Softw. Pract. Exp., 2014

Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems.

Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Variability Management beyond Feature Models.

Anna-Lena Lamprecht, Stefan Naujokat, Ina Schaefer

Computer, 2013

Property-Driven Benchmark Generation.

Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske

Proceedings of the Model Checking Software - 20th International Symposium, 2013

2012

Simplicity principles for plug-in development: the jABC approach.

Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges, Tiziana Margaria

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Loose Programming with PROPHETS.

Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Semantics-based composition of EMBOSS services.

Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen

J. Biomed. Semant., 2011

Tailoring Process Synthesis to Domain Characteristics.

Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

Constraint-Guided Workflow Composition Based on the EDAM Ontology.

Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria

Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2010

Synthesis-Based Loose Programming.

Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen

Proceedings of the Quality of Information and Communications Technology, 2010

2009

Semantics-Based Composition of EMBOSS Services with Bio-jETI.

Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen

Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

Automatic Generation of the SWS- Challenge Mediator with jABC/ABC.

Tiziana Margaria, Marco Bakera, Christian Kubczak, Stefan Naujokat, Bernhard Steffen

Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

2007

Service-Oriented Mediation with jETI/jABC: Verification and Export.

Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat

Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007

2006

The FMICS-jETI Platform: Status and Perspectives.

Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat

Proceedings of the Leveraging Applications of Formal Methods, 2006