Hans-Peter Deifel

12 papers B 3Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2022 — conf
Distributed Coalgebraic Partition Refinement.
TACAS (2)
Fabian Birkmann, Hans-Peter Deifel, Stefan Milius
2022 J jnl
Distributed Coalgebraic Partition Refinement.
CoRR
Fabian Birkmann, Hans-Peter Deifel, Stefan Milius
2021 B conf
Coalgebra Encoding for Efficient Minimization.
FSCD
Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann
2021 J jnl
Coalgebra Encoding for Efficient Minimization.
CoRR
Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann
2021 J jnl
From generic partition refinement to weighted tree automata minimization.
Formal Aspects Comput.
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
2020 J jnl
From Generic Partition Refinement to Weighted Tree Automata Minimization.
CoRR
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
2020 J jnl
Unifying Metadata-Based Storage Reconstruction and Carving with LAYR.
Digit. Investig.
Janine Schneider, Hans-Peter Deifel, Stefan Milius, Felix C. Freiling
2019 B conf
Generic Partition Refinement and Weighted Tree Automata.
FM
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2018 J jnl
CoPaR: An Efficient Generic Partition Refiner.
CoRR
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2018 — conf
Permutation Games for the Weakly Aconjunctive \mu μ -Calculus.
TACAS (2)
Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
2017 B conf
Automatic verification of application-tailored OSEK kernels.
FMCAD
Hans-Peter Deifel, Merlin Göttlinger, Stefan Milius, Lutz Schröder, Christian Dietrich, Daniel Lohmann
2017 J jnl
Permutation Games for the Weakly Aconjunctive mu-Calculus.
CoRR
Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel