Christian Appold

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 2

Top Topics

Symbolic Model Checking

Cryptographic Protocols

Formal Verification

Top Venues

Julius Maximilians University Würzburg, Germany (PHD)

Education History

Julius Maximilians University Würzburg, Germany

PHD

Publications

Czea Sie Chuah, Christian Appold, Tim Leinmüller
Formal Verification of Security Properties on RISC-V Processors. MEMOCODE (2023)
Peter Knebel, Christian Appold, Marius Horbach, Yasmin Juncker, Rüdiger Machhamer, Simon Müller, Alfons Matheis
An Artificial Intelligence of Things based Method for Early Detection of Bark Beetle Infested Trees. EnviroInfo (2022)
Christian Appold
A New Approach to Use Partial Results During Image Computation in BDD Based Symbolic Model Checking. MBMV (2014)
Christian Appold
Fast Symbolic Model Checking for Partitioned Transition Relations with Isomorphic Partitions. MBMV (2012)
Christian Appold
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations GandALF (2011)
Christian Appold
Symbolic Model Checking with Isomorphism Exploiting Transition Relations. MBMV (2011)
Christian Appold
Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking GANDALF (2010)