RERS 2019: combining synthesis with real-world models M Jasper, M Mues, A Murtovi, M Schlüter, F Howar, B Steffen, M Schordan, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 31 | 2019 |
DSLs for decision services: a tutorial introduction to language-driven engineering F Gossen, T Margaria, A Murtovi, S Naujokat, B Steffen Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 25 | 2018 |
M3C: Modal Meta Model Checking B Steffen, A Murtovi Formal Methods for Industrial Critical Systems: 23rd International …, 2018 | 10 | 2018 |
Towards rigorous understanding of neural networks via semantics-preserving transformations M Schlüter, G Nolte, A Murtovi, B Steffen International Journal on Software Tools for Technology Transfer 25 (3), 301-327, 2023 | 8 | 2023 |
Add-lib: Decision diagrams in practice F Gossen, A Murtovi, P Zweihoff, B Steffen arXiv preprint arXiv:1912.11308, 2019 | 8 | 2019 |
Product line verification via modal meta model checking T Tegeler, A Murtovi, M Frohme, B Steffen From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 7 | 2019 |
The java library for algebraic decision diagrams F Gossen, A Murtovi, J Linden, B Steffen | 6 | 2019 |
Forest GUMP: a tool for verification and explanation A Murtovi, A Bainczyk, G Nolte, M Schlüter, B Steffen International Journal on Software Tools for Technology Transfer 25 (3), 287-299, 2023 | 5 | 2023 |
Aggressive aggregation: a new paradigm for program optimization F Gossen, M Jasper, A Murtovi, B Steffen arXiv preprint arXiv:1912.11281, 2019 | 5 | 2019 |
The power of typed affine decision structures: a case study G Nolte, M Schlüter, A Murtovi, B Steffen International Journal on Software Tools for Technology Transfer 25 (3), 355-374, 2023 | 4 | 2023 |
Forest GUMP: a tool for explanation A Murtovi, A Bainczyk, B Steffen International Conference on Tools and Algorithms for the Construction and …, 2022 | 1 | 2022 |
Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs A Murtovi, G Georgakoudis, K Parasyris, C Liao, I Laguna, B Steffen 2024 IEEE/ACM International Symposium on Code Generation and Optimization …, 2024 | | 2024 |
Language-Driven Engineering An Interdisciplinary Software Development Paradigm B Steffen, T Margaria, A Bainczyk, S Boßelmann, D Busch, M Driessen, ... arXiv preprint arXiv:2402.10684, 2024 | | 2024 |
Enhancing Performance Through Control-flow Unmerging and Loop Unrolling A Murtovi, G Georgakoudis, K Parasyris, C Liao, I Laguna, B Steffen Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States), 2023 | | 2023 |
Generative Program Analysis and Beyond: The Power of Domain-Specific Languages B Steffen, A Murtovi Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021 | | 2021 |