Christian Appold

According to our database, Christian Appold authored at least 8 papers between 2010 and 2023.

Collaborative distances:

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

2023

Formal Verification of Security Properties on RISC-V Processors.

Czea Sie Chuah, Christian Appold, Tim Leinmüller

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

2022

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

Proceedings of the 36th International Conference on Informatics for Environmental Protection, 2022

2015

Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme.

Christian Appold

PhD thesis, 2015

2014

A New Approach to Use Partial Results During Image Computation in BDD Based Symbolic Model Checking.

Christian Appold

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

2012

Fast Symbolic Model Checking for Partitioned Transition Relations with Isomorphic Partitions.

Christian Appold

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

2011

Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations

Christian Appold

Proceedings of Second International Symposium on Games, 2011

Symbolic Model Checking with Isomorphism Exploiting Transition Relations.

Christian Appold

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

2010

Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking

Christian Appold

Proceedings of the Proceedings First Symposium on Games, 2010