Alnis Murtovi

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Preserving Transformations

Decision Diagrams

Pedagogical Scenarios

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Alnis Murtovi, Giorgis Georgakoudis, Konstantinos Parasyris, Chunhua Liao, Ignacio Laguna, Bernhard Steffen
Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs. CGO (2024)
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, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff
Language-Driven Engineering An Interdisciplinary Software Development Paradigm. CoRR (2024)
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)
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)
Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen
Forest GUMP: A Tool for Explanation. TACAS (2) (2022)
Bernhard Steffen, Alnis Murtovi
Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper). VMCAI (2021)
Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen
Product Line Verification via Modal Meta Model Checking. From Software Engineering to Formal Methods and Tools, and Back (2019)
Frederik Gossen, Alnis Murtovi, Philip Zweihoff, Bernhard Steffen
ADD-Lib: Decision Diagrams in Practice. CoRR (2019)
Frederik Gossen, Marc Jasper, Alnis Murtovi, Bernhard Steffen
Aggressive Aggregation: a New Paradigm for Program Optimization. CoRR (2019)
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
RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) (2019)
Bernhard Steffen, Alnis Murtovi
M3C: Modal Meta Model Checking. FMICS (2018)
Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen
DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. ISoLA (1) (2018)