Bernhard Steffen
YOU?
Author Swipe
View article: Let’s Talk AI: Impressions and Thoughts After 30 Interviews
Let’s Talk AI: Impressions and Thoughts After 30 Interviews Open
The rapid integration of artificial intelligence into our daily lives and the astonishing pace of technological progress over the past two years prompted us to engage in interdisciplinary conversations on AI. This paper distills insights f…
View article: Let’s Talk AI with Computer Science Expert Bernhard Steffen
Let’s Talk AI with Computer Science Expert Bernhard Steffen Open
AI is far beyond whatever I would have expected. LLMs will certainly have a major societal impact. My personal AI mission: There are huge opportunities and major risks. As there is no way to stop the development of AI, my mission is helpin…
View article: AI-Assisted Modeling: DSL-Driven AI Interactions
AI-Assisted Modeling: DSL-Driven AI Interactions Open
AI-assisted programming greatly increases software development performance. We enhance this potential by integrating transparency through domain-specific modeling techniques and providing instantaneous, graphical visualizations that accura…
View article: Optimizing Feedstock Valorization Through Fungal Co-Fermentation of Thin Stillage and Soybean Hulls
Optimizing Feedstock Valorization Through Fungal Co-Fermentation of Thin Stillage and Soybean Hulls Open
This study investigates the upcycling of two major agro-industrial by-products, thin stillage (TS) and soybean hulls (SBH), through submerged fungal fermentation (SmF). TS and SBH served as carbohydrate and protein-rich growth medium for f…
View article: LLM-based code generation and system migration in language-driven engineering
LLM-based code generation and system migration in language-driven engineering Open
This paper illustrates the power of extending Language Driven Engineering (LDE) with Domain-Specific Natural Languages (DSNLs) through a case study on two levels. Both cases benefit from the characteristic decomposition feature of LDE, res…
View article: LearnLib: 10 years later
LearnLib: 10 years later Open
In 2015, LearnLib, the open-source framework for active automata learning, received the prestigious CAV artifact award. This paper presents the advancements made since then, highlighting significant additions to LearnLib, including state-o…
View article: Cinco de Bio: A Low-Code Platform for Domain-Specific Workflows for Biomedical Imaging Research
Cinco de Bio: A Low-Code Platform for Domain-Specific Workflows for Biomedical Imaging Research Open
Background: In biomedical imaging research, experimental biologists generate vast amounts of data that require advanced computational analysis. Breakthroughs in experimental techniques, such as multiplex immunofluorescence tissue imaging, …
View article: Origin-specific differences in the durability of black locust (Robinia pseudoacacia) wood against wood-destroying basidiomycetes
Origin-specific differences in the durability of black locust (Robinia pseudoacacia) wood against wood-destroying basidiomycetes Open
Global climate change is accompanied by a change in tree composition in many regions. In Europe, the distribution areas of many species are expanding towards the north so that, among others, black locust ( Robinia pseudoacacia ), which is …
View article: Second-Order Value Numbering
Second-Order Value Numbering Open
We present second-order value numbering, a new optimization method for suppressing redundancy, in a version tailored to the application for optimizing the decision procedure of jMosel, a verification tool set for monadic second-order logic…
View article: Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs
Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs Open
Compilers use a wide range of advanced optimizations to improve the quality of the machine code they generate. In most cases, compiler optimizations rely on precise analyses to be able to perform the optimizations. However, whenever a cont…
View article: Language-Driven Engineering An Interdisciplinary Software Development Paradigm
Language-Driven Engineering An Interdisciplinary Software Development Paradigm Open
We illustrate how purpose-specific, graphical modeling enables application experts with different levels of expertise to collaboratively design and then produce complex applications using their individual, purpose-specific modeling languag…
View article: Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality Open
The AISoLA 2023 proceedings deal with topics such as the nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice;.
View article: Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn) Open
In this paper, we present the envisioned style and scope of the new topic “Explanation Paradigms Leveraging Analytic Intuition” (ExPLAIn) with the International Journal on Software Tools for Technology Transfer (STTT). Intention behind thi…
View article: Forest GUMP: a tool for verification and explanation
Forest GUMP: a tool for verification and explanation Open
In this paper, we present Forest GUMP (for Generalized, Unifying Merge Process) a tool for verification and precise explanation of Random forests. Besides pre/post-condition-based verification and equivalence checking, Forest GUMP also sup…
View article: Towards rigorous understanding of neural networks via semantics-preserving transformations
Towards rigorous understanding of neural networks via semantics-preserving transformations Open
In this paper, we present an algebraic approach to the precise and global verification and explanation of Rectifier Neural Networks , a subclass of Piece-wise Linear Neural Networks (PLNNs), i.e., networks that semantically represent piece…
View article: The power of typed affine decision structures: a case study
The power of typed affine decision structures: a case study Open
TADS are a novel, concise white-box representation of neural networks. In this paper, we apply TADS to the problem of neural network verification, using them to generate either proofs or concise error characterizations for desirable neural…
View article: Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations Open
In this paper we present an algebraic approach to the precise and global verification and explanation of Rectifier Neural Networks, a subclass of Piece-wise Linear Neural Networks (PLNNs), i.e., networks that semantically represent piece-w…
View article: Microscopic insights into pedestrian motion through a bottleneck, resolving spatial and temporal variations
Microscopic insights into pedestrian motion through a bottleneck, resolving spatial and temporal variations Open
The motion of pedestrians is subject to a wide range of influences and exhibits a rich phenomenology. To enable precise measurement of the density and velocity we use an alternative definition using Voronoi diagrams which exhibits smaller …
View article: Forest GUMP: A Tool for Explanation
Forest GUMP: A Tool for Explanation Open
In this paper, we present Forest GUMP (for Generalized, Unifying Merge Process) a tool for providing tangible experience with three concepts of explanation. Besides the well-known model explanation and outcome explanation , Forest GUMP als…
View article: Algebraic aggregation of random forests: towards explainability and rapid evaluation
Algebraic aggregation of random forests: towards explainability and rapid evaluation Open
Random Forests are one of the most popular classifiers in machine learning. The larger they are, the more precise the outcome of their predictions. However, this comes at a cost: it is increasingly difficult to understand why a Random Fore…
View article: Compositional learning of mutually recursive procedural systems
Compositional learning of mutually recursive procedural systems Open
This paper presents a compositional approach to active automata learning of Systems of Procedural Automata (SPAs), an extension of Deterministic Finite Automata (DFAs) to systems of DFAs that can mutually call each other. SPAs are of high …
View article: The RERS challenge: towards controllable and scalable benchmark synthesis
The RERS challenge: towards controllable and scalable benchmark synthesis Open
This paper (1) summarizes the history of the RERS challenge for the analysis and verification of reactive systems, its profile and intentions, its relation to other competitions, and, in particular, its evolution due to the feedback of par…
View article: Towards language-to-language transformation
Towards language-to-language transformation Open
This paper proposes a simplicity-oriented approach and framework for language-to-language transformation of, in particular, graphical languages. Key to simplicity is the decomposition of the transformation specification into sub-rule syste…
View article: A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments
A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments Open
The use of low- and no-code modeling tools is today an established way in practice to give non-programmers an opportunity to master their digital challenges independently, using the means of model-driven software development. However, the …
View article: Characteristic invariants in Hennessy–Milner logic
Characteristic invariants in Hennessy–Milner logic Open
In this paper, we prove that Hennessy–Milner Logic (HML), despite its structural limitations, is sufficiently expressive to specify an initial property $$\varphi _0$$ and a characteristic invariant $$\upchi _{_I}$$ for an arbitrary finit…
View article: ADD-Lib: Decision Diagrams in Practice
ADD-Lib: Decision Diagrams in Practice Open
In the paper, we present the ADD-Lib, our efficient and easy to use framework for Algebraic Decision Diagrams (ADDs). The focus of the ADD-Lib is not so much on its efficient implementation of individual operations, which are taken by othe…