Hans-Peter Deifel

According to our database, Hans-Peter Deifel authored at least 10 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Software and Benchmarks for Distributed Coalgebraic Partition Refinement.

Fabian Birkmann, Hans-Peter Deifel, Stefan Milius

Dataset, January, 2022

Distributed Coalgebraic Partition Refinement.

Fabian Birkmann, Hans-Peter Deifel, Stefan Milius

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

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

Coalgebra Encoding for Efficient Minimization.

Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

Unifying Metadata-Based Storage Reconstruction and Carving with LAYR.

Janine Schneider, Hans-Peter Deifel, Stefan Milius, Felix C. Freiling

Digit. Investig., 2020

2019

Generic Partition Refinement and Weighted Tree Automata.

Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

CoPaR: An Efficient Generic Partition Refiner.

Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann

CoRR, 2018

Permutation Games for the Weakly Aconjunctive \mu μ -Calculus.

Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

Permutation Games for the Weakly Aconjunctive mu-Calculus.

Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel

CoRR, 2017

Automatic verification of application-tailored OSEK kernels.

Hans-Peter Deifel, Merlin Göttlinger, Stefan Milius, Lutz Schröder, Christian Dietrich, Daniel Lohmann

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017