Christian Appold

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 3

Top Topics

Formal Verification

Financial Markets

Top Venues

Julius Maximilians University Würzburg, Germany (PHD)

Education History

Julius Maximilians University Würzburg, Germany

PHD

Publications

Czea Sie Chuah, Alexander Hepp, Christian Appold, Tim Leinmüller
Trojan Assets and Attack Vectors in Processors. ISQED (2024)
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)