Gerrit Nolte

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 10

Top Topics

Preserving Transformations

Symbolic Execution

Modeling Language

Top Venues

Int. J. Softw. Tools Technol. Transf.

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

Publications

Nils Jansen, Gerrit Nolte, Bernhard Steffen
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. AISoLA (2023)
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
The Power of Typed Affine Decision Structures: A Case Study. CoRR (2023)
Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen
Forest GUMP: a tool for verification and explanation. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Gerrit Nolte
A Structural Approach to the Design of Domain Specific Neural Network Architectures. CoRR (2023)
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
Towards rigorous understanding of neural networks via semantics-preserving transformations. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations. CoRR (2023)
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
The power of typed affine decision structures: a case study. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Maximilian Schlüter, Gerrit Nolte
Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022)
Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) (2022)