Hans-Peter Deifel

• Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann: Best Theory Paper Award at FM 2019 (3rd World Congress on Formal Methods, FM 2019) – 2019

2022

• Birkmann F., Deifel HP., Milius S.:
  Distributed Coalgebraic Partition Refinement
  28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) (Munich, GERMANY)
  In: TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II, CHAM: 2022
  DOI: 10.1007/978-3-030-99527-0_9

2021

• Deifel HP., Milius S., Wißmann T.:
  Coalgebra encoding for efficient minimization
  6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021 (Virtual, 17. July 2021 - 24. July 2021)
  In: Naoki Kobayashi (ed.): Leibniz International Proceedings in Informatics, LIPIcs 2021
  DOI: 10.4230/LIPIcs.FSCD.2021.28
• Wißmann T., Deifel HP., Milius S., Schröder L.:
  From generic partition refinement to weighted tree automata minimization
  In: Formal Aspects of Computing (2021)
  ISSN: 0934-5043
  DOI: 10.1007/s00165-020-00526-z

2020

• Schneider J., Milius S., Deifel HP., Freiling F.:
  Unifying Metadata-Based Storage Reconstruction and Carving with LAYR
  DFRWS 2020 USA (Virtual, 20. July 2020 - 24. July 2020)
  In: Elsevier (ed.): Forensic Science International: Digital Investigation 2020
  DOI: 10.1016/j.fsidi.2020.301006
  URL: https://www.sciencedirect.com/science/article/pii/S2666281720302559

2019

• Deifel HP., Milius S., Schröder L., Wißmann T.:
  Generic Partition Refinement and Weighted Tree Automata
  In: Beek MH, McIver A, Oliveira JN (ed.): Formal Methods -- The Next 30 Years, Cham: 2019
  DOI: 10.1007/978-3-030-30942-8_18

2018

• Hausmann D., Schröder L., Deifel HP.:
  Permutation games for the weakly aconjunctive μ -calculus
  24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
  In: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 2018
  DOI: 10.1007/978-3-319-89963-3_21

2017

• Deifel HP., Göttlinger M., Milius S., Schröder L., Dietrich C., Lohmann D.:
  Automatic verification of application-tailored OSEK kernels
  In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 2017
  DOI: 10.23919/FMCAD.2017.8102260