Intern
    Lehrstuhl für Informatik V - Technische Informatik

    Wiss. Mitarbeiter / Research Assistant

    Dr. rer. nat. Christian Appold

    Raum BH008
    Lehrstuhl für Informatik V
    Institut für Informatik
    Universität Würzburg
    Am Hubland
    97074 Würzburg
    Germany

    Tel.: +49-931-3186710
    Fax: +49-931-3186702
    Email: appold@informatik.uni-wuerzburg.de

    Arbeitsgebiete / Research Areas

    My main research area is the verification of systems by using Model Checking. There I am especially interested in the verification of systems with replicated components. Such systems can possess a lot of symmetries. In our work we  try to develop techniques which allow the efficient usage of these symmetries to improve the verifiability of systems. 

    Veröffentlichungen/Publications

    2012:

    > Appold, Christian: Fast Symbolic Model Checking for Partitioned Transition Relations with Isomorphic Partitions Proceedings of 15. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 2012.

    2011: 

    > Appold, Christian: Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations Proceedings of the Second Symposium on Games, Automata, Logic, and Formal Verification (GandALF 2011), Minori, Italy, June 2011.

    > Appold, Christian: Symbolic Model Checking with Isomorphism Exploiting Transition Relations Proceedings of 14. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 2011.

    2010:

    > Appold, Christian: An Algorithm for Fast Symmetry Reduction in Symbolic Model Checking Proceedings of 9. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze", Würzburg, September 2010.

    > Appold, Christian: Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking Proceedings of the First Symposium on Games, Automata, Logic, and Formal Verification (GandALF 2010), Minori, Italy, June 2010.

    2009:

    > Appold, Christian: Using State Symmetries to Speed up Symmetry Reduction in Model Checking Proceedings of SymCon'09, the Ninth International Workshop on Symmetry and Constraint Satisfaction Problems, Lissabon, September 2009.

    > Appold, Christian: Reliable Model Checking for WSNs Proceedings of 8. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze", Hamburg-Harburg, August 2009. TU Hamburg-Harburg.

    > Baunach, Marcel, Clemens Mühlberger, Christian Appold, Martin Schröder and Florian Füller: Analysis of Radio Signal Parameters for Calibrating RSSI Localization Systems Technischer Bericht Nr. 455 Würzburg, März 2009. Institut für Informatik.

    > Baunach, Marcel, Clemens Mühlberger and Christian Appold: Enabling Real-Time in WSN Applications In Pesch, Dirk and Sajal Das (editors): Posters/Demo Session of the 9th European Conference on Wireless Sensor Networks pages 37-38, EWSN 2009, Cork, February 2009. University College Cork. 

    2006:

    > Appold, Christian : Formale Verifikation einer Implementierung des InfiniBand Reliable Connection Transportprotokolls, 6. Dezember 2006, Diplomarbeit. 

     

    Kontakt

    Lehrstuhl für Informatik V (Technische Informatik)
    Am Hubland
    97074 Würzburg

    Tel.: +49 931 31-86701
    E-Mail

    Suche Ansprechpartner

    Hubland Süd, Geb. M2