Alnis Murtovi

According to our database, Alnis Murtovi authored at least 13 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, 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

CoRR, 2024

Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs.

Alnis Murtovi, Giorgis Georgakoudis, Konstantinos Parasyris, Chunhua Liao, Ignacio Laguna, Bernhard Steffen

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

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., June, 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., June, 2023

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., June, 2023

2022

Forest GUMP: A Tool for Explanation.

Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper).

Bernhard Steffen, Alnis Murtovi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2019

ADD-Lib: Decision Diagrams in Practice.

Frederik Gossen, Alnis Murtovi, Philip Zweihoff, Bernhard Steffen

CoRR, 2019

Aggressive Aggregation: a New Paradigm for Program Optimization.

Frederik Gossen, Marc Jasper, Alnis Murtovi, Bernhard Steffen

CoRR, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Product Line Verification via Modal Meta Model Checking.

Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering.

Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

M3C: Modal Meta Model Checking.

Bernhard Steffen, Alnis Murtovi

Proceedings of the Formal Methods for Industrial Critical Systems, 2018