Christian Appold

According to our database1, Christian Appold authored at least 9 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Trojan Assets and Attack Vectors in Processors.
Proceedings of the 25th International Symposium on Quality Electronic Design, 2024

2023
Formal Verification of Security Properties on RISC-V Processors.
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.
Proceedings of the 36th International Conference on Informatics for Environmental Protection, 2022

2015
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme.
PhD thesis, 2015

2014
A New Approach to Use Partial Results During Image Computation in BDD Based Symbolic Model Checking.
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.
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
Proceedings of Second International Symposium on Games, 2011

Symbolic Model Checking with Isomorphism Exploiting Transition Relations.
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
Proceedings of the Proceedings First Symposium on Games, 2010


  Loading...