Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications 2008

Publications 2008

Conference contributions

  1. Labeled Step Sequences in Petri Nets, by Matthias Jantzen and Georg Zetzsche.
    In Proceedings of PETRI NETS 2008.
    DOI

  2. A practical approach to verification of mobile systems using net unfoldings, by Roland Meyer, Victor Khomenko, and Tim Strazny.
    In Proceedings of PETRI NETS 2008.
    Slides | PDF | DOI | BibTeX

  3. On boundedness in depth in the pi-calculus, by Roland Meyer.
    In Proceedings of IFIP TCS 2008.
    Slides | PDF | DOI | BibTeX

Editor

  1. M. Diehl, H. Lipskoch, Roland Meyer, and C. Storm, editors. Proceedings des gemeinsamen Workshops der Graduiertenkollegs , 4 of Trustworthy Software Systems. GITO, 2008.

Journal articles

  1. Petri Net Controlled Finite Automata, by Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, and Georg Zetzsche.
    Fundamenta Informaticae, 2008.

  2. Model Checking Duration Calculus: A Practical Approach., by Roland Meyer, Johannes Faber, Jochen Hoenicke, and Andrey Rybalchenko.
    Formal Aspects of Computing, 2008.
    PDF | DOI | BibTeX

  3. Language Classes Defined by Concurrent Finite Automata, by Matthias Jantzen, Manfred Kudlek, and Georg Zetzsche.
    Fundamenta Informaticae, 2008.

  4. Methods and algorithms for reconstructing assembler programs into high level language, by K.N. Dolgova, A. Chernov, and Egor Derevenetc.
    Problems of Information Security, 2008.
    PDF | BibTeX

Workshop contributions

  1. Properties of Multiset Language Classes Defined by Multiset Storage Automata, by Manfred Kudlek, Patrick Totzke, and Georg Zetzsche.
    In Proceedings of the Workshop CS&P'2008, 2008.

  2. Multiset Storage Automata, by Manfred Kudlek, Patrick Totzke, and Georg Zetzsche.
    In Proceedings of the Workshop CS&P'2008, 2008.

Technical Reports

  1. Checking pi-calculus structural congruence is graph isomorphism complete, by Victor Khomenko and Roland Meyer.
    Technical Report CS-TR-1100, School of Computing Science, Newcastle University, 2008.
    PDF | BibTeX

  2. On depth and breadth in the pi-calculus, by Roland Meyer.
    Technical Report 01/08, Department of Computing Science, University of Oldenburg, 2008.
    BibTeX

  3. A practical approach to verification of mobile systems using net unfoldings, by Roland Meyer, Victor Khomenko, and Tim Strazny.
    Technical Report CS-TR-1064, School of Computing Science, Newcastle University, 2008.
    PDF | BibTeX