Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking - Christian Appold (GANDALF, 2010)

Symbolic Model Checking with Isomorphism Exploiting Transition Relations. - Christian Appold (MBMV, 2011)

Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations - Christian Appold (GandALF, 2011)

Fast Symbolic Model Checking for Partitioned Transition Relations with Isomorphic Partitions. - Christian Appold (MBMV, 2012)

A New Approach to Use Partial Results During Image Computation in BDD Based Symbolic Model Checking. - Christian Appold (MBMV, 2014)

Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme. - Christian Appold (2015)

An Artificial Intelligence of Things based Method for Early Detection of Bark Beetle Infested Trees. - Peter Knebel; Christian Appold; Marius Horbach; Yasmin Juncker; Rüdiger Machhamer; Simon Müller; Alfons Matheis (EnviroInfo, 2022)

Formal Verification of Security Properties on RISC-V Processors. - Czea Sie Chuah; Christian Appold; Tim Leinmüller (MEMOCODE, 2023)

Trojan Assets and Attack Vectors in Processors. - Czea Sie Chuah; Alexander Hepp; Christian Appold; Tim Leinmüller (ISQED, 2024)