M3C: Modal Meta Model Checking. - Bernhard Steffen; Alnis Murtovi (FMICS, 2018)

DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. - Frederik Gossen; Tiziana Margaria; Alnis Murtovi; Stefan Naujokat; Bernhard Steffen (ISoLA (1), 2018)

Product Line Verification via Modal Meta Model Checking. - Tim Tegeler; Alnis Murtovi; Markus Frohme; Bernhard Steffen (From Software Engineering to Formal Methods and Tools, and Back, 2019)

RERS 2019: Combining Synthesis with Real-World Models. - Marc Jasper; Malte Mues; Alnis Murtovi; Maximilian Schlüter; Falk Howar; Bernhard Steffen; Markus Schordan; Dennis Hendriks; Ramon R. H. Schiffelers; Harco Kuppens; Frits W. Vaandrager (TACAS (3), 2019)

Aggressive Aggregation: a New Paradigm for Program Optimization. - Frederik Gossen; Marc Jasper; Alnis Murtovi; Bernhard Steffen (CoRR, 2019)

ADD-Lib: Decision Diagrams in Practice. - Frederik Gossen; Alnis Murtovi; Philip Zweihoff; Bernhard Steffen (CoRR, 2019)

Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper). - Bernhard Steffen; Alnis Murtovi (VMCAI, 2021)

Forest GUMP: A Tool for Explanation. - Alnis Murtovi; Alexander Bainczyk; Bernhard Steffen (TACAS (2), 2022)

Forest GUMP: a tool for verification and explanation. - Alnis Murtovi; Alexander Bainczyk; Gerrit Nolte; Maximilian Schlüter; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)

The power of typed affine decision structures: a case study. - Gerrit Nolte; Maximilian Schlüter; Alnis Murtovi; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)

Towards rigorous understanding of neural networks via semantics-preserving transformations. - Maximilian Schlüter; Gerrit Nolte; Alnis Murtovi; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)

Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs. - Alnis Murtovi; Giorgis Georgakoudis; Konstantinos Parasyris; Chunhua Liao; Ignacio Laguna; Bernhard Steffen (CGO, 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; et al. (CoRR, 2024)

Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models. - Alnis Murtovi; Maximilian Schlüter; Bernhard Steffen (Real Time and Such, 2025)

Computing Inflated Explanations for Boosted Trees: A Compilation-Based Approach. - Alnis Murtovi; Maximilian Schlüter; Bernhard Steffen (The Combined Power of Research, Education, and Dissemination, 2025)

An Efficient Compilation-Based Approach to Explaining Random Forests Through Decision Trees. - Alnis Murtovi; Maximilian Schlüter; Bernhard Steffen (ICAART (2), 2025)

Compilation-based explainability of tree ensembles. - Alnis Murtovi (2025)