4 citations · 7 across the 5 of their papers we have counts for
5 papers
Language-Driven Engineering An Interdisciplinary Software Development Paradigm
Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk +22
We illustrate how purpose-specific, graphical modeling enables application experts with different levels of expertise to collaboratively design and then produce complex application…
The Power of Typed Affine Decision Structures: A Case Study
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi +1
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 pro…
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi +1
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…
ADD-Lib: Decision Diagrams in Practice
Frederik Gossen, Alnis Murtovi, Philip Zweihoff +1
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 imple…
Aggressive Aggregation: a New Paradigm for Program Optimization
Frederik Gossen, Marc Jasper, Alnis Murtovi +1
In this paper, we propose a new paradigm for program optimization which is based on aggressive aggregation, i.e., on a partial evaluation-based decomposition of acyclic program fra…