Johannes Meuer

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Diffusion Model

Bounded Model Checking

Top Venues

Publications

Johannes Meuer, Maximilian Witte, Tobias Sebastian Finn, Claudia Timmreck, Thomas Ludwig, Christopher Kadow
Latent Diffusion Model for Generating Ensembles of Climate Simulations. CoRR (2024)
Marko Kleine Büning, Johannes Meuer, Carsten Sinz
Refined Modularization for Bounded Model Checking Through Precondition Generation. ICFEM (2022)