Maximilian Weininger

67 papers A* 5B 3Journal 35Unranked 23
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Miriam Schäfers, Merlijn Krale, Thiago D. Simão, Nils Jansen, Maximilian Weininger
2025 conf
VMCAI (2)
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
2025 conf
TACAS (2)
Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken
2025 J jnl
CoRR
Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken
2025 A* conf
LICS
Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger
2025 J jnl
CoRR
Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger
2025 A* conf
AAAI
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 conf
TACAS (1)
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 conf
GandALF
Muqsit Azeem, Jan Kretínský, Maximilian Weininger
2025 J jnl
CoRR
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 conf
QEST+FORMATS
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 A* conf
LICS
Marta Grobelna, Jan Kretínský, Maximilian Weininger
2025 J jnl
CoRR
Marta Grobelna, Jan Kretínský, Maximilian Weininger
2025 conf
QEST+FORMATS
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024 J jnl
CoRR
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
2024 conf
CAV (3)
Tobias Meggendorfer, Maximilian Weininger
2024 J jnl
CoRR
Tobias Meggendorfer, Maximilian Weininger
2024 J jnl
CoRR
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024 J jnl
CoRR
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024 J jnl
CoRR
Muqsit Azeem, Jan Kretínský, Maximilian Weininger
2024 J jnl
Formal Methods Syst. Des.
Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler
2024 J jnl
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2024 J jnl
CoRR
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2023 conf
TACAS (1)
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
2023 J jnl
CoRR
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
2023 J jnl
Int. J. Softw. Tools Technol. Transf.
Florian Jüngermann, Jan Kretínský, Maximilian Weininger
2023 A* conf
LICS
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2023 J jnl
CoRR
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2023 conf
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2022 J jnl
CoRR
Florian Jüngermann, Jan Kretínský, Maximilian Weininger
2022 B conf
CONCUR
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2022 J jnl
Inf. Comput.
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
2022 J jnl
Acta Informatica
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
2022 B conf
ATVA
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
2022 J jnl
CoRR
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
2022 J jnl
CoRR
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2022
Maximilian Weininger
2022 J jnl
Inf. Comput.
Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger
2021 B conf
CONCUR
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger
2021 conf
CDC
Maximilian Weininger, Kush Grover, Shruti Misra, Jan Kretínský
2021 J jnl
CoRR
Tobias Winkler, Maximilian Weininger
2021 conf
GandALF
Tobias Winkler, Maximilian Weininger
2021 conf
TACAS (2)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
2021 J jnl
CoRR
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
2020 J jnl
CoRR
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2020 A* conf
LICS
Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler
2020 conf
CAV (2)
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
2020 J jnl
CoRR
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
2020 J jnl
CoRR
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
2020 conf
GandALF
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
2020 J jnl
CoRR
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger
2020 conf
ISoLA (1)
Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger
2020 conf
CAV (2)
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020 J jnl
CoRR
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020 J jnl
CoRR
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2020 conf
HSCC
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2020 conf
HSCC
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2019 J jnl
CoRR
Pranav Ashok, Jan Kretínský, Maximilian Weininger
2019 conf
CAV (1)
Pranav Ashok, Jan Kretínský, Maximilian Weininger
2019 J jnl
CoRR
Pranav Ashok, Jan Kretínský, Maximilian Weininger
2019 conf
QEST
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
2019 J jnl
CoRR
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
2019 conf
CDC
Maximilian Weininger, Tobias Meggendorfer, Jan Kretínský
2018 conf
CAV (1)
Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger
2018 J jnl
CoRR
Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger
2017 conf
TACAS (1)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
2017 J jnl
CoRR
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger