Automatic verification of application-tailored OSEK kernels. - Hans-Peter Deifel; Merlin Göttlinger; Stefan Milius; Lutz Schröder; Christian Dietrich 001; Daniel Lohmann (FMCAD, 2017)

Permutation Games for the Weakly Aconjunctive mu-Calculus. - Daniel Hausmann 001; Lutz Schröder; Hans-Peter Deifel (CoRR, 2017)

Permutation Games for the Weakly Aconjunctive mu μ -Calculus. - Daniel Hausmann 001; Lutz Schröder; Hans-Peter Deifel (TACAS (2), 2018)

CoPaR: An Efficient Generic Partition Refiner. - Hans-Peter Deifel; Stefan Milius; Lutz Schröder; Thorsten Wißmann (CoRR, 2018)

Generic Partition Refinement and Weighted Tree Automata. - Hans-Peter Deifel; Stefan Milius; Lutz Schröder; Thorsten Wißmann (FM, 2019)

Unifying Metadata-Based Storage Reconstruction and Carving with LAYR. - Janine Schneider; Hans-Peter Deifel; Stefan Milius; Felix C. Freiling (Digit. Investig., 2020)

Coalgebra Encoding for Efficient Minimization. - Hans-Peter Deifel; Stefan Milius; Thorsten Wißmann (FSCD, 2021)

From generic partition refinement to weighted tree automata minimization. - Thorsten Wißmann; Hans-Peter Deifel; Stefan Milius; Lutz Schröder (Formal Aspects Comput., 2021)

Distributed Coalgebraic Partition Refinement. - Fabian Birkmann; Hans-Peter Deifel; Stefan Milius (TACAS (2), 2022)

Software and Benchmarks for Distributed Coalgebraic Partition Refinement. - Fabian Birkmann; Hans-Peter Deifel; Stefan Milius (Zenodo, 2022)