Bernhard Steffen
Technische Universität Dortmund
H-index: 68
Europe-Germany
Top articles of Bernhard Steffen
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs | Alnis Murtovi Giorgis Georgakoudis Konstantinos Parasyris Chunhua Liao Ignacio Laguna | 2024/3/2 | |
Language-Driven Engineering An Interdisciplinary Software Development Paradigm | arXiv preprint arXiv:2402.10684 | Bernhard Steffen Tiziana Margaria Alexander Bainczyk Steve Boßelmann Daniel Busch | 2024/2/16 |
The power of typed affine decision structures: a case study | International Journal on Software Tools for Technology Transfer | Gerrit Nolte Maximilian Schlüter Alnis Murtovi Bernhard Steffen | 2023/6 |
Towards LLM-Based System Migration in Language-Driven Engineering | Daniel Busch Alexander Bainczyk Bernhard Steffen | 2023/10/16 | |
Towards rigorous understanding of neural networks via semantics-preserving transformations | International Journal on Software Tools for Technology Transfer | Maximilian Schlüter Gerrit Nolte Alnis Murtovi Bernhard Steffen | 2023/6 |
SOS-Supported Graph Transformation | Electronic Communications of the EASST | Sebastian Teumert Marvin Krause Bernhard Steffen | 2023/10/6 |
Lazy Merging: From a Potential of Universes to a Universe of Potentials | Electronic Communications of the EASST | Jonas Schürmann Bernhard Steffen | 2023/10/6 |
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn) | International Journal on Software Tools for Technology Transfer | Nils Jansen Gerrit Nolte Bernhard Steffen | 2023/6 |
Forest GUMP: a tool for verification and explanation | International Journal on Software Tools for Technology Transfer | Alnis Murtovi Alexander Bainczyk Gerrit Nolte Maximilian Schlüter Bernhard Steffen | 2023/6 |
ChatGPT in the loop: a natural language extension for domain-specific modeling languages | Daniel Busch Gerrit Nolte Alexander Bainczyk Bernhard Steffen | 2023/10/23 | |
Towards continuous quality control in the context of language-driven engineering | Alexander Bainczyk Steve Boßelmann Marvin Krause Marco Krumrey Dominic Wirkner | 2022/10/17 | |
From languages to behaviors and back | Markus Frohme Bernhard Steffen | 2022/9/7 | |
Active automata learning as black-box search and lazy partition refinement | Falk Howar Bernhard Steffen | 2022/9/7 | |
Executable documentation: test-first in action | Steven Smyth Jette Petzold Jonas Schürmann Florian Karbus Tiziana Margaria | 2022/10/17 | |
Lifelong learning of reactive systems in practice | Alexander Bainczyk Bernhard Steffen Falk Howar | 2022/7/4 | |
Executable documentation: From documentation languages to purpose-specific languages | Tim Tegeler Steve Boßelmann Jonas Schürmann Steven Smyth Sebastian Teumert | 2022/10/17 | |
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022 … | Dana Fisman Hillel Kugler | 2018 | |
Forest GUMP: a tool for explanation | Alnis Murtovi Alexander Bainczyk Bernhard Steffen | 2022/3/30 | |
Formal methods meet machine learning (F3ML) | Kim Larsen Axel Legay Gerrit Nolte Maximilian Schlüter Marielle Stoelinga | 2022/10/17 | |
Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering | Alexander Bainczyk Daniel Busch Marco Krumrey Daniel Sami Mitwalli Jonas Schürmann | 2022/10/17 |